VxWorks中任务恢复机制的设计与实现

软件容错技术是保证系统高可靠性及高可信性的有力工具。设计并实现了一种在VxWorks系统下基于检查点的任务恢复机制。通过对VxWorks系统下检查点文件内容的分析,采用3种方法来解决检查点的任务恢复问题:基于内存预先分配的主动内存管理,解决任务恢复时数据内存地址变化的问题;建立系统内核对象池,实现支持多任务之间同步和通信的内核对象的恢复;设计用户层任务恢复中间件,实现用户级检查点设置和任务恢复。最后设计基于VxWorks和PowerPC的计算平台原理样机,通过对单任务、多个单任务、多任务通讯、以及多任务协调工作4个测试用例的分析表明,所设计的基于检查点的任务恢复实现方案能正确保存任务关键信息及保证任务恢复的正确性和一致性。     

广义Ostrovsky方程的Cauchy问题

利用Sobolev空间相应的知识以及一些不等式,研究有界区域内广义Ostrovsky方程解的存在性与唯一性问题,得到几个先验估计.通过应用Galerkin方法,证明在给定的初始条件下非线性强度为2的广义Ostrovsky方程存在唯一的整体解.     

"两硬"条件大采高液压支架工作阻力计算

为解决“两硬”地质条件下大采高综采液压支架缺乏,厚煤层一次采全高技术不能在大同矿区推广等问题。笔者对液压支架与大采高综采采场围岩的力学关系进行了分析,根据相关矿压理论,从多种角度对“两硬”条件下大采高综采支架工作阻力的计算方法进行了探讨;同时列举了5 000 mm厚煤层一次采全高试验工作面液压支架的支护阻力实测数据;通过对支架工作阻力理论计算值与井下工作面支架支护阻力实测数据的对比分析,认为采用多种方法计算、再综合分析的方法来确定大采高液压支架工作阻力是可行的。     

x-提升模

通过引入x-提升模的概念，讨论了两个x-提升模的直和仍然是x-提升模的充分条件．作为推论可得到两个提升模的直和仍然是提升模的充分条件．     

雷达目标动态RCS仿真研究

根据中段弹道目标的运动学特性，结合室内缩比模型RCS静态测量数据，提出了一种雷达目标动态RCS仿真的方法。该方法首先仿真空间目标飞行弹道，然后计算目标在飞行过程中的方位角，由此获得目标在设定场景下的RCS动态特性。仿真结果与理论分析相比较，证明了所提出方法的可行性。     

锅炉热能数据仪表微机控制系统的开发

阐述了锅妒热能数据仪表微机控制系统的硬件组成和软件的开发,介绍了系统方案确定、设备选型的原则,详细说明了硬件系统组成,还论述了软件的开发环境及软件的管理功能.     

不同靶材制备TaN单层薄膜的晶体结构与力学性能

以钽氮化物为个体层材料,利用FJL560CI2型超高真空射频磁控与离子束联合溅射系统,制备以TaN和金属Ta为靶材的两种TaN单层薄膜.通过XRD和纳米力学测试系统分析它们的晶体结构和TaN靶材对薄膜机械性能的影响.结果表明,TaN靶材制备的TaN单层膜的纳米硬度值普遍高于Ta靶材的;当工作气压为0.4 Pa时,TaN单层膜的硬度最大,即35.4 GPa,其结晶出现多元化,使单层膜的硬度、弹性模量以及膜基结合性能均达到最佳.     

ZrC/ZrB2纳米多层膜的微结构和耐磨性

采用射频磁控溅射方法在Si(100)基底上制备了一系列ZrC/ZrB2纳米多层膜和ZrC,ZrB2单层薄膜.通过扫描电子显微镜(SEM),MS-T3000摩擦磨损仪及表面轮廓仪(XP-2)研究了薄膜的微结构和耐磨性.结果表明,多层膜的界面清晰,调制周期性好,周期为3.52 nm的多层膜摩擦系数最小,约为0.24;ZrC/ZrB2纳米多层膜的耐磨性优于ZrC和ZrB2单层薄膜;ZrC/ZrB2多层膜耐磨性提高的主要原因是,调制结构中大量界面的存在,提高了薄膜的韧性,从而增强了薄膜的耐磨性能.     

曲面展开CAD系统的设计与研究

通过建立各种曲面构件的数学模型，利用AutoCAD2000为平台，进行二次开发，设计了曲面展开CAD系统，从而实现展开图的自动绘制，并可用于数控切割加工．     

Preparation of (R)- and (S)-2-Allyl-1, 3, 2-dinaphtho (α, β) [d.f] dioxaborepin and their reactions with aldehydes

(R)- and(S)-2-Allyl-1,3,2-dinaphtho (α,β) [d.f] dioxaborepin ((R)-2 and(S)-2) have been first prepared by the reaction of(R)-(+)- or(S)-(−)-1, 1′-bi-2-naphthol and triallylborane in THF at room temperature, respectively.(S)-2 and(R)-2 are sensitive to moisture and oxygen in air and disproportionate easily to triallylborane and 1,1′-bi-2 naphthyl bis (1,1′-bi-2-naphtholborate) at ambient temperature. However, THF is a stabilizer for them. The reactions of(R)-2 or(S)-2 and some aliphetic or aromatic aldehydes in CH₂Cl₂ at −78°C for several hours afforded β-alkylenyl alcohols in up to 84.8%ee. Among them, optically active 1-(3, 5-dichlorophenyl)-3-butenol and 1-(2-methoxyphenyl)-3-butenol were first prepared Foundation item: Supported by the National Natural Science Foundation of China (29972033) Biography: Liu Dejun (1973), male, Ph. D, research direction: asymmetric synthesis