在进行中的

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在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

The gene expression were obvious difference between lung cancer tissues and the para-neoplastic tissues,36 genes differential expression of lung squamous cell carcinoma were screened out,comprising 23 known genes, 13 unknown genes, among these genes, up and down regulated genes were 22 and Irrespectively.

Northern blot分析结果：对7条目的基因进行Northern blot分析后，我们首次发现金属硫蛋白一3基因(MT一3)魔在肺腺癌中明显高表达，MT一3在肺腺癌中的表达较在正常肺组织中的表达高5倍以上。

The details are described as follows:Based on the principles of elasticity and plasticity mechanics theories, we finish an analysis of the stability near the 1150 horizontal jamb in theory and simulate the stress situation and the stability of the rock mass in the mining processes. Through the analysis on the numerical results and the types of the breakages in underground roadway we evaluate the stability and the security of this area and predict the possible breakages in the future.

具体内容包括：应用弹塑性力学的观点和方法，对二矿区1150中段水平矿柱附近区域的稳定性进行了理论分析，对矿区岩体在采矿过程中的受力状态和稳定性进行了计算机模拟，分析了工程布置区巷道破坏的原因和类型，并对水平矿柱矿体稳定性和采矿安全性进行了评估，对矿区将来可能发生的不利于生产的破坏形式进行了定性预测。

It thus avoids the need, in the previous version of the macro, to include a JMP instruction to jump over the data, and also does not fail if, in a complicated OBJ format module, the user could potentially be assembling the code in any of several separate code sections.

这样就可以避免在先前版本的writefile宏中，必须使用JMP指令在数据间跳来跳去，而且在更为复杂的OBJ格式模块中也不会失败，用户可以把这个宏放在任何独立的代码段中进行汇编。

In the construction of Digital Mine, one of the important tasks is to create 3D models including natural entities and artificial entities based on mine layers data, laneway data, drilling data and image data.

并且能够在三维虚拟空间中进行用户和三维模型之间进行多种的人机交互式查询和修改等操作。

And the platinum Nastradamus (1999), Nas went on to pioneer the Mafioso trendin rap, writing songs as dense and action-packed as a gangster movie, whileworking with some of the biggest stars in the hip-hop galaxy.

在他后来的多白金专辑《It Was Written》（1996）、《I Am》（1999）以及白金专辑《Nastradamus》（1999）中，Nas继续充当引导Rap走向的先锋，他一面频繁地进行创作，一面更与hiphop圈子中的各个大牌明星们进行了合作。

In this paper, searching technology of product information based on knowledge was researched. On the aspect of cognition, we researched the relation between user\'s cognition and designer\'s cognition, explored the knowledge flow in the process of product development, set up a matching model between user\'s knowledge and designer\'s knowledge, brought forward a modeling method based on users\' cognition, and set up a measurable model of product feature; coded and decoded product form element, set up a computer aided product form design system and image evaluating system based on the result of measurement. Accordingly, the product style and product image were systematically discussed, the recognition space of product style and image was constructed, the factors that affect product style and image were put forwards and analyzed, and the relation between product image and form elements was tested by experiments. Furthermore, the product automatic recognition technologies were discussed.And then, with the media of concept model and the kernel of parameter technology, a mathematic model that describing product layout design by constraints and rules was presented. Furthermore, a product design integration system based on imagery thinking including product fonii base system based on imagery thinking, product form design system based on imagery thinking and product form intelligent design system based on space layout were set up, which tested the system and provided a new way for product innovative design.

本文以产品特征描述目标对象——产品，研究一种基于知识的产品信息检索技术，在对产品的认知方面，研究了用户认知和设计师认知之间的关系，研究了产品开发过程中的知识流传递过程，建立了用户知识和设计知识之间的匹配模型，提出了一种基于用户知识的产品建模方法，它不但提取了产品的特征，还建立了产品特征量化模型，从而实现了产品知识的量化描述；对产品造型元素进行分解和编码，利用实验量化结果构造计算机辅助产品形状设计系统和心象评价系统；使用量表分析造型元素的心象尺度，构造输入、输出系统，建立了产品设计知识库咨询系统，可以方便用户和设计师来导入或查询产品设计方案；实现了对产品造型心象的分类知识库系统，便于设计师存储或查询，辅助设计师进行产品创新设计；通过实验量化了产品造型参数和产品心象参数之间的关系，并在此基础上建立了基于心象的产品形状设计系统，为产品空间布局方案智能生成系统奠定基础；在基于知识库的基础上建立了产品空间布局方案智能生成系统，通过更改概念产品造型参数，实现了产品设计方案的智能生成，使系列化的设计工作变得十分方便；将产品的心象运用到实际设计过程中，能够引导流行趋势，创造出产品无形的设计价值。

The third EXP was the development of ovary during the first sexually mature and the ultrastructure of different stages of oocytes in Varicorhinus macrolepis by light microscopy and transmission electron microcopy.

试验三在光镜和电镜下对泰山螭霖鱼卵巢在第一次性成熟过程中的发育规律进行了研究，并对各时相卵母细胞的超微结构进行观察。

This paper discusses upon the main search on image matching and location of workpiece by monocular vision in structural environment.

本文对如何在结构化环境中利用单目视觉进行工件的实时匹配识别定位进行了探索与研究。

Ten emergency stop buttons in NEMA 12 enclosures to be located as required at the SMC Machine.

在附件NEMA 12中的十个紧急停止按钮在SMC机器中会被按要求进行安装。

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％。