大型复杂工程系统研究开发中的方法论问题

本文通过大量事例说明了方法论对完成大型工程项目的重要意义,总结了工程技术中方法论的一般原理,并以此为指导,提出了大型自动化系统开发中的新思路.     

基于敏捷建模的形式化需求分析方法

软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷：1）非形式化的需求描述常常导致需求的歧义性和不一致性,因而难以确认和验证;2）易变一牲,需求变更及其连锁反应是对项目质量、进度乃至合同履行影响最大的风险因素。本文针对软件需求分析阶段的难点,通过将形式化方法和敏捷建模理论相结合,提出一套基于敏捷建模的形式化需求分析方法。     

操作系统IPC漏洞分析与防范

本文介绍了IPC漏洞的相关知识;然后通过一次完整的基于操作系统漏洞的入侵着重讲叙IPC漏洞的利用;接着分析其原理,最后给出防范措施.     

制造系统控制结构研究的新进展

制造系统的控制结构是自动化和先进制造领域的重要研究课题.本文从现代制造的需求出发,研究比较了基于Agent的控制和Holon制造模式这两种现代制造系统的主流控制结构的概念、特性、研究成果和主要差别,并介绍了将两者结合的最新研究动态和进展,最后对其发展趋势进行了分析和探讨.     

网格数据库物化查询缓存机制研究*

提出了基于XML Database的网格数据库物化查询缓存机制,提高用户查询的速度,均衡网格负载。定义了网格数据库服务质量与数据质量的标准,提出了物化查询选择算法MQS,为用户提供更好的数据服务。     

面向ASP分布式服务模式的多级用户控制*

针对四川区域中小制造业用户群对ASP的需求特点,分析了ASP分布式服务模式的原理及其三级异构平台间的功能交互特性。对三级异构服务平台体系中的多级用户角色的要求和特点进行了研究。提出了基于Web Service的多级用户管理和控制策略,并进行了详细设计和实现,其结果在区域网络化制造ASP服务三级服务平台得到实际应用。     

基于检测点设置依赖图和属性表的卷回恢复算法

为了解决检测点设置过程中的Domino效应问题及卷回恢复过程中的活锁问题,并最大限度地减小时间开销,提出了基于检测点设置依赖图和属性表的卷回恢复算法。同以前的算法相比较,该算法一方面节省了用于进程之间同步的时间开销,另一方面检测点设置及卷回过程中涉及少量的相关进程。对该算法的正确性进行了证明。     

液氦在轨补给技术现状分析

为在轨科学仪器补充液氦,可有效提高航天器的能力和寿命,是某些大型空间科学探测任务顺利实施的重要保障。针对液氦的超低温特性,分析了液氦在轨补给方法,详细介绍了利用液氦超流体特性而实现其在轨补给的原理,以及超流体氦在轨转移技术的空间验证试验(superfluid helium on-orbit transfer,SHOOT),以期为我国发展液氦在轨补给技术提供有价值的参考。     

江都第三抽水站油压装置油泵运行方式分析

以南水北调东线一期江都第三抽水站改造工程为例,针对其油压装置油泵运行方式如何选择的问题,基于绝热过程方程式,采用对比的方法,分析了断续运行方式和连续运行方式的年用电费用、设备投资、设备寿命、技术经济性。结果表明:断续运行是油泵运行方式的最佳选择。     

高水头高速水流反弧型过流面抗冲耐磨混凝土施工工艺

通过对高水头高速水流反弧型过流面特殊的结构特点和抗冲耐磨混凝土特性进行分析并经研究和试验总结,结合新材料的应用,形成了成熟的反弧型过流面抗冲耐磨施工工艺,取得了较好的成效。