嵌入式软件目标码测试分析

为了更好的保证软件产品的质量,本文介绍了目标码测试的必要性,测试工具的原理及运用的约束条件。目标码测试需要工具的支持及对实现方法的摸索。     

船舶签证取消后分支海事机构安全监管对策研究

文中从船舶进出港签证的有关功能出发,分析了取消船舶进出港签证对分支海事机构现有海事监管业务的影响,并提出相应的管理对策。     

预制分支电缆装置在高层建筑中的应用

我们对预制分支电缆装置的基本结构、型号规格及施工工艺进行了分析,并与插接式铜母线槽从经济、性能、施工等角度进行了对比分析,用实际数据说明了,预制分支电缆装置在建筑工程应用中有较大的优势及发展趋势。并总结了预制分支电缆装置在实际工程中安装的主要施工工艺及注意的要点。     

螺旋流多分支管流场的三维数值模拟

采用分块耦合的网格生成技术 ,利用TTM法生成螺旋流多分支管的三维贴体网格。用任意拉格朗日—欧拉 (ALE)法对螺旋流排气系统中的 2个三分支管模件内的稳态流场进行了数值模拟。揭示了螺旋流排气系统相邻缸排气之间的相互影响 ,为系统地分析螺旋流排气系统的工作机理奠定了基础。     

带分支变截面圆轴系统扭转自由振动的传递矩阵法

提出了变截面圆轴在扭转自由振动分析时的传递矩阵，通过引入分支系统的传递矩阵，解决了复杂的带分支变截面圆轴系统扭转自由振动的计算问题。     

约束条件下k分支n阶图边数的最值分析

本文给出了具有k个分支n阶无向图G(n,k∈N给定)在每个分支必须是完全图的条件下其边数的最大值和最小值,从而拓展了文献1的定理8-8.     

正则搜索树的分支因数

正则搜索树的分支因数对算法的复杂度有决定性影响。尤其在深度优先的启发式搜索中，决定时间复杂度的启发式分布与分支因数紧密相关。本文介绍两种分支因数的计算方法：数值法与解析法。在数码难题及鲁比克魔方这两类实际的问题空间上，用这两种方法可获得相同结果。这些结果是进一步研究算法时间复杂度的必要基础。     

受限资源的项目调度问题的分枝定界算法

项目实施过程中往往受到不同作业之间的资源共享与冲突以及它们之间的先后调度关系的约束,因此在资源受限的情况下如何调度作业以满足该项目的资源要求并缩短整个项目工期是一个重要的问题.在对该问题进行分析的基础上,建立了资源约束下的项目调度问题的数学模型.本文描述的算法基于分支定界法,并进行了优化,在保证各个作业紧前关系与资源约束的条件下,能够合理调度,从而有效地缩短多项目的总工期.通过具体实例的应用和与其他算法的比较,说明了该算法可以得到较好的项目进度计划,并有较高的效率.