一种基于半环理论的可信性评估模型

在网络安全领域,可信指的是参加各种协议的各个实体之间关系的集合,这些关系是建立在实体在某个协议之上进行相互操作的行为之上的,为了加强网络的安全性,评估结点的可信性是非常重要的。讨论了对可信事件的评估：首先介绍了可信的相关概念和相关的特性;接着评估过程被建模成一个在有向图寻找最短路径的问题,在该有向图中结点表示实体或者用户,边表示可信关系,通过使用半环理论,建立了一个基于半环的可信性评估模型TD-SEMIRING,在两个以前没有进行相互操作的实体之间建立间接的可信关系,介绍了这个模型在路由选择当中的应用;最后,通过仿真实验,验证、分析了该模型的有效性。     

基于Web的汇编语言实验仿真

针对高校实验教学所面临的问题,提出一个采用模型／视图／控制器架构设计的Web实验仿真平台,并在J2EE开发平台上实现了一个基于Web的汇编语言实验仿真系统。仿真实验与综合性实验相结合,为高校实验教学改革探索出一条成功的新思路。     

专业学位研究生课程高等分离工程教学改革与实践

概述了课程概要及教学改革必要性,分析了适应专业学位教育方向,与企业共进课堂,并详细论述了教学内容安排及教学重点,探讨引入"以学生为中心"的课程理念及对分课堂的教学手段,以及绿色、生态化工理念.以强化学生的主动学习能力和创新能力.     

唐家会煤矿矿井水余热利用技术

近几年来,我国对矿井余热利用技术的研究方兴未艾,国内一些煤矿企业已开始着手利用井下余热来达到降本增效、节能减排的目的。唐家会煤矿井下开采环境特殊,井下空气和水中储存了丰富的低温热源,而且一年四季,温度基本保持恒定,形成了储量巨大的可再生低温热源。该矿利用热泵技术,回收矿井中水废热;通过少量的高位电能输入,将水的温度提升至45～50℃后,通过增压机组,输送至矿井供热系统,解决了5 600 kW的供热缺口问题。同时在非采暖季,取代燃煤锅炉,为浴池提供洗浴热水,做到了节能减排、绿色环保,实现了企业与环境的和谐发展。     

基于湿载-冻-融耦合作用的黄土灵敏度特性研究

黄土的灵敏度是黄土结构特性的重要指标。为了研究湿载-冻-融耦合作用对黄土灵敏度特性的影响,取山西阳曲、陕西洛川、陕西宝鸡等地的黄土为研究对象,对经历不同湿载、冻结、融化过程的3种黄土的灵敏度变化规律进行研究。结果表明,湿载是黄土灵敏度变化的主要影响因素,冻融作用是黄土灵敏度的次要影响因素。塑限含水率时,黄土的灵敏度下降幅度最大;饱和含水率时,黄土的灵敏度达到最小值。3种黄土的灵敏度均与湿载-冻-融作用有着良好的函数关系。     

Ge基GaAs薄膜和InAs量子点MBE生长研究

采用分子束外延(MBE)法,在优化Ge衬底退火工艺的基础上,通过对比在(001)面偏<111>方向分别为0°、2°、4°和6°的Ge衬底上生长的GaAs薄膜,发现当Ge衬底的偏角为6°时有利于高质量GaAs薄膜的生长;通过改变迁移增强外延(MEE)的生长温度,发现在GaAs成核温度为375℃时,可在6°偏角的Ge衬底上获得质量最好的GaAs薄膜。通过摸索GaAs/Ge衬底上InAs量子点的生长工艺,实现了高效的InAs量子点光致发光,其性能接近GaAs衬底上直接生长的InAs量子点的水平。     

基于检查点的分布式软件监控与可信性评价

基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为多层模块结构,进行基于检查点结构树的节点实例可信性以及基于节点的分布式软件可信性评价。实验表明能以较小的监控开销,更准确地评价分布式软件实例的可信性,能够处理无限路径,且不存在大状态空间问题。     

多机多级动态优先级总线仲裁器的研究

在紧耦合多处理机系统中，总线仲裁器的设计是影响系统性能的关键问题，本文提出了一种多机多级动态优先级总线仲裁器的设计方案，给出了其逻辑仲裁关系表达式和数学模型。．     

基于多Agent的冗余服务管理研究

采用冗余服务提高分布式应用的可靠性、可用性及吞吐能力成为分布式应用的研究热点。提出了一个基于多Agent的管理模型。通过对Agnet进行属性和行为定义,实现对冗余服务的性能管理和主机失效管理,以此来提高冗余服务的整体性能。