一角认控制的形式化方法

提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同时，将有限状态机作为ＦＳＭ事务的控制原语，使事务的控制部分得以形式从，从而可实现确认控制自动化。     

低压系统接地故障保护

简述低压配电系统通常所包括的系统接地与保护接地的作用;分析我国工业与民用低压配电系统中普遍采用的TT与TN系统可能存在的接地故障;详细阐述了低压系统接地故障保护的两种手段。并就等电位联结与漏电保护器在我国低压配电系统接地故障保护的应用中普遍存在的问题,根据IEC及发达国家标准,给出行之有效的解决方法。由于我国低压系统接地规范与IEC标准没有完全接轨,就当前我国低压系统接地故障保护中的某些做法提出了不同意见     

新的单电子转移试剂——二碘化钐

文中对二碘化钐作为一种新的单电子转移试剂在有机合成中的还原作用进行了阐述。     

3，5，6-三氯吡啶-2-酚的合成与波谱特征

以CuCl Cu作催化剂 ,采用三氯乙酰氯与丙烯腈加成 ,在常压条件下合成了较高收率的 3,5 ,6 三氯吡啶 2 酚 .研究了催化剂种类对合成收率的影响 ,并通过实验确定了合成工艺条件 :M(CuCl Cu) =4 5g·mol- 1 ,M(NB) =1 34g·mol- 1 ,摩尔比n(AN) n(TCAO) =1 2 ,反应时间 1 7h ,反应温度 1 6 0℃ .3,5 ,6 三氯吡啶 2 酚的红外光谱和质谱完全表明了其结构特征     

10万立方米石油贮罐焊接变形的控制

分析了10万立方米油罐焊接变形的产生原因,并介绍了控制焊接变形的工艺措施.     

重力场中量子弹跳球的Rydberg波包的演化和恢复

利用Rydberg波包分析量子体系的动力学行为是研究经典力学和量子力学的对应关系的一个非常重要的方法。本文主要从自动关联函数和概率密度两个方面讨论了重力场中量子弹跳球的Rydberg波包的恢复和演化，结果表明该系统是一个不能完全恢复的量子系统。     

提升医院护理健康教育的路径

护理健康教育是护理人员利用护理学与健康教育学的基本理论和方法,通过健康教育,可以提高人民群众的自我保健意识,同时有利于建设和谐的医患关系。     

构建具有西北文化特色的高校图书馆体系的思考

高校图书馆具有馆藏资源丰富、大量人才储备的优势,将成为西北文化信息整合与利用的首选平台.从作用、原则、内容、方式及保障措施等方面阐述了构建“具有西北文化特色的高校图书馆体系”的思路,为加强西北区域高校间交流,促进西部区域社会经济发展,努力实现西北文化服务跨越式发展创造新的信息平台而提供了借鉴.