基于GIS技术的科学基金管理数据可视化方法

数据可视化在科学基金管理工作中起着非常关键的作用。当前国家自然科学基金委员会的信息管理系统所提供的功能尚不能描绘出全国科学基金管理数据的区域分布特征。提出了一种新颖的展示方法,即将地理信息系统（GIS）技术加入基金管理系统中。其中,空间统计及表达机制可以辅助科学基金数据的最优布局决策。实验证明,相比于传统的用于科学基金的展示方法,该方法更有效、更便捷。     

管棚与钢支撑在地下厂房开挖中的应用

介绍了管棚和钢支撑用于地下厂房软弱围岩开挖工程支护的结构型式、布置和工艺过程.     

异构软件体系结构的可靠性模型

现有基于软件体系结构的可靠性模型只适用于符合马尔可夫过程的软件构件转移关系,而当构件间存在由确定性和随机性转移关系组成的异构结构时,仍按照马尔可夫过程对软件体系结构建模,会导致可靠性评估结果不准确。为了解决现有模型不适用于异构结构的问题,在分析构件转移关系基础上,提出了一个新的软件可靠性模型。基于软件UML顺序图,提出将异构软件结构转换为马尔可夫链的算法。通过对一个实例的可靠性评估,验证了新模型能够比现有模型获得更准确的评估结果。     

空间两球体相交的安全判定协议

安全多方计算是信息安全领域的研究热点问题之一,保护私有信息的计算几何问题是一类特殊的安全多方计算问题.基于安全多方计算技术,设计一个空间两球体相交的安全判定协议,并对协议的正确性和安全性进行了分析.     

XML模式到关系数据模式转换的研究

分析和研究了DTD模式到关系模式的内联映射算法,提出一种带约束条件和函数依赖的映射方法。该方法结合给定规则对XML DTD进行简化,构造带约束条件的DTD图,并依照图中的一些函数依赖关系以及函数依赖关系的讨论得到最终关系集合,在引入映射方法的同时给出实例进行介绍,从而得到更加完备的关系模式。     

非精确计算中的实时数据库服务质量管理

传统的数据库已经不能满足仿真数据库对性能优化的要求。因此,提出了非精确计算中由反馈环节控制的实时调度算法。在这些研究的基础上对该方法提出了改进,提出了使其在各种负载条件下,通过在反馈控制中设定遗忘因子以及引入最大限度数据错误的平均值来减少系统的突变,增强了系统的稳定性,提高了实时系统服务质量。     

基于SNMP++的MIB浏览器研究

MIB是一个保存网络管理信息的虚拟数据存储空间,由多组被管理对象组成;MIB浏览器是对被管理设备中SNMP变量进行管理的图形化网络管理工具。分析了开发MIB浏览器的难点,给出了实现一个基于SNMP++的MIB浏览器的关键算法。     

基于融合百度指数的电商订单量组合预测研究

当前电商用户订单日志不断爆发式增加,日志行为数据亟需应用,在线用户订单量的快速动态预测成为研究的关键方向。为了提高订单量的预测精度,结合BP神经网络、基于Adaboost的BP神经网络和支持向量机的预测优点,提出一种基于融合网络搜索指数的组合预测模型,构建融合百度指数和电商用户订单信息的指标体系,并通过对比实验证明了网络搜索指数作为电商订单量组合预测模型影响因素的有效性。     

服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

基于差分进化算法的面目标瞄准点寻优

瞄准点的寻优选取是导弹火力筹划的核心理论问题之一。针对此问题,本文基于矩形面目标毁伤面积计算设计评价函数,利用差分进化算法原理对面目标的瞄准点坐标进行实数编码,并设计差分进化算子,建立面目标瞄准点寻优模型。通过设计面目标计算实例对模型进行验证,实验结果表明,差分进化算法的稳定性较强且具有较好的操作性,模型求得的瞄准点可信度较高,能够提升导弹打击效果并降低打击成本,为火力筹划中瞄准点寻优提供了新方法。