基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

正畸力作用下微种植体支抗的应力分析

通过建立直径为1.4,1.6,1.8 mm,长度为6,8,10 mm,螺纹深度为0.2 mm,螺纹间距0.5 mm的Ti质微种植体支抗与颌骨有限元模型,研究在常用载荷1.96 N正畸力与微种植体长轴呈45°,60°和75°三种角度时的Ti质微种植体应力分布和大小。分析得出,应力主要集中在微种植体颈部1 mm内,在其颈部1.2 mm的范围内应力值的衰减都很明显,在颈部1.2 mm的范围内曲线较陡。在设定的加载条件下,不同直径的微种植体应力值呈规则的变化趋势,直径1.8 mm,45°时微种植体的各应力值极值最小。微种植体长度对应力的影响不大,位移变化均较小。     

ARM内核体系架构及ARMv6上的Linux开发与优化

介绍了各款ARM内核体系架构的特性和增强技术,讨论了在ARMv6上的Linux开发与优化。从6款ARM内核体系架构的特性分析入手,引入了对ARM内核体系架构重要增强技术的介绍,在分析ARMv6体系架构功能特性的基础之上,分别讨论了Linux内核和工具链等所做的优化与改进。     

基于数据压缩的LSP参数高效量化算法

文中为解决超长帧编码系统中联合帧数过多导致LSP参数量化性能下降这个问题,将多项式拟合引入超长帧编码系统中,利用多项式拟合压缩LSP参数矩阵,以降低量化时实际联合的帧数。再用分裂矩阵量化器进行量化。仿真结果表明,在120 bps的参数量化速率下,此算法的量化性能优于矩阵量化算法(MQ),平均谱失真比MQ算法降低了0.0719 dB,平均分段信噪比提高了0.1971 dB。     

对贫困大学生心理健康教育的思考

贫困大学生不仅经济上困难,而且还存在许多心理问题。研究高校贫困大学生的心理状况,并对他们进行心理健康教育,可为高校教育工作的针对性和有效性提供帮助。     

高校现代教育技术应用现状及发展趋势

通过对高校现代教育技术应用现状的分析,阐述了高校现代教育技术应用的发展趋势。     

水库区的风景开发建设与生态环境保护研究

随着社会经济的发展,水库这一人工湖泊不仅只发挥传统的灌溉、供水、防洪、发电和养殖等作用,作为风景旅游和度假地开发建设越来越受到重视,文章从对库区风景开发建设必要性、条件和原则进行分析,提出库区开发建设必须兼顾生态环境,确保水库的可持续发展。     

自蔓延反应喷涂表面涂层技术进展

围绕自蔓延反应喷涂技术与工艺研究和自蔓延反应喷涂相关理论研究两个方面,介绍了这一技术领域的发展状况。SHS反应喷涂技术将燃烧合成与传统热喷涂相融合,将各类高化学能的反应型粉材、线材引入喷涂技术中制备高性能陶瓷和金属间化合物涂层,发展了SHS反应药芯线材电弧喷涂、SHS等离子喷涂、爆炸反应喷涂以及SHS反应火焰喷涂等技术手段。一方面,对其中的配系设计、控制参数、涂层性能和相关设备等方面开展了深入的实验研究;另一方面,围绕涂层形成过程、喷涂条件下的反应机理与模式,以及反应喷涂过程中的能量状态和粒子的物理状态等方面开展了初步的理论研究,正在构筑较完整的理论体系。     

竞争性假设分析法在群体性事件情报预警中的应用

目前,边防部门对于群体性事件预警情报的分析缺乏科学系统的工作流程和分析思路,受思维定势、先入为主等主观因素的影响较为严重。随着科学技术的不断发展,群体性事件预警情报的来源不断扩展,数量不断攀升,如何进行准确的情报分析,成为边防部门面临的一个亟待解决的问题。分析了竞争性假设分析法在群体性事件情报预警中的可行性和实际应用,对预警情报的分析工作有一定的借鉴价值。     

要地防空雷达干扰站配置方式研究

为了解决地对空雷达干扰系统在对要地实施防空时干扰站应如何合理配置的问题.对单部干扰站及多部干扰站在不同配置情况下的有效干扰区进行了仿真.通过对仿真结果及掩护角的分析、比较,讨论了干扰站的不同配置对压制效果的影响,最终提出了地对空雷达干扰系统在不同作战条件下合理配置的方法.