研究出

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

The main results are as follows: the relations between local fractional integrated semigroups and the corresponding Cauchy problem, global fractional integrated semigroups and regularized semigroups are given; introduction of the notion of regularized resolvent families, and the generation theorem and analyticity criterions for regularized resolvent families are obtained; the spectral inclusions between fractional resolvent family and its generator, and the approximation for fractional resolvent families in the cases of generators approximation and fractional orders approximation; elliptic operators with variable coefficients generating fractional resolvent family on L^2 by using numerical range techniques; and the L^p theory for elliptic operators with real coefficients highest order are obtained by Sobolev''s inequalities and the a priori estimates for elliptic operators; and a kind of coercive differential operators generates fractional regularized resolvent family by applying the Fourier multiplier method, functional calculus and some basic properties of Mittag-Leffler functions.

主要结论是：给出了局部分数次积分半群和相应的Cauchy问题的关系以及分数次积分半群和正则半群的关系；引入了正则预解族的概念，并给出了其生成定理和解析生成法则；给出了分数次预解族与其生成元的谱包含关系，并研究了在生成元逼近和分数阶逼近两种情况下相应的预解族的逼近问题；利用数值域方法证明了具变系数的椭圆算子在L^2上生成分数次预解族；利用Sobolev不等式和椭圆算子的先验估计证明了具变系数的椭圆算子在其最高项系数为实数时在L^p上生成分数次预解族；运用Fourier乘子理论、泛函演算和Mittag-Leffler函数证明了一类强制微分算子可以生成分数次正则预解族，并给出了该预解族的范数估计。

We analyze low-dimension topology, present an general algebra expression of cubelike recursive interconnected function. All of these works provide a new method of studying cubelike recursive networks.

2分析研究了低维立方形递归网络的拓扑类型，给出了立方形递归网络互连函数代数表达式，为研究立方形递(来源：ABC论文d2网www.abclunwen.com)归网络给出了新方法。

Therefore it is necessary to research the mechanism of greensand used for high compacted molding methods thoroughly.This subject is one section of the National Natural Science Foundation subject ""Ivestigation on Predicting Method and Mechanism of Springback for High Compacted Sand Molds"", followed of the other completed one named ""Research on Microdeformation of Molding Sand"". A serious of experiments has been done on the reequipped three axial machine under certain technological conditions, and the mechanics, material science, rheologic science. It is systematically studied that the influences on the springback of sand mold were caused by the main influence factors: pressure, compacted rate and the content of soil. Through the analyzed experiments' data, the experienced stress-strain relationship concerning the main influence factors were obtained;under different technical parameter, the springback and spingback's potential energy are compared, the differences and indifferences between them are found out, and the springback's mechanism is discussed;according to the tests' data of YangGuoping coming from Tinghua University, experienced formula of molding sand's springback displacement is induced, the displacement and springback are compared, the margin of error's reasons are analyzed, and they are tested and verified mutually.

本课题为国家自然科学基金项目"高紧实度砂型预测方法及回弹机理的探讨"的一部分，是已结题的国家自然科学基金项目"铸造型砂微变形的研究"的后继，运用力学、材料学及流变学理论，利用改装的三轴仪，在一定的工艺条件下，作了大量系列实验，系统的研究了压实比压、紧实率和膨润土含量对砂型回弹的影响；对实验数据进行了分析和处理，得出了型砂关于压实比压、紧实率和膨润土含量的本构关系的经验公式；把各工艺参数下的型砂产生的回弹量与回弹势能进行比较，找出两者存在的异同点，并对回弹机理进行了探讨；通过清华大学杨国平的实验数据，推导出型砂回弹位移场的经验公式，并与实验测出的回弹量进行比较，分析误差造成的原因，并互相进行了验证。

ABSTRACT Aiming at problems of trans-vector controller in a vehicle-carried induction motor such as variable rotor and stator resistance following motor temperature, and their inductance varying with flux saturation degrees. Firstly, CSI and VSI are introduced, for CSI, it can hold the advantages both FOC and DTC using stator flux directional, PI parameter and simulation are also introduced. Secondly, equations of IM in the synchronous rotary frame and its static counterpart, as figuring in the saturation condition of magnetic field, are dealt in this paper and the simulation results are presented. Thereafter, the parameter designing of PI trans-vector controller is processed, which features the non-linear model. In practical realization, as neglecting the dynamical change of motor inductance, this paper employs online modification of inductance parameters, according to the flux saturation, then transforms the non-linear equations into linear ones, and so compacts the structure of controller. Thirdly, in view of the maximum torque output is extraordinary requisite when Electrical Vehicle start up, accelerate, and overtake, this paper issues the maximum torque when both inverter and battery capacity is corporeally definite. Fourthly, on-line differentiating and analyzing both rotor's time constants and its flux by using the expanding order reduction and discrete Kalman filter equation are fathomed, in order to realize high-performance trans-vector algorithm, and also the simulation results are presented. Fifthly, the close-loop regenerative brake system, when the EV's torque is set constant, is deduced; at the same time, unification of electric drive model and brake model is executed. Combined with maximum charge current demands, the mathematical model for online yielding torque as a demand.

本论文针对车载异步电机在矢量控制器所遇到的问题：定转子电阻随温度变化及随电机饱和程度变化的转子电感及定子电感而影响电机调速性能提出一套完整的解决方案：分析了电流型逆变器和电压型逆变器在实现矢量控制时控制器参数的计算，分析出对于电流型逆变器在采用定子磁场定向时，其性能同时具有矢量控制和直接转矩控制两者的优势，并对电压型逆变器在转子磁场定向下的模型进行了仿真研究；建立异步电机非线性模型，推导出考虑磁饱和时异步电机在同步旋转坐标系及静止坐标系下的方程，并做出了仿真结果，建立异步电机在非线性模型下的矢量控制调节器的PI参数设计，在实际应用中，若忽略电机电感的动态变化，可以根据当前的磁路饱和状态而在线修正电感参数，从而将非线性方程线性化，降低控制器的复杂度；考虑到电动汽车在起动和加速超车时需要电机有最大转矩输出，本文讨论在逆变器容量一定和电池供电能力有限的情况下电机最大转矩输出问题；推导了异步电机扩展降阶、离散卡尔曼滤波方程在线辨识转子时间常数和转子磁通，用于实现高性能的矢量控制算法，并给出了仿真结果；推导出了电动汽车恒转矩给定的闭环回馈制动系统，实现了电动控制模型和制动模型的统一，而且结合铅酸电池最大充电电流的要求，为制动转矩在线给定建立了数学模型；设计了基于双DSP系统的高性能矢量控制器软硬件框图，并以大量实验数据说明矢量控制在电动汽车应用的实际应用状况。

Fri particular, the Wittmann-type strong law of larg numbers for independent random variables is generalized to the case of NA random variables. We also present the sufficient and necessary condition of the laws of logarithm, and we extend Teicher-type strong law of the large numbers for sequence of NA random variables. Some of the laws of iterated logarithm of Teicher-type, Egorov-type arid Wittmann-type for sequence of NA random variables are obtained. Then we investigate the rate3f ionvergcll( fbr series of NA randonl variables, we obtain soIne results fbr tl1e Iaws of theiterated logarithttl, the laws of logarithm and decreasing order fOr the tail sum.Risk itllttlysis tlleory is a sigIlifica11t part of insurance InatheInatics.

Wittmann（1985a）关于实独立随机变量列的结果，并给出了NA列强大数律成立的若干条件，特别建立了一般NA列对数律成立的充分必要条件，在二阶矩存在的条件下完整的解决了一般NA列对数律的问题，中文摘要2而已有的一些NA列对数律的结果可以由它推出，给出了NA列的Teiclier型强大数律，表明lbiChCI·（1979）给出的实独立随机变量列的强大数律可以减弱其条件等；建立厂不问分布NA列的Teicfl仪；Egorov，Petrov型有界重对数律，以及加权同分布NA列的有界重对数律，进一步推广了NA列的Kolmogory有界重对数律等，特别对NA列建立了Wittm洲型有界重对数律，而其证明方法与独立情形有很大不同，同时通过反例表明在与独立场合类似的条件下，独立列的Wittmann有界重对数律不能完美的推广到NA歹小惰形；最后研究了NA随机变量级数的收敛速度，给出了尾和下降的阶；尾和的有界重对数律，及尾和对数律成立的充要条件等，并通过反例说明 NA随机变量级数与独立随机变量级数在收敛速度方面存在的差异。

In the study on the fern population structure, we through the analysis of the variation in height structure, leafstalk diameter structure and age structure in various forest communities, found the rule of variation of population, and discussed the reasons of variation of population structure, and explored the suitable habitat of various forest ferns.

在蕨类植物种群结构的研究中，我们通过对不同群落中蕨类植物种群高度结构、叶柄直径结构和年龄结构的研究，发现种群结构变化的规律，找出种群结构变化的原因，探索出各种蕨类植物种群的适生生境。

To explore the influence of reticuloendotheliosis virus and subgroup J avian leucosis virus infection on chicken cellular immunity,the mitogenic response to ConA of blood and spleen lymphocytes tested and analyzed with 3H-thymidine(3H-TdR) incorporation assay at different intervals after infection or co-infection of single or both viruses.

自1974年分离出网状内皮增生症病毒[1]和1991年分离出禽白血病病毒J亚群[2]以来，在我国先后分离出不同毒株的REV和ALV-J，并开展了病原学、流行病学、致病性和免疫反应以及预防诊断等方面的研究，揭示出不同的致病性，并且确认它们都可造成感染鸡群免疫抑制，成为一些

The saturated solution can be directly recycled in distillation and turned into renewed solvent which has the same dissolving performance as the untapped one.After disparting from aluminum foil, the mixture of LiCoO_2 and acetylene black was lixiviated to extract cobalt ion. The leaching efficiency of cobalt was shown to be as high as 90% in the lixiviation experiments.

对钴锂膜上与铝箔脱离后的LiCoO_2、乙炔黑混合粉末，通过浸出钴的实验研究，确定了盐酸体系为合适的浸出体系，在盐酸浓度为6.67mol/L，反应温度80℃，反应时间50分钟的最优化浸出条件下，钴金属的浸出率可达90%以上。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure. Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis ofOCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。