遗传算法在软硬件划分中的应用

软硬件划分是软硬协同设计中的一个关键问题。针对单处理器嵌入式系统 ,给出了基于遗传算法的解决方案 ,并引入了模拟退火和按概率选择两种技术。结果表明 ,算法有效地解决了软硬件划分问题 ,稳定性好、效率高 ,模拟退火和按概率选择的引入 ,进一步提高了算法效率 ,保证了算法的自适应性及结果的全局最优性。     

离散Hartley变换的一种快速递归算法

一些实际应用表明,对实序列数据处理Ｈａｒｔｌｅｙ变换比富反变换更有效更经济。本文首先从代数角度出发,给出离散Ｈａｒｔｌｅｙ变换（ＤＨＴ）系列阵的一种块分解式,籍此导出计算Ｎ＝２＾ｔ点实序列ＤＨＴ的一种快速递归算法,其算术复杂性为Ｍ＝１／２Ｎｌｏｇ２Ｎ＋Ｏ（Ｎ）个实乘和Ａ＝１１／２Ｎｌｏｇ２Ｎ＋Ｏ（Ｎ）个实加。显然该递归算法属目前复杂性最低的一类算法。     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则，但由于对一般的软件，路径数目太大，以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ，按就近原则，现给出了一种划分Ｐ的算法，使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。     

试论军事刑事司法专属管辖的根据

军事刑事司法专属管辖划分的根据在军事法学界存在着争议,在法律规范的规定中也是非常原则,缺乏可操作性。本文从军事法学界对军事刑事司法专属管辖根据的不同学术观点入手,依据我国现行法律规范的零散性规定,以军事司法权的内在属性为理论依托,论证了我国军事刑事司法专属管辖根据的原则与例外。     

预备役部队与现役部队挂钩训练应解决的几个重点问题

积极开展预备役部队与现役部队挂钩训练,是解决预备役部队因装备、场地、人才等因素限制而造成的训练落实难、层次低等问题的有效形式,是缩小预备役部队与现役部队训练差距、提高信息化条件下联合作战能力的有效途径,对于充分做好军事斗争准备,确保实现“打赢”目标,具有十分重要的意义。当前,提高预备役部队与现役部队挂钩训练的质量和效益,应注意把握好以下几个方面的问题。一、提高思想认识,解决好“能够挂”的问题预备役部队是我军的重要组成部分,是打赢未来高技术局部战争的一支重要力量。随着我军预备役部队体制编制的合理调整、武器…     

复杂系统可靠度的CLTM建模与递归综合算法

针对大型复杂系统可靠度模型及其综合计算的特点,提出了一种一体化建模方法———"复合逻辑树模型"(CompositeLogicTreeModel,简称CLTM),阐述了其基本思想和原则,给出了相应的可靠度递归调度算法,并设计实现了基于CLTM的可视化建模与综合计算软件。该方法与软件已成功应用于某大型航天系统分析任务。     

新中国军事立法历史分期研究述评

学术界关于新中国军事立法的历史分期有多种观点,但研究成果存在明显不足,主要源于阶段划分评定标准的缺失。为弥补这一缺失,建议以军事法出台的数量、关键性的中央军委会议和重大标志性法律出台3个指标作为衡量和评定阶段划分的标准。基于此标准,新中国的军事立法可以划分为起步(1949年10月新中国成立到1953年)、曲折发展(1954年宪法制定到1965年)、停滞(1966年到1976年"文革"期间)和恢复发展(1976年"文革"结束后至今)4个阶段。     

联合国国际公务员

联合国国际公务员的职位等级划分十分严格,按职务性质一般可分为高级官员（D级以上职位）、业务类官员（P级职位）和一般事务类人员（G级职位）。其中D级官员很多都是各国的部长级高官,而这一仅占联合国高级管理人员总量1％左右的群体,却最能左右联合国的话语导向。     

基于混合高斯概率密度的加权打分方法

针对当前评比打分方法不能有效反映选手真实情况的问题,提出了一种基于混合高斯概率密度的加权打分方法。该方法的重点在于引入混合高斯分布来确定专家评分的权重。首先利用EM算法确定混合高斯分布模型参数,然后通过区间划分得到每个区间上的概率,再将专家打分映射到混合高斯概率密度函数区间上得到对应的权重,最后经加权求和得到选手的最终成绩。通过实例证明了该方法的合理性和公正性。     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。