基于编码规则的中断数据访问冲突检测方法

针对“重复加锁解锁”和“volatile修饰符误用”两种数据访问冲突缺陷模式,提出基于编码规则的检测方法.首先,对缺陷模式的故障机理进行分析,提炼出3条编码规则用以在开发阶段避免缺陷发生,并基于一个静态代码检查工具SpaceCCH进行了规则检测方法研究和实现.在实际星上软件上的实验结果表明,扩展的SpaceCCH能够高效、低误报、低漏报地发现规则违反,从而有效避免这两种的数据访问冲突问题.本文的贡献在于将一类复杂缺陷的检测转换为相应的编码规则及其检测.     

压力对离心式喷注器雾化特性影响的试验研究

针对不同入口压力对喷注器雾化特性的影响的问题,对某一双组元姿控推力器的离心式喷注器进行大气环境下不同入口压力的雾化试验.高速摄影试验对喷注器雾化形成过程进行了拍照与分析,PDA试验对喷注器稳态工作时的雾化特性进行了测量与分析,并对试验结果进行了拟合计算.试验结果表明该喷注器有良好的雾化性能,入口压力的增加使得喷雾场可以更加快速的形成和稳定,雾化锥角变大,雾化质量更好,但是变化趋势随压力增大而减缓;计算得到的关系式可预测该喷注器不同工况下液滴的索太尔平均直径,对喷注器优化设计有一定的指导意义.     

企业信息化术语

1 DSS（Decision Support System,决策支持系统）——是围绕着决策行动主体进行的支持管理人员进行非程序性决策的一种信息系统。决策支持系统具有如下三个特征：（1）以处理非程序性决策为主；（2）是对管理人员决策的支持而不是代替；（3）系统本身要求具有灵活性，采用联机对话方式，以便利用人的经验和系统提供可供分析的信息来解决问题。目前的DSS一般由一个数据库、一个模型库以及复杂的软件系统构成。2 ESS（Executive Support System,高层主管支持系统）——是综合了各种信息报告系统和决策支持系统的特色而构成的一种专为组…     

2001年航天工艺信息网征文通知

根据2001年3月9日航天工艺信息网网长、在京副网长、联络员工作会议精神，拟定于2001年下半年召开2001年航天工艺学术交流会(具体时间、地点另行通知)。交流会将以崭新的面貌供航天科技人员交流经验、切磋技艺，无疑会对促进和提高航天工艺技术、活跃学术气氛起到积极作用。希望各网员单位和广大科技人员积极投稿，踊跃参加。有关事项通知如下。一、征文内容1．综述航天工艺技术的成就、问题、前景等。2．航天新工艺、新技术、新材料的国外应用情况及其展望。3．精密铸造、焊接、热处理、化铣、超塑成型等特种工艺技术的应用与发展。4．复合…     

空间材料学术会议

空间材料学术研讨会于１９９９年８月２－８月８日在昆明市海欧宾馆召开．参加会议的代表有中国科学院、高校、企业以及军事院校共计５０余人．会议收到论文４７篇，会上交流３４篇．内容包括：人工晶体、金属材料、涂层材料、陶瓷基复合材料的研究与应用．会上郭景坤院士，首次发表了“多相材料”的新概念．此概念模糊了各类材料的界线，而集各类材料之长于一身，但又表现出各自材料的特点．因此这种材料就具有已有材料所不能具有的功能．例如，用各类材料的先进工艺对各类材料进行精细的纳米复合，可以得到一系列新的多相材料．他认为是２…     

2011年各国航天发射活动回顾(上)

2011年全球共进行84次航天发射,其中俄罗斯33次(拜科努尔23次,普列谢茨克7次,亚斯内1次,库鲁2次),中国19次(酒泉6次,西昌9次,太原4次),美国18次(卡纳维拉尔角7次,肯尼迪航天中心3次,范登堡空军基地6次,沃洛普斯岛1次,科迪亚克1次),欧洲5次(库     

横向不稳定性的试飞评估

在研发F／A-18E／F“超级大黄蜂”的一次飞行试验过程中，当进行跨音速机动时飞机遇到了非指令滚转运动。被称为“翼下冲”的急剧大幅度横向不稳定现象削弱了飞行员在此飞行条件下有效执行空一空跟踪任务的能力。对前缘襟翼的一系列修改和在机翼折叠区域增加透气量解决了该问题。然而，由于缺乏与计算流体力学、风洞和试飞分析有关的确认品质因数，获得该答案是缓慢的。目前已经开发了一种利用试飞数据评估横向不稳定性的方法。横向不稳定性评估包括定性和定量两个方面的评价。飞行员进行定性评价，而定量评价是基于对滚转速度、滚转加速度、横向驾驶杆位置和倾斜角的分析。这项技术提供一种根据飞行试验可靠评估横向不稳定性程度的途径。在飞行员定性评价和定量的试飞数据评估之间取得了极好的相关性。     

空间机械学术年会

空间机械学术年会于１９９９年８月１１－１６日在长春羽宏宾馆举行．会议有来自２０个单位的４０余名代表，共收到论文、报告２４篇．空间生命专业委员会主任委员、航天医学工程研究所总师魏金河同志应邀在会上做了报告．会议经过讨论，初步议定２０００年召开一次“空间挠性结构力学分析、计算、实验”方面的专题讨论会，由哈尔滨工业大学、西北工业大学、清华大学、５０１部、５０９所等单位的委员具体协调筹划．拟在镜泊湖哈工大专家招待所举行．同时确定２００１年学术年会及工作会议在苏州（或者无锡）举行，５０９所主要协办，具体时…