Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

A systematic spatial bias in remembering eye positions

Categorical bias in location memory in geometric spaces is well established. The present study assessed the presence of the bias in locating eyes in images of human faces. Participants were presented with digital faces and indicated the position of one of the eyes in both upright and inverted orientations. Biases resulted from participants using multiple sources of accessible information. No differences were found for upright vs. inverted face images. Overall, the data were consistent with the retrieval category adjustment model. These distortions may be considered within the forensic context, when eyewitnesses work with a sketch artist or use a computer program to generate an image of the culprit.     

CCAR-25与CCAR-33适航审定关系分析

开展大型客机动力装置与发动机型号合格审定之间关系的研究对我国适航管理工作的发展具有重要的意义。首先,利用中国民用航空规章的相关数据,建立数据综合管理系统;然后,总结CCAR-25《运输类飞机适航标准》与CCAR-33《航空发动机适航规定》具有重合内容的关联项,分析二者之间的相互关系;最后,研究上述两部规章关于防火系统和滑油系统对某些对象的规定。结果表明:CCAR-25与CCAR-33条款的关系可分为引用、选择、补充、相似和差异五种;最难界定的是相似,它要求对条款的充分理解,否则会有重复审定和漏审的风险;CCAR-25与CCAR-33对防火系统和滑油系统的规定出现了多条款交联对应的情况,通过数据综合管理系统可将其分解为单条款对应并进行适航认证。     

驾驶员模型对驾驶员诱发振荡评估结果的影响

在飞机设计中,应用不同的驾驶员模型来预测驾驶员诱发振荡(PIO)是避免人机系统出现不良耦合的重要途径之一。以人-机闭环系统为研究对象,以某一电传飞机为例,采用Ⅱ型PIO的开环发生点OLOP评估准则,分别使用增益驾驶员模型和修正Neal-Smith驾驶员模型对人机闭环系统中的PIO易感性进行了分析、评估,对比研究了不同驾驶员模型对OLOP评估准则评估结果的影响。仿真结果表明:不同的驾驶员模型对Ⅱ型PIO评估准则(OLOP)的评估结果有较大的影响,相同驾驶员模型下不同的驾驶员增益对评估结果也有影响。在使用OLOP评估准则时应充分考虑驾驶员模型对评估结论的影响。     

形状记忆合金管接头技术在民用23部飞机液压系统中应用的适航考虑

国产民用运-12F飞机正在进行中国民用航空局和美国联邦航空管理局型号合格证适航取证工作.针对该飞机液压系统设计过程中应用了形状记忆合金管接头技术的实例,依据中国民用航空规章CCAR-23-R3中适用于这种新型管路连接技术的适航条款,对其适航审定方面的要求及符合性验证工作进行论述,最终证明符合适航规章的具体要求.     

Solidworks2008标题栏的设计与填写

本文介绍了在Solid Works2008下工程图标题栏设计、项目修改、填写有关内容。使标题栏的内容符合本单位规定的内容、格式，并可实现由系统自动填写，对于工程设计非常实用。     

促进循环经济发展的税收对策

循环经济是一种全新的经济模式,它关注的是资源减量、循环及再利用的问题.文章阐述分析了国外为实现循环型经济所采取的税收政策,指出了我国目前在该领域所存在的问题.并根据我国的实际情况,提出了促进发展循环经济发展的税收对策.     

运输类飞机包含EWIS的区域安全性分析研究

为了解决运输类飞机EWIS设计过程中的安全性评估问题,针对包含EWIS的区域,提出了一种区域安全性分析方法。在对ARP4761标准的区域安全性分析和AC25-27的强化区域分析流程的基础上,考虑EWIS物理失效模式及失效对EWIS自身和区域内系统/设备的影响,给出了分析流程,为EWIS满足适航要求的设计提供技术参考。     

民航客机客舱塑料装饰件的维修工艺

本文通过对目前国内民航飞机客舱内塑料装饰件的损伤类型进行分析,介绍了在不同损伤情况下的维修工艺.通过这些维修工艺,航空公司能够既经济又美观地解决客舱塑料装饰件的维修问题.     

ADS-B统计数据的位置导航不确定类别质量分析

为实现广播式自动相关监视(ADS-B)航迹与雷达航迹的高质量融合,必须对ADS-B航迹和雷达航迹数据质量进行分析。在分析实际ADS-B航迹数据的基础上,提出以航路为参考基准验证ADS-B航迹数据精度及完好性的方法。根据ADS-B报文中的位置导航不确定类别(NUCp)值,统计航迹点与航路中心线的水平偏差并将其作为位置实际误差,运用分位数-分位数图法对位置实际误差进行正态分布检验,得出置信水平为99%的实际误差置信区间,即在不同NUCp值下可信赖的位置误差范围。实验结果表明,在采用加权平均法进行航迹融合时,与传统权重分配相比,对于NUCp值为5或6的ADS-B航迹数据可增大权重,而对于NUCp值为7的数据则应减小权重。