复杂产品虚拟样机描述中的多粒度建模方法

多粒度建模是支持虚拟样机可扩展、可演化建模的一种新方法.为支持从不同层次、不同粒度上进行复杂产品虚拟样机模型的描述,提出了多粒度建模框架,研究了多粒度建模的通用方法,多粒度模型的形式化表示及数据描述格式,在此基础上,给出了多粒度模型的建立过程及关键技术.     

基于Z的虚拟加工仿真环境规范技术研究

对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表迭方案的有效性.规范描述的实现方法选用中性文件,易于理解和实现.     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.     

基于最大差异延展算法的Web资源描述算法

针对虚拟计算环境下Web资源特性的描述问题,提出资源空间模型,采用流形学习的方法提取Web资源特征.首先根据资源空间模型,有效地将Web资源抽象为高维空间中的数据集;然后,采用流形学习中的最大差异延展算法.此方法不仅能有效地提取Web资源的特征,而且能够挖掘隐含在Web资源内部的本征信息;此时,描述Web资源特征的数据位于低维空间,有利于资源的进一步处理.基于最大差异延展算法的Web资源描述方法有效地解决了Web资源的描述问题.通过仿真实验证明了此方法的有效性.     

广义椭圆分布条件下的资本资产定价模型

假设风险资产的收益率服从广义椭圆分布,在证券市场经济的假设条件下,采用均衡分析的方法证明了广义椭圆分布条件下的资本资产定价模型. 因为广义椭圆分布能够比正态分布更好的描述风险资产收益率的概率分布,所以广义椭圆分布条件下的资本资产定价模型将能够更好的描述风险资产的价格行为.     

应用门限分位点回归模型估计条件VaR

在文献中,分位点回归模型是线性的,但是在实际中,这个假设不能很好地满足需要.为此提出了分位点回归的门限模型.用该模型实证分析了单只股票(浦东发展银行)的条件VaR.选择了一种流动性风险指标作为条件,因此该条件VaR也可以看作是流动性调整的YaR(La-VaR).经过实证分析发现,由门限分位点模型得到的结果能够更好地描述实际市场情况,也能更好地预测市场风险.     

火力打击对防空群射击指挥效率的影响评估

针对现代防空作战中各种火力对抗异常残酷和激烈的实际,利用概率论和防空作战运筹方法,论述了敌人火力打击对防空群射击指挥效率影响的主要特点和评估方法,建立了指挥通信设备战损、群指挥所生存能力对射击指挥效率影响的评估模型.结合示例计算,描述了射击指挥方式与杀伤目标数之间的数量关系,归纳了遭受敌人火力打击时射击指挥效率变化的基本规律,分析了一个和两个群指挥所持续射击指挥的满足性.研究表明,对抗条件下的防空作战效果及其相关指标可以在战前评估.     

战略模拟想定生成系统框架

军事想定设计是一项有很强创造性和艺术性的工作，同时又非常烦琐费时。利用计算机技术，采用规范化、结构化的方法进行想定设计并完成模拟系统运行前资源准备，对于提高模拟系统应用效率具有非常重要的意义。模拟想定继续保留想定的传统含义，又增添了模拟系统运行前准备任务，如完成系统配置、数据准备、模型准备等。本文就战略模拟系统的应用需求，提出了想定生成系统的框架。     

基于多进程的Agent行为描述及其仿真调度研究

在基于Agent的作战仿真中,描述作战实体的Agent的行为异常复杂,采用传统的面向事件例程的仿真策略,会使Agent仿真模型的描述和执行缺乏灵活性和可扩展性,不利于降低建模仿真的复杂度。提出采用进程交互法作为基于Agent的作战仿真的基本仿真策略,将Agent在物理域、信息域和认知域内的行为描述为不同的进程,降低各域内行为描述的耦合性,增强Agent行为模型的可扩展性,并通过进程交互仿真的控制方法约束各行为进程的启动、挂起、继续运行和终止,无需模型开发人员管理Agent行为进程的调度。这种方法使Agent行为描述更加清晰和易于理解,有效降低了Agent行为描述和仿真调度的复杂度。通过一个应用实例,验证了提出方法的有效性。