营造和谐环境 创新推动发展——“亚太地区创新孵化论坛第八届亚洲企业孵化协会年会”特别报道

亚太地区创新孵化论坛暨第八届亚洲企业孵化协会年会5月17日—19日在上海举行,会议由亚洲企业孵化协会主席王荣主持,科技部火炬中心副主任张志宏到会致辞并代表科技部副部长马颂德充分肯定了上海的孵化器工作,针对孵化器的建设发展提出中肯建议,上海市浦东新区区委副书记张耀伦、上海市科委副主任寿子琪     

A New Method for the Detections of Multiple Faults Using Binary Decision Diagrams

With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram （BDD）. First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.     

环的广义幂级数扩张的若干性质

研究环R的以严格偏序么半群S为指数集的广义幂级数扩张[[RS,≤]].讨论R为c-可换环、R为p-环时,广义幂级数环[[RS,≤]]具有的性质.指出商理想(I:J)的扩张[[(I:J)S,≤]]与扩张的商理想([[IS,≤]]:[[JS,≤]])之间的关系.     

TD-SCDMA系统基于网元仿真技术的OMC功能测试研究

TD-SCDMA系统操作维护中心（OMC）的功能测试中往往要涉及到一些与真实网元进行交互的测试用例，而普通的测试方法是无法成功完成此类工作的。为了解决这一难题，在功能测试中我们引入了网元仿真测试技术，作为测试的一个外部辅助测试工具的网元仿真仪表通过高度模拟真实网元实现与OMC系统功能测试工作。实际测试证明：simulator和真实网元相结合可以很好的完成OMC的功能测试。     

壳聚糖锰(Ⅱ)配合物的合成及其催化氧化性能研究

合成了壳聚糖锰(Ⅱ)金属配合物,并对其结构进行了表征和分析,考察了配合物对分子氧氧化环己烯反应的催化性能.     

基于自组织规则的热力耦合解析

为解决平面微小结构设计问题中的可变边界条件、多物理场耦合效应等解析难题,利用平面微小结构连续性单元同桁架单元应变能相等的机理,提出了基于元胞自动机的热力耦合解析方法.以发光二极管(LED)基板热力耦合现象为研究对象,通过LED基板温度、位移及热应力耦合的数值结果与有限元解析结果的比较,证明了方法的有效性.适用于平面微小结构的热力耦合规则的提出,为复杂多物理场条件下的微结构工程设计提供了一个具有灵活性的性能解析途径.     

植物环肽

首先简要地介绍了植物环肽的定义、研究历史、结构分类、生物活性与生物功能等,最后以石竹科类型环肽和环蛋白为例详细介绍其检测方法、结构研究方法、化学合成或生物合成等.     

一类被开发的食饵-捕食者两种群模型的定性分析

讨论被开发的食饵-捕食者两种群系统模型:dx/dt=x(r1-ax-by/(1 ωx)) G,dy/dt=y(-r2 kbx/(1 ωx))的平衡点性态和全局稳定性,用Bendixson环域定理证明极限环的存在性,用张芷芬唯一性定理证明极限环的唯一性.     

L-模糊弱伪理想及其性质

给出了L-fuzzy弱伪理想的概念及其刻画,并研究它的运算性质.在二次弱理想的基础上,借助于以前研究者所得出的一些成果,将弱伪理想进一步推广到L-模糊集论中,提出了L-fuzzy弱伪理想的概念以及L-fuzzy弱伪理想的4种水平截集式刻画,并进一步研究了它在L-模糊环同态下的不变性与逆不变性,以及它的和与积等运算性质.     

一类三次微分系统极限环的存在性和唯一性

研究一类三次微分系统dx/dt=-y(ax2+bx+1)+Dx-lx3 dy/dt=x(ax2+bx+1)在a=0,b≠0与b2=4a两种情形下,讨论该系统极限环的存在性和唯一性.