基于HLA的多重表示建模

HLA的发展,促进了不同层次、不同分辨率的仿真的互连互操作和重用。多分辨率建模是一种在不同分辨率或抽象层次上一致的描述同一系统或现象的建模技术或方法。在形成的几种方法中多重表示建模方法较好地解决了暂态一致性、链式解聚、网络拥塞、并发交互和映射一致性等问题,成为多分辨率建模方法与技术的发展方向。该文以多分辨率建模的有效性要求为基础,分析了各种方法在一致性联合执行上的差异,指出了多重表示建模方法的优势,应用HLA OMT作为多分辨率模型设计工具,给出了实现多重表示建模的四个步骤,为基于HLA的多分辨率建模提供一个框架。

抽象表示层建模——用UML进行用户界面设计案例

UML即Unified Modeling Language是用于进行系统分析设计的模型语言,目前已经成为面向对象分析与设计的主流技术。但在UML应用模型中如何支持用户任务及表示层的用户界面元素是目前考虑的一个热点问题。本文针对在系统构造过程中的表示层构造建模,通过一个图书馆系统的案例介绍了如何使用UML进行用户界面设计。

关于Skew-Hopf对的二重交叉积的表示模

研究了Skew_Hopf对的二重交叉积D(X ,A)的表示模 ,得到了M成为D(X ,A)的表示模的充要条件 ;D(X ,A)_模与量子Yang_BaxterX_模、A_模之间的联系也被揭示出来·

基于多重表示建模的仿真系统模型集成

进行多层次仿真集成,满足多层次、多功能作战训练和研究分析的需求是作战仿真的重要发展方向。结合多重表示建模方法的优势,分析了多层次作战仿真模型集成的方法和关键技术。以战役级和战术级雷达对抗仿真为背景,应用多重表示实体建立仿真网关实现了不同层次仿真对象属性的一致性更新,并提出了多分辨率实体属性映射关系建立的方法。

立方晶体中点缺陷振动表示模与偏振喇曼强度的对应关系

推出了立方晶体中随机分布的点缺陷分别经历Ｃ２［１００］，Ｄ４［１００］和Ｄ３［１１１］取向操作前后１１个不同偏振喇曼强度的相对分布与点缺陷振动表示模的对应关系．结果显示，Ｔ，Ｃ２［１００］操作组合可将２５种表示模分为１４类，其功能接近理论极限．因而Ｔ，Ｃ２［１００］操作组合提供了一种直接根据偏振喇曼数据确定立方晶体中点缺陷振动表示模的优化方法．

关于有限n-表示模的Gorenstein类

基于Bravo等人对有限n-表示模类FPn及有限n-表示内射模类FPnI的研究,引入有限n-表示投射模和Gorenstein FPn-内射模的概念.研究其若干性质和等价刻画.证明了在左n-凝聚环R上,(FPnP,FPnI)是一个完全遗传余挠理论,其中FPnP表示所有限n-表示投射模组成的类.

关于有限n-表示模的若干复形

基于Bravo等对FP_(n-)内射模和Wang等对FP-内射复形的研究,利用同调代数的方法,讨论关于有限n-表示模的内射复形和平坦复形,证明了当环R为左n-凝聚环时,复形X是FP_(n-)平坦复形当且仅当X^(+)=Hom(X,D^(1)(Q/Z))是FP_(n-)内射复形.

某些非循环2-群模表示空间的强平坦性和平坦性（英文）

研究特征为2域上,某些非循环2-群模表示空间的强平坦性和平坦性,确定对应模不变式环的深度。在阶数不为4的非循环交换2-群的不可分解表示中,有两种表示空间的类型是平坦的。对于非交换2群而言,如果群G是阶数为2^(n+2)的二面体群或广义四元数群,则其在维数为1+2~n的忠实表示都是平坦的,但都不是强平坦的。

(p,λ)-Koszul模和有线性表示的模(英文)

在本文中,主要讨论了（p,λ）-Koszul模范畴（Kλ~P（A））和线性表示模范畴（L（A））两者之间的关系.特别地,我们得到了KλP（A）=L（A）的一些充分必要条件.

可表示一致模的加法生成子

研究可表示一致模的加法生成子.当满足一定的极限条件时,给出了利用可表示一致模构造其加法生成子的方法;同时给出了基础三角模和基础三角余模的加法生成子的表达式;最后讨论了加法生成子的构造在可表示一致模的序关系以及对应剩余蕴涵方面的应用.

可表示一致模的一种刻画

作为混合型聚合函数的典型代表,一致模是三角模和三角余模的推广,具有良好的数学性质,在多值逻辑、专家系统、图像处理、信息融合等领域起到重要的作用。本文主要研究了一类一致模——可表示一致模的特征刻画,并举例解释说明。

多层次作战仿真模型集成

进行多层次仿真集成,满足多层次、多类型人员和多功能作战训练和研究分析是作战仿真的重要发展方向。建立了作战仿真模型体系,分析了多层次作战仿真集成途径和关键技术,以坦克分队和平台级坦克对抗仿真为背景,确定了基于HLA/RTI的多层次作战仿真联邦结构,应用多重表示实体建立连接成员——桥以减少RTI数据流量和实现不同层次仿真对象属性的一致性更新,并提出了多分辨率实体属性映射关系建立的步骤和方法,为多层次作战仿真的集成提供一种参考方案。

二面体群的量子偶上的表示分类

设k是特征为2的代数闭域,Dn是阶为2n的二面体群且n为奇数.通过Dn的共轭类代表元的中心化子子群上的模构造Yetter-Drinfeld kDn模,从而给出量子偶D(kDn)的全部不可分解表示.

Sp(4,K)的WEYL模分解

给出了G=Sp(4,K)时WEYL模的分解模式,给出了Sp(4,K)的WEYL模分解。

有限域上Cartan型李代数表示的一点注记(英文)

得到了当特征函数χ的高度小于或等于0时,Cartan型李代数在代数封闭域k=F_q上的不可约广义χ-约化表示分裂的一个充分必要条件.在Witt代数情形,对于一般的特征函数χ,得到了相应的结论.

新经典MHD效应与内扭曲模本征方程

本文从一简化的新经典ＭＨＤ方程组出发．利用气球模表示及多尺度近似等方法．在ｑ＝１碰面附近的过渡层内导出了包含新经典ＭＨＤ效应的内扭曲模本征方程。与从前相关工作的比较表明．新经典ＭＨＤ效应对通常采用的激流体或电阻磁流体内扭曲模本征方程，均产生十分重要的修正。

雷达对抗仿真系统的多层次模型集成

进行多层次仿真集成,满足多层次、多功能作战训练和研究分析的需求是作战仿真的重要发展方向。结合多重表示建模方法的优势,分析了多层次作战仿真模型集成的方法和关键技术。以战役级和战术级雷达对抗仿真为背景,应用多重表示实体建立仿真网关实现了不同层次仿真对象属性的一致性更新,并提出多分辨率实体属性映射关系建立的方法。

基于信息网模型的Web实体语义信息搜索平台

Web上实体信息过于分散且缺乏语义,传统基于关键词匹配的搜索引擎往往因缺少上下文等语义信息,无法搜索到精确的结果。为了对Web数据进行精确查找,使用信息网模型(INM)对Web数据进行语义表示和建模,将实体的所有语义信息组织在一个对象中,快速获取实体完整的语义信息。基于INM构建复杂语义数据库,设计实现一个可对教育领域相关实体信息进行精确搜索的TLDW系统。实验结果表明,该系统初次查询时间均在100 ms内,其搜索结果包含实体的上下文关系等多种语义信息,缓存优化后的搜索结果可在20 ms内完成。

sl(2,k)单模的Ext^1群

李代数的上同调理论是李代数表示中的一个重要内容,它深刻地刻画了李代数表示的性质.但是其具体的计算非常困难.为此,计算了素特征代数闭域上李代数sl(2,k)非限制表示中单模之间的上同调Ext1.

几类图的表示数

探讨了完全二部图Km1,m2,完全图卡氏积图Km×Kn和完全图并图Km+Kn的表示数。找出了Km1,m2表示数的上限,并进一步缩小上限;获得了Km×Kn和Km+Kn表示数的下限。