有界Petri网进程表达式与活性的关系

Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.     

森林蓄积量与生物量转换的CVD模型研究

森林生物量是森林监测中的一项重要内容.在我国,有关森林蓄积方面的资料比较丰富,而生物量方面的资料比较缺乏.因此,将森林蓄积转换为生物量的研究具有现实意义,也是近年来研究的热点问题.研究了用相对生长法表示的材积和蓄积模型,导出了单木材积与其生物量的关系模型以及区域蓄积量与生物量的关系模型,即CVD模型,并说明了实际的建模过程.同时,利用实例将CVD模型与现行模型进行比较,给出了一些有益的结论.     

面向漏洞管理的工作流技术应用研究

随着网络安全漏洞威胁日益加深,网络空间安全形势愈加严峻,掌控漏洞威胁信息、负责漏洞风险管理的漏洞管理机构发挥着越来越重要的作用,对漏洞数据的制度化、规范化、流程化管理是有效开展漏洞威胁消控的重要基石.研究了目前管理机制较为完善的漏洞管理机构,提出了一套普适性的漏洞管理流程,并结合工作流技术进行业务建模和系统实现.实践表明,将工作流技术应用于漏洞管理工作中,可以协助漏洞管理机构提高漏洞管理效率,有效开展漏洞威胁消控工作.      

安全系统动力学建模仿真

为提高企业安全生产水平,将系统动力学应用到企业安全管理中。本文从研究内容、研究方法两方面,分析了系统动力学的研究现状;结合系统动力学在企业应用的需求,辨析企业安全生产的影响要素,从事故的人为因素,设备因素,管理因素的角度,探求事故影响因素与安全效益的相关关系,应用系统动力学建模软件VENSIM,做出各因素之间的系统动力学因果关系图与系统动力学流图。并指出在解决若干关键问题的基础上,安全系统动力学可望得到进一步发展,并为企业安全管理提供一种有益的方法和工具。     

基于遗传算法的动态模糊模型辨识非线性系统方法

针对复杂的动态系统,提出了一种基于遗传算法的模糊模型辨识方法,给出了学习模糊规则的新算法,探讨模糊推理方法和遗传学习算法用于非线性系统建模的问题,仿真结果证明了该算法的有效性。     

常微分方程的思想方法与应用

通过对常微分方程的几个典型实例的分析,揭示该学科浸透数学建模思想,且其应用非常广泛。从提高学生应用能力与创新能力的角度出发,探讨在常微分方程教学中进行数学建模教学的可行性与必要性。     

C^r映射芽的γ阶导网的v—充分性

本文给出了Ｃ＾ｒ映射芽的γ阶导网是ｖ充分性的充分条件，推广了（１）中的结果：给出了拟齐次多项式是ｖ充分的充分条件。     

基于行为树的指挥控制流程建模框架

为了减少人为因素对仿真结果的影响,经济、客观的实现仿真目标,建立智能、真实、可靠地指挥控制流程模型是作战仿真系统开发的重要研究内容。通过对系统工程方法的研究结合行为树技术,提出了一种基于行为树技术的指挥控制建模框架。对框架结构和应用流程进行了介绍,并对行为树建模常见的问题和解决优化方法进行了阐述。     

流域流水网推导方法

采用数字高程模型的网格高程直接确定网格上的径流流向（网格方向）,平地网格的方向由权,重法确定,坑网格的方向由沟渠法确定,由此导出的流域排水网的合理性和实用性,在四个流域土得到了验证。