共查询到20条相似文献,搜索用时 109 毫秒
1.
2.
3.
使用随机Petri网的网络安全系统分析 总被引:1,自引:0,他引:1
网络攻击图一直是网络安全研究的重要手段,传统的攻击图和针对攻击路径的防御方案很难从概率的角度描述和分析攻击几率与防御技术对整体方案的影响程度。使用随机Petri网理论,给出了一种建立在攻击图之上的Petri网防御方案转换算法,使用该算法生成的随机Petri网模型可以实现对攻击和防御过程的并行分析。实验验证表明,该方法可以有效地量化攻击过程的发生几率,还可以协助分析不同防御技术对系统整体安全性的影响。 相似文献
4.
《计算机应用与软件》2016,(9)
针对制造业企业PDM(Product Data Management)系统中图文档数据外发方式、访问控制的需求,在传统文档外发方式的基础上研究出一种适用于PDM系统的图文档外发机制。该机制由验证规则与访问控制、流程审核与数据外发、身份验证与图文档使用、审计及日志管理等四部分组成。以西门子Teamcenter软件为平台,结合图文档外发机制,开发了图文档数据外发系统,实现了Teamcenter中图文档的选取、验证规则的设定、数据包生成与外发、身份验证与图文档使用等功能,在实际应用中获得了很好的效果。 相似文献
5.
6.
一种源程序到控制流图的自动生成方法 总被引:5,自引:0,他引:5
单永明 《小型微型计算机系统》1996,17(10):45-49
将源程序转换为控制流图是软件工程领域中逆向工程的研究内容之一。本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。该方法和技术也可应用于程序分析及软件纵等方面。 相似文献
7.
UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言,研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度,提高软件的质量。提出一种将UML类图和顺序图相结合生成具有静态结构和动态行为信息的C++代码的方法,从而解决现在多数代码生成工具只能将静态图转换为C++代码框架而不能处理动态行为模型转换的问题。该方法包括UML类图和顺序图的元模型以及相应的转换规则。最后通过一个采用Velocity技术实现的代码生成器生成代码的实例描述了代码生成的具体过程及结果。 相似文献
8.
介绍teletext(图文)的概念、原理及其发展现状,针对国芯GX6103芯片特点,依据ETSI300706的图文标准,完成了某型号数字机顶盒方案teletext(图文)的设计和实现。 相似文献
9.
为满足装备保障过程分析、瓶颈优化的需要,提出基于失效模式影响分析(FMEA)和模糊Petri网推理的装备保障过程诊断方法,通过FMEA建立装备保障过程诊断的因果图,由因果图确定保障过程诊断的推理规则,应用模糊Petri网建立智能的、利于计算机编程实现的保障过程诊断的过程模型。通过研究发现,基于FMEA的规则形成方法便于知识、经验向规则的准确转换提取,模糊Petri网的方法利于将推理过程形式化,实现推理的自动化,提高过程诊断的效率。研究的过程诊断模型和方法已在集群装备保障过程优化决策系统实现中取得较好的效果。 相似文献
10.
张洋 《电脑编程技巧与维护》2014,(8):24-25
从应用自身的使用出发,应用类类别的划分、代理生成、应用类转换、应用类聚类、Endpoint的实现,以及计算按需远程执行的决策等几个方面,介绍了将Java应用转换成该模式的具体实现过程,以供参考。 相似文献
11.
作战数据库文件与记录的文本格式涉及到作战文书的自动生成,文本分类直接关系到情报信息检索效率及准确性。针对军事情报信息的特点,建立了一个基于情报数据库的文本分类模型,然后分析了模型中的文本表示、自动分词、特征提取关键技术,并对互信息特征选取方法提出了改进措施。应用表明,该文本分类模型可有效地从文字信息中分离出规范化的情报要点,不仅辅助作战决策,而且能直接写入数据库。 相似文献
12.
作战数据库文件与记录的文本格式涉及到作战文书的自动生成,文本分类直接关系到情报信息检索效率及准确性。针对军事情报信息的特点,建立了一个基于情报数据库的文本分类模型,然后分析了模型中的文本表示、自动分词、特征提取关键技术,并对互信息特征选取方法提出了改进措施。应用表明,该文本分类模型可有效地从文字信息中分离出规范化的情报要点,不仅辅助作战决策,而且能直接写入数据库。 相似文献
13.
基于模型的动态评估军事决策方案的方法研究 总被引:1,自引:0,他引:1
对军事决策方案(决心方案)的评估,是军事决策过程中的一个重要环节,其评估结论直接影响军事决策的结果。提高方案评估的科学性和可信度,是军事辅助决策迫切需要解决的问题。该文通过对军事决策方案及传统评估方法存在问题的分析,提出了基于模型的动态评估军事决策方案的方法,其核心是采用定性与定量分析方法的有机融合来实现对方案的评估,并提出实现的途径和重点需要解决的问题。 相似文献
14.
可漫游的虚拟战场环境建模与实现 总被引:2,自引:0,他引:2
虚拟战场环境是军用仿真的一个重要基础平台,构造可漫游的虚拟战场场最是军用仿真中最基本的、必不可少的一个环节,广泛应用于战场模拟,作战训练和电脑游戏等方面。论文在简单介绍了构造虚拟战场场景的一般性步骤后,重点讨论了地形、自然现象等关键技术及漫游控制的实现等,论文在分析粒子系统的一般实现原理的基础上,提出了提高粒子系统算法实时性的一些技巧。实践证明,所实现的虚拟战场场景在实时性与真实感方面均取得了不错的效果。 相似文献
15.
通信设计是装甲机械化分队作战模拟系统的重要方面,该文介绍了该系统的串口通信和网络通信的运行环境和程序特点,给出了程序实现步骤和框图,设计了文字报告及命令处理方案。 相似文献
16.
基于图论的作战计划军事效果评估 总被引:1,自引:0,他引:1
采用仿真系统评估和分析空中作战计划会耗费大量的时间,本文提出了新计算方法,可以单独用来提高计划质量,或与仿真系统结合提高计划效率。分析军事目标的主要内容和描述方式,提出由作战任务计算军事效果的方法。建立不同打击目标之间的相互制约和相互影响关系图,据此提出了打击效果的网络图算法,将作战计划对于不同目标的突击效果集中映射到网络中体现系统核心能力的节点集合中,评估总体打击效果。最后讨论了该评估方法的应用。 相似文献
17.
18.
重点介绍如何将Oracle Reports和Oracle Graphics开发的报表应用和图形应用集成起来,以便在报表中动态地自动生成图形,这样在一张报表中既有精确的数学说明,也有形象,直观的图形表示,图形和文字互为补充说明,使报表更具说服力和吸引力。 相似文献
19.
20.
为保障电网电力供应能力,减少由于发电机组与输变电设备检修计划协调性不足导致的发电受限问题,提出了一种考虑发电能力匹配性的输变电设备检修优化方法。充分考虑发电机组检修及季节性能力变化与输变电设备检修计划间的协调关系,定义了发电能力匹配性指标。该指标取值大小反映了输变电设备检修与发电机组发电能力的匹配关系,数值越大,匹配性越高。以该指标最大化为优化目标,综合考虑输变电设备检修时段、电力电量平衡等约束条件,构建了考虑发电能力匹配性的输变电设备检修优化模型。根据模型特点,提出了求解方法。最后基于IEEE-30节点系统构造算例表明,本文所提出的方法能够避免发电机组检修与输变电设备检修不协调导致的发电能力下降,从而提升电网整体运行效益。 相似文献