一种针对格式文件的符号执行优化方法

为了解决符号执行中路径爆炸、新路径发现率低等问题，提出了针对文件格式数据块约束的符号执行分析方法（FFCBSE，File Format Constraint Based Symbolic Execution）优化框架.文件格式信息的缺失会影响符号执行的效率以及测试用例生成，该方法通过分析程序代码自动分析程序读取的格式文件数据块之间的依赖关系并建立相关约束，随后使用这些约束引导符号执行更关注于核心功能代码区域.在KLEE中实现了上述优化框架，并对Tcpdump、Readelf、Elfdump、File、Zlib等7个常用文件处理程序做了检测.和KLEE以及DASE相比，FFCBSE发现了13个之前未知的缺陷，在指令覆盖率和分支覆盖率有10%~225%不同程度的提升.     

基于知识的机器人规划系统KBROPS-1的OPS83实现

本文在已采用OPS5实现的基于知识的机器人规划系统KBROPS-1的基础上,讨论了同样世界模型下,KBROPS-1的OPS83实现,并对其规划过程及规划结果做了分析。     

基于知识的机器人协同问题求解系统KBCOPS

本文在讨论了机器人协同问题求解的概念及难点的基础上，以模型化机器人世界为协同问题研究领域，选择并发成员系统程序设计语言ＭＳ—１为系统基本开发环境，设计开发了一个基于知识的机器人协同问题求解系统ＫＢＣＯＰＳ（Ｋｎｏｗｌｅｄｇｅ—ＢａｓｅｄＣＯｏｐｅｒａｔｉｖｅＰｒｏｂｌｅｍＳｏｌｖｉｎｓＳｒｓｔｅｍ），并给出了其在一维模型世界下的具体实现。     

一种基于模型融合的CMM实施过程建模方法

提出了一种基于模型融合的CMM实施过程建模方法．该方法使用软件过程工程元模型SPEM建立CMM过程模型CPM和企业过程模型EPM，通过融合CPM和EPM来获得CMM实施过程模型CIPM．文中利用带标记的有向图描述过程模型。给出了模型融合方法，并进行了一致性证明．最后通过一个过程模型融合原型工具和实例说明了方法的应用情况．     

一种基于Jini技术的分布式浏览器的设计和实现

应用Jini技术可以构建简洁、稳定、可伸缩、支持网络“即插即用”的分布式应用程序。将Jini技术应用于浏览器的设计实现上．使之成为一个良性的Jini服务．可以有效的拓展浏览器的概念和应用领域。     

智能交通仿真与车辆Agent决策策略的研究

文章介绍了Agent技术及特点,根据Agent的原理及其仿真的优势,着重叙述了Agent技术在交通仿真中的应用,详细探讨了基于Agent的智能仿真系统中车辆Agent的决策特点及模糊决策方法,同时,还分析了驾驶员因素对驾驶行为的影响。     

基于RTLinux构建机载SAR实时成像处理器嵌入式控制系统

面向地学处理的机载SAR实时成像处理器由一组连接在工业总线上的数据处理板和一个嵌入式主控子系统构成，成像处理器的总体设计对主控系统的实时性，稳定性及可扩展性提出了严格的要求，比较了传统的嵌入式工业控制系统的设计方法，设计并实现一个基于廉价的PC与RTLinux的主控系统，分析了主控系统的两个重点；DSP宿主环境和RTLinux下的混合任务集，并通过给出一个RTLinux与Linux调度精度和误差的对比试验及其结果，证明了基于RTLinux的主控系统对支持细粒度调度方面的优越性。     

一种基于组织实体能力的软件过程建模方法

提出了一种基于组织实体能力的软件过程建模方法(organizational entity capabilities based software process modeling method,简称OEC-SPM),针对软件过程的特殊性,将具有确定能力的组织实体定义为建模过程中的核心要素和基本单元——过程Agent(过程主体).过程Agent根据其自身的目标、知识、经验和能力,在确定的项目目标和约束环境下,通过主动和自治的行为推理,生成具体的软件开发过程和生产过程,为软件项目开发提供正确的决策和有效的支持.该方法由于在建立软件过程时充分考虑过程执行者完成目标的能力,使建立的过程具有良好的可预见性,具备过程稳定执行的前提,因此从根本上解决了软件过程不稳定、难以控制等问题.     

软件需求工程-方法及工具评述

文中从需求工程的基本概念和研究内容出发,简单介绍了需求工程生命周期和需求规范等概念;比较全面地总结了现有的有代表笥的需求工程开发方法和工具,对其中一些重要的方法及工具作了分类和评述,并指出了需求工程方法和工具开发与实际领域相脱离等不足之处;最后探讨了需求工程研究现状中存在的一些主要问题及一些相应的解决方案。     

无油润滑泵研制

无油润滑泵同时具有普通卧式离心泵与磁力泵的双重优点。三年多的应用证明其可满足较为苛刻的使用条件要求。具有不易泄漏、轴承不易损坏、连续运转时间长、不需加油润滑、结构简单、成本低等诸多优点,是普通卧式离心泵的升级换代产品。现有水泵厂不需添加设备即可生产。