关于厚薄板弯曲分析的内位移杂交元法

 本文通过引入单元内位移和优化处理的单元应力场,以计入剪切变形的板弯曲能量泛函为基础,导出适用于厚、薄板分析的四边形杂交应力元。内力场和内位移的合理选择避免了单元零能模式的出现、避免了解的剪切自锁现象。该优化单元显示了较好的通用性和收敛性。对关于剪切自锁的RCI判据提出了反例、说明了它的局限性。     

含旋转自由度杂交型单元

文中把杂交理论与旋转自由度技术相结合提出了二个在航空航天领域得到应用的新单元，一系列典型例题完全证实了这些单元的杰出性能。     

只为追逐地球巅峰那一抹最美的风景——读赵柯的《巅峰之旅——西藏自驾游完全手册》

雪域高原,美丽而神奇,是多少人向往已久的旅游胜地,《藏地牛皮书》的书界喧嚣尝未散尽,又迎来了西藏自驾游完全手册《巅峰之旅》。有人曾对为热衷于独行天下背包客们设计的《藏地牛皮书》那充满人性化的细节而喜欢得发抖,而《巅峰之旅》的作者赵柯为乐于自驾车的游客用心制作的这部手册,形式的新颖和巧妙、内容的完备和     

组合杂交三角形单元的加权能量正交关系

组合变分原理可以增强杂交元方法解的稳定性。建立热传导方程基于区域分解的组合杂交有限元方法,给出单元上温度梯度插值为线性、但温度插值为协调线性插值与非协调二次插值之和的组合杂交三角形单元,并通过数值实验验证理论结果的正确性。结果表明:分片线性温度梯度插值的散度(热源)与非协调温度插值是加权能量正交的;组合杂交三角形元刚度矩阵等同于协调的三角形线性元刚度矩阵,即非协调部分无温度增强特性。     

一种全长cDNA抑制缩减杂交方法及其水稻诱导表达基因分离的应用

以缩减杂交的原理和SMART cDNA合成方法为基础,开发了一种全长cDNA缩减杂交方法.该方法从微量的2个RNA样品合成全长cDNA,经PCR扩增和在两端连接不同的接头,通过2次缩减杂交获得含有高度浓缩的差异表达的全长或较大的基因片段,克隆后筛选出差异表达的基因.以噻菌灵(Probenazole,PBZ)为诱导剂处理水稻,获得了2个上调表达和1个下调表达基因的较长的cDNA片段.     

重组杂交桥函数的性质研究

在杂交桥函教研究的基础上,用重组杂交的方法,得到一种新型三值函数,并命名为重组杂交桥函数,其函数对应矩阵的列向量即为重组杂交桥函数的函数序列.该函数序列具有分组正交性和良好的自相关特性,并且序列中零的个数可调,可以得到更多具有零相关窗或低相关窗的序列族,这不仅丰富了函数序列的生成方法,而且进一步完善了杂交桥函数理论体系...     

Improved NSGA-II Multi-objective Genetic Algorithm Based on Hybridization-encouraged Mechanism

To improve performances of multi-objective optimization algorithms, such as convergence and diversity, a hybridization- encouraged mechanism is proposed and realized in elitist nondominated sorting genetic algorithm （NSGA-Ⅱ）. This mechanism uses the normalized distance to evaluate the difference among genes in a population. Three possible modes of crossover operators--＂Max Distance＂, ＂Min-Max Distance＂, and ＂Neighboring-Max＂--are suggested and analyzed. The mode of ＂Neighboring-Max＂, which not only takes advantage of hybridization but also improves the distribution of the population near Pareto optimal front, is chosen and used in NSGA-Ⅱ on the basis of hybridization-encouraged mechanism （short for HEM-based NSGA-Ⅱ）. To prove the HEM-based algorithm, several problems are studied by using standard NSGA-Ⅱ and the presented method. Different evaluation criteria are also used to judge these algorithms in terms of distribution of solutions, convergence, diversity, and quality of solutions. The numerical results indicate that the application of hybridization-encouraged mechanism could effectively improve the performances of genetic algorithm. Finally, as an example in engineering practices, the presented method is used to design a longitudinal flight control system, which demonstrates the obtainability of a reasonable and correct Pareto front.     

地外生命和外星人探测

十三、外星人和UFO 外星人到过地球吗 这个命题有多重含义:一是外星人是否到过地球?二是外星人为什么还没有到过地球?三是没有外星人到过地球的事实,是否说明没有外星人?     

航班正常性的理性回归

航班正常性这一困扰航空公司的难题，正如我们在生活中遇到的许多问题一样，是无解、多解抑或是唯一正解？我想首先我们应该证明这一命题的合理性，只有证明命题存在是合理的，我们才需要根据命题去寻求答案。否则，我们只有重新命题，进而再寻找答案。也就是说，我们应先证明目前这一困扰的存在是否合理。我们不妨从以下几个问题中去寻找答案。     

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

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