蚂蚁算法在SRAM层次化划分中的应用

片上静态随机存储器(SRAM)是系统级芯片(SoC)中的重要组成部分,其中SRAM层次化划分直接影响SoC芯片的速度、功耗和面积等性能.该文以蚂蚁算法为基础,较好地解决了SRAM层次化划分问题,并通过实验仿真证明了该算法的良好性能.     

关于ID3算法的最优性证明

研究了一个属性的某几个属性值并的权熵之和与该属性单个属性值的权熵之和的关系.通过构建模型,从理论上证明了以信息熵作为度量标准,ID3算法是最优的,生成的树是最小的,产生的规则数是最少的.     

三通道立体投影轮机模拟器视景仿真系统

介绍三通道立体投影轮机模拟器视景仿真系统的硬件系统组成,分析三通道立体投影系统中虚拟现实软件系统的要素、立体透视图生成算法、三通道同步机制、图像拆分方法等技术,设计了包括船舶机舱漫游操纵系统和船机设备虚拟拆装系统的轮机模拟器视景仿真系统,并用一个系统实例实现了上述技术用途.     

基于LonWorks现场总线的多功能护理病床的研制

介绍LonWorks现场总线的工作原理.详细叙述了多功能护理病床的各种功能及其实现技术,并指出了所研制的多功能护理病床的特点.探讨了现场总线如何在具体产品中应用.     

基于改进粒子群优化算法的Ontology划分方法

为解决规模巨大的Ontology难以使用的问题,提出了一种基于改进粒子群优化算法的Ontology自动划分方法.根据Ontology划分的要求,将概念落入某个子Ontology的概率作为粒子的速度,而将概念落入的子Ontology编号组成的数字串作为粒子,设计了粒子群优化算法的适应度函数,并给出了Ontology划分算法的具体步骤.最后进行了相关对比实验,结果表明,该方法具有比其它方法更好的划分效果.     

某型地空导弹测试模型划分的研究

各种高性能现役武器系统在长期的外场使用中暴露出的主要问题是：武器系统的测试性差、BIT未能满足使用要求和测试设备的效能差、数量多。为此提出测试性设计。并通过测试性分析来检验设计质量和引导改进设计。测试性设计要求既满足装备自身设计的兼容性又满足其整体作战战斗力的恢复和保障的一致性。简要阐述系统级测试性设计理论．重点结合某地空导弹作战系统对系统测试性模型划分理论进行讨论和验证,并提出问题。     

基于粗糙集理论的有限自动机最小化方法改进

有限自动机放在粗糙集的范畴中来研究,它的各个状态对应粗糙集论域中的每个对象,每个输入符号为一个等价关系。从粗糙集的角度,利用对论域进行知识划分的方法,每次产生新的等价类,直到每个等价类都不能划分为止,从而得到最小化的有限自动机。与已有的研究方法不同,该方法以粗糙集理论为工具,为有限自动机最小化方法研究提供了新的思路。     

正整数分拆中的特殊恒等式

针对正整数有限制的无序分拆,首先给出＂将n分拆成m个最大数是k的分拆数＂所具备的两个相关恒等式,然后又给出＂当n是k的倍数时,将n分拆成k的次方之和的分拆数＂所具有的几个恒等式,并在运用模型分析和母函数对这些恒等式进行分析证明的基础上,进一步举例加以验证.     

恰有7个部分的n-分拆的计数

设n是正整数,n-分拆是指将n表为一个或多个正整数的和的形式．两个和式若仅有加数顺序的差异则视为相同的分拆．称和式中的每个加数为这个n-分拆的一个部分．以Pr（n）表示部分数为r的n-分拆的个数．该文研究了部分数为7的n-分拆,得到了P7（n）的简易计算公式．     

基于Delauany三角形的分时段区域管制扇区划分

根据空域和流量状况划分扇区是提高空域容量、改善空域拥挤和减小管制员工作负荷的有效手段。航班数量的不断增加,使得管制员的工作负荷也随之加大,为降低管制员的工作负荷需要研究扇区动态划分。首先对高空区域管制扇区内各航路点一段时期的每天相同时段的飞行流量进行分析,以航路点建立Delauany三角形,按照各时段飞行流量的不同对Delauany三角形进行加权,随后通过聚类分析生成了加权的Voronoi图,然后采用改进的哈夫曼编码理论对扇区进行了合并给出划分方案。最后结合厦门管制扇区数据进行算例分析验证了所提出方法的可行性。