基于静态分析的强制访问控制框架的正确性验证

现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问控制框架的正确性验证问题进行了研究,在授权钩子放置验证的基础上,提出了安全标记的完全初始化验证和完全销毁验证.为了实现上述验证,文中提出了一个路径敏感的、基于用户自定义检查规则的静态分析方法.该方法通过对集成于编译器的静态分析工具mygcc进行扩展来验证强制访问控制框架的钩子放置的准确性和完备性.该方法具有完全的路径覆盖性.且具有低的误报率和时间开销.     

蚁群算法在生产调度中的应用

介绍了蚁群算法的基本思想,以旅行商问题说明了蚁群算法的模型结构,总结了蚁群算法在作业车间以及流水车间中的应用,并与其它启发式算法进行了简单的比较。在分析了目前半导体生产线调度研究现状的基础上,探讨了蚁群算法在半导体生产线调度中的应用前景。     

虚拟环境中碰撞检测问题的研究

本文以虚拟手术仿真为应用背景 ,着重论述了一个基于固定方向凸包包围盒层次的碰撞检测方法。固定方向凸包是一种特殊类型的凸包 ,它的所有面方向都来自一个固定的方向集合 ,它克服了以往包围盒类型的缺点 ,在紧密性和简单性之间达到了一定的折衷。本文在充分研究了固定方向凸包的固有特性的基础上 ,开发并证明了它适用于复杂环境中软体碰撞检测的性质 ,并着重解决了包围盒间的相交测试、对象运动后包围盒的更新、对象变形后包围盒树的更新等问题。文中提出并证明了一种快速区间测试法以解决两个固定方向凸包包围盒间的相交测试问题 ,通过查…     

DSZ-3型标准氡室的研制及性能测试

报道DSZ-3型标准氡室的研制及性能测试工作。DSZ-3型标准氡室实现了在3个氡浓度区间的独立运行、氡浓度自动控制、氡室内温、湿度自动控制。性能测试结果表明：主要技术参数达到了设计要求,氡室氡浓度空间均匀性、长时间稳定性、密封性能符合国家有关标准要求,系统运行良好。     

压杆钢构件的抑制失稳研究

首先阐述了受压钢构件失稳被动控制的设计思路,介绍了几种典型失稳被动控制技术的相关研究进展,提出了几种新颖的失稳被动控制约束装置,最后总结了失稳被动控制技术的设计和分析计算要点、适用性以及在失稳控制研究中需要进一步研究的问题．     

CAD中任意复杂装配图成图原理

本文介绍了ＣＡＤ中任意复杂装配图生成的技术关键。讨论了零部件的统一表示模式、零件的分类及处理策略，提出了一种新的轮廓识别算法，实现了以零件生成为前提、集合运算和轮廓识别为基本手段的装配算法，其中包括定位问题的处理，装配关系的提取，以及轮廓线、细实线、占划线、剖面线的综合处理方法。本方法作了为商品化软件ＰＬＡＧＥ的重要组成部分，已应用于工厂设计中。     

参数化CAD系统的研究与实现：可小燕

参数化是ＣＡＤ软件的一个发展方向,是实现ＣＡＤ自动化的关键。本文对参数化ＣＡＤ进行了一些探讨,阐述了机床包装箱参数化ＣＡＤ系统的设计和实现方法。     

基于云计算的桥梁安全与健康监测数据中心基础架构及其数据管理技术

桥梁安全监测数据信息以几何级数速度增长,对数据中心海量数据存储、管理提出了智能化、高效率化的要求.分析了桥梁安全与健康监测数据中心的数据管理技术及发展趋势;阐述了基于云计算（Cloud Computing）的数据中心基础架构;深入探讨了关键设备和软件的选型;对基于云计算的桥梁安全监测数据中心的应用前景进行了展望.     

应变式传感器桥路供电方式的研究

对直流（包括恒压和恒流）电桥的工作性能进行了分析。针对为提高电桥电压灵敏度而产生的桥臂功耗增大，电阻“温升”和热噪声等问题，提出了用恒流源间隙（脉冲）供电方式。此方式不仅可以提高传感器的灵敏度和精度，还有效地降低了电阻“温升”和热噪声。     

电力企业桌面终端安全管理应用研究

阐述电力企业桌面终端安全管理现状,分析电力企业桌面终端普遍存在的问题,梳理电力企业桌面终端的安全管理需求和法规遵循要求,提出“明确桌面终端生产办公设备属性、落实桌面终端安全风险管理”的桌面终端安全管理思想,并在电力企业现有的信息安全管理体系之下,验证在实际应用中实施桌面终端安全基线管理的可行性。