基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

基于Agent软构件体系的结构设计

在Agnet的定义及其内部结构的基础上，提出了基于Agent软构件的体系结构，很好地将Agent软构件集成到开放式体系结构中，并对体系结构中Agent's CPU、Agent构件库、规则和事实库等几个主要组件进行了阐述，最后，详细讨论了Agent软构件在整个体系结构间的交互语言。     

基于软构件的CAI系统的设计

在分析传统的开发CAI系统方法缺点的基础上,研究了如何利用软构件技术来开发CAI系统,提出了基于软构件技术的CAI系统开发方法.结果表明,基于软构件技术的CAI系统开发方法可以最大限度地提高软件的复用性,从而提高后继CAI系统开发的效率.     

基于快速重组制造的PDM平台研究

阐明了在经济全球化和网络制造环境下,企业资源重组的必然性和重要性,提出了支持快速重组制造系统的产品数据集成管理平台－QR－PDM平台的体系结构,讨论了资源重组的原理及重组原则,实施方法以及资源重组功能模块的设计思想和功能模型。     

基于分布式软件总线的软构件开发技术的研究

结合分布式应用技术和吸收基于构件开发思想的基础上,提出了用分布式计算机软件总线的思想解决现有的软件开发方法中存在的问题．围绕此体系结构对构件开发的单机性进行了改进研究,对软构件的组装结构、管理模型进行了研究与设计．     

夹具CAD集成开发平台软构件库系统模型

基于中小机械企业的机床夹具ＣＡＤ集成开发平台的设计思想,根据中小型机械企业对夹具设计的需要和夹具设计的特点,论述了夹具ＣＡＤ集成开发平台的关键支撑技术－软构件库系统。     

基于CORBA和软构件的高校管理信息系统开发与集成研究

章分析了高校管理信息系统的要求，指出了现有系统的不足；给出了基于CORBA及软构件技术解决问题的途径；详细讨论了集成的高校管理信息系统的开发过程，给出了系统框架、逻辑结构，对其它大型信息系统开发具有一定的指导意义。     

基于软构件粒度的软件重用技术研究

基于软构件粒度的软件重用技术是软件工程的最新技术进展,从结构化与面向对象软件开发方法的比较出发,结合软构件的属性、分类、开发原则、应用条件和构件效能,详细讨论了软构件的度量、可理解性与可重用性之间的关系以及当前软构件技术发展过程存在的问题,重点分析了软构件粒度的分类及粒度大小对软构件的影响.对以软构件粒度为基础的软件开发具有重要意义。     

基于软构件的信息资源共享系统的研究

信息化建设是高校发展的一个重要内容,信息化的建设不仅是信息积累的过程,也是信息的保护和共享的过程.笔者研究了在校园网环境下信息资源的存储与共享问题,并进行了系统实现;为了提高系统模块的利用率,在系统的实现过程中,采用了软构件技术.     

基于软构件重用开发MIS系统方法论

MIS系统成功开发的关键是要有一个完善的方法.文章论述了基于软构件重用开发MIS系统方法论,提出了基于重用开发的框架和基于软构件重用开发MIS系统的模式,并较详细地叙述了该方法论涉及的MIS构件库及其管理,MIS开发的需求分析、设计与实现.强调采用软构件重用方法的关键是对构件的重用组合技术.该方法论经过实际的MIS项目开发实践的检验,证明是一种比较高效的MIS开发方法.     

软错误缓解动态部分可重构的抗单粒子方案

随着基于静态随机存储器(static random-access memory,SRAM)型现场可编程门阵列(field programmable gate array,FPGA)广泛应用于航空航天领域,太空辐照环境下FPGA产生单粒子翻转(single event upset, SEU)问题的概率日益提高,从而导致FPGA出现单粒子闩锁现象引起功能紊乱。针对该问题,基于SRAM型FPGA的架构诱发SEU机理分析,对传统三模冗余(triple module redundancy, TMR)的方案进行改进,设计一种逻辑上采用TMR进行备份、系统上采用软错误算法缓解执行,同时采用局部纠错和动态可重构的方法进行抑制的方案。皮秒激光注入试验结果显示,采用所提供方案的FPGA较传统方案试验电流平稳,验证了该方案可以有效对SEU进行抑制。     

可重构制造系统生产能力扩展性重构方法

生产能力的缩放性设计是可重构制造系统(RMS)的主要研究内容之一.针对缺乏具有可操作性的生产能力重构方法的问题,提出了具有动态特性的约束RMS生产能力扩展性重构方法.通过分析生产能力缩放性原理,给出实现生产能力重构的3种基本方法.在给定RMS约束模型的基础上,通过建立系统成本模型、生产线平滑指数模型生成RMS生产能力扩展性设计的综合模型,并针对模型特点,提出了约束RMS生产能力扩展性设计的具体实现方法.最后通过实例验证了该方法的实用性和有效性.     

基于MicroBlaze的FPGA重配置系统设计

介绍了Xilinx FPGA的配置模式和配置原理,提出一种基于MicroBlaze软核处理器的FPGA重配置系统设计方案。该方案灵活简便,具有很高的应用价值。     

基于遗传算法的离散型并行生产的调度排优

在分析了CIM体系结构中离散型并行生产调度问题的基础上,基于遗传算法,针对调度排优问题,建立了以总加工完成时间最短为优化目标的数学模型,并设计了遗传算法的编码、交叉、变异算子,详细描述了遗传算法的各个组成部分·利用数据库技术,开发了实现该算法的可视化软件,并在实际应用中实现了调度系统与CIMS其他模块之间的集成·理论分析与实践表明,遗传算法简明、有效并且实用,所求解得到的优化作业排序对于并行生产的车间作业调度具有很好的指导意义·     

基于多工艺方案的车间作业计划方法研究

对工艺设计与生产调度集成的必要性和可行性进行了分析，讨论了工艺设计与车间作业计划之间的关系．针对多品种小批量的单件生产车间提出启发式的车间作业计划方法，其决策基于多工艺方案、可替代机床和调度规则，生成车间作业计划，并能及时对车间作业计划进行评价和调整．在此基础上，建立了基于多工艺方案的车间生产作业计划决策系统     

基于生产费用的柔性作业车间调度优化

考虑在制品库存费用、机床工时费、直接工人的工资费用、工件的提前和拖期完工造成的损失费用,提出了一种双资源柔性作业车间调度的生产费用计算方法.将模拟退火算法嵌入遗传算法中,设计了一种新的混合遗传算法.该算法首先利用遗传算法快速搜索一组较好的解,然后利用模拟退火算法进行群体寻优.采用基于工序的编码和一种新的解码方法,并运用多种交叉方法使得算法能够在解空间中尽可能地搜索最优解.为了避免最优解在进化过程中损失,采用择优操作将每代中的最优解保留下来,并不断更新.仿真结果表明:该方法是可行的,并具有一定的优越性.     

基于作业路径网络模型的制造单元重构算法

动态多变的制造环境对制系统的自适应性提出了越来越高的要求，传统的基于成组技术的静态制造单元组织方式不能适应未来敏捷制造的需要，该文基于制造作业的网络模型，从缩短作业处理时间的角度出发，提出了一种启发式制造单元重构算法，并给出了应用实例。     

基于入侵容忍的监管系统

文章是对入侵容忍技术进行研究,建立一个基于入侵容忍技术的监管体系框架。该系统具有入侵检测、策略分析、策略重配置、服务监控、审计控制等功能;分别从网络级、系统级、服务级对入侵行为进行检测,对电视台的网络安全进行保护,通过多样化的网络和服务策略来达到系统对入侵的容忍能力,提高网络安全性能。     

基于粒子群算法的车间调度与优化

通过对车间调度问题的描述,针对传统调度算法寻优效率低或全局寻优能力差的弱点,提出了一种基于粒子群算法(PSO)的车间调度问题解决方案.根据车间调度问题的特点,对粒子群的编码及寻优操作进行了研究,确定了更适合车间调度问题的编码和操作方式,并将算法进行编程,应用到了系统的车间调度部分.仿真结果表明,通过设置适当的参数,可以快速地得到很好的排序结果,能够适用于动态的车间调度问题.