带烧蚀发汗冷却控制研究的特点——兼评“发汗冷却控制研究数学模型”一文

本文指出带烧蚀发汗冷却控制研究三方面的特点。同时指出,由于理解上的不当,文献[2]所指文献[1]的错误是不存在的。     

紧支正交小波的参量化法和波数字滤波器

本文详细分析了小波变换，镜像滤波器（ｑｕａｄｒａｔｕｒｅｍｉｒｏｒｆｉｌｔｅｒ－ＱＭＦ）组和波数字滤波器散射矩阵之间的关系，提出了由散射矩阵的基本因子来构造镜像滤波器对，从而得出了具有任意消失矩的紧支正交小波的参量化法。并给出了基于正则性约束的参量优化和一个有效的实现小波变换的格型结构。     

Status and Perspectives of Process Systems Engineering

The definitions, methodology, applications, and perspectives of process systems engineering are discussed from a strategic point of view. The focal points in future development of process systems engineering are to break through in methodology, to expand application fields, and to develop a new generation of process simulation systems.     

Unification and Comparison between Two Concepts of Radar Target Angular Glint

This paper provides a general proof of unification between two concepts of radar target angular glint. The analysis of a two-point target model, consisting of a electrically and a magnetically ideal dipole, shows the relation, difference and equivalent condition between them more clearly. Angular glint has been synthesized from the measured data of radar echo phase, and compared with the theoretical result.     

关于烧蚀发汗控制方程及其数学仿真

本文提出二维加热且具有表面烧蚀的发汗控制物理模型。利用热层内微元能量平衡的原理,推导出活动边界分布参数控制方程式。给出了第三边值条件。得到了控制参数不仅出现在方程中,同时出现在边界条件中的分布参数控制系统。采用时间跨半步的交替方法,将二维活动边界分布参数控制数学模型差分化。得到三对角方程组。对电磁炮弹飞行进行数学仿真表明,该数学模型符合实际物理过程,而且控制参数不仅能有效地控制热层温度,同时能有效地控制边界活动规律。     

费马大定理一个奇妙的证明

本文利用x+y=A和0相似文献   

A Ku and Ka Dual Band Experimental Radar

Due to the good performance of tracking low elevation target as compared to microwave and the superiority in penetrating smoke, dust, fog, and dry snow as compared to infrared, a Ku and Ka dual band experimental radar was designed and developed. This Ku and Ka dual band experimental radar is an arnplitute-comparison monopulse tracking and guiding radar. The constitution and parameters of this radar is described in paragraph 2. Paragraph 3 deals with two experiments for testing the tracking performances against low elevation target, and gives the important results. Both Ku and Ka band have high tracking precision when they track high elevation targets, while Ka band has much better tracking performance than Ku band when they track low elevation targets. Ka band can track a helicopter, whose radar cross section is about 6 square meters, at 40m, 20m, 10m, and even 5m above sea. Ku band can only track the same helicopter at 160m and higher above sea.     

Decision Making as Theorem Proving

We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order prepositional logic is discussed to show the power of the system.     

C~3I系统作战效能研究

Ｃ３Ｉ系统已成为现代化战争必不可少的重要组成部分,其效能分析也越来越受到人们的重视。本文首先对Ｃ３Ｉ系统效能的含义做了分析,并在一般效能模型的基础上深入讨论了Ｃ３Ｉ系统的作战效能,对Ｃ３Ｉ系统作战效能的含义和计算进行了研究,给出了一种新的评价Ｃ３Ｉ系统的方法。