基于可信计算的动态组件属性认证协议

1

作者 闫建红 彭新光 《计算机工程与设计》 CSCD 北大核心 2011年第2期493-496,共4页

远程认证是可信计算平台的一种重要功能,二进制方法和基于属性证书的认证是其两种认证方法。属性认证能隐藏平台软件和硬件的配置信息,是静态的,不能动态验证现在正在运行的平台的实时信息。结合这两种方法的优点,提出了一种基于动态组... 远程认证是可信计算平台的一种重要功能,二进制方法和基于属性证书的认证是其两种认证方法。属性认证能隐藏平台软件和硬件的配置信息,是静态的,不能动态验证现在正在运行的平台的实时信息。结合这两种方法的优点,提出了一种基于动态组件属性的认证协议,将二进制认证、属性认证和组件认证结合到该协议中。对协议进行了详细的说明和安全性分析,实验结果表明,该认证方法是有效的、保密的和可行的。 展开更多

关键词 存储测量日志 基于属性 远程认证 动态组件属性认证 可信计算

在线阅读 下载PDF 职称材料

无线传感网中基于BP神经网络的数据融合方法 被引量：26

2

作者 樊雷松 强彦 +2 位作者 赵涓涓 胡洋洋 格磊 《计算机工程与设计》 CSCD 北大核心 2014年第1期62-66,共5页

在森林火灾监测中,为减少无线传感网中大量冗余和无效的数据,增加节点的生命周期,优化无线传感网络的收敛速度,提高火情报告的准确度,提出了一种改进的基于BP神经网络的数据融合方法。该方法在节点上能融合多种传感器数据,根据节点的处... 在森林火灾监测中,为减少无线传感网中大量冗余和无效的数据,增加节点的生命周期,优化无线传感网络的收敛速度,提高火情报告的准确度,提出了一种改进的基于BP神经网络的数据融合方法。该方法在节点上能融合多种传感器数据,根据节点的处理能力,加速BP神经网络的收敛速度,有效地节省能耗。模拟算例结果表明,该方法应用于火灾监测传感网,能有效地提高监测精度,降低节点能耗,提高无线传感网对森林火灾监测的效能。 展开更多

关键词 无线传感网 数据融合 神经网络 森林火灾监测 节省能耗

在线阅读 下载PDF 职称材料

同步数据流语言高阶运算消去的可信翻译 被引量：9

3

作者 刘洋 甘元科 +4 位作者 王生原 董渊 杨斐 石刚 闫鑫 《软件学报》 EI CSCD 北大核心 2015年第2期332-347,共16页

Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lu... Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明. 展开更多

关键词 同步数据流语言 形式化验证 高阶运算 定理证明

在线阅读 下载PDF 职称材料

基于数据挖掘技术的煤矿远程监控系统研究 被引量：26

4

作者 岳一领 李东生 《太原理工大学学报》 CAS 北大核心 2005年第2期211-215,共5页

通过对远程煤矿监控系统的分析,提出了一种基于数据挖掘技术的煤矿远程监控系统的实现方案,即通过井下数据采集工作站采集现场瓦斯与设备状态信息,并建立数据库;经Intra net/Internet将信息发送到远程监控中心;由不同的工具对信息进行处... 通过对远程煤矿监控系统的分析,提出了一种基于数据挖掘技术的煤矿远程监控系统的实现方案,即通过井下数据采集工作站采集现场瓦斯与设备状态信息,并建立数据库;经Intra net/Internet将信息发送到远程监控中心;由不同的工具对信息进行处理;利用统计类数据挖掘技术对超限瓦斯数据进行分析、推断和预测。阐述了煤矿监控系统的网络运行结构和系统体系结构,讨论了数据挖掘技术在煤矿系统远程监控中的应用,并给出了相应的数据挖掘模型。 展开更多

关键词 煤矿远程监控系统 网络运行结构 系统体系结构 数据挖掘

在线阅读 下载PDF 职称材料

自适应动量项BP神经网络盲均衡算法 被引量：14

5

作者 王华 程海青 《计算机工程与设计》 CSCD 北大核心 2010年第6期1297-1300,共4页

为了消除数字信号在传输过程中产生的码间串扰,使得接收端能够正确解调,对信道畸变进行有效补偿,在基于动量项BP神经网络盲均衡算法的基础上,提出一种能够自适应调节BP神经网络动量项的盲均衡算法。该算法根据盲均衡过程中误差函数的变... 为了消除数字信号在传输过程中产生的码间串扰,使得接收端能够正确解调,对信道畸变进行有效补偿,在基于动量项BP神经网络盲均衡算法的基础上,提出一种能够自适应调节BP神经网络动量项的盲均衡算法。该算法根据盲均衡过程中误差函数的变化情况,自适应调节BP神经网络的动量项,充分发挥动量项在避免网络训练陷于较浅的局部极小点的优势。仿真实验结果表明,该算法在稳定性及收敛性能上均优于固定动量BP神经网络盲均衡算法。 展开更多

关键词 盲均衡 误差反传算法 神经网络 自适应算法 动量项

在线阅读 下载PDF 职称材料

贪婪周边无状态路由转发算法GPSR的分析及改进 被引量：5

6

作者 王丽娟 梁海涛 +1 位作者 秦建敏 任新华 《太原理工大学学报》 CAS 北大核心 2012年第5期587-590,共4页

分析了贪婪周边无状态路由算法GPSR(Greedy Perimeter Stateless Routing),并对其缺陷进行了改进。利用NS2网络模拟平台仿真实现了GPSR算法及改进的算法GPSRI(GPSR-Improved),并对两种算法的传输时延,转发跳数等重要参数进行了比较;验... 分析了贪婪周边无状态路由算法GPSR(Greedy Perimeter Stateless Routing),并对其缺陷进行了改进。利用NS2网络模拟平台仿真实现了GPSR算法及改进的算法GPSRI(GPSR-Improved),并对两种算法的传输时延,转发跳数等重要参数进行了比较;验证了改进的算法GPSRI能更有效地传输数据。该算法降低了传输时延,减少了转发跳数,实现了多路径数据传输,保证了网络数据传输的可靠性;有效地解决了GPSR算法中出现的空洞(void)问题。 展开更多

关键词 贪婪周边无状态路由算法 时延 跳数 空洞

在线阅读 下载PDF 职称材料

可信编译器构造的翻译确认方法简述 被引量：2

7

作者 刘洋 杨斐 +3 位作者 石刚 闫鑫 王生原 董渊 《计算机科学》 CSCD 北大核心 2014年第S1期334-338,共5页

编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测试,但是测试难以达到完全覆盖,并不能充分地保证编译器的安全可信。近年来,形式化验证方法被成功用于可... 编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测试,但是测试难以达到完全覆盖,并不能充分地保证编译器的安全可信。近年来,形式化验证方法被成功用于可信编译器的构造中。一种方法是对编译器本身进行形式化验证,经过严密的证明,可杜绝误编译的发生。然而,这种方法可能"冻结"编译器的设计,阻碍编译器未来可能的优化和完善。翻译确认是另外一种用于可信编译器构造的形式化方法,它避免了对编译器自身的验证,有很好的可重用性,近年来在编译器验证领域得到了广泛研究,已取得令人瞩目的成果。介绍了翻译确认方法的概念及研究进展。 展开更多

关键词 可信编译器 形式化验证方法 翻译确认 确认器

在线阅读 下载PDF 职称材料

基于BP网络的权值更新快速收敛算法 被引量：6

8

作者 周昌能 余雪丽 《计算机应用》 CSCD 北大核心 2006年第8期1940-1942,共3页

针对标准BP网络学习算法收敛慢的问题,提出了两种权值更新的快速收敛算法,即基于梯度变化率的快速传递算法和基于梯度方向的弹性传递算法,并在煤矿事故救援游戏式训练系统中进行仿真和比较,让游戏角色根据井下空气成分学习判断危险程度... 针对标准BP网络学习算法收敛慢的问题,提出了两种权值更新的快速收敛算法,即基于梯度变化率的快速传递算法和基于梯度方向的弹性传递算法,并在煤矿事故救援游戏式训练系统中进行仿真和比较,让游戏角色根据井下空气成分学习判断危险程度,以便受训人员或仿生机器人采取相应的措施。仿真结果表明,所提算法的收敛时间比标准算法有一定改善。 展开更多

关键词 快速收敛算法 游戏式训练 BP人工神经网络

在线阅读 下载PDF 职称材料

基于小生境技术和聚类分析的人工免疫算法 被引量：4

9

作者 郝晓丽 谢克明 《计算机科学》 CSCD 北大核心 2007年第9期135-138,共4页

针对标准人工免疫算法存在的早熟收敛和后期收敛速度慢的问题,本文提出了一种基于小生境技术和聚类分析的改进的人工免疫算法。首先运用嵌入进化标记的小生境技术对初始种群进化,"排挤机制"有效地保持种群的多样性,防止了早熟... 针对标准人工免疫算法存在的早熟收敛和后期收敛速度慢的问题,本文提出了一种基于小生境技术和聚类分析的改进的人工免疫算法。首先运用嵌入进化标记的小生境技术对初始种群进化,"排挤机制"有效地保持种群的多样性,防止了早熟,而标记种群的进化方向则加快了算法的收敛速度。其次聚类方法的应用使得在各极值点附近形成了聚类区域,在不同的聚类区域运用人工免疫的趋同算子和异化算子分别进行粗搜索和细搜索,以保证全局寻优的速度和精度。仿真结果表明,该改进算法较之标准免疫算法,有更快的收敛速度、更强的全局搜索能力和更好的寻优精度。 展开更多

关键词 人工免疫算法 小生境 聚类 算子

在线阅读 下载PDF 职称材料

基于模糊模型的多Agent故障诊断系统的研究 被引量：4

10

作者 李志芳 冯秀芳 《太原理工大学学报》 CAS 北大核心 2005年第2期220-223,共4页

对故障诊断领域中多Agent技术的应用,以及如何利用模糊推理和遗传算法建立模糊模型的算法进行了研究和分析,提出一种基于模糊模型的多Agent故障诊断方法,并获得了多Agent系统的初步实验结果。

关键词 多Agent系统(MAS) 故障诊断 模糊模型 遗传算法 JACK

在线阅读 下载PDF 职称材料

Hibernate和struts的整合架构中数据持久化技术的应用研究 被引量：5

11

作者 王庆生 闫宝华 《太原理工大学学报》 CAS 北大核心 2008年第S1期56-58,共3页

针对传统的使用单一框架构建企业级应用存在结构复杂、扩展性和可维护性差的问题,以山西煤炭纠察队系统为例,分析了在J2EE的B/S架构下,MVC模式的两个开源框架hiber-nate和struts整合设计,其中struts作为表示层和业务层框架,hibernate作... 针对传统的使用单一框架构建企业级应用存在结构复杂、扩展性和可维护性差的问题,以山西煤炭纠察队系统为例,分析了在J2EE的B/S架构下,MVC模式的两个开源框架hiber-nate和struts整合设计,其中struts作为表示层和业务层框架,hibernate作为数据层框架。利用XML技术标准配置灵活使用这两种框架,简化了对象持久化映射工作和开发中的分工,使得项目开发结构清晰,具备强大扩展性和可维护性。 展开更多

关键词 MVC 关系映射架构 对象持久化 STRUTS HIBERNATE

在线阅读 下载PDF 职称材料

基于动态粒度的并行人工免疫聚类算法 被引量：2

12

作者 郝晓丽 谢克明 《计算机工程》 CAS CSCD 北大核心 2007年第23期194-196,共3页

从粒度的角度讨论了聚类结果和先验知识的协调度问题,提出了一种基于动态粒度的并行免疫聚类算法。鉴于并行人工免疫系统模型具有并行、随机搜索、反复进化和模式多样性等特点,将其与动态粒度模型相结合,在粒度变化过程中,通过对粒度粗... 从粒度的角度讨论了聚类结果和先验知识的协调度问题,提出了一种基于动态粒度的并行免疫聚类算法。鉴于并行人工免疫系统模型具有并行、随机搜索、反复进化和模式多样性等特点,将其与动态粒度模型相结合,在粒度变化过程中,通过对粒度粗化和细化的调整,选择合适粒度,保证了算法的聚类效率和聚类质量。实验证明,该算法在处理多样本、多属性、多类别问题时,是一种有效的方法。 展开更多

关键词 动态粒度 人工免疫 聚类 协调度

在线阅读 下载PDF 职称材料

基于OMAP3530的SIP视频监控客户端设计与实现 被引量：1

13

作者 吕士钦 朱晓军 张刚 《计算机工程与应用》 CSCD 2012年第20期81-86,共6页

在嵌入式Linux环境下设计实现一个由SIP信令控制的视频监控客户端。该系统以OMAP3530芯片为硬件平台核心,采用H.264作为视频编码标准,并将会话初始协议用于整个系统的信令控制。系统功能包括SIP注册与退出、SIP呼叫与挂断、音视频数据... 在嵌入式Linux环境下设计实现一个由SIP信令控制的视频监控客户端。该系统以OMAP3530芯片为硬件平台核心,采用H.264作为视频编码标准,并将会话初始协议用于整个系统的信令控制。系统功能包括SIP注册与退出、SIP呼叫与挂断、音视频数据流控制、播放和存储等功能。该设计充分利用了H.264算法标准在数据压缩率和网络友好性等方面的优势,并利用了OMAP3530双核架构的特性,由ARM核完成系统的管理和控制,DSP进行解码。实验结果证明,该方法建立的监控客户端具有高性能、低功耗、实时性强、运行稳定的特点。 展开更多

关键词 达芬奇技术 嵌入式多核系统 会话初始协议 H264

在线阅读 下载PDF 职称材料

基于准频繁项目集的关联规则挖掘

14

作者 赵旭俊 闫宏印 +1 位作者 吴广平 董晓丽 《太原理工大学学报》 CAS 北大核心 2005年第4期412-415,共4页

为减少关联规则挖掘中数据库扫描次数,提出了一种基于准频繁项目集的关联规则挖掘算法———SupposedFrequent,同时给出了候选频繁项目集的产生函数———BGen.最后通过实验证明:在给定最好的准频繁项目集的条件下,只需扫描数据库两次... 为减少关联规则挖掘中数据库扫描次数,提出了一种基于准频繁项目集的关联规则挖掘算法———SupposedFrequent,同时给出了候选频繁项目集的产生函数———BGen.最后通过实验证明:在给定最好的准频繁项目集的条件下,只需扫描数据库两次就能产生全部的频繁项目集。 展开更多

关键词 关联规则 准频繁项目集 覆盖率 长频繁项目集

在线阅读 下载PDF 职称材料

分区操作系统内核中隔离性质的研究

15

作者 闫鑫 王庆生 王生原 《太原理工大学学报》 CAS 北大核心 2014年第4期515-521,共7页

为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通... 为了达到经过形式化验证分区操作系统内核隔离性质的目标,采取形式化方法描述系统的顶层规范设计中描述隔离性质需求,通过将航空电子应用软件标准接口ARINC653与GWV定理相结合,实现了对分区操作系统需要满足的隔离性质的抽象描述,并通过使用类Z/Z++作为形式化描述语言。 展开更多

关键词 安全关键系统 操作系统内核 可信性 分区 隔离性质 Z Z++

在线阅读 下载PDF 职称材料

基于并行人工免疫算法的变精度属性约简

16

作者 郝晓丽 谢克明 《计算机工程与应用》 CSCD 北大核心 2007年第21期173-176,共4页

为了避免传统的人工免疫算法在属性约简时陷入局部最优解,提出了具有自适应特性的并行人工免疫算法,并且运用该算法进行粗糙集的变精度属性约简。该算法构造了趋同算子,异化算子和传优算子,利用“趋同”算子的分布性特点实现多个子种群... 为了避免传统的人工免疫算法在属性约简时陷入局部最优解,提出了具有自适应特性的并行人工免疫算法,并且运用该算法进行粗糙集的变精度属性约简。该算法构造了趋同算子,异化算子和传优算子,利用“趋同”算子的分布性特点实现多个子种群的并行搜索,利用“异化”算子来交换种群之间优秀个体的信息,维持种群的多样性,利用“传优算子”把当前最优抗体分配到各个子群体当中,实现群体跨越式进化。在各个算子操作过程中,为了从准确度和覆盖度两方面来度量生成的规则集合的不确定性,引入了不确定量度HVPRS作为评价因子,并以此为依据,自动调整抗体的交叉概率和变异概率,使得算法不仅具有自适应的特性,而且所提取的规则集具有较高的覆盖能力和泛化能力。最后通过某发电厂发电机级故障诊断的实例,表明该算法获得的故障诊断规则集合具有较高准确度和覆盖度,满足了实际故障诊断中的要求。 展开更多

关键词 并行人工免疫算法 自适应 变精度 属性约简

在线阅读 下载PDF 职称材料

语义Web服务的形式化与满足性研究

17

作者 段跃兴 段之宇 《计算机应用与软件》 CSCD 北大核心 2012年第9期156-158,161,共4页

描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web... 描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题。通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程。这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用。 展开更多

关键词 语义WEB 描述逻辑 语义WEB服务

在线阅读 下载PDF 职称材料

双向过滤的字符串相似连接验证方法 被引量：2

18

作者 黄樱 宋春花 牛保宁 《计算机工程与应用》 CSCD 北大核心 2017年第9期72-79,共8页

字符串相似连接是指在字符串集合中找出相似的字符串对,是许多应用的关键操作,寻找高效的字符串相似连接算法已成为研究热点。基于划分的过滤-验证方法(Pass-Join)与其他方法相比具有较高的效率。它按照字符串长度递增的顺序访问字符串... 字符串相似连接是指在字符串集合中找出相似的字符串对,是许多应用的关键操作,寻找高效的字符串相似连接算法已成为研究热点。基于划分的过滤-验证方法(Pass-Join)与其他方法相比具有较高的效率。它按照字符串长度递增的顺序访问字符串集合,通过查找一个字符串的划分块是否存在于另一个字符串中,快速筛选出可能相似的字符串对(候选集),然后利用编辑距离进行相似性验证。研究发现,按照字符串长度递减的顺序进行过滤(长度递减过滤)的效果优于按照长度递增的顺序过滤(长度递增过滤)的效果,基于此,提出双向过滤-验证机制:在过滤阶段对长度递减过滤的结果再进行一次长度递增过滤,进一步减小候选集大小;在验证阶段利用双向过滤产生的两对划分块和其匹配子串分隔字符串对,从而减小需要验证的字符串的长度,加速验证过程。实验证明,双向过滤-验证算法在真实数据集上优于原算法。 展开更多

关键词 字符串相似连接 双向过滤-验证机制 过滤-验证框架

在线阅读 下载PDF 职称材料

任务驱动模式重用方法的应用及开发 被引量：2

19

作者 吴广平 阎宏印 +1 位作者 郭鹏 赵旭俊 《太原理工大学学报》 CAS 北大核心 2005年第4期427-430,450,共5页

在介绍任务驱动的模式重用方法的基础上,就该重用方法的应用提出了通用模式的开发和框架特化模式的开发两种应用策略。并以通用模式设计中抽象类工厂模式为例,深入探讨了开发一个可重用的通用模式的实施步骤。

关键词 任务驱动 模式 重用 模式重用

在线阅读 下载PDF 职称材料

移动Agent安全技术的研究 被引量：2

20

作者 梁国军 冯秀芳 《太原理工大学学报》 CAS 北大核心 2005年第2期149-152,共4页

针对现有移动Agent安全系统在大规模开放式网络应用中存在的问题,提出了一种解决移动Agent系统安全性问题的模型———移动Agent安全管理器(MASM),给出了MASM的结构和功能,并设计了具体的实施方案;以IBM的Aglet为平台,对此模型进行了验... 针对现有移动Agent安全系统在大规模开放式网络应用中存在的问题,提出了一种解决移动Agent系统安全性问题的模型———移动Agent安全管理器(MASM),给出了MASM的结构和功能,并设计了具体的实施方案;以IBM的Aglet为平台,对此模型进行了验证。说明了该方法的可行性和有效性。 展开更多

关键词 移动AGENT 运行环境 数字签名

在线阅读 下载PDF 职称材料