基于云模型的物元综合评估方法

将云模型与物元理论相结合,提出了一种基于云模型的物元评估方法,构建了云模型与物元理论相结合的综合评估模型.重点分析了云与数值、云与数值区间以及云与云之间的关联度计算方法,并应用示例说明了该方法的使用.最后由实例可以看出,所提方法实现了基于语言值的不确定评估.     

基于元模型的可执行体系结构建模方法

可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足,提出了DoDAF元模型向着色Petri网转换的可执行建模方法,通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用,建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。     

援疆的有限与无限

"三年的援疆路是有限的,但我与兵团结下的友谊将是无限的;作为援疆干部,我个人的能量是有限的,但从此两地的亲戚关系将是永久的……"王承先在来到二师三〇团后的第一次见面会上深情地说。2010年4月,王承先满怀对新疆、对兵团的憧憬踏上了援疆之路,来到三〇团担任副团长。为尽快熟悉工作环境、完善思路、明确重点,与承包户一起查看播种质量、和他们一起吃"地头餐"……     

LDPC带选主元三角分解编码性能

分析LDPC码的特点和优势。阐述LDPC码的编码原理和基于生成矩阵、基于三角分解两种主要编码方法。指出三角分解编码方法受到矩阵分解限制:矩阵要求满秩,矩阵所有的顺序主子式非零。分析带选主元三角分解法的编码方法。使用C语言编译环境和X86计算机,对LDPC基于生成矩阵的编码系统和带选主元三角分解法的编码系统进行计算,得到P4(R)3.2 GHz、内存512 M硬件环境下的编码效率。     

基于元胞数组的多维空间在舰船方案论证设计中的应用

在分析多维空间及元胞数组的基础上,提出了将元胞数组抽象成坐标轴上的点,并以此为基础建立多维空间坐标系.使用多维空间上的离散点来表述水面舰船总体方案设计,用元胞数组来描述组成舰船子系统方案的若干功能属性.该方法将舰船方案用数字化元胞集合表示,集中了基于方案探索的优化论证设计和基于功能积木的虚拟化论证设计的优势.     

装备保障仿真实体聚合模型

分布式仿真技术是解决装备保障方案评价问题的重要手段.由于装备保障方案是由一整套不同层次的综合保障要素方案组成,因此,对于不同层次的装备保障方案其仿真模型分辨率需求往往也不尽相同.为解决装备保障方案多层次建模问题,引入了装备保障仿真实体的概念,从属性、行为、保障关系和交互4方面出发定义了装备保障仿真实体元模型.在此基础上,提出了装备保障仿真聚合实体的概念,研究了实体属性聚合、行为聚合、保障关系聚合和交互聚合的方法,有效解决了装备保障仿真系统中的不同层次模型转化问题.最终以某旅前进保障群实体为例进行说明,并在联合作战装备保障仿真系统中进行了应用,证明了装备保障仿真实体聚合方法的有效性和可行性.     

构造扩散方程ut=(K(u)u^nxx(n≠±1）的对称群的方法

本文给出如何构造方程ut=(K(u)u^nx)x在各种不同形式下的对称群的方法及运算过程。     

余模范畴上单子的构造

根据A-上环（A是代数）的类群元的定义及有关性质,文章首先给出T-余单子（T是单子）的类群元的定义、存在条件,其次研究了类群元与缠绕结构之间的相关性质,最后构造了T-余模范畴上的单子。     

基于元胞自动机的舰艇舱室火灾危险性评估

从元胞自动机的概念、构成和原理入手,分析和总结了元胞自动机的基本特征,提出了基于元胞自动机的复杂系统评估方法,并把该方法应用到舰艇舱室火灾危险性的评估之中,较好地解决了舰艇火灾危险性的评估问题。     

应用四元数理论确定头盔瞄准系统的瞄准线

讨论了头盔瞄准具电磁敏感系统的工作原理,研究了确定头盔瞄准系统瞄准线的两种方法,结合工程实践建立了四元数法确定瞄准线的数学模型,给出了计算结果,并进行了结果分析。