电磁屏蔽玻璃在通信方舱中的应用

本文介绍了电磁屏蔽玻璃在通信方舱窗户上的应用，并对通信方舱窗户电磁屏蔽设计进行了探讨。     

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

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

企业动态

中国一航部署质量月活动日前,中国一航向集团公司各企事业单位发出通知,要求各单位认真贯彻中宣部、国家质检总局、国家发改委、全国总工会、团中央联合下发的《关于开展“2005年质量月”活动的通知》精神,全面部署集团公司的质量月活动。《通知》指出,2005年中国一航质量月的主题为:奉献优质产品,构建和谐社会。各单位在质量月的第一周要集中开展以“以用户关注为焦点,丰富质量文化内涵”为核心的质量文化宣传周活动。质量月活动的主要内容,一是继续开展“两观”教育。二是巩固质量整顿成果。中国一航总部2005年度矩阵型项目管理岗位培训结…     

认真学习质量管理标准各项要求 努力做好航天标准化工作

简述了在GJB9001A《质量管理体系要求》换版学习中的体会,并结合实际论述了航天标准化工作的重要性,分析了当前我国航天标准化工作的严峻形势,提出了工作建议。     

工程重构过程的质量控制

本文从软件开发过程、软件验证与测试、软件配置管理等方面探讨了如何对工程重构过程进行质量控制和管理。     

高级靶场测量飞机

本文描述了高短靶场测量飞机(ARIA)及其目前和未来在全球范围内保障试验和鉴定活动的计划。     

LD—10板材拉伸粗晶对贮箱使用性能的影响

运载火箭共底贮箱选用LD-10板材,由6块瓜瓣拼焊,采用拉伸—压型工艺。由于拉伸变形量达到板材的临界变形量,在瓜瓣表面出现粗晶,导致报废。经大量实验,对比临界变形量产生的粗晶与未达临界变形量的细晶材料的力学、焊接、耐腐蚀性能。结果表明:粗晶晶粒度在GB3247-82标准晶粒度4级或4级以下时,对贮箱的使用性能无影响,据此可显著降低废品率;此外,采用减慢变形速率、降低变形温度的上艺技术措施,可增大板材的临界变形量和减小因临界变形所致粗晶尺寸。     

航空新闻

首架A400M运输机机身开始装配在德国的Bremen举行了启动首架A400M军用运输机的机身装配(IFA)工作仪式。机身装配的开始标志着空中客车公司在德国新工厂的试运行。该工厂投资9500万欧元,装配厂房面积为10600平方英尺(986平方米),能够在8个工作日之内完成A400M机身装配,包括飞机前部。A400M机身长32米,由四个主要部件组成,分别由德国、南非和土耳其工厂制造,这四个部件靠半自动铆接机将它们连接在一起。参议院为JSF替换发动机提供经费参议院拨款委员会同意为布什政府DD(X)驱逐舰项目的2.6亿美元申请提供全额拨款,但是,与其众议院同行…