基于遗传算法的逻辑电路测试生成的研究

本文提出了一种基于遗传算法的逻辑电路测试生成算法,利用遗传算法的全局寻优特点进行集成电路的测试生成,并与确定性算法进行了比较,所得到的实验结果表明,遗传算法可以在比较小的测试矢量集下得到比较高的故障覆盖率,是一个有效的测试生产算法．     

高盐雾化器氢化发生新技术及电感耦合等离子体原子发射光谱同时测定沉积物中As、Sb、Se等氢化发生元素

用高盐雾化器（ＢａｂｉｎｇｔｏｎＮｅｂｕｌｉｚｅｒ）作为氢化发生装置与电感耦合等离子体原子发射光谱（ＩＣＰ／ＡＥＳ）结合同时测定氢化发生元素Ａｓ、Ｓｂ、Ｓｅ的分析方法，研究了在该氢化发生体系中共存过渡元素对以上元素的氢化发生的干扰及光谱干扰情况，评价了该法的检出限及多次测定的重现性，并用该装置测定了标准沉积物样品中Ａｓ、Ｓｂ、Ｓｅ的含量．     

基于Gould-Dincer方法的水库发电能力计算

为了在规划设计阶段快速确定水库给定发电保证率对应的多年平均发电能力,该文提出了基于Gould-Dincer方法的水库发电能力计算方法(S-P-R-1和S-P-R-2),给出了多年平均发电能力、水库库容、年入库径流特性及发电保证率之间的数量关系。该方法主要适用于年调节水库或多年调节水库的蓄水式电站。利用该计算方法对三峡水库5种设计运行方案的多年平均发电能力进行了计算,并将计算结果与设计年发电量及逐时段等流量法的计算结果进行了比较。该文提出的方法在计算结果的数量级上与设计年发电量和逐时段等流量法的计算结果保持一致,计算误差最大不超过11%,表明本文提出的方法具有较好的计算精度和可靠性。     

纳米磨削过程中分子动力学计算机仿真实验

采用分子动力学方法,建立磨粒和工件的原子模型,从分子和原子空间角度观察微量磨削过程的磨削能量消耗、应力状态、磨削力和磨削温度等,并解释了微观材料去除和表面形成机理。研究表明：晶格重构原子与一部分非昌层原子堆积在磨粒的前上方。由于磨粒不断前移最终形成磨屑而实现材料去除;由于磨粒不断前移,处在磨粒前下方面的非晶层原子在压应力的作用下与已加工表面层断裂的原子键结合重构形成已加工表面变质层;变质层由内外两     

基本对流换热过程的熵产分析

本文基于热力学第一及第二定律建立了对流换热过程的熵产关系式,并以此对几种基本的对流换热过程进行性能分析,得出其优化的过程参数。文中提出的无因次熵产数较之已有文献中的更为简明。     

新型烃源岩——沉凝灰岩

通过对准东石炭系沉凝灰岩地化特征分析,确定沉凝灰岩为一种与火山活动有关的新型烃源岩,并对取自不同井的沉凝灰岩的生物标志化合物和饱和烃总离子流图进行比较,认为沉凝灰岩具有3种不同的成烃特征.本文研究成果为沉凝灰岩这种新型烃源岩的研究奠定了基础.     

Anatomy,reach and classification of the parasitoid complex of a common British moth,Anthophila fabriciana (L.) (Choreutidae)

The small plurivoltine moth Anthophila fabriciana is widespread and often abundant in Britain wherever its main larval foodplant, stinging nettle, occurs. It overwinters as a larva (first generation) then has one or more partly overlapping summer broods (notionally second generation). A total of 5017 larvae were collected and reared from widely distributed populations in Britain, and the resulting 2167 host mortalities due to parasitoids were assessed. Small collections of pupae were also made. Altogether 25 parasitoid species, including secondary parasitoids, were found. Larval parasitism was heaviest in the second generation. In each generation there was a dominant parasitoid that was absent from the other. Summary information on the developmental biology and host range (expressed quantitatively and resulting from very broad rearing programmes) for each parasitoid is given. They are classed as ‘absolute specialists’, ‘taxon oligospecialists’, ‘niche oligospecialists’, ‘niche generalists’, ‘casuals’ and ‘strays’. Both kinds of oligospecialists can be ‘paraspecialists’ if only one potential host occurs locally. Although constructing a quantitative food web is not appropriate, providing both source web and sink web data in quantitative form enables the parasitoid complex to be understood in the wider context of the ecosystem, necessary for both biodiversity and nature conservation interests. In Appendix 1, parasitoids reared from other European Choreutidae are listed quantitatively.     

基于分支限界搜索框架的测试用例自动生成

作为软件测试领域的一个基本问题和热点问题,面向路径的测试用例自动生成有着特殊的重要意义.面向路径的测试用例生成本质上是一个约束满足问题,并通过搜索算法求解.着眼于提升搜索算法的效率,本文提出了一种新的智能算法,将分支限界和爬山法进行了有机的整合,分支限界作为全局搜索算法,而爬山法作为局部搜索算法,发挥各自的优势来对测试用例的解空间进行搜索.     

新生代产业工人“圆梦计划”及其完善路径

共青团广东省委发起推动的"圆梦计划",为新生代产业工人提升职业素质和技能水平提供了独特的平台,具有很强的时代性和示范意义。作为一项实施时间不久的创新性教育工程,"圆梦计划"在教育对象、教学模式、教学管理、教学内容和方式以及普及范围等方面存在着需要完善之处,可以结合教育教学规律和相关实际,采取相应措施对其加以完善。     

住房保障档案管理实践及其启示

住房保障档案真实准确地记录了我国住房保障工作的原貌,是住房保障工作正常开展的基础和保障。阐述了住房保障档案的定义、种类及其独特属性,追溯并解析了我国住房保障档案管理实践,在此基础上,提出了在住房保障工作过程中值得关注的几个问题。