可证明的

We proved that the necessary and sufficient condition that the developable surfaces touch the second focal surface along the orthogonal trajectories was that the base surface S was a developable surface.

证明了线汇中的两系可展曲面交第二叶焦曲面于正交轨线族的充要条件是原曲面是可展曲面，并给出了两叶焦曲面在同一条光线上两焦点相互对应下，保持渐近曲线相互对应的充要条件。

The Diels-Alder cycloadditions of [60] fullerene for preparation of optical limitingmaterials are discussed in chapter 3 and 6. Soluble cycloaddition derivatives of 〓aresynthesized by the reaction of 〓 with indene,1,1'-biindene andcyclopentadiene derivatives.〓Particular, the Diels-Alder cycloaddition of 〓 with1,1'-biindene under controlled conditions affords the stable monoadduct 〓〓of novel structure, which was confirmed by HPLC, FTIR, FD-MS,〓NMR,〓 NMR, HMQC and HMBC spectra, Its two bridgehead cage carbons resonate at70.91ppm, The 〓 NMR spectra showed 38 lines consistent with the 〓 symmetryassociated with [6,6] addition. The 〓 shows similar optical limitingproperties to that of 〓 in toluene for 8ns laser at wave length 532nm. Moreover, thehigh solubility of this adduct in polar solvents such as THF, acetone enables itsincorporation into sol-gel glass matrix. The thin films prepared via the sol-gel methodshow improved OL behaviour compared to those of 〓. The langmuir-Blodgett filmformation and uv-visible absorption of 〓 are also investigated. LBmonolayer of this compound is prepared on the air-water interface at 〓 mol/l. In chapter 4, three water-soluble derivatives of [60] fullerene: fullerol(1), theaddition product (2)of fullerol (1)with polyvinylpyrrolidone and fumaric acidderivative of 〓(3) are synthesized and characterized.

通过Diels-Alder环加成反应，用茚〓和1，1'-联茚〓及取代茂合成了一系列可溶性的〓环加成衍生物，发现可控制反应条件，使1，1'-联茚与〓反应，并高产率地得到具有新颖结构的单加成物，用HPLC、FTIR、FD-MS 及〓、HMQC、HMBC等多种波谱技术对其结构进行表征，测得它的两个〓杂化的桥头碳的化学位移为〓ppm，证明生成的衍生物为6∶6闭式环加成，〓NMR谱中共给出38个信号，表明〓联茚衍生物分子具有〓对称性；在波长532nm，脉冲宽度8ns的激光下，〓联茚衍生物的甲苯溶液的光限幅性能与〓的甲苯溶液相近，由于〓联茚单加成衍生物熱稳定性好，在四氢呋喃，丙酮等极性溶剂中溶解性好，能分别均匀地掺入溶胶-凝胶中，已发现它的溶胶(so1)光限幅性能优于纯〓的光限幅性能；使用Langmuir-Blodgett技术将〓联茚衍生物在空气和水的界面进行了LB单层膜和多层膜实验以及UV-Vis吸收谱研究，通过等温压缩曲线测试，证明浓度为〓〓时，〓联茚衍生物能够形成单层膜。

C if applicable, the credit or insurance may not be extended if, after the consumer responds to the offer, the consumer does not meet the criteria used to select the consumer for the offer or any applicable criteria bearing on credit worthiness or insurability or does not furnish any required collateral

消费者如果对要约作出回应之后，不符合为此要约而选择消费者的节件或任何可用于证明信用价值或保险能力的节件，或没有提供任何要求的抵押，如果可适用的话，则信贷或保险不得被延长

The theory of scientific understanding is based on the intelligibility of world.

"世界的可理解性"是科学理解得以成立的前提和基础，而对这种可理解性的证明来自于"体用不二"这一本体论承诺。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

This study proved that rutin could be directly absorbed into intestinal capillaries and lacteal ducts without hydrolysis by intestinal microflora.

本实验证明原型的芸香素药物分子可直接被吸收进入小肠绒毛中的微血管与乳糜管中，而不一定需要经过肠内微生菌丛的水解作用后才可被生体吸收。

The method to get it can be used to simplify the proving process of some logic equations,as well as some design processes of logical circuit.

利用这种表示反函数的方法，可简化一些逻辑等式的证明过程，并可使一些逻辑电路的设计过程简化。

Based on the surjection of maximal monotone operators, we prove that some semilinear heat equations with weak Lipschitz nonlinear terms are exactly controllable by L〓 0, T: H〓(Ω control; Based on the critical point theorem of coercive convex functionals, we prove that some parabolic equations with Lipschitz nonlinear terms are globally approximately controllable and finite-dimensional exactly controllable by controls acting on mobile supports, and finally, we extend the results to parabolic equations in R〓.

首先利用极大单调算子的满射原理证明了半线性热方程在较弱Lipschitz条件下可通过L〓0.T；H〓(Ω控制实现精确能控。然后通过构造强制凸泛函并利用其临界点理论证明了带Lipschitz非线性项的抛物型方程可通过作用在在移动支集上的控制来实现整体近似能控与有限维精确能控，最后将整体近似能控与有限维精确能控结论推广到无界区域R〓上。

This project was established based on the first cooperative development of optical in situ real time detecting technique probing the atomic scale layer-by-layer epitaxy growth of oxide film. Over the last three years, we have given full play to the advantages and characteristics of both sides and have finished the assumptions and plans of this subject satisfactorily. 1. In Institute of Physics, we set up advanced oblique-incidence reflectivity difference equipment and wrote one data acquisition procedure that made the simultaneous detection of optical signal and RHEED signal into reality. 2. The first observation of sustained oscillations over hundreds of monolayers in both real and imaginary signals during the epitaxy growth of SrNb0.1Ti0.9O3 on SrTiO3 substrate in LMBE testifies that oblique-incidence is an excellent method to detect and monitor film epitaxy growth real time. 3. For the first time, we verify that oblique-incidence reflectivity difference method can be used to monitor the layer-by-layer growth mode during continuous growth through the correspondence between optical signals to atomic or molecular step edge density on the growth surface. 4. Phenomenological analysis shows that optical signals comprise three parts, the first is proportional to the average thickness of the film and depends on the bulk phase dielectric response; the second is proportional to the coverage of terraces and depends on the dielectric response of atoms or unit cells in the terrace; the third is proportional to the coverage of step edges and depends on the effective dielectric response of atoms or unit cells at step edges. This makes oblique-incident reflectivity difference technique a quantitative macroscopic method to monitor film growth.

中文摘要：本课题是在合作首次发展了氧化物薄膜原子尺度层状外延生长光学原位实时探测方法的基础上立项的，三年来，我们充分发挥双方的优势和特点，圆满完成了课题的设想和计划。1、在物理所建立了一套先进的光反射差法装置，编写了计算机系统的数据采集程序，实现了两路光学信号和RHEED数据的同步采集和显示。2、用激光分子束外延在SrTiO3基底上生长SrNb0.1Ti0.9O3薄膜，首次观测到连续外延几百个原胞层，周期振荡的光反射差实部和虚部信号，证明了光反射差法是一种能原位实时探测与监控薄膜层状外延生长的好方法。3、首次验证了通过对生长表面原子或分子台阶密度的响应，光反射差法可用于原位实时监测在连续生长条件下薄膜的层式生长模式。4、通过唯象理论的研究，证明光反射差信号由三项组成，第一项只与薄膜的平均厚度和宏观光学电介质常数有关；第二项与分子台阶面覆盖度和台阶面上分子层的光学电介质常数有关；第三项与台阶边缘的覆盖度成正比，并和在台阶边缘的分子的有效光学介电常数有关。

Considering linear and O-linear predictable variables, the author investigates optimal prediction problems by the trace of matrix. A few necessary conditions are derived and accordingly optimal linear and optimal O-linear unbiased predictors, which are unique with probabitity one, are obtained respectively by the author.

对于一类线性可预测变量和Φ-线性可预测变量，作者在矩阵迹意义下研究了一般增长曲线模型中最优预测问题，找到了其存在最优预测的几个必要条件，并在给定的条件下分别得到了最优线性无偏预测和最优Φ-线性无偏预测，而且还证明了它们在几乎处处意义下的唯一性。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。