基于领域知识复用的需求建模

为了准确地获取和复用军事电子信息系统需求,提出了基于领域知识复用的需求建模方法.介绍了利用领域知识进行需求建模的过程,利用目标模型表达用户需求,并通过复用领域知识建立目标模型;通过目标查询匹配和复用获取目标相关需求,建立应用本体;利用顶层本体概念与MEISRDL业务框架的映射关系,根据应用本体生成需求模型.实例表明,通过复用领域知识,不仅保证了需求模型的质量,而且提高了需求建模的效率.     

三维多子区激光推进数值模拟的并行设计与分析

针对三维多子区激光推进并行数值模拟问题,基于按子区独立进行区域分解策略,引入物理网格点负载权重,实现了负载平衡.通过提高Cache命中率、优化消息传递、并行写文件等措施,使设计实现了所研究问题的并行化.并在某国产巨型机上对不同算例进行了测试.当并行度为16时,最低加速比高于8.96,实现了采用并行计算加快激光推进机理研究的目的.     

基于距离最大熵值的蛋白质结构域边界检测系统

首次将蛋白质结构域边界检测问题归结为非平衡数据学习问题, 提出一种新的欠采样方法, 即在支持向量机特征空间中对与正类样本具有距离最大熵值的负类样本进行采样. 以经过筛选的蛋白质结构域数据库作为实验数据, 支持向量机学习系统的平均预测准确率可达80%, 同时具有较高的敏感性和特异性.     

基于列存储数据库的压缩态数据访问算法

基于列存储数据库数据访问的特点, 对主流整数压缩格式进行改进, 提出了3种整数压缩算法及相应的压缩态数据访问算法. 实验结果表明, 不解压而直接访问压缩态数据非常高效, 从而为数据的压缩态运算提供了有力支持.     

关于不定方程x2 + 11 = 4y3

对于某些d,若Q(√d)是Euclid域,则在对应的Euclid整环中算术基本定理成立,利用此来证明不定方程χ2+11=4y3没有整数解.     

压性浅水湖盆沉积体系——以吐鲁番坳陷中下侏罗统为例

为了探讨压性浅水湖盆沉积体系的分布规律,运用沉积学理论,通过野外露头考察、钻井岩心观察、岩心薄片鉴定以及大量测井、地震等资料的详细分析,认为吐鲁番坳陷中下侏罗统发育了辫状河、辫状河三角洲、曲流河、曲流河三角洲、扇三角洲和湖泊等6种沉积体系,并发现曲流河-曲流河三角洲体系在中下侏罗统中占有相当的比重.依据层序地层学研究结果,将吐鲁番坳陷中下侏罗统细分为5个三级层序,10个四级旋回.对各旋回发育期的沉积体系展布特征进行了深入研究,总结出压性浅水湖盆有缓坡型和具沉积坡折型2种沉积发育模式,在此基础上预测出3个有利储层发育区,即台北凹陷中部、台北凹陷南部和盆地南部边缘带.     

基于Born近似的角度域共成像点道集

偏移距域共成像道集和炮域共成像道集在复杂地区存在运动学和动力学假象,Born近似傅里叶偏移方法基于小扰动假设引入参考慢度可以适应横向变速.利用频率波数域与空间频率域混合域偏移算子和波场的窗口傅里叶框架展开与重构,提出了局部角度域共成像点道集方法,改善了局部成像质量,有效地消除了假象,为偏移速度分析和振幅随入射角的关系分析提供了有效的支持.     

Research on reliability index of a large communication network with domain partition and interconnection

In order to indicate the performances of a large-scale communication network with domain partition and interconnection today, a kind of reliability index weighed by normalized capacity is defined. Based on the route rules of network with domain partition and interconnection, the interconnection indexes among the nodes within the domain and among the domains are given from several aspects. It is expatiated on that the index can thoroughly represent the effect on the reliability index of the objective factor and the subjective measures of the designer, which obeys the route rules of a network with domain partition and interconnection. It is discussed that the defined index is rational and compatible with the traditional index.     

一种语义WEB服务三级匹配方法的研究

Web服务应用的一个关键问题是如何发现需要的服务.传统的服务发现利用UDDI和WSDL等技术,采用关键字的搜索方法,需要人工干预且缺乏语义、查准率低.针对上述不足提出了一种基于OWL描述的三级匹配模式并对服务请求与服务发布的文本描述、功能描述和服务参数三个方面进行相似度计算,分别得到服务请求与服务发布之间的文本相似度、功能相似度和参数相似度,综合这三个方面的相似度进行排序,帮助服务请求者找出符合其请求的服务.实验表明,该方法在查准率和查全率方面取得了较好查询效果.     

基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库.该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率.在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段.