基于...

Shadow effect can not be neglected for thermal analysis of spacecraft,Accroding to the angle between solar light and antenna orbit plane and its orbit location,analytical geometry method was used for accurately calculating solar radiation heat flux distribution of reflector surfaces.To analyze the temperature field under heat flux,the formulations of net radiation flux density between two gray elements and the net flux density of gray surface under external thermal flux were deduced.Based on the characteristic of space environment,the nonlinear temperature distribution in transverse direction of reflector shell self radiation were considered,the finite element formulations were given for orthogonal material layered shell by Galerkin method.A layered element including a inner heat source layer was proposed,and the finite element formulation expressed by DOF of the inner heat source layer were put forward with temperature and heat flux boundarys between adjacent layer.

单馈反射面赋形天线是未来星载天线发展的一个重要形式，分析了基于物理光学、几何光学和几何绕射理论的理想反射面辐射场；介绍了基于几何光学的反射面天线赋形方法；针对赋形过程中辐射场的快速分析要求，比较分析了基于物理光学的Fourier-Bessel和Jacobi-Bessel级数展开方法以及GB展开分析方法；利用GB展开快速分析方法在20GHz频率下对0.6m口径的天线进行赋形分析，实现中国大陆的30dB增益覆盖，通过数值计算研究了固定增益期望下的口径尺寸随频率的变化，以及频率为20GHz的不同尺寸天线赋形后的覆盖目标区域最大增益的变化情况。

In the second chapter, elementary theories and ideas of one step forming inverse approach were described and warped modification method, implemented by Cook, was introduced into one step forming simulation and based on idea of surface spreading; new quadrilateral element modification arithmetic was put forward. By spreading warped quadrilateral onto plane in local coordinate system, a plane quadrilateral element whose shape and area were equal to original warped quadrilateral element was gotten and internal force vectors of four nodes and stiffness matrix of elements were improved to increase precision of simulations on this plane element.

第二章从一步成形逆有限元法的基本理论和思想出发，将Cook基于弹性理论的四边形单元的翘曲修正算法引入基于塑性的一步成形，并且基于曲面展开的思想，本文提出一种新的四节点单元翘曲修正方案，通过把翘曲的单元展开的方法在局部参考系中得到一个与实际翘曲单元的形状与面积非常接近的平面单元，在该平面单元中进行单元刚度及内力向量的计算，进一步改善模拟结果的精度。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Applying LMI technique, quadratic stability theory, and H〓 control theory, three methods of robust stability analysis and robust controller design for uncertain fuzzy systems are proposed respectively. Among them, LMI based technique can analyze the uncertainties raised in the premises and in the consequent of fuzzy systems. The resulting stabilizing state feedback controllers have maximum stability margins for both kinds of uncertainties. Quadratic stability theory based approach can apply LMI technique and other methods to design fuzzy controllers. H〓 control theory based design can get H〓 controller with constant disturbance attenuation for each local subsystem. Using the given stability criterion of generalized systems, the robust stability of fuzzy systems can be checked.

其中，基于LMI的方法可分析由模糊系统的前件或后件引起的不确定性，得到的稳定的状态反馈控制器对这两类不确定性具有最大的稳定裕度；基于二次稳定理论的方法可应用LMI技术和其它方法设计模糊控制器；基于H〓控制理论的方法可得到各局部子系统具一定干扰抑制性能的鲁棒H〓控制器，而全局系统的鲁棒稳定性可应用所给出的稳定条件进行检验。

Therefore in recent, the research about bilinear mapping based group signature is also at a start stage, there are no a bilinear mapping based group signature scheme obtains common recognition. There are some design defects in existing schemes, and the security is not very ideal.

所以目前基于双线性映射的群签名还处于一个起步阶段，还没有一个有代表性的基于双线性映射的群签名方案，而现有的一些基于双线性映射的群签名方案的设计缺陷较多，且安全性较差。

A comprehensive research has made in designing technologies of bilinear mapping based threshold group signature scheme. A bilinear mapping based chamellon threshold group signature and a forward security threshold group signature were analyzed, the mistakes and flaws in these schemes were pointed out.

对基于双线性映射的门限群签名方案设计技术进行了深入的研究，分析了一个基于双线性映射的卡梅隆门限群签名和一个基于双线性映射的前向安全的门限群签名，指出了这些方案设计中存在的一些设计错误和缺陷。

Identity-based threshold signature is studied in this dissertation, and all identity-based schemes in this dissertation are based on bilinear pairings.

本文对基于身份的门限签名进行了研究，文中所涉及的基于身份的方案都是基于双线性对的。

A novel node positioning algorithm, called IMP-HCRL, is proposed, which adopts three improvements, including the strategy based on wireless transmission range, the strategy based on bisector point and the strategy based on isodynamic point, to overcome the drawbacks at computational complexity and localization accuracy of HCRL with low communication overhead simultaneously.

分析了HCRL定位算法的原理和过程，在继承了HCRL低系统通信开销优点的基础上，针对其在计算复杂度和定位精度方面的不足，应用了3种改进策略－基于节点无线射程的改进策略、基于等比点的改进策略和基于等力点的改进策略，提出了改进的IMP-HCRL算法。

This paper addresses construction method of Boolean function in discernibility matrix.

在已有对决策表的研究中，学者们提出了许多很好的方法，比如基于条件信息熵的决策表约简[5]、基于概念格的属性约简[6]、基于冗余分割点的约简[7]等。

We describe the algebraic characteristic of the public-key cryptosystems based on algebraic structures such as elliptic curves,bilinear pairings,as well as braid group s,with the emphasis on the difficulties of constructing public-key cryptosystems based on non-commutative algebraic structures.

通过分析基于椭圆曲线、双线性对以及基于辫子群的公钥密码体制的代数学特征，着重讨论了构建基于非交换代数的公钥密码体制所面临的困难。

It was Napoleon, the immense somnambulist of this dream which had crumbled, essaying once more to advance.

那人便是拿破仑，梦游中的巨人，他还想往前走，去追寻那崩塌了的幻境。

This method alleviates the highly dependent on domain knowledge experts. The quality and efficiency of the KBS were improved.

使用这种设计方法减小了对领域知识专家的严重依赖，提高了知识系统开发的质量和效率。