摘要：讨论在嵌入式操作系统中蓝牙支持软件的开发。包括蓝牙设备驱动程序、蓝牙协议栈、无线个人局域网应用框架等的设计与实现。采用系统化设计方法,重点突出结构设计、接口设计、任务设计。结果表明该蓝牙软件具有良好的可复用性、高效性和对嵌入式系统的适应性等特点,大大提高了系统开发效率。

摘要：服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。

摘要：多向模锻又称为多柱塞模锻,可以在一次加热和压机一次行程中完成复杂形状、特别是带内腔或凹凸外形锻件的锻造。其锻件的性能好,并可提高材料利用率1倍以上,减少后续切削加工量。因此,多向模锻是一种精密优质、节能省材的绿色锻造技术。但大、中型多向模锻需要的重型多向模锻液压机,要能够在水平和垂直两个方向提供压制力。与普通液压机比较,多向模锻液压机在承载机架的设计与制造上存在较大的难度。针对此关键技术问题,提出基于预应力钢丝缠绕的'正交预紧机架'结构。利用预应力钢丝缠绕,对整体机架同时产生垂直和水平两个方向的预紧力,以平衡多向压制载荷。应用正交预紧机架设计制造的40 MN/64 MN多向模锻液压机,验证该新型结构的有效性和可行性。这一技术突破为在我国推广多向模锻制造技术,促进我国锻造行业的节能、减排和技术进步,奠定了技术保障。

摘要：战斗部的传统装药工艺是由人工完成的,危险性高、效率低下且质量得不到保证,为此提出了一种针对战斗部装药的自动化装置。对战斗部装药装置进行了结构设计,针对战斗部自动装药装置的抖动问题,基于刚柔耦合建立了系统移动过程中的动力学模型。根据刚柔耦合模型对加速度算法进行仿真对比,发现使用S曲线算法时系统抖动最弱。将S曲线算法优化为5段形式并采用插值拟合在控制器上实现,在实物调试中使用发现抖动明显减弱。对比结果表明,相较传统的梯形算法,优化过的算法具有更好的控制性能。对S曲线算法的优化及应用,减弱了装置抖动,此方法对其他设备的研制也具有一定借鉴意义。

摘要：针对光机扫描式超大幅宽对地观测面临的地面成像畸变导致的分辨率随扫描视场增大而急剧降低的问题,提出了一种变焦距摆扫配合可调狭缝光阑成像的方法,推导了其在超大幅宽成像过程中需满足的变焦扫描与光阑控制关系式.理论分析表明:当系统光轴倾斜角度和狭缝大小与瞬时焦距满足对应关系时,可有效消除地面成像畸变,解决边缘分辨率急剧降低的问题,实现大幅宽扫描成像过程中地面分辨率始终与星下点分辨率保持一致.此外,设计了一套变焦摆扫成像系统,分析证明了该方法具有较大可行性,这对未来超大幅宽、高分辨率对地成像观测具有重要指导意义.

摘要：提出了一种面向事务处理的容错计算机体系结构,设计了基于三模冗余的仲裁器和仲裁算法。在集群中,利用中心结点故障检测机制,采用仲裁器得到了一个逻辑上高可靠的管理态结点,通过该结点可以实现系统快速故障诊断和故障.恢复。实验结果表明:节点间故障检测时间小于2s,故障节点切换时间小于5s,该系统的故障检测、故障节点切换可以满足事务处理系统对可靠性的要求。

摘要：位于我国渤海湾中南部的BZ25-1油田,储量超过2亿吨,根据油田工程开发方案,将采用设计满载吃水达14.5m的16万吨级FPSO作为主要生产设施。然后由于BZ25-1 FPSO就位处水深极浅,极端低水位仅16.7m,所以FPSO在遭遇海域各种恶劣环境条件时的运动响应特性问题就成为直接关系到系统安全和作业效率的重大技术问题。本文首先应用三维势流理论及时域模拟计算方法,对单点系泊FPSO在百年一遇、十年一遇和一年一遇环境条件中的运动响应及船底与海底的间隙进行数值模拟计算,然后将计算结果与模型试验结果进行比较分析。分析结果显示,满载FPSO在十年一遇和一年一遇环境条件下能够安全作业,在百年一遇环境条件时则有轻微碰底,必须减少载重量,降低吃水。这为将来FPSO的投产作业提供参考,具有较为重要的现实意义。

摘要：本文针对高温气冷堆动力转换单元设计了3种联合循环方案,并将3种循环方案在反应堆出口温度900℃的情况下与闭式Brayton循环进行比较。结果表明:闭式Brayton循环在反应堆出口温度较高时,相应反应堆入口温度也较高,这受到反应堆压力壳材料限制,且所需压气机压比较大;联合循环方案的反应堆入口温度低于370℃,反应堆压力壳可使用SA533钢材,无需内壁冷却,且所需压气机压比较小。方案比较显示,提高联合循环效率需增加下位循环出力。方案3的上位循环是简单Brayton循环,下位循环是再热Rankine循环,循环效率可达50.1%。

摘要：碳钢和低合金钢由于Cr含量较低,易发生流动加速腐蚀,对安全产生严重影响。现阶段最先进的第三代核电技术AP1000使用Cr含量较高的A672Gr.B60代替A106Gr.B作为供水管的材料来减小流动加速腐蚀(FAC)的影响。试验采用腐蚀失重、X射线光电子能谱(XPS)、扫描电镜(SEM)和X射线能量色散谱(EDS)等方法来分析流速、碱化剂以及物质组成对A672Gr.B60和A106Gr.B的影响。经336h的实验,结果显示A672Gr.B60较A106Gr.B具有更好的耐冲蚀性能,氧化膜更致密,不易脱落。使用乙醇胺(ETA)作为碱化剂相比于氨水能更好地降低FAC,也能使氧化膜更加致密。流速的变化会影响氧化物颗粒的分布、大小、形状,也会影响氧化膜的厚度。实验生成的氧化膜主要成分为Fe3O4。

摘要：在虚拟化技术广泛应用的同时虚拟层的安全问题引起了国内外研究人员的密切关注。现有的虚拟机管理器(Hypervisor)完整性保护方法主要针对代码和控制数据的完整性保护,无法抵御非控制数据攻击;采用周期性监控无法提供实时的非控制数据完整性保护。针对现有方法的不足,该文提出了基于UCON的Hypervisor非控制数据完整性保护模型UCONhi。该模型在非控制数据完整性保护需求的基础上简化了UCON模型,继承了UCON模型的连续性和易变性实现非控制数据的实时访问控制。根据攻击样例分析攻击者和攻击对象确定主客体减少安全策略,提高了决策效率;并基于ECA描述UCONhi安全策略,能够有效地决策非控制数据访问合法性。在Xen系统中设计并实现了相应的原型系统Xen-UCONhi,通过实验评测Xen-UCONhi的有效性和性能。结果表明,Xen-UCONhi能够有效阻止针对虚拟机管理器的攻击,且性能开销在10%以内。