加速寿命试验下随机截尾指数寿命数据的Beyes统计分析

本文针对恒定应力加速寿命试验下，进行随机截尾指数寿命数据的Ｂａｙｅｓ分析，在未知加速寿命方程情况下，给出了常应力下分布参数的后验分布及其Ｂａｙｅｓ估计．最后给出了两个计算实例．     

生物可降解性聚碳酸亚丙酯/有机蒙脱土纳米复合材料的热氧老化

通过熔融插层法制备了聚碳酸亚丙酯(PPC)/有机蒙脱土(OMMT)纳米复合材料。研究了OMMT对PPC/OM-MT纳米复合材料热氧老化的影响。结果表明,老化以后复合材料的拉伸强度以及断裂伸长率的保留率均高于纯PPC。加入OMMT后,复合材料的热老化性能明显改善。     

无人机快速航迹规划算法

基于快速搜索树提出了一种快速高效同时具有鲁棒性的航迹规划算法.该算法主要包括3部分:选择采样点、搜索扩展树上距采样点最近的节点和扩展节点.首先产生采样点,以一定概率选取目标点作为采样点来提高航迹的质量和规划速度;然后找出搜索树上距采样点最近的节点;最后扩展节点,扩展节点时把航迹约束条件结合到节点扩展过程中,保证了航迹的可行性.这个过程不断迭代,直到找到目标点.仿真结果显示本方法能快速找到近似最优解并且对规划环境有一定的鲁棒性.     

316奥氏体不锈钢渗N/镀CrN复合改性层组织与性能

分别在400、440、480 ℃下对316奥氏体不锈钢进行12 h的渗氮处理,再对渗氮后的试样进行物理气相沉积(PVD)镀CrN薄膜.采用扫描电镜(SEM)、光学显微镜(OM)、X射线衍射仪(XRD)、维氏显微硬度计和材料表面综合测试仪(HSR-2M)、电化学工作站等对复合改性层的表面形貌、截面形貌、成分、显微硬度、耐磨性以及耐蚀性进行测试.结果表明:400 ℃离子渗N/镀CrN试样耐磨性最差,耐蚀性最好;而480 ℃离子渗N/镀CrN试样耐磨性最好,耐蚀性最差;但比相同温度下单独渗氮试样的综合性能好.     

DPIV技术在絮凝池流场特性研究中的应用

利用数字粒子图像测速（DPIV）技术对往复隔板絮凝池中的复杂流场进行测量，分析池内水流特性对絮凝效果的影响机制。结果表明，絮凝池廊道头部流场对絮凝效果有很大影响。为改善絮凝池的流场，可增大池内的有效空间。     

模拟式VSC的构成原理及其实现

研究VSC的构成原理及其实现方法，给出了切换条件判别器和控制选择器的模拟实现方案．对实例进行仿真，结果表明本文提供的模拟VSC是有效的．     

基于Xscale与FPGA的微小型飞行器控制系统的硬件设计

以微小型飞行器为控制对象,设计了一种基于Xscale FPGA的双芯片微小型数字控制系统.该系统用基于Xscale架构的微处理器处理导航算法和控制算法,用FPGA处理外部信号核心.选择嵌入式Linux作为软件平台,完成了Bootloader设计、嵌入式Linux的裁减和主要器件FPGA的驱动设计.针对FPGA所需处理的信号,设计了用于A/D采样的硬件电路,采用硬件描述语言对电路模块进行了软件设计.实验测试结果表明,该系统具有较高的集成度和较好的实时性.     

固-液搅拌槽内槽底流场的CFD模拟

使用计算流体力学CFD软件CFX-5.5.1对搅拌槽内固液流场进行了数值模拟。搅拌槽直径T=476mm, 槽内均布四块挡板,搅拌桨为CBYⅢ桨。两相物系采用玻璃珠-水体系,固体体积分数Фv为5.4%。文中使用标准κ-ε模型计算了清水与固液两相的流场,考察了槽内的流场的分布对固体颗粒悬浮状况的影响,同时把槽底的清水和Фv为5.4%的固液两相模拟结果与实验结果进行了对比,模拟结果与实验较吻合。     

GC-NCI-MS分析水果蔬菜中多种拟除虫菊酯农药残留

用气相色谱-负化学离子化质谱法(GC-NC I-MS)同时分析了水果蔬菜中7种拟除虫菊酯农药残留.试样用正己烷和丙酮混合提取剂提取与F lorisil硅藻土层析柱净化后,以δ-六六六为内标物,采用GC-NC I-MS的选择离子监测方式(SIM)对7种农药残留进行定性与定量分析.结果表明,此方法快速、简便、灵敏度高和选择性好;7种拟除虫菊酯农药残留的检测限为0.05~1.00μg.kg-1,平均回收率为74.6%~109%,相对标准偏差为9.9%~30%.     

Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.