一种基于信息论的蛋白质数据库搜索鉴定算法

为了有效地利用蛋白质串联质谱数据,提高蛋白质鉴定的准确性,提出了一种基于信息论的蛋白质数据库搜索鉴定算法——ITPIA(information theory based protein identification algorithm)算法.针对多肽串联质谱质量低、噪音多等问题,ITPIA算法利用了信息论中的熵理论提出了一种有效的实验串联质谱和多肽的理论质谱的匹配打分算法.该算法更大程度上从多肽串联质谱中获得蛋白质的结构信息.实验结果表明,ITPIA算法有效地提高了蛋白质鉴定的准确性.     

两阶段链形系统生产可能集与DEA评价模型

数据包络分析是一种评价决策单元之间相对效率的数学规划方法,已经被普遍接受并获得广泛应用.两阶段链形系统是一类典型的复杂生产系统,与其相关的效率评价研究是当前研究的热点内容,但对链形系统生产可能集的研究还有待完善.给出两阶段链形系统生产可能集三种定义,证明三者的等价性,并在此基础上给出链形系统的DEA效率评价模型.本文方法可为链形系统性能改善确定明确的标杆,并通过一个算例进行了演示.     

质量功能展开中自相关关系确定的粗糙集方法

针对质量功能展开中各项工程特性之间的自相关关系具有模糊、不确定和不分明等特质,提出了自相关关系确定的粗糙集方法.对于每一项顾客需求,由每一项工程特性组成相应的决策属性集,并由其它工程特性组成相应的条件属性集,分别构造了相应于该决策属性集的决策系统.基于粗糙集中相对约简和相对核等方法,分别建立了其相应的修正决策系统.利用信息熵和等价类的集成方法,获取了修正决策系统中各条件属性的重要度.引入了自相关关系的比例因子概念,确定了各项工程特性之间的自相关关系.以洗衣机的产品研发为例,说明了方法的应用.     

基于混合迭代UKF的捷联惯导对准算法设计

捷联惯导系统陀螺噪声过大时,自对准无法使方位失准角估计收敛到真值,设计了一种磁强计辅助对准方法,满足对准精度要求并可同步估计磁场强度和磁倾角。非线性滤波方法UKF相比EKF估计精度高但收敛速度慢,迭代UKF算法可提高收敛速度但计算量也显著增大。将超球面分布采样点变换（SSUT）应用于UKF迭代过程,设计了一种混合迭代UKF算法。仿真表明该混合迭代UKF算法加快了收敛速度,保证了滤波精度,同时又减少了计算量。

Abstract：

The azimuth misalignment-angle estimation of SINS could not converge to the true value without assistance duo to the over too strong noise of gyros.An alignment method assisted by magnetometers was designed to estimate the misalignment angles as well as the magnetic field intensity and the magnetic obliquity.Nonlinear filtering method UKF was more precise than EKF but converged slowly.Iterated UKF could promote the convergence rate but increased the calculation amount greatly.A combined iterated UKF algorithm was proposed by applying spherical simplex unscented transform to the iterated process.Simulation indicates that the algorithm promotes the convergence rate,guarantees the precision,and reduces the calculation amount.     

基于BOM的STSS系统仿真设计与实现

以空间跟踪与监视系统（Space Tracking and Surveillance System,STSS）为仿真对象,基于高层体系结构（High Level Architecture,HLA）分布式仿真技术设计、开发STSS仿真系统。分析了STSS技术特点及仿真需求,按照基本对象模型（Base Object Model,BOM）开发标准构建系统的层次化联邦架构,提高了系统开发效率和模型的可重用性。通过对不同场景的多次仿真,初步验证了STSS的性能指标,说明该系统具有良好的适应性。

Abstract：

Based on HLA distributed simulation technology, design and implementation of STSS simulation system, the technical traits of STSS system and demands of simulation were analyzed. According to BOM development standard, a framework in hierarchy of STSS simulation system was constructed, which has effectively improved the efficiency of system realization and the capability of model reuse. By simulating the different scenarios repeatedly, the performance parameter of the STSS simulation system was tentatively verified, and applicability of the simulation system was proved.     

Rough function model and rough membership function

Two pairs of approximation operators, which are the scale lower and upper approximations as well as the real line lower and upper approximations, are defined. Their properties and antithesis characteristics are analyzed. The rough function model is generalized based on rough set theory, and the scheme of rough function theory is made more distinct and complete. Therefore, the transformation of the real function analysis from real line to scale is achieved. A series of basic concepts in rough function model including rough numbers, rough intervals, and rough membership functions are defined in the new scheme of the rough function model. Operating properties of rough intervals similar to rough sets are obtained. The relationship of rough inclusion and rough equality of rough intervals is defined by two kinds of tools, known as the lower （upper） approximation operator in real numbers domain and rough membership functions. Their relative properties are analyzed and proved strictly, which provides necessary theoretical foundation and technical support for the further discussion of properties and practical application of the rough function model.     

一种基于能量函数的证据合成算法

传统证据合成的计算量会随着证据个数急剧增加,限制了DS证据理论的广泛应用。从减少参与证据合成的焦元数量出发,提出了一种改进的DS证据理论的实用算法,以解决DS证据理论的实用化问题。该算法以焦元的能量函数、证据的平均能量函数作为选择抛弃焦元和剩余焦元的标准,同时将抛弃焦元的基本概率赋值重新分配给与之具有嵌套关系或相交关系的剩余焦元。该算法保留了抛弃焦元在证据合成过程中的生存权利,充分考虑了计算量和准确性。通过实例比较了该算法与其他几种近似算法的性能,验证了所提出算法的有效性和合理性。     

基于HTCP-net的multi-agent调度系统建模与仿真

从企业收集、监测互联网信息的实际需求出发,提出了基于multi-agent的分布式环境扫描系统的结构模型;同时,为满足系统重复采集更新信息的特殊需要,借鉴经典的Min-min启发式调度算法,设计了循环任务最早完成时间调度算法。依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN tools建立了调度系统模型。对模型进行仿真,得到任务平均等待时间和各agent等待队列平均长度,与轮转调度和最短等待队列调度模型仿真结果的比较表明,所建立的调度模型既提高了企业用户满意度,又有效满足了系统周期性重复访问网站的任务需求。     

地面伪卫星测试环境中关于选址系统的建模仿真

卫星导航产品在投入市场之前需要在地面上对其进行测试和校准,因此需要在地面上修建模拟GPS卫星星座的伪卫星测试环境.利用VC结合MAPX对电子地图进行分析,建立一套友好用户交互系统,以精度因子为标准计算并分析出核心测试区域,对伪卫星发射塔的选址进行仿真建模.     

湖北作物气候生产力演变及其对气候变化的响应

利用湖北省76个气象台站1960～2005年逐年年平均气温、降水资料,应用Miami模型、Thomthwaite Memorial模型对湖北省气温气候生产力（TSPt）、降水气候生产力（TSPn）和蒸散量气候生产力（TSPv）进行了估算,并采用EOF、RE．OF、EEOF、Mann—Kendall检验、小波分析等方法研究了湖北省TSPv的演变及其对气候变化的响应。结果表明：降水是大部分地区作物产量的限制因素;TSPv在时间上波动明显,在空间上受地形、降水、人类活动等因素影响,西部山地区震荡特征明显,东部平原丘陵区具有稳定的上升趋势,西北山地区是震荡的敏感区;未来“暖湿型”气候对作物生长最有利,“冷干型”气候对作物生长最不利,北部地区是气候变化的敏感区。图4,表2,参11。