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

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

软件开发:从面向对象到Agent技术

简单回顾了软件开发的发展历史 ,介绍了当前流行的面向对象的软件开发方法以及新采用 agent技术的软件开发方法 ,比较了两者的异同 ,指出了 agent技术的应用前景。     

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

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

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

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

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

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

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

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

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

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

基于硬件分支信息的ROP攻击检测方法

控制流完整性保护技术(controlflowintegrity,简称CFI)是防御面向返回编程攻击(return-oriented programming,简称ROP)的一种有效途径.针对现有CFI中存在的四大问题:性能开销大、依赖程序代码信息、容易遭受历史刷新攻击以及规避攻击,提出了基于硬件分支信息的ROP攻击检测方法——MIBChecker(mispredicted indirect branch checker).该方法实时地利用硬件性能管理单元(performance monitor unit,简称PMU)的事件触发机制,针对每个预测失败的间接分支进行ROP攻击检测,规避了历史刷新攻击的可能,同时提出基于敏感系统调用参数的新型检测方法来检测短攻击链(称为gadgets-chain)ROP攻击.实验结果表明,MIBChecker能够不受历史刷新攻击的影响进行ROP短指令片段(称为gadget)检测,可有效地检测出常规ROP攻击和规避攻击,并仅引入5.7%的性能开销.     

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

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