基于OSPF的动态配置支持系统研究与实现

在OSPF静态配置支持系统模型基础上,提出了基于OSPF的动态配置支持系统模型,该模型采取四层模块分级处理结构,各层对大量MIB变量的处理统一接口,规范MIB处理模式,并建立实时任务完成MIB存储和OSPF协议改变间的异步处理,还运行配置支持系统状态机,检测各层的MIB处理状况,加强和协调各层间的MIB处理。最后基于这种模型实现了动态配置支持系统DCSS-OSPF,还列出了TMS系统中DCSS-OSPF系统的边界处理。     

基于异步I/O模型的双机TCP代理的研究与实现

一些特殊领域的应用对于性能要求很高,而通用单机TCP代理不能满足需求。文章分析了TCP代理的实现机制,借鉴TCP连接管理有限状态机、以异步I/O模型研究和实现了双机TCP代理,并将其应用于一个安全网关项目,取得良好效果。     

基于人工免疫系统的RFID数据过滤模型研究*

为了避免感染计算机病毒或者包含恶意代码等不良信息的电子标签对RFID应用系统运行效率的影响,采用人工免疫系统的多层过滤机制建立了面向RFID数据中不良信息的过滤模型,模型的实施包括数据预处理、多层过滤器的生成与衰亡、过滤器的应用及进化。实验结果表明,该模型有较高的召回率和正确率,这说明了基于人工免疫系统的RFID数据过滤模型具有动态性和自适应强的优点,并为特定领域的信息分类问题解决提供了参考。     

异步数据传输机制（ACM）的有限状态机建模分析

介绍异步数据传输机制(Asynchronous Communication Mechanism,ACM)的基本理论,采用有限状态机理论建立ACM的抽象数学模型,通过此模型分析研究了ACM的相关特性,以及亚稳态问题对于这种机制的影响.ACM在异步模块间的数据传输等方面的应用具有突出的优势.     

SDL语言动态语义模型的研究

介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ．100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。     

综合模拟系统中模型异步机制的设计与实现

在综合集成决策模拟系统中，模型的使用与管理占据着不可忽视的地位。基于网络的综合集成系统对模型的有效调度管理和稳定运行提出了更高的要求。因此，该文提出了基于网络的模型服务运行的异步控制机制，通过对模型服务系统的阐述以及模型组件的建立，对模型异步控制机制进行研究，在此基础上设计并实现模型异步控制，使“定性定量综合集成(Meta Synthesis)”成为可能。     

一个多机器人制造系统的设计与实现

本文构建了一个包含多个机器人和自动化物流单元的柔性制造系统，其中机器人部分包括一个自动导引小车和两台装配机器人，物流单元部分包括一个小型立体仓库和一条自动传输线．系统采用递阶分散式的体系结构，每个作业单元均有独立的控制器，并通过串行接口实现与主控计算机的实时通讯．在对系统作业任务进行有限状态机建模的基础上，采用基于事件的控制思想实现了多个作业单元的协调控制，提高了系统的柔性和鲁棒性，实验结果也证明了系统设计的有效性．     

多层结构可视化系统应用服务器的设计与实现

本文设计了一种基于多层结构的可视化系统核心的三层结构，并重点讨论了其应用服务器的设计与实现。应用服务器在系统中专门负责通信的控制，它利用Java的Socket和JNI技术进行前端Web浏览器和后端绘制服务器的通信连接和传输。并实现了多线程机制。实验表明，此系统结构更合理、更利于后期维护和扩展，能最大限度的降低对客户端的软硬件要求。     

多层模型设计与系统实现

介绍了多层模型的特点及其向4层结构发展的趋势，并通过一个基于Web的企业管理信息系统的实例，详细描述了以JSP／Senrvlet技术为核心、采用多层模型的系统实现过程。     

多层网络抗毁机制的研究

本文对基于共享备用容量的多层网络抗毁机制进行了研究，提出基于上层通路恢复的下层恢复策略和整数规划模型，这种方式可以有效地解决备用容量在上下层间的共事和动各移动问题，模型的实验数据证明了它的有效性。     

基于状态机的SDRAM控制器的设计与实现

现代计算机的基本框架仍是以冯·诺伊曼结构为基础,以中央控制单元和存储指令/数据的存储器之间的通信为支撑的。同步动态随机存储器(即SDRAM)与静态RAM相比具有容量大,成本低的优势;与传统异步DRAM相比其速度更快,所以得到了越来越广泛的应用。因此以简化主机对SDRAM访问为主要任务的SDRAM控制器的设计就变得更加重要。论文提出了一种基于状态机的SDRAM控制器的设计思路与实现,并通过了FPGA验证,完全达到系统的功能和速度要求。     

基于Java Reflection的数据库访问通用模型设计与实现

运用Java反射机制和面向接口的编程思想,设计并实现一款Java数据库访问通用模型,该模型具有适用范围广、轻量级、可扩展性好等特点,既可以应用到Java桌面应用程序也可以应用到Java Web应用程序中,而且和使用的数据库服务器无关。该模型的使用可以减少程序员的工作量,从而减少开发成本,缩短开发周期。     

自助购票系统的设计与研究

主要研究了学生自助购票系统的硬件搭建及软件设计。自助购票系统使用学生信息数据库和铁道部票务数据库,实现无人管理,既能方便外地学生假期买票,又减少了售票员的工作量,是很有实用价值的系统。通过添加其他数据库,本系统可以方便地扩展到支持其他人员凭证件号自助购票。     

智能机器狗的语音控制模型研究

阐述语音人机交互手段的必要性及意义,提出一种基于语音控制的机器狗系统解决方案。该系统利用HTK和Julius构建大词汇量连续的语音识别平台,采用语音识别技术提取语音命令用于机器狗控制,并结合有限状态机的控制理论设计机器狗控制系统模型。测试结果表明,该系统能较好地识别用户语音命令,控制系统模型能有效完成机器狗在不同状态下的控制任务。     

CORBA异步Polling模型的研究与实现

基于CORBA异步消息中的抽象Polling模型提出了一种Polling模型实现方案,讨论了其中的核心算法,该算法能分解耦合请求和应答并确保at-most-once语义。在分布对象中间件平台StarBus上实现了该模型和算法,实现结果表明该模型和算法为在CORBA中实现异步Polling机制提供了一种有效的参考方案。     

Web应用程序的用户非预期行为测试模型的研究

现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出一种基于扩展有限状态机(EFSM)的UUBTM测试模型来生成非预期行为的测试序列UTSEQ,实验证明该序列可以有效检测Web应用程序中存在的缺陷.     

汉英统计机器翻译中A*搜索算法研究与实现*

分析了基于IBM Model 4的A*搜索算法和启发函数，由于仅靠启发函数难以找到最优译文，因此在搜索中采用了部分宽度搜索，以扩大搜索的范围。将该算法应用于汉英统计机器翻译中，实验结果表明改进后的算法获得了较好的翻译质量和效率。     

汉英统计机器翻译中A*搜索算法研究与实现*

分析了基于IBM Model 4的A*搜索算法和启发函数,由于仅靠启发函数难以找到最优译文,因此在搜索中采用了部分宽度搜索,以扩大搜索的范围.将该算法应用于汉英统计机器翻译中,实验结果表明改进后的算法获得了较好的翻译质量和效率.     

一种用于静态分析的规约语言设计与实现

介绍一种用于程序静态分析检测的规约语言的设计与实现，对该语言的理论基础、要素、语法等进行了详细阐述，并通过对实验结果的对比分析，证明该语言的可靠性和实用性。