参数Kleene系统的可靠性定理

介绍了参数Kleene系统和参数Kleene系统的三-I算法,并讨论了它们随参数值的变化.把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性.     

基于UPnP智能传感器网络接口与优选服务设计

实现智能传感器网络接口即插即用是现代传感技术发展迫切需要。基于通用即插即用协议UPnP(Universal Plug and Play)和IEEE 1451系列标准,建立了智能传感器网络接口即插即用系统,设计一种IEEE 1451/UPnP网桥,解决两种协议在消息格式、自标识描述、设备发现方面的差异,采用基于信息公理的UPnP设备优选与传感服务发现方法,将参数信息量计算分布在满足服务要求的网络适配器NCAP(Network Capable Application Processor)。实验表明该方法减少了网络接口数据流量开销,使UPnP设备服务效率得到有效提高。     

单纯三重有向三元系的相交数

证明了对于任意正整数ｖ≥３,存在两个ｖ阶单纯三重有向三元系相交于ｓ个公共有向三元组的充要条件是：当ｖ＝３时,ｓ∈｛６｝;当ｖ＝４时,ｓ∈｛０,１,２,…,１２｝＼｛１,１１｝;当ｖ≥５时,ｓ∈｛０,１,２,…,ｖ（ｖ－１）｝＼｛ｖ（ｖ－１）－１｝,从而完全确定了单纯三重有向三元系相交数的谱     

女子三级跳远运动员运动学指标的研究

对国内外优秀女子三级跳运动员某些运动学指标进行了比较研究,阐述了目前我国优秀女子三级跳运动员存在的问题和差距,从而为我国女子三级跳远项目的迅速发展提供科学依据。     

掺杂对OLED发光效率的影响

概述了掺杂发光的种类、掺杂发光提高OLED发光效率的机制。     

二元与三元等价关系的联系

二元关系是最基本的关系。本文给出三元等价关系的定义,讨论三元等价关系的分类性质,以及三元等价关系与二元等价关系之间的联系。     

约化李三系

给出了约化李三系的定义,在此基础上得到了李三系的约化与它的标准嵌入李代数的约化的对应关系:李三系是约化的当且仅当其标准嵌入李代数是约化的,并进一步证明了李三系是约化的等价条件.     

关于单李三系的分类

对于特征零代数闭域上的有限维单李三系,用新的处理方法证明它们可分为两类,并指出每类的特征.     

运用对称性简化直角坐标三重积分计算

运用对称性计算直角坐标系下的四个三重积分定理(并给予证明),简化直角坐标三重积分的计算．     

XN-1新型语音式电话瓦斯报警器

XN-1新型语音式电话自动监控瓦斯报警器是在ZM-1型瓦斯报警器的基础上改进的.它既能检测矿井中瓦斯的含量,而且在瓦斯浓度超限时具有声光报警功能,同时还能自动拨通煤矿安全官员的电话,以语音的形式报告井中瓦斯浓度超限的情况,使煤矿安全官员对基层煤矿负责人、安监员、矿主等人员的失职行为进行监管,以避免人为因素造成瓦斯爆炸事故的发生.介绍了XN-1新型语音式电话自动监控瓦斯报警器的组成结构,对其工作原理进行了详细的分析.