串行程序的并行划分算法及其正确性证明

针对多机系统结构，本文提出了在大粒度级并行划分串行程序的算示。该算法通过识别并行循环任务以及通过确定调用上下文关系识别过程任务，来划分串行程序中的并行成份。该算法是对串行程序实施并行分解的基础。本文还给出了该算法的正确性证明。     

水系统装置扬程的计算及泵的选型分析

为了提高水系统中水泵的实际运行效率和扬程利用率,降低发动机试验成本,减少能量浪费,以某型发动机台架试验水系统为研究对象,综合考虑了装置静扬程、管路的各种局部损失和沿程损失开展装置扬程的计算。同时根据水系统所需的装置扬程、流量及其变化规律,从泵的参数及其特性曲线入手,进行泵的选型分析,确定合适的泵的类型、台数及连接方式。通过水系统装置扬程的计算和泵的选型分析,结合泵带来的能效利用、工程投入和运行费用等因素,可在满足发动机试验需要的同时实现经济利益最大化,为今后类似水系统工程的设计提供借鉴和指导。     

超硬铝合金整体精车加工成型壳体及其轴压稳定性研究

本文首先简要讨论了飞行器壳体采用超硬铝合金材料、整体精车加工成型设计出优点，它对小尺寸再入飞行器设计有重要意义和应用价值。接着对超硬铝合金ＬＣ４整体精车加工成型壳体进行较详细的研究。给出了六个试件的轴压试验结果，并用小样件统计方法进行了统计分析。试验结果表明：与过去试件的试验结果相比，临界应力系数提高近一倍。散布度明显减小。对临界应力系数给出的强度变差系数值和概率下限值可供设计使用。     

2005莫斯科航展单元1——莫斯科航展上演军火秀：俄国制造魅力无限

第7届莫斯科国际航空航天博览会（MAKS-2005）于2005年8月16日莫斯科时间上午10时在莫斯科郊外的茹可夫斯基城开幕．历时6天．共有来自40多个国家和地区的610家公司参加．参观者达80多万人，与前6届航展相比．本届航展的规模．质量、商业效益都大为增加，许多国家的政要亲临航展现场，显示莫斯科航屉的国际影响力日增。最值得注意的是，部署在英国基地的美国驻欧空军第2次向莫斯科航展伸出橄榄枝．派出包括B-1B轰炸机和C-17A运输机在内的10架飞机参展，F-16战机还在航展期间进行飞行表演。俄国际问题专家认为．美国热心参与莫斯科航展．一方面是为了缓和俄罗斯对北约东扩的担忧，一方面是希望牵制最近因举行联合演习而升温的中俄军事合作关系。[编者按]     

《菩萨本缘经》词语拾零

汉译佛经在汉语词汇研究方面具有其它中土文献不可替代的特点和价值。文章选取《菩萨本缘经》中的词语与《汉语大词典》中所收录的词语例证相对照,试图把《汉语大词典》的书证年代提前一些。     

HSDB网络稳定性的研究

高速数据总线（ＨｉｇｈＳｐｅｅｄＤａｔａＢｕｓ，ＨＳＤＢ）是新一代航空电子系统的数据总路线，ＨＳＤＢ网络实际上是基于线性令牌总线的一个专用计算机局域网，在网络上负载较重且时间非苛刻的消息到达是一般过程的条件十分别讨论了网络的局域和全域稳定性，并导出了保证整个网络稳定的令牌握有定时器最小值，同时给出了如何根据应用去调整得到的理论值。     

Radiation biodosimetry: applications for spaceflight.

The multiparametric dosimetry system that we are developing for medical radiological defense applications could be adapted for spaceflight environments. The system complements the internationally accepted personnel dosimeters and cytogenetic analysis of chromosome aberrations, considered the best means of documenting radiation doses for health records. Our system consists of a portable hematology analyzer, molecular biodosimetry using nucleic acid and antigen-based diagnostic equipment, and a dose assessment management software application. A dry-capillary tube reagent-based centrifuge blood cell counter (QBC Autoread Plus, Becton [correction of Beckon] Dickinson Bioscience) measures peripheral blood lymphocytes and monocytes, which could determine radiation dose based on the kinetics of blood cell depletion. Molecular biomarkers for ionizing radiation exposure (gene expression changes, blood proteins) can be measured in real time using such diagnostic detection technologies as miniaturized nucleic acid sequences and antigen-based biosensors, but they require validation of dose-dependent targets and development of optimized protocols and analysis systems. The Biodosimetry Assessment Tool, a software application, calculates radiation dose based on a patient's physical signs and symptoms and blood cell count analysis. It also annotates location of personnel dosimeters, displays a summary of a patient's dosimetric information to healthcare professionals, and archives the data for further use. These radiation assessment diagnostic technologies can have dual-use applications supporting general medical-related care.     

振动流化床喷雾造粒中颗粒成长机理的研究

在间歇操作的振动流化床中，实验研究了喷雾造粒的颗粒成长机理以及流化速度、进风温度、料注伽料速度、初始物料颗粒尺寸大小对造粒的影响。     

一般高速数据总线网络的吞吐量分析

分析了一般高速数据总线网络优先权方案的特性，建立了一般ＨＳＤＢ网络多优先权的平均吞吐量模型，导出了不同优先权的平均吞吐量解析表达式，并通过软件仿真验证了由得到的解析表达式。     

材料非线性有限元分析的一种有效方法——预测割线刚度变刚法

 材料非线性有限元增量解法中如何减少加载次数,保证精度是两个重要的问题;而误差估计也是与之密切相关的问题,特别是对每次加载不进行迭代的增量变刚法。本文针对这些问题提出预测割线刚度变刚法。