独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

Parametric Rao Test for Multichannel Adaptive Signal Detection

The parametric Rao test for a multichannel adaptive signal detection problem is derived by modeling the disturbance signal as a multichannel autoregressive (AR) process. Interestingly, the parametric Rao test takes a form identical to that of the recently introduced parametric adaptive matched filter (PAMF) detector for space-time adaptive processing (STAP) in airborne surveillance radar systems and other similar applications. The equivalence offers new insights into the performance and implementation of the PAMF detector. Specifically, the Rao/PAMF detector is asymptotically (for large samples) a parametric generalized likelihood ratio test (GLRT), due to an asymptotic equivalence between the Rao test and the GLRT. The asymptotic distribution of the Rao test statistic is obtained in closed form, which follows an exponential distribution under the null hypothesis H ₀ and, respectively, a noncentral Chi-squared distribution with two degrees of freedom under the alternative hypothesis H ₁. The noncentrality parameter of the noncentral Chi-squared distribution is determined by the output signal-to-interference-plus-noise ratio (SINR) of a temporal whitening filter. Since the asymptotic distribution under H ₀ is independent of the unknown parameters, the Rao/PAMF asymptotically achieves constant false alarm rate (CFAR). Numerical results show that these results are accurate in predicting the performance of the parametric Rao/PAMF detector even with moderate data support.     

基于ADAMS/Aircraft的起落架滑跑模型仿真

以小车式起落架为例,利用ADAMS/Airc- raft建立了起落架滑跑试验仿真模型.给出了起落架滑跑运动方程,并进行了滑跑试验仿真分析。仿真结果与理论要求对比具有较好的一致性。     

Summary of CNCOSPAR Activities 2002-2004

1 In Brief In this report, we summarize the major activities of CNCOSPAR from the year 2002to 2004. During this period, many things happened such as Beijing won the 2006COSPAR scientific assembly, the first Chinese Committee of COSPAR handed over its responsibility to the second committee, etc. During this period, the space science activities developed also very fast. China has sent its first scientific satellite, the first satellite TC-1 of the Double Star Program, into space. China also has a major break through in the manned space flight by a very successful mission of Shenzhou manned space flight. On board of this spacecraft, is the first Chinese astronaut Mr. Liwei Yang. This made China the third country in the world who has the ability that the launch manned space missions independently.     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

一种可伸缩空间机械臂及其应用分析

介绍一种能够完成多关节型空间机械臂所能承担的大部分空间任务 ,而且应用更简便的可伸缩空间机械臂 ,对其空间应用做出了一些设想 ,简单讨论了其应用的一些相关问题 ,肯定了其可行性和实用性。     

减小固体火箭外壳板滚弯直线度误差的研究

如何减小固体火箭外壳板滚弯直线度误差是目前火箭生产工艺中的难题,在对最不利实际工况下三轴辊弯板机中心辊进给量沿自身轴线分布规律作系统的分析、计算及研究的基础上,推导出一项箭壳板滚弯直线度误差不等式,并针对此项不等式各参数变化规律,提出几项减小箭壳板滚弯直线度误差的行之有效的措施,可供火箭外壳设计及生产工艺人员参考。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

滑油量对恒速传动装置的影响

本文介绍了中外航空公司飞机发动机恒速传动装置几个故障典例及造成的危害,分析了填加滑油量不当对发动机恒速传动装置的影响,提出了预防措施。     

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

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