依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

网格法在参数化曲面造型中的应用

分析了使用网格法参数化绘制已知曲面方程三维曲面图形的方法.该方法的优点是在绘制三维空间曲面时,可以方便地使用有关参数对三维空间曲面图形进行控制.这在很大程度上增强了计算机辅助设计系统的三维造型功能,对于不易直接用计算机辅助设计系统绘制但又已知曲面方程的三维空间曲面,都可以利用网格法准确、快速、方便地进行参数化造型.     

非线性拟双曲方程的特征变网格有限元方法和分析

对神经传播过程中的一类非线性拟双曲方程的初边值问题的三维情形应用常规变换，提出了特征变网格有限元格式，最后通过细致的分析和估计得到了最佳阶的L^2模误差估计结果。     

基于LDAP和代理的网格环境下网络性能监控系统

对于高性能分布式计算环境--网格来说,网络性能监控是非常重要的.故在网络天气服务NWS的基础上,借助于LDAP的目录层次,引入与用户进行交互的代理服务,提出了基于LDAP和代理的网格环境下网络性能监控系统的概念性模型,最后结合网格环境下资源监控的要点,对本系统进行了客观的评价.     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

城市卷烟配送线路的网格划分算法

成本与服务是现代物流的两大主题，配送中心不同送货线路间的工作量均衡是线路划分的一个重要目标，它体现了配送中心的工作效率和对客户的物流服务质量．以浙江省烟草公司杭州分公司物流6400多户卷烟零售网点配送网络为数据源，采取“相邻合并、密集成簇、由簇扩展”思想，进行llO多条送货线路的网格划分和算法求解，内容包括不同送货线路之间的广义工作量均衡、网点密集簇和关键边的定义与遴选、密集簇的向外搜索扩展等．     

网格定位法在系统流程图活化中的应用

为了实现核电厂反应堆系统流程图的计算机化管理,通过在系统流程图上画出具有记忆功能的网格,利用网格位置和网格信息把系统流程图上的设备与设备库中的相应设备关联起来,解决了系统流程图的活化问题,即在系统流程图上用鼠标点击设备,弹出设备信息。这种网格定位的方法已经有效地应用在核电厂运行安全管理系统中,该系统采用先进的网络和数据库技术实现了对核电厂设备,系统流程图,运行事件等信息的综合管理,以先进的管理方式为核电厂管理人员提供一个便捷的信息平台和工具。而且,这种方法还可以应用到其它领域。     

三维网格的生成

采用轴向拉伸法生成三维三棱柱网格．首先生成二维网格基面，选取三维场域的最复杂截面进行二维剖分，然后再将三维网格拉伸成三维网格．并画出了三维网格生成的流程图．     

基于粗集知识推理的IDSS中的知识表示

 探讨在智能决策支持系统中的知识表达,讨论了属性在知识表达系统中的作用,决策表格形式的知识表达系统的性质、作用以及根据粗集理论(其基本观点是:人类的知识表现为对对象的分类能力)分析处理海量信息中信息的有用特征,通过分析、推理产生最小决策规则.