网络保护质量研究

随着人们的网络安全意识不断增强,迫切需要一套可度量、可量化的指标来评价系统安全保护的质量.作为网络安全领域的一个新概念,网络保护质量(Quality of Protection,QoP)能为不同的用户和业务提供不同等级的安全保证,满足日益复杂网络环境下的安全需求,在国内外受到广泛关注.文章综述了不同应用背景下QoP的含义,提出了QoP的定义及其评价指标,分析了目前QoP的体系结构、评价模型及实现机制,并对今后的研究方向进行了展望.     

虚拟化环境下恶意软件攻击的修复机制

 恶意软件常常能够成功攻击虚拟机和其管理系统,使虚拟环境处于一种不安全、难以恢复的状态.传统的安全防护机制无法满足虚拟环境的安全要求,本文提出一种基于代理的检测和协作修复机制,通过多个虚拟机节点共享修复情况信息,快速获取有效的修复工具,提高恢复能力.模拟分析和仿真实验结果证明该机制的实用性和效率.     

基于DSP_C54X窄带中频抽样的理论与实现

本文在讨论带通抽样理论的基础上，使用TI公司DSP_C54X和AD／DA转换芯片构成窄带中频抽样系统，对普通AM接收机的中频输出进行了欠抽样处理，完成了中频调制信号的解调、滤波和输出功能。     

使用Petri网T—不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论，基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决子句推论问题。     

计算机体系结构的层次设计:来自易经模型的视角

易经是中华民族的宝贵文化遗产，它包含上古时期人们对自然宇宙和人生社会的思想认识、哲学理念和辩证法，代表了先民哲学地认识宇宙模型的思维成果.从易经模型方法来观察计算机体系结构层次设计，对层阴阳性质的分类可以带来层次设计的深化，可以认识层次设计的本质，为层次设计带来模型体系和学说理念.我们建立了层次对立统一和刚柔相应学说，给出了体系结构层次设计的模型和评价，并且可以促进层次部件之间的协调发展.本文论述了经卦分层连接关系和六爻的层次模型与理念学说，拓展了易经层次模型的发展演化，透过SDN网络层次模型和云计算层次模型的例子阐明了层次设计的模型方法和演化推理.最后，进行了总结，并对下一步的研究进行了简单展望.     

含有非马尔可夫过程的排队Petri网模型和性能分析

本文提出了一种新的高级性能模型技术,称作NM-QPN(含有非马尔可夫过程的排队Petri网,Queuing Petri Net including Non-Markovian processes),它综合了排队网,随机Petri网以及模拟求解各自的特点.NM-QPN以模拟模型为总体框架,发挥排队网和随机Petri网各自的优势对系统进行建模.提出了一套完整的NM-QPN模型求解方案,通过流等价方法将模型中的马尔可夫过程进行化简,这样可以大大减少模型的状态,最后再用模拟求解方法求解剩下的非马尔可夫过程.     

醇铝水解法生产高纯氧化铝工艺的改进

介绍了异丙醇铝水解法制备高纯氧化铝生产工艺,针对生产过程中设备和工艺方面存在的问题,通过提高原料纯度,优化工艺,重新选择搅拌桨、泵及匣钵等措施,降低了杂质含量,氧化铝纯度提高至99.995%,同时降低了原料消耗,满足了高纯氧化铝的生产要求。     

用进程代数描述可适应工作流的模型方法

工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数——通信顺序进程(Communication Sequential Process,CSP)描述工作流的方法,并给出了模型可适应问题的解决方法.进程代数的合并(composition)特点可以将简单的工作流模型组合成复杂的工作流模型,从而解决复杂系统的模型问题,并为工作流模型的可重用性提供有力的支持.     

Stability analysis of buffer priority scheduling policies using Petri nets

A Petri net approach to determining the conditions for stability of a re-entrant system with buffer priority scheduling policy is described in this paper.The concept of buffer boundedness based on the dynamic behavior of the markings in the system model is emphasized.The method is used to demonstrate the stability of the first buffer first served(FBFS)and the last buffer first served(LBFS)scheduling policies.Finally a sufficient condition for instability of systems with a positive feedback Joop(PFL) is established,and an example is given.     

随机高级Petri网的层次模型和分层性能评介

这篇论提供了一种将大型随机高级Ｐｅｔｒｉ网模型构造成独立子网的方法和技术。这些子网可以独立地进行性能评价，在原模型中子网可由非基本变迁进行性能等效替代，以达简化状态空间的目的。这种技术依赖于ＳＨＬＰＮ模型的层次设计和一个标记穿越子网时平均延时间的估算。