时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

校园可持续建筑实践——后勤工程学院绿色建筑示范楼设计

基于生态优先原则的可持续建筑贯彻了环保、节能、健康及舒适等理念,后勤工程学院绿色建筑示范楼设计充分体现了建筑可持续性目标,设计建造的全过程都考虑室内外环境因素及生态影响,结合工种的划分,从环境生态化补偿、建筑结构体系优化、室内环境控制、能源系统平衡、水资源循环利用及智能化监控等6个方面,由外到内对建筑进行可持续设计策略和技术的整合,充分发挥了技术集成的优势。     

复杂电磁环境下电子系统仿生防护模式研究

阐述电磁防护工作中仿生研究所需要涉及的学科类型和基本内容,对所做工作在整个仿生领域中进行大致的定位;提出生物一电子研究的对等模型、总体构成和实现基础,细化具体研究的方向、设想和防护模式,并从原型实现的工程角度介绍实施策略,使得复杂电磁干扰环境下控制系统板卡及芯片级防护的仿生构想在技术上成为可能。     

山水自在 筑鉴非凡——重庆商务职业学院新校区规划设计

介绍了重庆商务职业学院新校区的校园规划策略。基于生态保护进行校园规划,通过建筑布局与地形环境的协调共生形成山水校园,结合历史人文营造个性化校园空间。同时,从生态保护、规划分区、建筑布局、景观空间等方面探讨文化内涵与个性校园的规划设计策略,得出自然山水形成了丰富的地域景观,并由此创造出具有个性的地区文化的结论。旨在为山地校园建设起到借鉴作用。     

英语写作中的母语负迁移现象分析——以“合训”学员写作为例

在二语习得过程中,学习者的母语使用会直接影响第二语言的习得,并对其起到积极促进或消极干扰作用。以“合训”学员英语写作中出现的典型常见错误为例,从词汇、句法、语篇三个层面分析母语负迁移对军校学员英语写作造成的影响,指出在英语教学中要积极引导学员的汉语正转移,消除学员的负迁移,不断提高英语教学的效果。     

全球治理视角下奥巴马政府太空战略解读

作为重要的全球公域范围与全球治理对象之一,太空既面临着日益严峻的资源、环境与安全问题,又不断彰显着其极具地缘政治意义的战略地位,攸关国家利益与安全。自进入太空时代以来,争夺和维持太空领域的领先地位一直是美国不懈追求的目标。美国的经济、军事等国家实力越来越依赖太空,同时其太空资产的脆弱性也愈发凸显。面对新的国际国内形势与外空态势的复合挑战,奥巴马政府适时调整了美国的太空战略。文章以全球公域和全球治理为切入视角,在分析太空领域全球治理现状的基础上,从太空活动行为准则的制定、太空国际合作的深入、太空军备竞赛的规制三个层面解读奥巴马政府的新版太空战略,并探讨其深层次的动因与影响,进而为中国参与太空领域的全球治理提供有益的理论支撑与现实参考。     

社会资本对维系西部受援高校发展的策略空间探析

“对口支援”西部高校工作开展以来,西部高校在支援高校的大力支持和援助下,学科建设、师资培养和管理水平均取得了显著的进步。这归因于支援高校为西部高校构建了广阔的社会网络,获得了所需的社会资本,得到了所需的学术资源。本文力求不仅要重视“对口支援”西部高校的直接社会援助,而且要高度重视“对口支援”西部高校所建立的社会网络和所获得社会资本。在“对口支援“西部高校政策框架下,充分发挥社会资本对西部高校发展的增值效应,进一步提升维系西部高校发展的策略空间。     

随舰备件需求分析中维修策略问题

分析了面向任务保障性工程理论指导下的舰船随舰备件配置问题,就最大、最小两种维修策略下随舰备件配置问题进行了研究,给出了面向任务的随舰备件需求分析仿真模型框架,结合算倒,研究了最大维修策略与最小维修策略的适用时机:在任务确定且任务结构函数明确条件下,应采用最小维修策略;否则采用最大维修策略.     

对我国农村环境污染防治对策的系统分析

分析了现阶段我国农村环境污染的主要特点,并对农村环境污染防治的宏观对策进行了系统性分析。由手农村污染严重、防治形势严峻且比城市环境污染情况复杂,在制定农村环境污染防治对策时,需要运用系统工程原理全方位、全过程分析实际情况,制定整体效果最优的系统化对策组合,并注意对策措施的系统性、协调性、连续性和针对性。