一种自动监测系统异构性解决方案

文章对空气质量自动监测系统的异构性问题进行了分析与研究,提出了＂抽象设备、映射数据、虚拟协议＂的解决方案,将物理设备屏蔽在驱动一级,将抽象设备屏蔽在转换程序一级,将数据按空气质量因子分类型打包传送到组态王对应的寄存器组,实现了不同数据接口、不同数据类型以及不同传送协议下的企业信息自动化。     

基于交叉认证的PKI信任模型研究

公钥基础设施(PKI)利用公钥理论,为加密和数字签名等密码服务提供必需的密钥和证书管理.信任模型是PKI整体架构的抽象,其选取对PKI的构建至关重要.基于交叉认证的实现过程,介绍了五种典型的PKI信任模型的信任控制方法及模型特点,对模型进行了综合比较.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

基于抽象特征检测变形恶意代码

传统的恶意代码检测方法通常以固定的指令或字节序列这些具体特征作为检测依据,因此难以检测变形恶意代码.使用抽象特征是解决该问题的一个思路.本文针对恶意代码常用的变形技术,即等价指令替换、垃圾代码插入以及指令乱序进行研究.定义了一种抽象特征,同时提出了依据该抽象特征检测变形恶意代码的方法.最后,以典型变形病毒Win32.Evol为对象进行了实验,将该方法与其它方法进行了对比.实验结果验证了该方法的有效性.     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

数据库应用程序执行过程抽象

本文对数据库应用的执行流程进行了一个抽象,指出数据库应用流程通常都具有的几个步骤,从而使数据库应用程序的开发过程中可以更加有效的进行设计和实现。     

OMR抽象模型

在计算机领域反映现实世界中的事物,离不开有效模型的支持。这个模型一方面是现实世界中具体事物的抽象,另一方面又便于计算机实现。提出的OMR模型反映了现实世界的运行规律,用对象、消息和关系三要素对现实事物进行抽象和描述,是辅助计算机实现的有效工具。为了从形式化和数学化的角度描述OMR模型,又探讨了对象内Petri网和对象间Petri网,从而使OMR模型进一步丰满。     

黑格尔在汉普顿：克利福德·罗斯关于摄影与世界的冥想

＂静止＂的飓风、＂凝固＂的流动,这些在现实生活中无法实现的体验通过摄影技术成为可能,艺术家通过《飓风》这样的作品将不可视的真实转向可视的抽象。作者将罗斯的摄影作品与黑格尔的逻辑对照起来看,发现虽然摄影的本意是描述我们周围的世界,但它却具有倾向于抽象的本质。     

聚焦关注区域的网络模拟方法

为降低大规模网络模拟的计算开销并保证模拟的真实性,提出了一种聚焦关注区域的网络模拟方法.该方法将所要模拟的网络拓扑分为关注区域及非关注区域2个部分,并对关注区域采用离散事件模拟技术以保证真实性,对非关注区域采用"拓扑-流量"联合抽象模拟技术以降低计算开销.分析了"拓扑-流量"联合抽象模拟技术的模拟真实性.基于NS2的实验结果表明,当聚焦系数为4时,相对于传统的网络模拟技术,该方法能降低模拟计算开销85%以上,而关注区域模拟结果的平均误差在2%左右.     

容错的网络声明式程序

介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.