It gives a detailed study on the non - degenerated boolean functions with correlation immunity and presents a better bound for such functions . it provides the analytic equation of g ( k ) in bibliography [ 5 ] ; by analyzing linear structures of cib , it proves that the concept of linear structure and degeneration of cib for the case of weight 4k + 2 are equivalent ; provides a sufficient condition on which cib functions are non - degenerated for the case of weight 4k ; based on these results , a method of constructing non - degenerated cib is given 得到了文献[ 5 ]中g ( k )的解析式；通过分析函数的线性结构，证明了重量为4k + 2的相关免疫布尔函数的非退化性和非线性结构是等价的；给出了重量为4k的相关免疫布尔函数非退化的一个充分条件；在此基础上，给出了重量为4k + 2 、 4k的非退化的相关免疫布尔函数的构造方法。
A sensing magnetic field and displacement type of giant magneostrictive microdisplacement actuator with the functional of sensing driving magnetic field and microdisplacement is developed , and the design theories and approaches being applicable this type of microdisplacement actuator are pointed out : a circular diaphragm type of flexible construction that acts as integration mechanism of microdisplacement transferring and sensing of giant magnetostrictive microdisplacement actuator is adopted , sheet flexure theory of elasticity mechanics and approach of finite element are applied to design and calculate it , corresponding deflection and analytic formula and distribution curve of stress are given , and the specific achieving approaches of measuring principle and magnetic field sensing function of driving field in giant magnetostricitive rod are pointed out the magnetic field sensing function of the actuator is used to practically measure driving magnetic field of actuator and to obtain the relationship of driving magnetic field and coil current , which is also analyzed and studied 其中，采用圆形膜片式柔性结构作为超磁致伸缩微位移执行器的微位移传递、感知一体化机构，应用弹性力学中的薄板弯曲理论、有限元方法对其进行了设计、计算，并给出了相应的挠度和应力解析式及分布曲线；应用电磁理论给出了超磁致伸缩棒内驱动磁场的测量原理及磁场感知功能的具体实现方法，并利用执行器的磁场感知功能对其驱动磁场进行了实际测量，得出了驱动磁场与线圈电流之间的关系，并对其进行了分析和研究；对执行器内部的电磁路和偏置磁路结构进行了设计计算与实验研究，为了减小驱动线圈的发热，对其形状进行了优化设计。
A new modeling method is applied to build the real - time mathematical model of the turbofan engine . in this model , the relations of the engine components " parameters can be expressed by analytical formula , which avoid the complex and time - consuming iterations in the components computing process 本文应用的发动机实时数学模型，提出了一种新的实时模型建模方法，该方法通过将发动机部件参数间的关系通过解析式表示，从而避免了部件计算过程中复杂而又耗时的迭代过程。
The integrate expressions of large strain are deduced by means of spm . and the difference of the soil compacting effects in the condition of large strain and small strain is analyzed . secondly , according to the analytical expressions of single jacked pile , the displacement fields of subsequent jacked pile due to the presence of adjacent pile are obtained 2 、在得到静压单桩挤土产生位移场的基础上，运用拉格朗日插值法得到了已存在桩的情况下压桩产生的土体位移场，并推导了二桩，排桩及静压群桩施工产生的迎桩面及背桩面位移场的解析式。
Using maxwell electromagnetic equations , by solving the boundary - value problem of magnetic vector potential , analytical expression to impedance increment of the solenoid coil in eddy current testing of the medium in half space was given . theoretical result was modeled in computer . results showed the validity and feasibility of the model 利用maxwell电磁方程组，通过求解矢量磁位的边值问题得到了矢量磁位的解析解，进而导出了媒质上方放置式空心线圈的阻抗增量解析式，并对阻抗变化表达式进行单层板厚度和三层板间隙的检测模型进行了仿真。
In this thesis , the author analyses the deficiency in detecting and controlling function of the computer detecting and controlling system utilized in present transforming station . the strategy of design of software on operation and direction of 5 00kv transformer station is presented . it points out that we can deduce the mathematic analytical formula using the current , voltage and power of two terminals of transmission line as input . on this basis , we do realtime calculation of 500kv transmission line ' s parameter . we can also deduce the linear analytical formula of three - winding autotransformer ' s resistence using its current , voltage and power as input . the corresponding software is programmed on this basis 论文提出以输电线路本端和对端电流、电压、功率作为输入量，导出了超高压长线的波阻抗和传播常数的数学解析式，在此基础上进行了500kv输电线路实时参数计算；提出以三绕组自耦变压器的电流、电压、功率为输入量，导出了自耦变压器绕组的电阻、电抗的线性解析式并进而对变压器的实时参数进行计算；在此基础上编制了相应的软件。
Abstract : according to analysis of drying characteristics of granular product , the paper dscribed analytical solutions on a single grain with two falling rate drying stages during corresponding falling rate drying periods of deep - bed drying process the changes of drying and physical parameters ， and their corresponding relation were discussed . a mathematical model was developed and analytical result was presented by computation . the potential application of this analytical solution was alsogiven in this paper 文摘:通过对颗粒物料的干燥特性分析,给出单一粒体降速干燥具有二段性的物料在深床干燥过程各降速阶段的解析式；讨论诸干燥参数及物性参数的变化和相互关系，建立数学模型,采用计算方法,示出解析结果以及这一解析方法的应用。
