微分中值定理的一种统一证明方法

利用闭区间上连续函数的介值定理、单调有界定理及极限的性质,统一地证明了广义微分中值定理,其余的微分中值定理可以作为广义微分中值定理的特例给出。     

基于用户自定义变更的本体进化

提出一种基于用户自定义变更的本体进化方法。首先给出了该方法的形式化描述,建立了本体一致性模型和原子变更及冲突消解方法,然后对用户自定义变更模型进行语义描述,将用户自定义变更转换成原子变更,并对其进行了优化。最后给出了用户自定义变更及优化的实例。结果表明:本方法可以很好地满足本体进化过程中用户的复杂需求,并实现了本体变更的形式化描述,解决了各种变更中的冲突问题。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

微分法在定位误差分析与计算中的应用

介绍了微分法分析计算定位误差的原理和适用范围,通过生产实例分析,证明了该方法在解决多误差因素定位误差分析与计算中的简便与快捷,从而有效简化了复杂定位方案定位误差的分析与计算,提高了夹具的设计效率。     

最可能发现外星生命的地方

<正>关于广袤太空是否存在智能生命,科学界始终存在二种不同的观点:一种观点认为地球和人类都是浩渺宇宙的普通成员,没有什么特别之处。另一种观点与此相反,认为地球和人类都是特殊的存在,从地球与太阳的距离和角度到大气层与水的获得、释放,都是无数特殊条件下生发出无数巧合使然,才使地球进化出人类。     

菊科植物的结构与进化

菊科植物种类多、数量大、分布广，可谓植物界中的世界冠军。菊科是被子植物中种类最多的一个科，约1000属，25000种～30000种，中国有200余属，2000余种。同时菊科植物也是分布最广的一个类群，无论是从炎热的热带、水热充沛的亚热带到冬季严寒的寒温带，还是从海拔为零的黄浦江边到海拔达5000米的青藏高原，都有菊科植物分布。     

大病毒，生命的初级形态？

我们对于生命起源的认识还相当肤浅，大病毒的发现进一步拉近了生命与非生命之间的距离。也为生命起源和进化的研究提供了重要的信息。     

Matching suitable feature construction for SAR images based on evolutionary synthesis strategy

In the paper,a set of algorithms to construct synthetic aperture radar（SAR）matching suitable features are frstly proposed based on the evolutionary synthesis strategy.During the process,on the one hand,the indexes of primary matching suitable features（PMSFs）are designed based on the characteristics of image texture,SAR imaging and SAR matching algorithm,which is a process involving expertise;on the other hand,by designing a synthesized operation expression tree based on PMSFs,a much more flexible expression form of synthesized features is built,which greatly expands the construction space.Then,the genetic algorithm-based optimized searching process is employed to search the synthesized matching suitable feature（SMSF）with the highest effciency,largely improving the optimized searching effciency.In addition,the experimental results of the airborne synthetic aperture radar ortho-images of C-band and P-band show that the SMSFs gained via the algorithms can reflect the matching suitability of SAR images accurately and the matching probabilities of selected matching suitable areas of ortho-images could reach 99±0.5%.     

微分对策理论及其研究现状分析

本文阐述了微分对策在经济和军事领域中的研究和应用,详尽地叙述了微分对策的分类,并采用定量和定性方法对微分对策进行了分析,指出了微分对策的研究难点,对发展趋势作了较为详细的探讨。