![应急预案的形式化建模与决策规划]()
论文摘要应急预案是针对具体设备、设施、场所和环境等,在安全评价的基础上,为降低突发事件造成的人身、财产和环境损失,保证迅速、高效开展应急救援行动而事先制定的科学的行动步骤和纲领...
![基于特征匹配的网络应用识别技术研究]()
论文摘要随着互联网的高速发展,网络带宽的不断提高,网络用户数量激增。在用户需求的刺激下,大量的新型网络应用程序不断涌现。这些新型网络应用程序呈现出功能丰富、协议复杂等特点,产生...
![基于逻辑的网络安全漏洞分析研究]()
论文摘要对于一个网络来说，只要它运行就不可避免地存在漏洞。这是因为网络主要是通过服务器和终端为用户提供服务，而它们的运行需要依赖服务软/硬件，而服务软/硬件可能因存在缺陷而易受...
![组件式仿真模型自动生成方法及其工具研究]()
论文摘要MDA(ModelDrivenArchitecture)软件开发模式是当前流行的软件开发方法,它通过将系统逻辑行为模型与实现平台分离,实现逻辑行为模型在不同平台间的重用...
![汉字字形形式化描述方法及应用研究]()
论文摘要在汉字信息处理领域,现有的各种汉字字形形式化描述方法主要以文字研究和汉语教学研究中描写汉字形体结构的结构分析法为基础,采用人认知的结构类型、部件、笔画等构形单位对汉字字...
![石化生产过程多分辨率物流模型的建模方法]()
论文摘要流程工业企业的综合自动化对企业模型提出了多层次的需求,传统的企业建模方法难以满足企业层次化管理和优化控制的要求。现有的多分辨率建模方法存在模型形式化、模型校验、建模成木...
![基于网格应用的高层形式化描述]()
论文摘要开放式网格服务体系结构(OGSA,OpenGridServicesArchitecture)的思想是把Globus和WebService结合起来,提出了网格服务的概念,...
![基于契约和代码植入的协议测试技术研究]()
论文摘要网络技术的快速发展,使得网络协议的应用遍及银行、金融、通信等关键领域,因此对于协议的可靠性和可信性都提出了很高的要求。协议测试作为保证协议质量的重要手段,一直是协议工程...
![邻居发现协议一致性测试系统（NDPCTS）的研究与实现]()
论文摘要作为下一代互联网协议,IPv6有其自身明显的优势:近乎无限的地址容量,增强的地址方式,自动配置(“即插即用”)功能,增强的安全性操作等等。而邻居发现协议(Neighbo...
![基于工作流的兵力调度技术研究]()
论文题目:基于工作流的兵力调度技术研究论文类型:博士论文论文专业:管理科学与工程作者:汪文元导师:沙基昌关键词:兵力调度,工作流,一体化建模框架,格式化描述,形式化描述,兵力调...
