温控系统的π-演算的描述与验证

根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程,使用μ-演算和移动工作平台(MWB)工具分析和验证了该交互模型具有温度控制和阈值修改功能,从形式上证明了温控系统的需求说明及其π-演算模型的一致性。结果表明,π-演算能够清楚地描述和分析并发系统的行为交互,而μ-演算可以证明模型的有效性和正确性。     

物联网服务的π-演算建模与验证

针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将其描述为物联网服务和环境实体动态交互行为的执行序列.针对特定的应用场景,使用π-演算定义了物联网服务和环境实体,利用μ-演算对物联网服务能力进行建模,使用检测工具MWB验证了模型的安全性、活性和时...     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证。将其应用于入侵检测系统是一个新的研究应用方向。协议的形式化描述工具有穷状态自动机、通信有限状态自动机。在此基础上重点讨论了使用协议状态机分析入侵事件的相关算法及流程，设计了基于协议分析状态机的入侵检测系统的总体框架，提出了该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性。测试结果验证了这一思想的正确性和有效性。     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证，将其应用于入侵检测系统是一个新的研究应 用方向，协议的形式化描述工具有穷状态自动机。通信有限状态自动机。在此基础上重点讨论了使用协议 状态机分析入侵事件的相关算法及流程.设计了基于协议分析状态机的入侵检测系统的总体框架，提出了 该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性，测试结果验证了这一思想的正确性 和有效性。     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

基于情景演算多流程交互软件模型的研究与实现

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用.     

对DFA最小化算法等价性问题的探讨与改进

有穷自动机极小化问题的研究,在程序测试、模糊系统、概率自动机等方面具有重要意义。利用自动机状态集上的等价关系对自动机的状态集极小化,从而得到与原自动机功能等价的极小化自动机,该内容是词法分析的重点。很多编译原理书籍介绍的DFA最小化算法是＂分割法＂,但该算法存在一定的问题,本文从对一些特殊的DFA的处理入手,分析＂分割法＂算法在等价原则方面的漏洞,并提出了对最小化问题的改进算法。     

图像检测系统的算法接口设计与实现

分析了W indows位图文件在磁盘中的存储结构,研究了VC MFC编程方式下设备无关位图的打开、保存和二维数组算法接口设计的方法,详细介绍了位图文件算法接口程序设计的关键代码,编写并调试通过了位图算法接口示例程序。     

ADμC824高精度A/D采集板系统的设计与实现

数据采集系统芯片ADμC(Microconverter )将模数转换器A/D、数模转换器D/A与单片机集成在一个芯片上,大大简化了数据采集系统的设计.本文介绍了美国ADI公司ADμC824的原理、功能和应用,采用ADμC824设计并实现了高精度的A/D转换采集板,有效分辨率达到稳定18位.阐述了在系统实现过程中遇到的关键技术问题及其解决办法,探讨了提高A/D转换精度所必须采取的措施和需要注意的环节.     

基于μC/OS-Ⅱ的嵌入式校园导航系统的设计与实现

叙述了在基于ARM技术的MC9328MXl龙珠处理器上,移殖μC/OS-Ⅱ操作系统．用C语言及汇编语言编程,在ARM嵌入式开发平台上实现校园导航系统的过程。     

ADμ824高精度A／D采集板系统的设计与实现

数据采集系统芯片ADμC(Microconverter)将模数转换器A／D、数模转换器D／A与单片机集成在一个芯片上，大大简化了数据采集系统的设计。本文介绍了美国ADI公司ADμC824的原理、功能和应用。采用ADμC824设计并实现了高精度的A／D转换采集板，有效分辨率达到稳定18位。阐述了在系统实现过程中遇到的关键技术问题及其解决办法，探讨了提高A／D转换精度所必须采取的措施和需要注意的环节。     

扩展π演算对时间相关移动并发系统的建模与推演

针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。     

集成防火墙的入侵检测系统的设计与实现

首先讨论了防火墙和入侵检测系统各自的不足．然后在CIDF框架的基础上提出了一个集成了防火墙和入侵检测系统的框架模型．并且详细描述了模型系统中各个组成部分的具体实现．分析表明这种框架模型系统初步体现了两者的优点,并且克服了两者的一些不足。     

基于网络分布式入侵检测系统的设计与实现

对现有的入侵检测技术进行了阐述。在结合通用入侵检测系统框架模型的基础上，提出和实现基于网络分布式入侵检测系统，该系统具备良好扩展性。     

基于LPC2104的μC/OS-II引导装载系统的设计与实现

在嵌入式系统设计中,针对嵌入式处理器和操作系统的引导装载系统代码的设计是一个重点.根据LPC2104的硬件结构,给出在基于μC/OS-II操作系统的嵌入式应用中,BootLoader程序的设计流程,编写了启动代码,整个方案有较大的灵活性和实用性.     

线性奇异系统的μ分析与μ综合

以结构奇异值理论为工具,对线性奇异系统的鲁棒分析与鲁棒综合进行了研究．从奇异系统的快、慢分解形式入手,结合结构奇异值理论中的主回路定理,给出了线性奇异系统鲁棒稳定的充分必要条件．并以此鲁棒稳定条件为基础,进一步给出了线性奇异系统的μ综合方法．仿真计算表明,对线性奇异系统的鲁棒分析与鲁棒综合问题的研究结果是有效的．     

基于μCLinux和S3C44B0X的温度巡检系统的设计

设计了温度巡检系统的硬件电路,讨论了μCLinux的驱动程序的编写方法,驱动程序动态加载到内核和直接编译到内核的应用场合.本文中的温度巡检系统已经成功应用在实际的项目中.     

Waxman-Salama模型网络拓扑生成算法设计与实现

随机网络拓扑的生成算法是现代网络通信研究的一个重要方面．首先介绍了Waxman模型和Salama模型;然后针对该模型的缺点进行了网络连通性方面的改进;讨论了基于该模型的网络拓扑生戍算法的关键步骤;基于高级语言给出了一个实例,并进行了Dijkstras阿算法的仿真测试．     

用μC/OS与linux双内核实现实时嵌入式操作系统构架

鉴于微内核和宏内核在嵌入式系统中各具优势,实现这两者的合成,构造多层级的系统架构可提高系统实时能力,同时扩展系统功能的一种解决方案.让嵌入式系统满足实时要求的同时支持L inux丰富的系统调用,对进程调度机制也提出了新的要求.     

基于μCLinux的嵌入式远程温度监控系统的设计

设计主要采用的是以ARM7TDMI为核心的嵌入式微处理器S3CA4BOX,在S3C44BOX处理器外部配以以太网控制器CS8900A、温度传感器LM35和存储芯片等实现远程温度监控系统的硬件平台;同时,采用μCLinux操作系统为软件平台.在μCLinux操作系统下,对Boa Web服务器进行配置和移植.然后编写相应的动态Web页面的CGI程序,就可以在远端主机实时访问远端温度传感器所测量的当前温度.当温度超过设定值时,进行报警,从而达到远程监控的目的.