新型数控高速插齿机工作台的设计

针对目前专用插齿机工作台存在的不能按照工件要求调整加工位置的问题,设计了一种新型的具有较大加工调整范围的数控高速插齿机工作台,并分析了系统组成,详细介绍了其工作原理.     

反射式软件体系结构一致性研究

给出了支持软件体系结构设计时重用的反射式软件体系结构.基于Object-Z形式化描述了支持软件重用的操作.给出了反射式软件体系结构的元级和基本级的一致性性质的定义,以及经过重用操作后元级和基本级的一致性的证明方法和过程.     

支持运行监控的可信软件体系结构设计方法

近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.     

面向服务软件异常处理研究综述

随着面向服务软件逐渐成为软件工程领域的研究热点,面向服务软件异常处理的研究日益受到关注,其重要性越来越突出。首先给出了面向服务软件异常的相关概念,阐述了当前面向服务软件异常的几种典型分类,介绍了几个面向服务软件的异常处理中使用的方法,并指出它们的局限性。通过分析和总结当前面向服务软件异常处理的研究方向和研究现状,提出了要解决的关键问题,探讨了当前面向服务软件异常处理研究的不足之处,并预测了下一步面向服务软件异常处理的主要研究方向。     

描述实时系统需求的模型

本文提出一个描述实时系统需求的模型。在这个模型中,层次式有穷状态机械表示成规则和模板的形式,且一个模板对应于一个状态机。由于与状态机相关的规则和信息可被写入到模板中,故用此模型写出的需求规格说明书可由多个模板组成,而且易于理解和阅读。最后,本文讨论了此模型的特点。     

角色模型化：一个软件模式知识级的建模方法

近年来,软件模式已成为软件工程研究和应用的一个热点。1995年Erich Gamma等在名为“DesignPatterns,Elements of Reusable Object-Oriented Soft-ware”的专著中首先提出了设计模式的概念,并给出了23个典型的设计模式。文[1]在学术界和产业界都产生了很大的影响,极大地促进了近代软件工程的发展,它获得了“Software Development Productivity Awad大奖,成为近30年来最优秀的软件工程著作。此后,     

牵伸机温度控制算法的研究

PID控制具有结构简单、适用范围广、使用方便等优点，在过程控制领域中占有非常重要的地位。针对牵伸卷绕机系统因采用单片机实现单回路PID控制而存在的时间滞后问题，用普通PID控制不能达到理想的控制精度，现提出用工控机替代单片机的牵伸卷绕机系统改造方案，给出一种新型的控制算法，在原有PID控制的基础上，利用系统辨识技术及控制系统的各种历史信息，将PID控制与模糊控制相结合，从而改进了设备的控制性能，较好地解决了牵伸卷绕机系统的温度控制问题，提高了设备的自动化水平，并讨论了该控制算法进一步推广应用的可行性。     

125 MW机组协调控制系统工程设计与应用

125 MW机组的主汽压力稳定性和负荷适应性是一对最基本、最主要的矛盾,采用传统的间接能量平衡协调控制系统很难兼顾电网对负荷快速响应和主汽压力稳定运行的要求.在分析125 MW机组负荷控制对象特性的基础上,提出了取消主汽压力调节器的间接能量平衡协调控制系统设计思路,阐述了直接基于能量平衡的协调控制系统工程设计原则和技术要点.结合具体工程实际,提出了协调控制系统工程现场参数整定的方法和步骤,获得了成功.此方案对同类机组具有一定参考作用.     

一种基于Agent的语义Web服务编制框架

针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语义Web服务编制的技术框架。框架实现基于SPL开发和运行支撑平台,该平台为语义Web服务和软件Agent提供必要的运行支持。     

一种求解模糊柔性Job-shop调度问题的多智能体免疫算法

结合实际纸盆车间的生产特点,考虑了模具、机器和操作人员等多种资源约束,以及加工时间和交货日期的不确定性等因素,建立了批量可变的模糊柔性Job-shop调度问题模型。同时结合多智能体系统以及生命科学中免疫系统的免疫信息处理机制,构造了一种用于求解实际Job-shop调度问题的多智能体免疫算法。该方法通过智能体与其邻居间的竞争操作以及自学习操作,并结合自适应疫苗接种、交叉、变异和模拟退火操作,来更新每个智能体在解空间的位置,使其能够更精确地收敛到全局最优解。最后对某纸盆车间的调度实例进行了求解,实验结果验证了算法的有效性。