检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于Pi演算的软件可信性度量方法

吉林大学学报（工学版） 2011年第6期41卷 1684-1689页

作者：赵倩王慧强冯光升赵靖哈尔滨商业大学计算机与信息工程学院哈尔滨150028 哈尔滨工程大学计算机科学与技术学院哈尔滨150001

提出了一种基于Pi演算的软件可信性度量方法,将软件运行行为分解成一系列并联或串联动作。然后,通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进行定量研究。实验分析表明,该方法简化了软件可信性度量过程,并能够实时... 详细信息

提出了一种基于Pi演算的软件可信性度量方法,将软件运行行为分解成一系列并联或串联动作。然后,通过度量软件运行过程及结果与预期目标之间的拟合度对软件可信性进行定量研究。实验分析表明,该方法简化了软件可信性度量过程,并能够实时有效地度量软件可信性的变化情况,适用于度量对可信性变化实时性要求较高的软件。

关键词：计算机软件软件可信性拟合度度量等价

在线全文

学校读者我要写书评

暂无评论

种鸡场制定疫病净化技术方案的实践与探讨

中国禽业导刊 2023年第11期40卷 20-24页

作者：王慧强北京市动物疫病预防控制中心北京102629

2021年5月颁布实施的《中华人民共和国动物防疫法》明确指出“动物防疫实行预防为主,预防与控制、净化、消灭相结合的方针”,这是国家首次将“净化”纳入动物防疫总方针,同时明确提出“动物疫病预防控制机构承担动物疫病净化、消灭的技... 详细信息

2021年5月颁布实施的《中华人民共和国动物防疫法》明确指出“动物防疫实行预防为主,预防与控制、净化、消灭相结合的方针”,这是国家首次将“净化”纳入动物防疫总方针,同时明确提出“动物疫病预防控制机构承担动物疫病净化、消灭的技术工作”“动物疫病预防控制机构按照动物疫病净化、消灭规划、计划,开展动物疫病净化技术指导、培训,对动物疫病净化效果进行监测、评估”,这是以法律文件的形式赋予动物疫病预防控制机构在动物疫病净化方面所要承担的工作职能。

关键词：疫病净化动物防疫动物疫病预防控制预防为主预防与控制种鸡场实践与探讨《中华人民共和国动物防疫法》

在线全文

学校读者我要写书评

暂无评论

网络安全态势感知关键实现技术研究

武汉大学学报（信息科学版） 2008年第10期33卷 995-998页

作者：王慧强赖积保胡明明梁颖哈尔滨工程大学计算机科学与技术学院

建立了网络安全态势感知的分层实现模型,并针对每个层次提出了基于多分类器融合的安全态势提取方法、基于统计学习的分层态势评估方法以及基于遗传神经网络态势的动态预测方法。经仿真实验验证,每个层次的实现方法都是可行有效的。

关键词：网络安全态势感知要素提取态势评估态势预测

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

自适应入侵响应系统响应效果评价研究

哈尔滨工程大学学报 2004年第5期25卷 639-643页

作者：王慧强徐东曹翊晅哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

入侵响应系统对入侵做出响应,尝试减缓/制止入侵,保护系统关键数据和关键服务并尝试恢复系统,然而至今尚缺乏对响应结果进行系统评估的机制.针对当前入侵响应系统存在的这一缺点提出了一种评价入侵效果的系统方法.首先给出了响应效果评... 详细信息

入侵响应系统对入侵做出响应,尝试减缓/制止入侵,保护系统关键数据和关键服务并尝试恢复系统,然而至今尚缺乏对响应结果进行系统评估的机制.针对当前入侵响应系统存在的这一缺点提出了一种评价入侵效果的系统方法.首先给出了响应效果评价模型,然后结合实例进行了模型应用分析.结果表明,可以把评价结果作为入侵响应系统制定响应方案的关键依据之一,从而提高系统的自适应性.

关键词：入侵响应恢复系统自适应性系统评估系统响应数据模型效果评价

在线全文

学校读者我要写书评

暂无评论

分布式任务关键系统生存性自动分析与验证

高技术通讯 2009年第6期19卷 572-579页

作者：王健王慧强赵国生哈尔滨工程大学计算机科学与技术学院哈尔滨150001 哈尔滨师范大学网络中心哈尔滨150080

提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象,在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务... 详细信息

提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象,在此基础上使用PRISM高级语言构造连续时间马尔可夫链系统概率模型。针对不同程度的攻击故障及系统服务水平,以连续随机逻辑建立系统生存性的形式化规约。借助概率模型检测工具PRISM对模型进行统计和验证,并图形化地表示出系统生存性的自动分析结果。理论分析和实验结果验证了上述方法的合理性和有效性,这些结果可在理论上指导可生存系统的设计和实现。

关键词：生存性概率模型检测形式化规约任务关键系统量化分析

基于局部网文件服务器的工作站间交叉调用设计

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 1993年第4期14卷 54-58页

作者：王慧强哈尔滨船舶工程学院 150001

资源共享与站间通讯是计算机联网的主要目的。根据局部网特点,借助于虚拟卷思想,本文提出了把上述两种应用融为一体的新的应用方式—工作站间交叉调用。首先给出了局部网虚拟卷思想,然后详细地阐述了站间交叉调用的设计实现方法和安全... 详细信息

资源共享与站间通讯是计算机联网的主要目的。根据局部网特点,借助于虚拟卷思想,本文提出了把上述两种应用融为一体的新的应用方式—工作站间交叉调用。首先给出了局部网虚拟卷思想,然后详细地阐述了站间交叉调用的设计实现方法和安全性考虑。

关键词：局部网调用文件服务器工作站

基于灰色Verhulst的网络安全态势感知模型

在线全文

学校读者我要写书评

暂无评论

哈尔滨工业大学学报 2008年第5期40卷 798-801页

作者：赵国生王慧强王健哈尔滨工程大学计算机科学与技术学院

为了满足对抗性环境中对网络安全监测和预警的需要,提出了一种非等时距灰色Verhulst残差修正的安全态势感知模型.由非等时距的原始采样风险数据序列入手,根据累加序列所呈现出"S"形或反"S"形的摆动特征,选用灰色Verhulst模型或其反函数... 详细信息

为了满足对抗性环境中对网络安全监测和预警的需要,提出了一种非等时距灰色Verhulst残差修正的安全态势感知模型.由非等时距的原始采样风险数据序列入手,根据累加序列所呈现出"S"形或反"S"形的摆动特征,选用灰色Verhulst模型或其反函数模型预测出网络未来的风险值,然后基于多级残差对模型的预测精度进行修正,最后应用修正后的新模型得到直观的网络未来安全态势曲线图.经过试验示例与仿真,表明该模型对网络安全态势的感知能够达到令人满意的拟合精度,具有实用价值.

关键词：非等时距灰色Verhulst模型残差修正态势感知态势曲线

在线全文

学校读者我要写书评

暂无评论

入侵检测技术研究

计算机应用研究 2003年第10期20卷 90-94,115页

作者：王慧强杜晔庞永刚哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

入侵检测是保护系统安全的重要途径。给出了入侵和入侵检测的概念,说明了入侵检测的必要性,介绍了多种入侵检测方法和数据监测技术以及一些相关技术,最后讨论了该领域今后的发展方向。

关键词：入侵入侵检测攻击计算机网络网络安全

在线全文

学校读者我要写书评

暂无评论

高精度室内定位研究评述及未来演进展望

通信学报 2021年第7期42卷 198-210页

作者：王慧强高凯旋吕宏武哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001

如今,高精度室内定位服务因成为众多5G重大应用场景的关键支撑而受到广泛关注,其实现技术、实现方案不断更新,且各具优缺点及特异性。因此,对高精度室内定位服务进行时效的、系统化的总结,并对其演进方向进行分析。首先,在总结已有的综... 详细信息

如今,高精度室内定位服务因成为众多5G重大应用场景的关键支撑而受到广泛关注,其实现技术、实现方案不断更新,且各具优缺点及特异性。因此,对高精度室内定位服务进行时效的、系统化的总结,并对其演进方向进行分析。首先,在总结已有的综述类文献的基础上,按定位技术、定位方案2种不同维度对室内定位领域进行分类总结;其次,提出了基于定位场景的分类,指出了其中蕴含的“隐性要求”;再次,提出了定位系统评价指标体系并对现有高精度定位系统进行评估;最后,总结了高精度室内定位领域未来的演进方向,指出了网络一体化发展的趋势,提出了“在线即在位”等重要概念。

关键词：定位导航室内定位 5G 一体化网络定位技术