中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

航天工业2006年度QC小组总结、表彰暨成果发表会会议情况

2006年7月20日，中国航天工业质量协会（以下简称航天质协）在成都组织召开了航天工业2006年度质量管理小组（以下简称QC小组）总结、表彰暨成果发表会。本次会议得到了科技七院的大力支持，来自航天工业系统52个单位的106名代表出席了会议。     

航天工业2007年度质量管理小组总结、表彰暨成果发表会召开

2007年7月7日，中国航天工业质量协会（以下简称航天质协）在兰州组织召开了航天工业2007年度质量管理小组（以下简称QC小组）总结、表彰暨成果发表会。本次会议得到了科技五院510所的大力支持，来自航天工业系统52个单位的105名代表出席了会议。     

哈勃空间望远镜（HST）

正当一个由Simone Marchi等人领导的天文学家小组通过哈勃望远镜的照片来分析人马座不规则矮星系的时候．惊讶地发现在2003年8月由新巡天相机(ACS)拍摄的照片上．可以清晰地看到一颗小行星留下的13道微红的轨迹。     

扎实推进 积极创新 建立QC小组活动长效机制

QC小组活动是全面质量管理的重要支柱之一,是员工参与全面质量管理,特别是质量改进活动的一种非常重要的组织形式。载人航天总体部通过梳理管理方法,形成立体管理体系,系统策划、逐步推进,建立了QC活动长效机制,并取得了明显的效果。     

叶轮机械任意旋成面叶栅气动杂交命题矩函数型变分有限元解法

本文在文[1]、[2]提供的矩函数变分原理基础上建立了任意旋成面叶栅A类、B类杂交气动命题的变分有限元解法。文中用有限元法对相应的变分原理进行离散,所得非线性代数方程组迭代求解。由解出的矩函数计算流场速度、压力与密度,最后通过积分获得叶片未知边界形状。本文给出的计算结果显示了杂交命题方法的有效性和灵活性,它可以直接用于叶片改型与设计工作。     

新型伺服控制器的研制——飞控QC小组创新型成果介绍

1单位及小组活动简介 我所隶属于中国运载火箭技术研究院．是中国航天伺服机构的专业研制单位．主要从事航天伺服系统和遥测中间装置产品的设计、开发和生产。     

S_2流面正命题适用于纯物质流体的变分原理族及其对偶变分原理族

本文建立了适用于纯物质流体轴流式S_2流面正命题的变分原理族及其对偶变分原理族。证明了其中的两条狭义变分原理在均转子焓均熵条件下在亚声速区内分别为极大值原理和极小值原理。在变分原理的构造中,采用吉布斯关系作为约束,从而使这些变分原理适用于纯物质流体。     

布鲁诺图诺尼航空展

布鲁诺（Brno)位于捷克南部邻近奥地利的位置,距离维也纳不到150公里,这是一个典型东欧城市,市内古迹众多、风景优美,在旅游旺季经常可以看到大批西方游客驻足街头,今年夏天的布鲁诺尤其热闹,美国空军的雷鸟(Thunderblrds)特技小组在欧洲巡回表演活动中造访了这个小城市,为今年的布鲁诺图谔尼航空展(Brno—Turany Airshow)大幅增加了观赏性。