关键领域嵌入式容错机自毁功能

为了保证某些领域的嵌入式计算机系统的信息安全,提出了系统多方式自毁功能模块。基于关键领域计算机的自毁功能,提出多级自毁策略。在一个三模冗余加热备份模块的模型机的基础上,设计并实现了多策略的自毁安全子系统。通过软硬件结合,采取数据、程序、电气等3种自毁方式。通过测试,能够达到预期效果。     

手指口述安全管理方法的探讨

大多数煤矿生产事故是由于人的不安全行为造成的,通过执行"手指口述"方法,可以使员工对自己的操作行为以及作业环境的安全状态进行确认,通过提高员工自主管理和互助保安意识,保证操作过程安全可靠,消除生产事故隐患,从而可以提高安全管理水平,促进矿井安全生产.     

集成微流控芯片

作为一种能够在微米级尺度操纵液体的新兴技术, 微流控芯片已经受到科学家们的广泛关注. 高密度集成的微流控芯片装置可以实现高通量并行化的实验以及多种操作单元的功能一体化, 作为一种新的方法学平台, 已经越来越多地应用于化学和生命科学的研究中. 本文着重介绍了集成化微流控芯片装置的基本概念、构建方法、及其在细胞生物学、分子生物学以及化学合成应用研究中的最新进展, 尤其强调了集成微流控芯片系统在传统方法难以达成或实现的单细胞和高通量的研究中的优势, 展望了集成化微流控芯片在化学以及生命科学中的应用前景.     

县域经济发展中的居民消费研究

居民消费在县域经济发展中处于怎样的情况,文章就平鲁区居民消费的基本情况进行了分析.     

基于创新人才培养的学科文化建设

学科文化是指在特定时期内学科本身所具有的价值观念、知识体系及其成员特有的精神风貌和相应行为的总和.学科文化在创新人才培养中具有塑造创新人格、培养创新思维、提升创新技能和营造创新环境功能,基于创新人才培养的学科文化建设要注重学科精神文化的提炼与创新,遴选学科带头人,凝聚学科力量,以激励创新为目的,逐步完善学科制度建设,做好学科物质文化的规划与建设.     

Fermat小定理的推广及其应用

利用映射的不动点以及不动点阶的思想将整数环Z上的Fermat小定理推广到一般集合S上，并运用该推广讨论了Dirichlet定理的一种特殊情形：只要给定正整数m≥3，那么算术数列1＋lm（l=0，1，2，…）中一定存在无穷多个素数．     

灌注桩施工工艺研究

结合工作经验,针对钻孔灌注桩施工中容易出现的事故和问题进行了原因分析,并提出了相应的防治措施。     

经济发展与制度创新浅析

文章分析制度创新在经济发展过程中的重要性，指出有好的制度，才能保证有良好的经济运行秩序和高效办事程序。     

促进山西转型发展的研究

随着经济全球化进程的加快,中国经济发展的战略重点已开始由沿海地区向中部地区转移,给山西发展带来了大好机遇。文章从山西的优势、瓶颈问题及解决对策等方面进行了阐述,必将对山西转型发展起到一定的借鉴作用。     

Automatic identification of use cases from codes: A user’s goal driven approach

Based on the different roles played by base flow and alternative flow in the process to achieve user’s goals, we have found that loop structure is frequently used to implement alternative flow and/or to connect different use cases. This paper presents an approach to identify base flows and alternative flows of different use cases by traversing control flow graph in which back edges are eliminated. The effectiveness of the approach is verified by identification of the use case structure of an ATM system. The workload of human intervention of the approach is relatively slight, and the manner of human intervention closely follows the usual process of software comprehension.