一束

Prenex normal form of the first order logic propositional is the key to propositional logic. Generally, there are three steps to change get a prenex normal form: first of all get rid of the connection word; Secondly, make the negative word to the front of every atomic.

对于一阶谓词化为其前束范式问题，一般可以通过三个步骤完成，首先去掉逻辑式中的连接词；其次将否定词深入到各原子公式中；最后利用永真等价式将量词逐个移到式子的前部。

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤。

This paper introduced the some theories of propositional logic, and gave the Computer implementation of the propositional logic calculations based on VC++.

本文在对数理逻辑领域的命题演算课题进行理论研究的基础上，对命题式的真值计算和一阶谓词命题式的前束范式化简进行了基于 VC++平台的编程实现。

The main task of this paper is to investigate the growth of high quality single crystalline Zinc Oxide thin film on sapphire (0001;α-Al_2O_3) substrate via radio frequency plasma-assisted molecular beam epitaxy. The work will lay a foundation for application of novel semiconductor material, ZnO, in the field of photoelectronic devices.

本论文的主要任务是研究在蓝宝石(0001)衬底上利用射频等离子体辅助分子束外延系统生长出高质量的氧化锌单晶外延薄膜，为ZnO这一新颖的半导体材料在光电子器件方面得到应用打下基础。

Taking use of the reflectometer which is installed on the 3B1 line in BSRF, two kinds of measurements of reflectivity versus wavelength and reflectivity versus incident angle are carried out.

利用安装在北京同步辐射装置3B1束线上的一台小型反射率计，对磁控溅射方法制备的软X多层膜进行了R～θ、R～λ两种反射率测量，得到实测反射率高达32％的满意结果，同时给出了理论计算对实验的拟合，二者符合的很好。

For the treatment of spastic cerebral palsy, it is worth trying the selective ventral rhizotomy.

结论脊神经前根可接受分束选择性切断，在痉挛性脑瘫的治疗中是一种值得探讨的新方法。

One year we decided to buy a rosebush.

有一年我们决定买束玫瑰。

To conduct such research a new experimental apparatus was established.With this setup the two-photon excitation spectra of Barium and one-photonexcitation spectra of Strontium Rydberg atoms were recorded and identified.The Stark spectra of Strontium atoms showed the "l-mixing" and "n-mixing"features. By changing laser wavelength and external electric field strengthsimultaneously, the scaled-energy spectra of Strontium 〓 Rydberg atomsat constant scaled-energy ε=-3.00,-2.50 and -1.88 were recorded for thefirst time. The experimental spectra were Fourier transformed and yielded therecurrence spectra.

主要工作包括：建立了一套用于外电场原子光谱研究的原子束实验装置；获得了Ba原子的双光子、Sr原子的单光子零场激发谱，并对各谱线进行了标识；进行了Sr原子电场Stark效应研究，观察到了低场时能级角量子数"l"混合区及高场时主量子数"n"混合区的存在；首次获得了Sr原子在标度能量ε=-3.00、-2.50及-1.88时〓高Rydberg态电场标度能谱及傅立叶变换后的电子回归谱。

The surface activity of Hibiscus syriacus has been studied and shows thatHibiscus syriacus has good surface activity.The influence of temperature,saltness,water hardness and pH on the surface activity of its aqueous solutionsis also studied and shows little influnce.Also the mixture systems of Hibiscussyriacus with some anioic surfactants have been studied and the results show thatthe mixture systems can produce remarkable synergism.

天然表面活性植物木槿叶的应用研究本课题对天然植物原料木槿叶提取物中的表面活性物的性质(临界胶束浓度、表面张力和起泡性能)及其影响因素(温度、pH、水硬度和盐度等)进行了系统的研究，结果表明木槿叶表面活性物具有较好的表面活性，且它的cmc和〓在一定范围内受一些因素的影响也不大，是一种理想的香波原料；同时也研究了木槿叶活性物与其它温和型的阴离子表面活性剂的复配体系，表明具有明显的协同增效效果。

Her long hair was held back with a knotted band of crimson, satiny fabric Bela had given her.

一根深红色的光滑织物将她的长发束在脑后，那是Bela送给她的。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新