一类数字半群的极小表示

应用J.C.Rosales的有关理论研究数字半群S=〈m,m 2,m 3,m 4,…,2m-2,2m-1〉,其中m≥5,该类数字半群的Apery集不具有惟一分解性质.本文完全确定了该类数字半群的极小表示.     

带有缓冲库的串联CIMS渐近稳定性分析

讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(CIMS),利用由该系统所决定的算子A+E生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+E的0本征值所对应的规范化后的本征向量;同时通过对算子A+E的谱点分布的分析,证明了算子A+E的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.     

刚-柔性桩复合地基设计理论探讨

刚-柔性桩复合地基设计理论的发展明显地落后于工程实践,基于工程实践成果以及计算机仿真分析结果对刚-柔性桩复合地基设计理论进行了研究,根据不同的基础形式对刚-柔性桩复合地基进行分类,分析了不同型式复合地基的适用性,提出了具体的设计步骤,探讨了承载力与变形等相关问题.此外,还提出了刚-柔性桩复合地基优化设计的建议,并通过工程实例对上述设计理论进行验证.     

具有sn-网的空间

证明了具有σ—点有限sn—网及σ—局部可数sn—网的空间可刻划为度量空间在某些确定映射下的象.     

Ⅰ级洁净手术室中无影灯直径的确定

采用高雷诺数K-ε二方程模型，从控制污染物的扩散范围和保证工作区乱流度这两个指标出发，对I级洁净手术室内无影灯直径进行了研究，为无影灯直径的选型提供了依据。     

基于学习的证券市场专家预测意见合成研究

针对证券市场的专家预测意见的特点，研究了将学习、证据理论与协同学理论引入证券市场专家预测意见合成的理论与方法．讨论了将专家的历史预测数据用基本可信数表示作为学习样本，对初选专家进行聚类分析选择有协同效应的专家．该方法用神经网络优化基本可信数的修正系数，再用Dempster合成规则进行预测意见的合成．实验结果表明该方法应用于解决实际问题时具有较好的效果．     

Environmental Friendly Route and Wool Shrink Proofing

The shrink proofing on wool with treatment of protease named Argaenzyme STL was studied. The various pretreating auxiliaries, different parameters for protease treating process and the effect of stabilizer were discussed in detail. The varieties of some properties before and after protease treatment were also investigated.     

论知识经济条件下图书馆效益的提高

阐明了知识经济条件下图书馆效益可大致用知识的使用状况即文献借阅率、网页点击率、咨询解答率和知识创新率来表示。从知识运动的角度，分析了影响图书馆效益的主要因素。并探讨了提高图书馆效益的有效途径。     

集成电路设计产业产品创新趋势研究——国际片上系统（SOC）IP核发展现状及对策分析

基于国际集成电路设计产业的分析，系统阐述了国际SOCIP核的发展状况，指出SOC设计将是集成电路设计企业技术创新的发展方向。提出了一些国际SOCIP核发展的对策，包括口核标准化、SOC技术平台开发及加强与Foundry的合作。     

线粒体蛋白组研究进展

线粒体蛋白组是指在线粒体中出现的所有蛋白质的集合,包括线粒体自身基因组编码的和 由核基因组编码的蛋白质.线粒体作为真核生物的重要细胞器,它参与去除氧化、产生能量和还原 性物质等等一些重要的生命活动过程.这些功能都依赖于线粒体蛋白组中的蛋白河的相互作用.要 对其有一个较为全面的认识,就必须对其蛋白组进行广泛且深入的研究.根据现有的一些研究成 果,对线粒体蛋白组在起源与进化、跨膜运输、研究方法和计算机预测作了简要综述.