办公网的信息安全模型研究

介绍信息安全模型的作用和特征以及几种目前比较实用的安全模型。探讨机关办公网络的数据流特点 ,并提出一种适合部队和政府机关办公网络的树状安全状态机模型。     

基于CPLD和Verilog的高精度线阵CCD驱动电路设计

以东芝公司生产的TCD1711DG线阵CCD为例,研究了一种基于CPLD的线阵CCD驱动电路的设计方法。首先,分析了线阵CCD基本结构和工作原理,并叙述了线阵TCD1711DG驱动脉冲的时序要求。在QuartusⅡ开发系统上,运用Verilog描述的有限状态机,设计了基于Altera公司MAX 7000S系列EPM7032STC44的驱动电路。最后,采用ModelSim SE软件进行仿真,并用示波器测试出CPLD输出的驱动脉冲。仿真和试验结果表明,CCD输出结果完全符合TCD1711DG的时序要求。     

基于DS18B20的小环境测温控制的FPGA实现

为实现小环境测温控制系统的数字化和通用化设计,在分析DS18B20时序特征基础上,实现了基于FPGA和有限状态机的设计方法,并通过仿真结果验证了设计方法的可行性.     

设计CPLD/FPGA状态机的稳定性探究

在CPLD/FPGA设计中频繁使用的状态机,常出现一些稳定性问题,本文提出了一些解决方法,实验表明该方法有效地提高了综合效率.     

一种基于状态机的手机安全模型及应用

现代社会智能手机日益重要,承载个人隐私数据,但因缺乏安全机制,存在被盗时不会报警、被盗后数据易被泄露等诸多问题。利用手机中传感器技术,构建安全状态机模型,通过对传感器以及外部环境进行监控,在监控事件发生时进行状态转变并执行报警、现场采集等操作,确保了手机安全。据此开发设计了e守卫系统,实战成效良好。     

无人机集群自组织搜索仿真模型设计与实现

城市威胁背景下无人机集群自组织搜索移动目标问题,是无人机集群作战应用的一个重要发展方向。采用基于Agent的复杂系统建模仿真工具,构建了无人机集群搜索仿真模型框架,设计实现了无人机集群自组织搜索模型。在考虑无人机集群作战可能受到威胁的背景下,展示了无人机集群自组织搜索概念,探索了使用基于概率的有限状态机模型实现集群自主决策的解决方案,并通过案例进行了分析验证。该仿真模型为无人机集群作战应用研究提供了参考案例、模型支撑和实验平台。     

基于UML实时状态图的定量分析

在实时系统的开发过程中,时间上的约束在系统早期的定量分析中起着非常重要的作用.UML作为一种图形化、面向对象的建模语言,其中的实时特性描述文件UML Profile for Schedulability, Performance and Time适用于对实时系统的刻画.在给定系统的实时状态图基础上,用相对应的随机Petri网模型进行定量分析,得到实时系统最终的分析结果,对系统开发有重要的指导意义.     

基于NS-2的802.11DCF协议仿真模型研究

DCF协议是IEEE802.11标准最基本的无线信道接入方法.在分析DCF协议关键技术和NS-2仿真工具中DCF协议状态机模型的基础上,以NS-2.29版本为例,提出了NS-2中的DCF模型与标准中所描述的DCF模型二者之间存在的差异.这些差异分为三类:在特定的仿真环境下对仿真结果影响较大,应该进行改进的错误地方;由于NS-2内在的原因,在建模时所进行的模型简化所导致差异;在特定的工作环境和工作性质下对802.11标准的理解的不同所导致建模差异.     

SMV在开发数字电视硬盘机顶盒中的应用

数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证软件中各个线程的逻辑状态配置的正确和合理性.这种方法对软件开发中的有限状态分析有较大帮助.