客户与服务器之间的安全交互作用

基于交易器的开放网络环境可以实现异种机、异种数据库和异种网的互操作，以客户／服务器模型进行工作。然而，客户与服务器之间的安全交互作用是十分重要的，而且涉及两个方面的问题：交易双方的安全性和交易器之间的安全性。文中指出可以实现交易器之间的安全联接，提出了客户与服务器之间的安全交互作用的协议，实现了一些基本的安全服务。     

高可用性双机系统的有限自动机

介绍了提供高可用性的双机系统的原理、部署和体系结构;定义了双机系统各部件功能,描述了子系统间的接口,给出了该双机系统的有限自动机。该自动机具有有限数目的内部状态,模拟了双机系统的工作原理及内部各状态的相互转化,描述了服务切换、进程与服务监控、心跳侦测、网络参考点侦测等过程,为双机系统的行为描述和结构设计提供了理论依据和论证。     

有限自动机在BBS信息监测系统中的运用

形式语言与自动机理论是为了将自然语言转换成为计算机能够识别、处理的语言而建立的理论体系,利用有限自动机可以对文本信息进行智能化监测,对文本的词法分析可以得到系统监测所需要的信息。该文对有限自动机在BBS信息监测系统中的运用进行了详细阐述;描述了系统的具体实现以及软件界面;对信息监测的三种方式终端监测、运行监测、备份监测的优劣进行了分析,并提出了具体实施的办法。     

一种DNA计算系统的有限自动机模型

通过一个实例给出了粘贴系统模型的基本定义，讨论了粘贴系统模型的正则文法特性，并从自动机的角度给出了相当于正则文法表达能力的有限自动机模型。     

CFSM模型的有限自动机语义

研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对 CFSM模型进行分析和验证奠定了基础     

基于有限自动机的RFID入侵检测

利用RFID中间件的特点,加入入侵检测异常检测模块,通过对入侵者的攻击数据流与RFID系统内部的数据流进行对比后提取特征向量,并通过对入侵数据流对应子模块的归纳建立有限自动机,对有限自动机的归并来提高系统入侵检测的效率。此外,参照归并后的有限自动机对攻击进行分类,通过对攻击本质的分析与提取来检测一部分入侵检测自动机里没有相应的攻击。最后,对固定攻击比例的访问事件样本乱序进行试验,试验结果表示系统在3轮测试中均得到稳定的检测率。     

ODP环境中全局安全系统的拓扑结构

ＯＤＰ环境中的全局安全系统是由各个安全域通过安全联接而成的，但是安全域之间的关系、全局安全系统的结构却是错综复杂的，组织和管理好全局安全系统是一个非常重要的问题。文中提出了全局安全系统的三种拓扑结构：网状拓扑、树状拓扑和综合拓扑，并根据安全政策和安全对象，讨论了各种拓扑的特点和构成条件。     

基于元胞自动机的物流系统选址模型

元胞自动机是可模拟复杂结构和过程的模型.在分析现代物流发展特点的基础上,建立基于元胞自动机的物流系统选址模型.应用元胞自动机模拟技术及MATLAB,对物流系统的选址模型进行了仿真研究,并获得了合理和有益的结论,可为实际应用提供建模参考.     

ODP环境中全局安全系统内的安全域之间的联接

ＯＤＰ环境中的全局安全系统在逻辑上是由各个安全域迈过安全联接互联而成的。安全城之间的关系、全局安全系统的结构却是错综复杂的。安全域之间能否建立联接，怎样建立联接，是由安全域之间的关系所决定的。在全局安全系统的格模型的基础上，讨论了全局安全系统的结构、安全域之间的关系、以及安全域之间的联接模型。     

拟(h,k)阶存贮线性有限自动机的一些结果

利用拟(r,r)阶存贮线性有限自动机可以轻松地构造出一个延迟r步弱可逆的有限自动机,这比文献[2]中通过Ra,Rb变换,对(r,r)阶存贮线性有限自动机进行一系列复杂烦琐的变换来构造一个延迟r步弱可逆的有限自动机的方法要简单可行.文章利用拟(r,r)阶存贮线性有限自动机,给出了一种构造延迟r步前馈可逆的线性有限自动机M和延迟r步前馈逆线性有限自动机M的简便方法.     

普特南的机器功能主义简述

机器功能主义是功能主义的一种重要形式,是一种对心灵的本体论问题和其它心理属性具有较强的解释力的,克服了逻辑行为主义和类型同一论部分困难的哲学理论。但机器功能主义虽然作为一种主流的理论也有其局限性,例如在解释感受性质等问题上具有不可克服的困难。     

保安服务业发展需要完善人员竞争机制

由于国内大多数保安企业尚未建立现代企业管理制度,缺乏保安人员竞争机制,严重影响了保安服务业的发展,目前急需建立和完善保安人员竞争机制来改变这一现状。     

Internet/Intranet环境下管理信息系统研究

研究了管理信息系统(MIS)的一种IIMIS新型运作模式。IIMIS是Internet/Intranet与传统MIS的有机结合。讨论了IIMIS的结构模型,提出一种复合MIS结构模型,并阐述IIMIS的功能,指出IIMIS是一种分布式、集成化的全方位服务信息系统,该文还讨论IIMIS的实现技术和IIMIS的安全性问题,着重分析Web数据库访问技术和分布式计算技术,探讨IIMIS的各种安全机制,其安全机制的结合形成了IIMIS的安全体系。     

构建公共卫生安全全球治理体系

冷战结束以来,领土安全等传统安全问题得以缓解,而生态环境、公共卫生等非传统安全问题则上升为国际社会共同关注的重点领域。近期全球肆虐的新型冠状病毒肺炎及巴西登革热使国际视野再次聚焦全球公共卫生安全问题。作为当代最主要的公共卫生安全威胁之一的传染性疾病,给个人、国家及国际社会的安全造成了重大威胁,给世界经济带来了巨大损失,并深刻影响了国际关系的发展。因此,构建国际公共卫生安全治理体系更显必要与紧迫。     

基于WEB的高校设备仪器管理系统的研究

通过对高校设备管理系统对象模型的研究，设计并开发了基于WEB的高校设备仪器管理系统。在系统开发程中，综合应用了客户机／服务器技术和济览器／服务器技术，实现了远程数据的管理和便捷的用户查询。     

土地保障与农村社会保障制度创新研究

我国社会保障制度明显表现为城乡二元结构,有相当部分社会保障项目将整个农村人口排挤在外,其理由是农民已获得了土地提供的保障。事实上,随着农村经济的发展,土地保障作用一方面在弱化,另一方面也阻滞了农村经济的进一步发展。因此,政府有义务根据国家财力和社会经济发展水平推进农村社会保障建设,通过一系列制度创新构建与逐步完善农村社会保障制度,替代土地保障制度。