可编程序逻辑阵列的伪穷举故障检测

本文提出了一种适合可编程序逻辑阵列的伪穷举测试方法。在增加少量硬件电路的基础上，通过巧妙的逻辑划分，使每个逻辑子块可用穷举测试法进行故障检测。在保证故障被测度达到１００％的同时，大大缩短了测试所需的时间。测试序列总长度仅为原始输入端数和乘积线数的乘积。     

Splitting extensions of abelian by hyperfinite groups

ＳｐｌｉｔｔｉｎｇｅｘｔｅｎｓｉｏｎｓｏｆａｂｅｌｉａｎｂｙｈｙｐｅｒｆｉｎｉｔｅｇｒｏｕｐｓＤｕａｎＺｅｙｏｎｇ，ＣａｏＨｏｎｇｐｉｎｇ（ＤｅｐａｒｔｍｅｎｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａ．ＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，...     

拟长毛钝绥螨(Amblyseius pesudolongis-pinosus)对朱砂叶螨(Tetranychus cinna-barinus)的捕食效应

随朱砂叶螨种群增长率增加,拟长毛钝绥螨对朱砂叶螨的捕食效率减小,此时提高释放比(捕食者/被食者)能控制叶螨密度。当某一释放比已控制叶螨种群时,进一步提高释放比,对已控制的增长率影响不大。叶螨增长率为0.238时,植绥螨增长率(y)和释放比(x,即食物数量)之间为双曲线函数,1/3,=0.8080+0.1148/x。     

具有反馈控制的三种群捕食系统的持久性

研究了具有反馈控制及HollingⅡ，Ⅲ类功能反应的三种群捕食系统的持久性．利用比较原理给出了系统持久生存的条件，通过构造Lyapunov函数的方法，得到了相应的周期系统正解的存在唯一及全局渐近稳定性的充分条件。     

《元典章》的被字句

《元典章》的被字句出现了结构复杂化和功能多样化的倾向。结构的复杂化不仅表现在宾语和关系语的复杂化以及动词前后成分状语和补语的复杂化上,而且出现了由多个动词充当的复杂谓语句。功能的多样化主要表现在出现了两类特殊功用的被字句:“遭遇”类被字句,表原因的被字句。从《元典章》中被字句的使用情况可以看出,“被”字在《元典章》中具有不同的语法化层次。     

具有阶段结构的捕食-被捕食系统的全局渐近稳定性

研究了具有幼年和成年两阶段结构的捕食与被捕食系统.分析了非负平衡点的局部特性,得到了正平衡点全局渐近稳定的条件.     

“强化谎者”悖论的简明消解——批判塔斯基、哥德尔、爱因斯坦的相关“论点”

讨论了“仅是矛盾”和“矛盾被证”、辩证“鹰”派的反驳和逻辑派的回应、几个悖论的消解等,评述了维特根斯坦和哈克的“自涉”、克林的“悲观”情怀,批评了爱因斯坦的“轻率概括”,突显出谬误学、批判性思维的重要性。     

真菌油脂菌种选育与发酵试验研究

以三株被孢霉作为出发菌株 ,进行紫外线诱变 ,以乙酰水杨酸和SDS作为抑制剂 ,筛选具有抗性的突变株 .通过低温和高糖的筛选 ,再进行摇瓶试验 ,得出最适发酵条件 .通过摇瓶发酵测定各菌株的菌体干重、油脂产量 ,碘价和产不饱和脂肪酸的量 ,最终选出三个优良菌株 :A1- 16产GLA 1.5 3g/L ,ARA 1.16g/L ,DHA 0 .0 9g/L ;A2 - 6产GLA 1.11g/L ;S3- 1产GLA 1.80g/L .     

面向管理任务的资源描述和操作语言的设计和实现

提出了一种面向管理任务的说明性语言－资源描述和操作语言（RDML），用于定义虚拟放管对象类（VMOC：VMO的类属），RDML可以措述VMOC的所有组成元素，包括：VMOC标识、VMOC参数，源属性（直接来源于被管资源），计算素属，VMOC事件，属性相关操作方法和用户自定义成员方法，本文还给出了基于VMO和RDML的管理体系结构和工作步骤，最后，通过一个RDML定义VMOC的例子说明：RDML具有简单的语法和管理任务级（goal-level)的描述能力，填补了管理应用和低层被管资源间的语义间隙，沟通了不同类型和管理层次的资源，简化了管理应用的开发。     

当好校长,应先学会"尊重"

一个领导者是受人尊重的,但他更需要尊重别人.作为一个学校的校长,更应该在管理工作做到处处尊重教职工,"以人为本"是学校管理成功的关键.