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

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

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

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

欧洲载人航天计划的现状

欧洲载人航天计划的现状孙功凌１９９４年９月１８日，我国考察团参加了在英国范保罗举行的国际航空展览，并对英国和德国的一些公司进行了顺访。这次考察的目的主要是了解当前世界有关载人航天方面的动态，特别是欧洲的情况。考察团参观了位于朴次茅斯的马特拉·马可尼系...     

航天工艺技术发展综述

本文论述了制造工艺在发展航天技术中的重要作用，评述了国内外重视工艺研究，促进了工业发展以及国内外工艺发展的水平和现状，提出为适应新一代航天产品的发展需要，航天工艺的研究任重而道远。     

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

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

西安航天复合材料研究所研发中心

西安航天复合材料研究所研发中心是该所致力于航天复合材料预先研究、新技术新产品设计的复合材料专业技术开发部门，成立于2003年4月，占地4500m^2,拥有固定资产1300万。现有职工70人，其中．博士8人、硕士23人。在以技术创新体系建设为指导的原则下．形成了一支从理论研究、工程试验、科研管理等方面相互配套的年轻科研队伍。