基于实时系统完整性控制机制构建Attack-Tolerant 系统

目前计算机安全领域的研究主要集中在入侵防御等方面，无法保证系统在受到攻击的状态下继续提供有效服务．提出了一种新的系统完整性控制机制，以及如何基于该机制构建Attack-Tolerant系统．实时系统完整性控制机制能够实时检测系统非正常改动并自动恢复，确保系统服务在受到攻击的状态下运作正常，保证了系统的机密性、有效性与完整性．     

动态大系统的分散完整性控制

从提高动态大系统的可靠性出发，提出对系统中的传感器故障和执行机构故障具有完整性的分散控制器设计方法．建立了大系统的统一故障模型，给出故障大系统鲁棒稳定的充分条件，并在飞机容错控制系统中加以应用，仿真结果表明，效果良好．     

信息流安全技术回顾与展望

随着计算机和网络技术的迅猛发展,计算机系统和开放式的网络系统受到的攻击也日益增多。访问控制、入侵检测、加密等传统的安全机制只注重控制信息的释放,不能充分保证信息端到端的安全。信息流的方法通过分析系统中信息的流动,确保流动的信息都是合法的。介绍了信息流的基本模型、信息流分析的几种典型方法及其应用,并对它们进行了分析比较,最后给出了现有的信息流分析方法中存在的问题和未来的研究方向。结果表明采用信息流分析方法实现信息端到端的安全是可行的。     

埋地管道系统地下水毁类型及其辨识

水毁是埋地管道系统一种常见的环境及地质灾害,包括地面水毁和地下水毁2种基本作用形式.相对于地面水毁,地下水毁因其所具有的隐蔽性和显露于地表的滞后性,对管道系统的安全完整性构成了更高风险.根据管周土体内地下水的流态形式,将管道地下水毁划分为管道渗流水毁和管底槽流水毁2个亚类,分别阐述了它们的致灾机理及其影响因素,最后给出了辨识标志.     

类型系统λωX≤

为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类型系统λωX≤,文章介绍该类型系统有关类别（Kind)算子（Operator),项（Term）的规则,及其与建立范畴论语义模型有关的结构性质。     

基于虚拟机的文件完整性监控系统

以虚拟化软件Xen为基础,设计实现基于虚拟机的文件完整性监控系统——FSGuard。被监控系统（DomU）运行在全虚拟化模式,无法感知底层VMM的存在。Xen实时监控文件操作相关的系统调用,对被监控系统透明。DomU中的用户态程序提供配置和管理的接口,管理员可对某个DomU进行配置,指定需保护文件的列表和访问控制策略。当DomU中的进程对关键文件进行操作时,Xen实时记录文件操作信息,并通过DomU中用户态程序进行反馈。     

用FoxPro实现关系数据库的完整性的方法

关系数据库的完整性即指数据的有效性、一致性和相容性,它是构成关系模型的三要素之一,在数据库定义中占着很重要的地位。从理论上说,一个系统支持完整性约束的能力是衡量关系模型的程度的重要标准;在实际应用中,数据库是多个用户以不同的方式互相覆盖地并发地共享数据的集合,因而     

不确定广义系统状态反馈控制的完整性设计

该文研究一类参数不确定广义系统具有完整性的状态反馈控制系统设计问题。目的是设计状态反馈控制律，使得广义闭环系统对所有允许的参数不确定性和任一状态传感器失效都正则，无脉冲且稳定。利用广义系统稳定性的有关结论，将不确定广义系统具有完整性的状态反馈设计问题转化为广义Riccati不等式的求解，最后通过数值算例说明该文设计方法的有效性。     

基于完整性的文件保护

分析了病毒对文件完整性的破坏，对此提出了使用公钥密码体制进行数字签名来保护文件完整性的方法，对这种保护机制进行了详细的讨论，用这种方法不仅能够抵御病毒对文件的破坏，而且能够抵御其它各种因素对文件的破坏，所给出的方法为遏制计算机病毒提供了一种手段。     

基于DSP的红外光电图像处理系统的信号完整性分析

针对红外光电图像的处理开发设计了一套基于DSP的红外光电图像处理系统,利用Protel DXP软件中所包含的信号完整性仿真器．对系统的PCB板级进行信号完整性分析和研究。     

基于高木-关野型模糊系统的直接自适应控制

对高阶非线性系统设计了模糊直接自适应控制器.用高木-关野型模糊系统作为控制器,用鲁棒控制项对未知的逼近误差进行补偿以减小逼近误差对跟踪精度的影响.所给方法不但能保证闭环系统稳定而且可使跟踪误差收敛到原点或其小邻域内,此外还克服了外界干扰对系统误差的影响.     

基于民用信息系统构建国防信息安全与对抗网络的探讨

针对我军来来所面临的信息战问题,从隐军予民、军民两用的角度,分析了基于民用信息系统构建国防信息安全与对抗网络的必要性,用实例说明了其可行性,并阐述了网络构建的内涵。     

基于加权最小二乘的ARMAX系统的自适应控制

利用加权最小二乘为开环不稳定和非最小相位的ARMAX系统设计了一个适应镇定控制器,而且控制器设计不需任何外来激励信号。     

基于单片机的冲床专用数控系统的软件设计

介绍了一种基于单片机的专用于加工筛片的冲床数控系统，首先简述了系统硬件结构，然后在分析经济型数控系统软件结构与特点的基础上，详细给出了该数控系统软件的整个设计过程。     

基于WinPcap的公安信息网络数据包捕获分析系统研究

随着公安信息网络的迅猛发展,各项公安工作对公安信息网络的依赖程度越来越高,然而公安信息网络的安全保密工作正面临严峻的挑战．采用WinPcap对公安信息网络中捕获的数据包进行分析,能够让管理员深入了解和掌握当前网络运行状态,因此研究网络底层数据包的捕获和分析技术对于保障公安信息网络安全有着重要的意义．WinPcap提供的驱动接口,可以在数据链路层实现对网络数据流的捕获和分析．笔者对WinPcap的结构和功能进行了详细的介绍和分析,阐述了基于WinPcap捕获和分析网络数据包的方法和主要步骤．本系统采用采用VC＋＋编写,能过滤用户指定的IP地址、端口号和网络协议的数据包,并在界面实时显示数据包的具体信息．     

基于Web Service的移动健康信息系统

描述了基于Web Service构建SOA架构的移动健康信息系统EU的设计与实现.EU嵌入在移动存储设备当中,用户能随身携带它,并能随时在PC上通过Internet实现会员注册,健康诊疗信息的录入和查看,同时还可以和后台的名医专家进行交流.研究为移动信息系统的建立提供了一种解决方案.     

基于C／S结构的油品营销管理信息系统

介绍一种基于Ｃ／Ｓ结构的ＭＩＳ系统设计思想与实施技术，给出一个基于Ｃ／Ｓ结构的油品营销管理信息系统的业务流程，功能模块划分，模块实施实例，网络拓扑结构，系统配置及软件设计技术，该系统应用于现场运行，并取得满意的效果。     

基于Zigbee的温室环境监控系统设计

为了无线、实时监控花卉温室的温度、湿度、光照等参数,本文以STC89C52为控制器,利用无线通讯模块CC2530、温湿度传感器DHT11、光照模块GY-30、步进电机28BYJ-48、液晶模块1602等构建一种温室环境监测系统硬件电路,根据硬件电路设计相应的主程序,检测子程序,无线通讯子程序等。最后设计制作了样机,测试结果表明,该系统人机交互性较好,传输数据稳定,控制效果满足要求,成本低廉,使用方便,适用于花卉温室的环境监测。     

基于MMA的旅游景区信息管理系统研究

提出和定义各种不同的满足旅游景区经营发展信息管理系统要求的不同种类和功能的Agent,每个Agent有各自分散的目标、知识和推理过程,Agent之间通过自身的技能相互协调、相互合作,共同完成整个系统的目标.在系统中通过对消息的定义使得多Agent之间可以有效地完成复杂的协同工作,体现了多Agent处理的优越性.