电能计量装置远程自动检测系统的设计研制

本文介绍了电能计量装置远程自动检测系统的各个组成部分，系统由电压测量切换模块、电流测量切换模块、脉冲测量切换模块、被校电能表RS-485通讯切换模块、开关量输入输出模块、电能表现场校验仪模块、供电模块组成，文中还详细地分析了各功能模块的实现方法及可靠性设计。     

关于韩国被判刑人移管法律制度研究

被判刑人移管是指一国将触犯该国刑法在该国被判处刑罚的外国人移送回其国籍国服刑的一种司法协助活动,是现代刑罚人道主义的产物。韩国2003年颁布实施了《国际受刑人移送法》,并为其实际运作于2005年7月加入了欧洲理事会所制定的《被判刑人移管公约》,自2005年11月1日在韩国领域开始生效。     

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

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

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)的描述能力，填补了管理应用和低层被管资源间的语义间隙，沟通了不同类型和管理层次的资源，简化了管理应用的开发。