嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

浅谈“城市针灸”在城中村整治与更新中的应用——以深圳宝安区径贝村为例

市场经济主导下的拆建式城市更新带来的发展弊端已经逐步浮现,城中村作为城市更新中的重要板块,需要更加科学、高效的再生模式。"城市针灸"理论具有立足于城中村价值挖掘与永续发展的特点与优势,基于此,本文以深圳径贝村的整治行动为契机,借鉴"城市针灸"与"触媒效应"等相关理论和既有研究,将城中村视为一个完整的有机体,对其实施一次"针灸式"治疗,为解决城中村更新问题提供新的视角。     

三线建设中工业企业的选址及其社会效应研究——以十堰第二汽车制造厂为例

20世纪60年代中期,面对险恶的国际环境,出于战备和国防的考虑,党中央和相关国家领导人做出了"三线建设"的战略决策。文章通过对扎根于十堰的三线建设项目"第二汽车制造厂"的研究,探讨了特殊历史时期下三线建设企业的一般选址策略及其产生的社会效应。     

静电纺氧化铝纤维的制备工艺

分别以聚乙烯吡咯烷酮(PVP)和乙酰丙酮铝作为聚合物和氧化铝前驱体,利用溶胶-凝胶法和静电纺丝技术,在合适的工艺条件下得到了形态良好的氧化铝初生混合纤维,并于1300℃烧结1 h后,得到了直径在200 nm左右的α-氧化铝纤维。透射电子显微镜(TEM)结果表明:α-氧化铝纤维是由无数尺寸在7～12 nm之间的晶粒相互融合形成的。研究了不同的升温速率对于氧化铝纤维形态的影响,结果表明:升温速率越小,越有利于氧化铝纤维的成形。通过将初生纤维于不同温度下烧结,讨论了其在热处理过程中的晶相衍变历程。     

隧道过浅埋段Ⅴ级围岩超前支护、初期支护施工过程控制

从以往的施工情况来隧道浅埋段软弱围岩超前支护、初期支护的施工将是影响整个隧道施工进度及质量的重点难点所在。我们在该段围岩施工过程中,坚持预防为主,并根据围岩性质的不同,及时调整施工工艺,群策群力、不断积累经验,从而在保证工程质量的前提下,平安的渡过了软弱围岩段。     

企业设备资产管理系统中用户角色与权限设置分析

随着企业设备资产管理信息化水平的提高,应用资产管理系统进行企业资产管理,已经是现代化企业管理的必由之路。各类企业管理系统是企业管理工作信息化、集成化、智能化,提高企业核心竞争力的重要一步。如何加强对系统用户管理,提高系统的用户满意度和使用效率,进而提高企业管理水平是摆在软件开发和企业管理人员面前的共同课题。笔者通过亲身参与管道二公司研发和使用企业设备管理系统,提出了一点对系统开发和使用过程中用户角色和权限设置的看法,希望对同类系统开发有借鉴意义。     

环境问题与消费模式的变革

随着人口的不断增长和人们生活水平的不断提高,以资源和能源的大量消费为代价的传统消费模式,对环境和发展造成的危害日益显现,已经成为当今世界环境问题的核心问题.因此,变革现行的传统消费模式,构建一种有利于可持续发展的环境友好型消费模式,就成为当前学界亟待解决的重大理论与实践课题.在分析环境问题与消费问题关系的基础上,探讨了传统消费模式的特点与弊端,提出了构建环境友好型消费模式的必要性和途径,为现行传统消费模式的变革提供了理论依据.     

高压电缆附件用EPDM绝缘材料的开发

研究了采用注压硫化生产高压电缆附件的三元乙丙橡胶(EPDM)绝缘材料的配合技术,从生胶的选择、配合剂的选用、加工注意事项等方面进行了探讨,总结出了一个优化配方。所研制的EPDM绝缘材料具有优良的物理性能和电绝缘性能,生产工艺性好。     

基于BIM技术的工程管理专业教学模式探索与实践——以嘉应学院为例

根据BIM人才培养全过程的要求,在现有课程教学内容中融入BIM和专项技能及管理理念,在毕业设计实践教学中引入BIM技术应用模块,以激发学生学习的主观能动性,提高学生的综合实践动手能力,培养团队的协作和沟通能力。