减压活门性能试验台系统方案设计

主要介绍了减压活门性能试验台的实现机理、采用的方案。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

微重力科学与应用研究（上）

空间微重力环境的独特物理现象对航天器各系统均产生无法回避的影响，在型号研制中正确计入微重力效应是航天事业发展中的一个重要研究领域。在现阶段，航天器发动机再启动相关的微重力研究以及载人航天防火安全相关的微重力研究应当引起人们的高度重视。随航天事业的发展，微重力效应问题日益会严重起来（结构动力学、耦合动力学、多相流温控、低重星球场着陆撞击……），进行深入广泛的微重力效应研究对保证航天器飞行任务完成有着不应忽视的作用     

数控车削加工仿真系统结构研究

根据实际加工情况提出了一种虚拟NC车削加工的仿真系统的设计及实现原理。在Visual C++平台上利用OpenGL技术建立虚拟加工机床数字化模型,用C++语言实现物理仿真相关的各个数学模型的建立,进行虚拟环境下数控车削加工的几何仿真及物理仿真,实现产品的虚拟车削制造。     

INITIALIZATION METHODS FOR GROUP TRACKING

ＩＮＩＴＩＡＬＩＺＡＴＩＯＮＭＥＴＨＯＤＳＦＯＲＧＲＯＵＰＴＲＡＣＫＩＮＧＹａｎｇＣｈｅｕｇｙａｎｇ；ＱｕＪｉａｎｍｉｎｇ；ＭａｏＳｈｉｙｉ（ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎａｕｔｉｃｓａｎｄＡｓｔｒｏｎａｕｔｉｃｓ，Ｂｅｉｊｎｇ，Ｃ...     

航天产品工艺定型阶段工艺文件的编制与审查

从编制《工艺定型标准化要求》、审定有关工艺定型文件和编写《工艺定型标准化审查报告》等方面浅述航天产品工艺定型阶段应做好的标准化文件的编制与审查,并对其工作内容作了介绍。     

用于卫星推力室的新型催化剂

卫星上安装有用于轨道和姿态控制的小推力推力室。推力由三氧化二铝基的铱催化剂分解无水肼而产生。铱催化剂的主要缺点是成本高和生产技术复杂。目前的工作是把钼(M)、钨(W)的碳化物与氮化物的合成过程与成型联系起来,形成有大、中孔隙的新型催化剂,来代替昂贵的传统催化剂30%铱——三氧化二铝(即shell-405_(TM))。在这种新的工艺中,首先是制备胶状的钨酸和钼酸;然后把这些材料与有机聚合物混合,使之生成胶体溶液;再挤压成型。其次把生成的这些中间过渡产品送去加热处理,焚烧掉有机聚合物得到所期望的有大、中孔隙的氧化物。最后一步是按照Boudart和Volpi方法利用挤出物制备氮化物和碳化物。本文给出了用2N推力室试验新催化剂的主要试验结果,同时与Shell 405~(TM)的试验结果进行了比较。试验表明新催化剂有如下特点:比表面积大;能承受高达1100K的烧结温度;热试时室压和推力高度稳定,催化剂机械强度高。新催化剂的主要优点是生产工艺更简单而且成本更低。     

数学教学中培养创造能力的探索

本文结合多年教学实践，对激发学生的创造意识，培养发散思维，运用创造技法等方面进行了探索。     

串联系统耗用资源最小的一种直接寻优算法

本文提出了串联系统在满足系统目标可靠性要求y之下,使非线性约束(资源)达到极小的一种直接寻优算法。