微信公众平台在大学生安全教育中的应用

阐述微信公众平台的优势,分析利用微信公众平台开展大学生安全教育的可行性,通过突出信息推送功能、以案讲案、引导大学生参与平台建设等措施发挥微信公众平台载体作用,提出转变传统的安全教育观念、开发信息反馈功能、需要优秀编辑人员等完善微信公众平台运营的建议。     

家用燃气器具安全性分析

文章从产品质量、安装维修、安全使用等方面对家用燃气器具的安全性进行了分析。     

基于Intranet的煤矿安全信息系统的开发

提出了利用先进的Intranet技术开发煤矿安全信息系统的解决方案 ,并就系统实现的有关方法和技术进行了详细分析和探讨。Intranet以系统的低成本、可扩充性、强适应性、运行的安全可靠性 ,为煤炭企业提供了一条经济实用的信息化道路     

国内外交通安全管理之比较

文章通过对欧美、日本等发达国家在道路交通安全宣传教育、事故紧急救援、管理人员严格公正执法、事故损害赔偿归责等方面和我国的交通安全管理情况进行比较分析,试提出我国目前在这些方面存在的问题以及应对措施。     

建设工程的安全监理

解释了建设工程安全监理的概念,指出了建设工程应建立健全的安全监理管理体系,就建工企业如何建立健全各项安全监理的措施进行了探讨。     

架线式电机车安全制动距离的能量观

采用7t,10t架线式电机车和1t,3t矿车进行列车车组计算,讨论了安全制动距离对列车组成和运输能耗的影响。     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

系统视角下的现代新型国家安全观

现代新型国家安全观认为，国家安全是由多种要素构成的有机整体，是一种综合系统，系统科学的系统整体突现原理、系统结构质变原理和系统环境互塑共生原理，是审视、解读、认知现代新型国家安全观的重要视角、理论基石和认识原则。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．