HDLC协议在FPGA通信系统中的实现

设计了一种基于高级数据链路(HDLC)协议的数据通信系统,并将HDLC协议在现场可编程门阵列(FPGA)中实现。该系统可有效利用FPGA片内硬件资源,无需外围电路,高度集成且操作简单。着重介绍了系统中最重要的协议发送、接收模块以及”0”比特的插入删除模块的实现方法。     

基于免疫原理的多代理网格入侵检测系统体系结构研究*

为设计具有高检测率和低误报率的网格实时入侵检测系统,借鉴人类免疫系统与网格安全系统的相似性特征,在建立体系结构设计原则的基础上,确立了群体agent实现网格入侵检测系统的交互决策机制;在选定免疫模型与免疫算法的基础上,给出了人类免疫系统与网格入侵检测系统组件间的具体映射关系,从而实现了概念的逻辑移植;在建立agent网格体系结构基础上,设计了网格入侵检测系统的具体模块框架,详细阐释了与模块对应的具体agent结构与功能,从而完成了逻辑实体的物理移植。体系结构的建立为设计功能完善的网格入侵检测系统提供了一种     

程序切片技术在软件测试中的应用*

基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等.同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高.详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用.     

基于形式化监控的可信软件构造模型

传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径,但存在监控需求表达能力不强及代码分散等问题。针对该问题,提出基于形式化监控的可信软件构造技术FM-TSPM,将形式化方法和运行时监控相结合,实现跨领域的方法融合。用形式化方法描述监控约束,根据监控约束生成方面监控代码,解决代码分散问题。采用AOP编织器将方面代码编织到目标系统中,构造出带监控能力的可信软件。     

基于不变量探测的JUnit测试用例自动生成的实现

实现了一种在动态不变量探测工具Daikon帮助下,为Java类自动生成JUnit测试用例的方法.它以待测代码以及少量使该待测代码正确运行的代码为输入,以Daikon导出的程序运行模型为基础,全自动地生成了包含测试断言的JUnit测试用例.该方法主要解决了传统方法在生成单元测试用例时无法自动插入测试断言的不足.     

基于贝叶斯网络的半监督聚类集成模型

已有的聚类集算法基本上都是非监督聚类集成算法,这样不能利用已知信息,使得聚类集成的准确性、鲁棒性和稳定性降低。把半监督学习和聚类集成结合起来,设计半监督聚类集成模型来克服这些缺点。主要工作包括:第一,设计了基于贝叶斯网络的半监督聚类集成(semi-supervised cluster ensemble,简称SCE)模型,并对模型用变分法进行了推理求解;第二,在此基础上,给出了EM(expectation maximization)框架下的具体算法;第三,从UCI(University of Califor     

PDX技术研究及开发实例

随着小灵通业务的不断发展，PDX(全名P-mail Deluxe)技术应运而生，它使小灵通也可以使用数据业务。它适用于双向网络连接，但是硬件资源有限，并且符合一定硬件要求的彩色或单色小灵通手机。首先系统介绍了PDX技术的历史、体系结构和主要功能，然后结合一个基于PDX技术的GIS(地理信息系统)应用的开发实例，详细阐述了在PHS(Personal Handyphone System，国内简称为小灵通)手机上开发GIS应用的过程以及相关注意问题。     

基于TRS的电子运行维护系统的搜索引擎开发

介绍了使用TRS全文检索技术并结合JSP动态网页设计技术开发某通信企业电子运行维护管理系统(EOMS)搜索引擎的方法,以及TRS与EOMS系统,给出了该搜索引擎的系统框架、数据库模块设计、模板文件设计以及相应的部分关键代码,对该系统提出一些改进。     

语音传输系统中底层通信控件的开发

利用PB和VC的混合编程技术,设计并开发了语音传输系统中底层通信控件.在该控件中实现并封装了语音信息的打包、压缩、传输、路由等功能,采用回调机制自动处理各种硬件事件.应用证明,该控件实现了对硬件的良好支持,并为上层应用提供了友好的管理控制接口.     

基于Web Service的区域式P2P系统模型研究

P2P(Peer-to-Peer)系统的模型目前来说基本上分为纯分散式结构和服务器辅助式结构,这两种结构各有其优缺点。文中基于简单的模拟现实社会结构的思想和P2P系统需求的特殊性,结合Web Service的技术优势,提出了一种基于HTTP和XML的区域式P2P系统模型并详细描述了系统运作的细节。该模型将资源搜索和文件传输统一在Web Service上实现,并充分利用了分散于各节点上的计算能力,克服了纯分散式结构管理困难和难于发现其它节点的缺点以及服务器辅助式结构容易产生服务器瓶颈和服务器失效时系统瘫痪的缺点。