DSS中广义模型服务器规范化研究与实现

ＤＳＳ是由大量广义模型有机组合而成的。采用客户／服务器方式设计与实现广义模型服务器是一种新的方法。为了有效实现广义模型的管理、组合和运行,服务器的规范化成为ＤＳＳ的重要问题,包括广义模型规范化,服务器体系结构规范化,模型调用、运行、操作语言规范化等,本文通过分析广义模型的种类和表达方式,给出通用的模型规范化设计和实现方案。在此基础上提出一种层次化模型服务器规范设计方法。包括定义了单模型和组合模型数     

属性约简与数据挖掘的可拓变换与可拓知识的表示

利用可拓学的可拓变换和可拓知识对知识发现过程中的属性约简与数据挖掘进行形式化，并引入计算算子和计算型变换，从属性约简与数据挖掘中提取可拓变换和可拓知识（含变换的因果关系），从而更精炼地说明了属性约简和数据挖掘的本质．     

基于MDA的仿真系统开发架构研究

对象管理组织(OMG)提出的模型驱动架构(MDA)是一种先进的软件开发模式,它将系统的设计和实现相分离,设计出的平台无关模型只需建立一次,然后就可以应用于不同的软件平台。本文首先阐述了MDA的思想,然后将MDA的思想和仿真系统开发相结合,建立了一个三层的参考模型,最后分别给出了仿真模型体系和仿真服务体系的实现方法。     

信息网格中基于本体的信息共享全局视图构建方法研究

信息共享对于增强信息网格单元的协作能力和快速反应能力起着至关重要的作用．从解决信息网格语义异构问题出发,为实现网格信息共享,提出了一种基于本体的信息网格全局视图构建方法．该方法主要由两部分核心内容组成：全局本体的生成和基于全局本体的全局视图构建．首先深入研究了信息网格全局本体的生成;基于全局本体透彻分析了如何构建信息共享全局视图;结合具体实例详细说明了所提出信息网格全局视图构建方法的工作流程与应用．对于相关工作进行了分析比较,最后给出了结论和下一步工作．     

碳酸锰矿石的深选工艺

现代锰铁合金的生产以利用氧化锰精矿为主。除了氧化锰精矿以外,也生产碳酸锰精矿,但其硅/锰比(SiO_2:Mn)高,应用受到限制。可是,由于氧化锰矿储量急剧减少,氧化锰精矿的产量已不能满足锰铁合金生产的需要。因此,提高锰铁合金的产量就要依靠碳酸锰精矿,所以碳睃锰精矿的用量将增加。鉴于即将广泛处理碳酸锰矿石,因而必须对其矿物组成和可选性进行进一步研究,以便制定出获得高冶金价值的碳酸锰精矿的工艺。     

国外冶金锰市场浅析

本文概述了近年来国际锰矿石和锰铁合金的供需和贸易现状。目前世界锰矿石年产量约2200万t。南非、加蓬、澳大利亚、巴西4个主要锰矿出口国年出口锰矿石约800万t;国外锰铁合金生产国主要有苏联、南非、日本、挪威、巴西、法国等,出口国主要是南非、挪威、巴西、法国。国际市场锰矿石t.度价由1987年的1.25-1.41美元上涨到1990年的3.80—4.05美元。近年来锰系铁合金的价格虽涨中育落,但上涨幅度也较大。预计90年代世界锰矿石的年增长率约为1％,锰的需求和价格会相对稳定。     

从液体中浮选液体和细粒

直径小于5微米的细粒浮选以及液体中分选液体的浮选,其气泡产生的方法通常不同于矿物浮选中用的弥散空气型机械所采用的方法。与细粒和液体浮选中完全必要的静态条件相比,矿物浮选槽中,分选区的条件一般更处于动态状况。采用很微细气泡静态浮选的一个例子是加利福尼亚的特罗纳锂浮选厂,该厂生产达三十四年之久,直到1978年才停产。本文对此工艺的发展及特罗纳工业浮选操作情况进行了评述。通过从滷水中浮油对油田滷水进行净化的方法,已被采用二十五年多了。本文描述了近来普拉德霍(Prudhoe)海湾油田和阿拉斯加(Alaska)管线的有关设备。     

复杂地形环境下雷达效能仿真并行算法设计

研究雷达效能优化问题,针对确定雷达的有效探测覆盖范围,确定目标的可测性,在复杂地形环境下雷达覆盖范围的计算是一个计算量较大的问题,必须考虑可能覆盖区域中每一点所处的地形地貌特征,以确定目标在位置的可探测性.为了提高仿真计算效率,分析了并行方式进行雷达覆盖范围基本原理,提出了一种雷达覆盖范围仿真方法,并利用MPI平台进行了仿真.仿真结果表明,方法可有效提高复杂地形环境下雷达效能仿真计算的效率,可以实现大场景和复杂地形条件下的雷达效能仿真,并提供了高效实现方法与途径.     

数学进化中的知识发现方法

从数学历史发展过程中去发现数学的进化规律,从创造数学符号和包容对立的概念中获得了最早的数学知识.将数学符号组合而成的表达式和方程,使问题变换成了形式化表示,当表达式和方程通过推演和求证,判断其正确性时,就形成了公式和定理,它们是数学中的基础理论.推演和求证过程是采用了等价变换.数学进化中更重要的知识发现方法是利用进化变换(对变量、函数、方程、方法等的变换)来拓展数学的新概念和解决不能求解的问题(可拓变换),从而建立了数学的理论体系.创造、包容、形式化变换、等价变换和进化变换都是数学进化中的知识发现方法.     

基于FINC模型的作战体系定量评估方法

针对信息化作战条件下的作战体系对抗特点,提出一种扩展的FINC模型。在此基础上,从情报延迟、单元协作、执行能力以及决策支持4个方面对作战体系效能指标进行量化评估,从而得出作战体系的反应速度、协作水平、执行能力和信息支持状况。实验结果表明,该方法可以保证作战体系中信息流通的速度以及彼此协作的水平。