摘要：研制了基于微型压电陶瓷棒结构代替双敏感梁结构及压电陶瓷片的微型角速率陀螺,并设计了相敏检波电路。首先采用易于加工成高精度的微型陶瓷棒作为敏感体,在其上印刷成六个带状电极并予以极化构成三副电极对,然后设计了封装及相敏检波电路,从而有效地减小了敏感结构的尺寸,提高了其加工精度,实现了角速率陀螺微型化。标定结果表明,该角速率陀螺线性度好,相关系数为0.9996;精度高,标准误差为0.0036。

摘要：采用数学形式化方法对操作系统进行设计和验证可以保证系统的高度安全性.目前已有的操作系统形式化研究工作主要是验证系统的实现在代码级的程序正确性.提出一种操作系统形式化设计和验证的方法,采用操作系统对象语义模型(OSOSM)对系统的设计进行形式化建模,使用带有时序逻辑的高阶逻辑对操作系统的安全需求进行分析和定义.对象语义模型作为系统设计和形式化验证的联系.以实现和验证过的可信微内核操作系统VTOS为实例,阐述形式化设计和安全需求分析,并使用定理证明器Isabelle/HOL①对系统的设计和安全需求的一致性进行验证,表明VTOS达到预期的安全性.

摘要：第52届国际嗓音协会年会致力于通过多学科交流、合作科研及教育来促进嗓音医学的基础知识及医疗的发展。会议内容可总结为嗓音言语病理学研究进展和技能演示、嗓音外科学领域的研究进展、艺术嗓音的教育及研究进展、大会颁奖四大部分。会议采用大会发言、圆桌讨论、壁报交流、嗓音训练现场演示及艺术嗓音大师班等多种形式。此次会议的亮点在于新技术的研究及应用。然而,单纯的技术和应用仍不能满足嗓音医学的发展,嗓音相关领域多学科的深度合作是未来的一大发展方向。

摘要：针对包含计算耗时仿真模型的虚拟试验预测模型建模过程,提出了一种序贯极大熵试验设计方法。通过调整高斯先验过程协方差函数,在预测模型误差较大区域序贯地增加新试验点,合理权衡试验点数目与预测模型精度。设计数学算例演示了序贯极大熵试验设计方法的效率,并证明优于一步法,适用于虚拟试验预测模型建模。

摘要：针对机动发射固体运载火箭开展上升段弹道快速设计方法研究。设计了固体运载火箭上升段飞行程序,应用修正牛顿迭代法求解上升段弹道控制参数,推导了迭代算法公式。针对牛顿迭代法收敛精度和速度受初值影响的问题,基于数据插值和拟合方法,研究了迭代初值生成技术。仿真结果表明,设计的求解算法可以实现固体运载火箭上升段弹道快速生成,收敛精度满足设计要求。

摘要：应用粒子群优化算法研究了固体运载火箭上升段弹道优化设计问题。设计了固体运载火箭上升段飞行程序,构建了固体运载火箭弹道优化设计问题的粒子群算法,通过控制参数改进和引入函数拉伸策略,对算法进行了改进。仿真计算结果表明,粒子群优化算法能有效解决固体运载火箭弹道优化设计问题,优化方案末助推级液体推进剂消耗比原方案减少11.1%,算法收敛速度快,需设置参数少,易于工程实现。可为固体运载火箭弹道优化设计提供理论参考。

摘要：在简单介绍了姿态角和地磁场的基础上,分析了电子罗盘工作原理,设计了基于磁阻传感器、MEMS加速度传感器及SoC(System on Chip)MCU的电子罗盘。根据其构成的主要器件,分析、补偿和计算了系统误差。该电子罗盘具有体积小、重量轻、功耗低、价格低和精度高等优点。试验结果表明其能够很好地用于微型和超小型飞行器的姿态控制与导航。

摘要：在一些公共场所,各种LED电子广告牌随处可见,一些商业网站里也有众多的Flash动画广告.本文利用***设计开发一款时钟广告,可以添加到你的应用程序中,也可以嵌入到网页的页眉显示时间、商业广告等,是一种非常实用技术,我们利用这一方法改进了我校部分LED显示功能.取得了非常好的效果.

摘要：由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模,提出一种汇编级的系统状态模型,作为汇编语言层设计和验证的纽带.通过定义系统状态模型的合法状态和状态转换函数来建立系统状态模型的论域,并以此来描述汇编层的论域.通过验证汇编层的功能模块的正确性来保证汇编语言层设计的正确性,达到对系统功能实现的正确性验证.同时,使用定理证明工具Isabelle/HOL来形式化地描述这一系统状态模型,基于这一形式化模型,在Isabelle/HOL中验证系统模块的功能语义的正确性.以实现的安全可信OS(verified secure operating system,简称VSOS)为例,阐述了所提出的形式化设计和验证方法,说明了这一方法的可行性.

摘要：为了切实提升江苏省高速公路沥青路面建设水平,通过总结江苏省过往20余年高速公路沥青路面的建设和使用经验,从全寿命周期经济效益角度出发,围绕江苏省高速公路沥青路面20 a寿命的建设目标,对江苏省廿年沥青路面技术框架与发展路径进行研究。基于江苏省高速公路历年路况、交通等数据统计分析,总结了当前沥青路面建设存在使用性能、设计理论、材料以及信息化管控等方面问题,进一步明确了当前沥青路面设计、施工和运营中的建设需求;基于国内外沥青路面设计规范、指南及手册,调研了国内外沥青路面"寿命"定义和道路寿命终止判据,进而从适用交通水平、服役状态以及养护维修等角度出发,深入剖析了廿年路面的基本内涵,并明确了廿年路面设计宗旨为"沥青路面各项结构性能、路表功能的均衡设计以及各层位的按需分层寿命设计",提出了一种路面结构"性能均衡、寿命协调"的设计理念;基于理论分析、现场检测、室内试验、模型搭建、工程应用、跟踪反馈等综合性技术手段,从关键控制指标、路面结构优化、材料设计与开发、信息化管理与控制以及标准编制等方面,建立了江苏省廿年沥青路面技术框架,明确了廿年路面的发展路径。