任务空间概念模型规范化研究

任务空间概念模型是建立作战模拟系统的根基,是作战模拟系统之间互操作性基础。如果任务空间概念建模的建模元素、建模风格、建模框架各异,那么据此建立的作战模拟系统无法实现互操作。首先提出了任务空间概念模型的建模元素和过程,在此基础上,提出了任务空间概念模型的形式化描述,严格定义了规范概念模型。

新型仿真模型规范SMP2及其关键应用技术

从四个方面总结了大型复杂仿真应用系统构建的仿真模型规范需求,对比分析了传统的五类仿真模型规范在支持四大需求上存在的不足,论证了SMP2模型规范在表示复杂仿真系统模型上的适用性,对SMP2规范较之目前流行的HLA和BOM模型规范的优越性进行了详细分析.结合四年来的研究和两年多来的应用实践,讨论了成功应用SMP2规范的九大关键技术,其中有些已经在实际项目中应用,有些则给出了设计方案,作为下一步工作的指导思路.

基于规范化工作流网建模的模型验证方法

在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.

公路交通噪声预测模型FHWA、RLS90与规范模型的对比

对山东省济南-菏泽高速公路的部分路段进行交通噪声24 h连续监测,并根据实测的交通量和车辆行驶速度,运用FHWA模型、RLS90模型和规范模型进行噪声预测,将实测值与预测值进行对比分析可知,规范模型的预测值准确性更强.对高速公路单车噪声源强进行进一步实测分析,结果表明规范模型的源强计算值和源强实测值比较接近.考虑优化车型分类方式,将未满载的大客车归为中型车进行噪声预测,可使规范模型噪声预测值更为准确.

一种设计模式的混合规范描述模型研究

设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。

基于新一代GPS圆柱规范模型设计理论的研究

规范模型是新一代GPS标准体系的关键技术之一。通过对规范模型的操作,可以规范零件几何要素的几个特征变动范围,从而使得零件的设计与功能相一致,也为零件设计与检验统一提供科学依据。基于新一代GPS标准体系,针对轴类零件加工产生的四类截面误差,通过运用勒让德和傅里叶多项式表示其规范模型。研究成果对设计轴类零件的规范模型具有实际的参考意义。

基于面向服务架构的模型可移植性规范建模仿真框架

为满足复杂系统的建模与仿真需求,提出了基于面向服务架构的模型可移植性规范建模仿真框架。结合面向服务架构思想,提出了面向服务的模型可移植性规范仿真体系结构,在该体系结构的元模型规范中加入了仿真模型服务描述元素,重新定义了相关的模型可移植性规范组件接口,并探讨了面向服务架构下模型可移植性规范的建模仿真过程。针对面向服务架构的网络特征,提出了一个基于图的混合时间同步策略,并给出了模型交互图构建方法、模型并行性评价算法以及混合时间同步策略确定方法。最后设计实现了一个基于面向服务架构的模型可移植性规范建模仿真环境,并以导航系统服务性能分析仿真为例,验证了方法的可行性。

生态文明建设中企业员工生态环境行为的影响因素研究——基于扩展的规范激活模型

生态文明建设对企业员工的生态环境行为提出了要求.从企业员工自身出发,以规范激活模型中的后果意识、责任归属和个人规范为基础,增加媒介使用与主观规范变量,构建企业员工生态环境行为影响因素的理论研究模型,通过收集410份有效问卷,运用结构方程模型进行实证研究得到:1)个人规范、后果意识以及媒介使用可以直接正向影响企业员工生态环境行为,且其影响作用依次减弱;2)媒介使用会直接正向影响企业员工的后果意识、责任归属及主观规范,而后果意识、责任归属及主观规范又可以直接正向影响企业员工的个人规范;3)媒介使用既可以通过后果意识间接影响企业员工生态环境行为,也可以先通过影响后果意识、责任归属以及主观规范,再影响个人规范,进而影响企业员工生态环境行为,且媒介使用的间接影响作用大于其直接影响作用.

WPDL规范化工作流模型研究

WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIMFlow模型(CIMS工程研究中心开发的工作流管理系统)的具体结构,给出了一种WPDL规范化工作流模型的实现方法。该文所提出和实施的模型转换方法对于其他工作流模型向WPDL规范模型转换有重要的参考价值,针对WPDL规范中存在的问题提出的增补与修改建议对于完善WPDL规范有促进作用。

用规范模型追踪法改善电动机速度控制系统的特性

介绍以直流伺服电动机为控制对象，将ＨＹＳ滞后环节用于速度伺服控制系统，并利用仿真确认有限时间整定原理的有效性，同时分析比较控制对象参数变化对响应的影响。

用规范模型追踪法改善电动机速度控制系统的特性（4）

介绍以ＰＩ＋ＨＹＳ控制作为规范模型追踪系统的原理、设计，以及在电动机速度控制系统中的应用。

目标机动规范模型研究

分析和总结了飞机各种机动动作的内在因素,提出了目标机动规范模型,研究了模型的数学描述方式、控制参量的相互约束关系及其组织形式,并通过模拟导弹对目标的攻击过程对模型进行了验证。

用规范模型追踪法改善电动机速度控制系统的特性（1）

针对伺服系统高速、高精度追踪给定目标值这一目的，提出基于ＰＩ十滞后环节的有限时间控制的规范模型追踪系统，并用于电动机速度控制系统．仿真结果表明，这一方法对于抑制电动机参数变化和转矩干扰对响应的影响具有明显的效果．文中简述使用非线性的滞后环节的有限时间整定控制系统的几种实现方式及特点。规范模型，追踪系统，电动机，速度控制。

自治分层规范系统模型研究

规范多agent系统通过规范控制agent个体行为实现系统宏观目标。在自然语言描述的抽象规范和操作语言描述的具体规范之间存在巨大的语义鸿沟,采用分层规范模型将高层抽象规范逐级转换成底层具体规范是解决这一问题的有效手段。但是目前的分层规范模型存在着层次过多,层间界线模糊的问题,同时规范细化和层间规范转换完全依赖手工完成,不仅降低了系统可靠性和动态适应性,同时提高了规范系统开发成本。本文提出并实现了一种自治分层规范框架模型,该模型将规范系统分成三个层次,并且在形式化规范层建立概念语义蕴涵关系和行为责任关系实现了规范的自动细化,建立行为-操作映射模型实现不同层次的形式规范间的自动转化,提高了规范系统自治性,降低了规范系统开发成本,提高了系统可靠性和动态适应性。

编程语言规范检查模型的设计与实现——C语言规范

研究编程语言规范，设计编程语言规范检查模型，运用该模型进行编程语言代码的规范检查，以提高代码维护效率为目标，实现在软件维护过程中的自动代码走查。分析C语言编程规范，对C程序进行规范检查与修改，设计实现C语言编程规范检查系统，完成自动代码走查。采用编程语言词法分析正则表达式，构造匹配各类不规范代码的正则表达式，完成对C程序标识符、头文件、源程序语法格式和语句代码行的不规范代码检查，运用Perl脚本语言实现本系统。该模型及其实现可应用于软件自动维护过程。

多算法融合虹膜识别中的规范化模型比较研究

虹膜识别易受环境影响,利用多算法融合识别提高复杂应用环境下虹膜识别可靠性是一种非常有效的途径。本文针对多算法融合虹膜识别中的关键步骤——规范化模型选择做了比较性研究。首先搭建多算法融合虹膜识别平台,对常见的三种规范化模型在UBIRIS虹膜库中做了比较测试,实验结果证明双sigmoid函数指数模型性能最优。本文研究可对多算法融合的研究提供理论参考。

一种基于声调规范模型的声调变换方法

该文利用固定点频率分析提取基音频率(F0),建立归一化线性多项式声调模型。参考男声、女声基音频率的分布和五度标调法,提出了一套汉语声调的规范模型,在此规范模型的基础上,实现了汉语语音声调变换。实际测听表明,经此模型变换的声音达到预期效果。

规范型建筑能耗模型及其应用

本文介绍了一种基于国际规范的标准化计算方法,该方法是一种准静态的建筑能耗模拟方法,在计算速度上有较大的优势。基于美国佐治亚理工学院开发的EPSCT软件,结合青岛市某行政办公建筑的实际数据,对该方法在中国的适用性进行了研究。研究结果表明,规范型建筑能耗模型可以应用于中国的大型公共建筑。

大豆综合高产规范模型系统建立初探

通过对大豆高产各项具体农艺技术,建立结构完整的大豆综合高产规范模型系统。该模型系统在实践运行过程中,所提供的理论数值与实际实施结果数值相符合,并取得了一定的社会效益和经济效益。

面向BIM消防智能审查的规范语义模型研究

消防审查是建筑工程项目设计审查的重要组成部分。随着BIM技术在建筑工程领域的应用,基于BIM模型实现消防智能审查的需求非常迫切,如何让计算机准确理解规范条文知识,已成为实现消防智能审查的核心问题,也是现阶段行业研究的热点。提出了面向BIM消防智能审查的规范语义模型构建方法,基于IFC标准进行知识本体构建,并以此为条文结构化对象,通过逻辑表达式建立规范语义模型,实现消防规范条文的快速结构化表达,从而达到面向BIM模型的消防智能审查的目的。通过实例验证了该方法的可行性。