查询词典 used-up

Normal rats were used as control. Immunohistochemical method was used for the expression of iNOS at different times. The iNOS level was also measured by colorimeter and the retinal apoptotic cells were stained by TUNEL method.

在烧伤后不同时间点以免疫组化检测iNOS在视网膜的表达，以酶法检测视网膜组织中iNOS含量的变化，并以末端脱氧核苷酸转移酶介导的dUTP缺口末端标记法检测视网膜凋亡细胞，并与正常大鼠相对照。

I used a box then used extrude command to create the window.

我用了一个盒子，然后用extrude挤压命令做窗户。

Languages that are used for commination among speakers of different languages are called lingua francas. This name derives from a medieval trade language used in the Mediterranean region and based largely on Romance languages but also containing elements of Greek, Arabic, and Turkish.

遇到这种情况时，他们一般采取以下三种方法之一来对付，即：(1)外来人学习说当地主人的语言，(2)他们使用当地作为贸易用的第三种语言，或(3)产生一种新的语言----这种语言是由使用者的不同母语的一些成分合成的。

Firstly, some basic concepts about ECC are introduced;then the scalar multiplication under affine coordinate is discussed, we make a research and analysis of the side channel attack of scalar multiplication used in portable device, give out a new scalar multiplication algorithm which has the advantage of efficiency over other protected algorithm; and an improvement of the standard scalar multiplication algorithm proposed by IEEE1363 is made with the efficiency increasing by about 10%; at last, we deal with the using of complex multiplication in scalar multiplication algorithm, we generalize the methods and deduce a complete computing procedure, with proposing a new method which used several different fast endomorphism ,we give out an approach to boost the scalar multiplication with fast endomorphism.

本文首先介绍了椭圆曲线密码的有关基本概念；其次介绍了椭圆曲线上点的标量乘法在仿射坐标下的计算，对一般便携设备上的椭圆曲线点的标量乘法的边信道攻击做了研究与分析，给出了一种在效率上优于其它可抵抗边信道攻击的标量乘法的新算法，并对IEEE P1363 标准给出的标量乘法做了改进，使得标量乘法的运算效率提高了近10%；最后介绍了利用复乘计算标量乘法的方法，对已有的方法进行总结归纳，得出完整的计算过程，并针对两类超奇异椭圆曲线给出了一种利用多个可快速计算的复乘的标量乘法，得出一类普遍的结果，并给出了进一步用复乘加快标量乘法的思路。

The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.

针对当前空间信息服务聚合研究中存在的若干不足，本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究，主要工作和创新点包括：1、基于工作流的空间信息服务动态聚合框架：研究了空间信息服务动态聚合和传统工作流应用的不同，在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型，为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。2、空间信息服务聚合流程建模和分析技术：首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际，从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型；与之相对应，对基本的WF-net进行扩展，提出服务聚合流程/资源网作为空间信息服务聚合流程的形式化描述模型，有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题；从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念，明确界定了聚合流程正确性的标准，并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究；提出了空间信息服务聚合代数算子并对其性质进行了研究，在此基础上提出了6种聚合流程约简规则，从而可达到优化聚合流程、提高聚合流程执行效率的目的。3、空间信息服务QoS模型和应用体系：从服务本身、网络环境和服务消费者三个层次出发，提出了一个可扩展的空间信息服务QoS模型GSQM，实现了对空间信息服务的度量和评价，并对GSQM不同质量要素信息的客观、公正采集方法进行了研究；研究了空间信息服务聚合流程QoS评价方法，有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作；针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状，提出了一种新的支持QoS约束的服务发现模型SDMQ，并对模型的实现框架进行了研究。4、空间信息服务聚合流程执行技术：针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点，基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL；研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法，在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的；研究了服务动态选择QoS全局优化模型，并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS.5、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

Linear solvation energy relation was firstly introduced in the paper, and the method and step of gaining the special parameters of solvent and solute were introduced in detail, and these special parameters were used to selection and optimization of extractive agent in extractive distillation. The model of predicting activity coefficient at infinite dilution was established by linear solvation energy relation. By the above theory, several candidate solvents were selected to separate C5 fraction, and by experiment of vapor-liquid phase equilibrium at atmosphere pressure, the mixture of N-methyl-pyrrolidone including 4% water was used extractive agent of separating C5 fraction. Then binary vapor-liquid phase equilibrium of the some compound in C5 fraction and N-methyl-pyrolidone were determined at atmosphere pressure and correlated by NRTL equation. Isoprene being objective compound, experiments were operated in the laboratory-scale column; the processes were simulated by RadFrac model in ASPEN PLUS. And by the combination of experiment and simulation, the new process of separation of C5 was established.

本文首先对线性溶剂化能关系进行了分析介绍，也介绍了采用溶剂化能关系得到溶质溶剂特性参数的方法步骤，并将这些参数用于萃取精馏萃取剂的选择与优化；也通过线性溶剂化能关系式建立无限稀释活度系数预测模型，取得了一定的预测精度；将通过上述方法初选的溶剂进行了常压汽液平衡的测定研究，通过实验研究选定含水4%的N-甲基吡咯烷酮溶液做为C5分离的萃取剂，测定了大量N-甲基吡咯烷酮与C5组分的二元平衡数据，并进行关联计算；以异戊二烯为目标产物在实验室规模的精馏塔内进行了C5分离的实验研究，取得大量塔内数据；通过选用合适的热力学模型，采用ASPEN中RadFrac模块对分离过程进行模拟研究，通过实验与模拟相结合，建立了C5分离的新工艺，为将来的工业化打下了坚实的基础。

There are many type of jaw crusher used in our country, Compound pendulum jaw crusher structure is simple, easy to manufacture, reliable, convenient use of maintenance , so jaw crusher is used very common.

国内使用的颚式破碎机类型很多，复摆颚式破碎基结构简单，制造容易、工作可靠、使用维修方便，所以常见的还是传统的复摆颚式破碎机。

The common phosphates used in the meat were: sodium pyrophosphate, sodium tripolyphosphate, calgon. Generally, they were used in certain proportion as compound phosphate.

一般将用于肉制品的磷酸盐：焦磷酸钠、三聚磷酸钠、六偏磷酸钠，以一定的比例配成复合磷酸盐使用。

Lead oxide is usually used as concealer but it can also be used for whitening of the skin.

因为现在国家已经把铅列为禁用成分，所以尽量不要购买那些不正规的厂家所生产的劣质化妆品。

Interacting system of concentrically braced and moment resisting frames is one of the commonly used dual systems resisting lateral forces. It is widely used in tall buildings as an effective and economic seismic structure system.

框架-中心支撑体系是常用的双重抗侧力体系之一，目前作为一种经济、有效的抗震结构形式已被广泛应用于高层建筑结构中。

The labia have now been sutured together almost completely.The drains and the Foley catheter come out at the top.

此刻阴唇已经几乎完全的缝在一起了，排除多余淤血体液的管子和Foley导管从顶端冒出来。

To get the business done, I suggest we split the difference in price.

为了做成这笔生意，我建议我们在价格上大家各让一半。