Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。     

基于“情景-应对”的随县柳林镇“8·12”山洪灾害推演

【目的】降雨诱发的山洪具有暴涨暴落特点,其防御及应急也一直是我国防汛减灾工作中的薄弱环节。为指导山洪灾害应急救援工作,减少暴雨山洪带来的影响及损失,【方法】以湖北省随州市柳林镇“8·12”山洪灾害为研究对象,基于“情景-应对”式情景构建方法,采用无人机航测技术提取柳林镇地形、植被等信息要素,构建柳林镇“8·12”山洪事前、事中、事后情景;在此基础上耦合“水文-水动力”模型推演了暴雨诱发山洪的全过程,从而对本次灾害应急过程进行了深入分析。【结果】结果显示：柳林镇“8·12”山洪在12日3时30分左右洪水位开始猛增、2.5 h后即达到峰值,最高淹没深度超5 m,峰值过后3.5 h洪水基本褪却,极快的流速和暴涨的水位导致有效转移时间不足1 h。【结论】结果表明：基于“情景-应对”式灾害情景构建方法,可全景式再现山洪灾害孕灾-发灾-致灾全过程;耦合水文-水动力模型在无人机获取的高精度地形数据基础上具有较高的适用性;能力评估揭示了本次山洪灾害重大人员伤亡的主要原因是气象预警能力不足、人员撤离不及时以及应急救援力量薄弱。     

大学计算机基础课程实战化案例教学研究与实践

针对当前军校大学计算机基础课程立足于以建设信息化军队,打赢信息化战争的根本方针,结合自身的教学经验,注重在教学实施上以实战化案例教学为原则,形成问题前导、主题研讨、案例辨析、推演论证四位一体的案例化教学方法。列出了大学计算机基础课程中的所有知识模块及教学目标,并详细分析几个关键模块的教学步骤,为军校大学计算机基础课程教学提供一些方法和思路。     

突发事件应急指挥系统预案的研究与应用

在应用和分析各种应急预案的基础上,提出了一个概念化的应急预案模型.基于应急预案模型,展开了预案处理工具的开发工作,首先从单个应急预案模型的建立到预案库的生成与管理,使得对各类应急预案的管理变得相对直观、简单,其次针对单个应急预案从生成应急预案、生成应急方案、推演应急方案、修正应急方案直到启动应急方案,形成了一个研究、开发、应用并逐步修正应急预案处理过程的闭环.     

基于HLA的Link-16推演支持系统设计

Link-16推演支持系统可用于在实验室环境下,对大规模的Link-16数据链网络进行模拟和推演。根据Link-16推演的功能特点,采用高层体系结构(HLA)来实现推演过程中各子系统按统一时间步进推进和子系统之间的互操作,并通过事件驱动的方式将相关HLA服务封装为HLA接口控件,便于各子系统调用。结合推演各阶段的功能要求,给出了相应HLA方法和事件的详细调用流程。     

基于HLA的无人机任务推演系统仿真研究

通常的任务控制过程包括任务预规划,任务执行,任务监控和重规划等部分.该文通过分析任务预规划的不足,在任务控制过程中引入了任务推演的概念,并对无人机任务推演的相关概念和内容进行了分析和讨论.同时针对无人机系统多速率时间推进的特点,设计了无人机任务推演系统的系统结构,并基于HLA体系设计和分析了无人机推演系统的仿真互联结构.然后讨论了无人机任务推演系统中的飞行仿真模块的SOM仿真建模.最后基于RTI实现了无人机飞行仿真推演模块与飞行三维可视化模块的互联.     

融合行为树和势力图的作战决策建模方法

在兵棋对抗推演中,准确地判断态势并采用适当的战术策略是AI指挥员赢得胜利的关键.提出基于势力图和行为树的作战决策建模方法,用以提高AI指挥员决策的合理性和准确性.首先阐述了行为树和势力图的一般原理.在决策模型框架下,利用基于概率模型的势力图融合战场静态信息和动态信息,提供决策支撑,运用行为树组织战术行为节点,推理得到战术决策结果.采用上述方法的AI指挥员在兵棋对抗比赛中取得不俗战绩,证实了方法的有效性.     

多无人机任务推演系统研究

研究多无人机任务推演系统的设计与实现过程,在多无人机任务推演系统具体需求的基础上,设计系统的分层体系结构与具体功能模块。针对系统实现过程中的多机协同任务分配及航迹规划问题,建立相应的数学模型并使用改进遗传算法对模型进行求解。使用分布式处理技术解决模型解算与实时数据显示的矛盾。基于MapX控件实现系统中战场地图的显示与操作功能。该系统对制定合理作战方案、发挥无人机的最佳作战效能具有重要意义。     

基于电压崩溃指数的极限传输容量实用计算方法

提出了一种基于电压崩溃指数的极限传输容量计算模型和实用化算法。该方法与传统连续性方法相比具有如下四个特点:以原始牛顿法为潮流计算核心,不会出现连续潮流扩展雅可比矩阵奇异的现象;根据雅可比矩阵信息计算相应的电压崩溃指数,该参数可以引导整个状态推演过程,将系统负荷(或发电)状态准确定位至功率极限点;利用雅可比矩阵信息自动选取合适的状态推演步长,确保全网负荷(或发电)变化能够准确地向系统临界点逼近;整个推演过程以雅可比矩阵为计算核心,不需要每步状态推演都有完整的牛顿迭代过程,从而使计算速度大幅提升。对诸多系统的数值分析表明,该方法在保证计算结果准确性的前提下具有较高的计算效率。     

基于尺度分析的流域土壤侵蚀评估进展与探讨

在分析国内外有关研究成果的基础上,认为解决土壤侵蚀尺度推演问题,需要从尺度转换的角度出发,按照空间、时间和主导过程的差异,将土壤侵蚀细分为典型的几个尺度;按照典型性、代表性以及可尺度转换性分析并提出不同尺度上研究区域和表征指标的选择准则。基于这些准则,引入“3S”技术,对土壤侵蚀定量评估和不同尺度土壤侵蚀研究结果的推演和比较具有现实意义。