查询词典 three-wire system

NET.⑤The paper describes the total design thought, frame, and function module of the simulation software of system of three-dimensional runnel in mine. Main development tools for system of three-dimensional tunnel in mine are VC++.

详细说明了煤矿三维巷道系统软件开发的总体设计思想以及系统的整体框架和各个功能模块，选择了VC++。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

The system adopts three-ply structure model, according the user colonies, it is divided into three sub-systems for students, teachers and system administrators.

本系统采用三层体系结构，并按照用户群体：学生、教师和系统管理员，将系统划分成三个子系统。

Thirdly, the thesis has conducted the simulation research of the three-phase voltage-type PWM rectifier system, has established the simulation models of the main circuit, the space voltage vector PWM control module and PI regulator, and has carried on the simulation for the three-phase voltage PWM rectifier system.

其次，介绍三相电压型PWM整流器的控制方法，深入研究三相电压型PWM整流器的空间电压矢量脉宽调制控制方法，进行三相电压型PWM整流器的PI控制调节器的设计。

The model holds that the Aqike anticline was formed by both fault-propagation fold process and fault-bend fold process. It is a fault-anticline structure formed by three stages and composed vertically of three parts, i.e., autoch-thonous system, para-autochthonous system, and allochthonous thrust block.

结合地震解释剖面、区域构造背景及前人研究成果，建立了阿其克背斜形成过程的地质模型，认为它是在断层传播褶皱和断层转折褶皱共同作用下，以断层传播作用为主分3个阶段形成的断坡背斜构造，垂向上自下而上分原地系统、准原地系统和外来系统中的推覆体3个构造层次。

According to the international methods of pest risk analysis and characteristics of urban forestry in Beijing,a quantitative risk assessment system in Beijing for the main non-indigenous pests was proposed.This system was used to analyze three non-indigenous species, Dendroctonus valens,Hyphantria cunea and Apriona swainsoni. The results show that the risk of these three species in the Beijing area is 2.46, 2.30 and 2.02, all highly risky.

该文参照国际上有害生物风险分析方法，结合北京地区城市林业特点，提出北京地区重大外来有害生物风险量化评估体系，并应用该评价体系，进行了红脂大小蠹、美国白蛾、锈色粒肩天牛对北京地区的风险评价。3种有害生物的量化评估值分别为红脂大小蠹2.46、美国白蛾2.30和锈色粒肩天牛2.02，因此对北京地区而言，3种昆虫皆为具高度风险的森林有害生物。

In this study we score thetest by both dichotomous system and polychotomous system,then we compare the goodness of fit of the three parame-ter logistic model to the dichotomously scored CRPM testdata to that of the three parameter logistic model tothe foctitious test of the polychotomously scored CRPM testdata.

该测验原本是采用二级评分的，但我们同时也对它进行多级评分，该研究的重点是比较二级评分的瑞文测验和多级评分的瑞文测验所对应的虚拟测验与三参数逻辑斯蒂模型的匹配性。

In this thesis , I use relevant theories of regional economics,system engineering methord ,and industry"s economics, and adopt research methords of gange analysis , facts analysis and comparison analysis to make objective and just appraisal on the actural conditions of each country regional economic development of Hubei province on the basis of setting up the comprehensive appraising system of country economic strength ; and I divide all coutry of Hubei into three classes more developed country , the undeveloped country and poor country and analyse the reasons for forming three kinds of different development levels, then I set up plural linear regression model to announce the role of every influence factor in Hubei country economic development by regarding economic development level as depentent variable and regarding the seven influence factors(stock of the capital .industrial structure,government"s efficiency ,economic vigor ,technological innovation ability,agricultu ral innovationability, agr icultural resource and export-oriented degree of economy )as independent variable.

本文运用区域经济学、计量经济学、产业经济学的相关理论，采用规范分析、实证分析、比较分析相结合的研究方法，在建立县域经济综合实力评价体系的基础上，对湖北省各个县域经济发展的实际情况作出了客观公正的评价，并把湖北各县域分为三大类：较发达县、欠发达县和贫困县，且对形成三类县域不同发展水平的原因进行了分析。然后以经济发展水平为因变量，以资本存量、产业结构、政府效率、经济活力、技术创新能力、农业资源禀赋和经济外向度等七个方面的影响因素为自变量，建立多元线性回归模型，揭示各影响因素在湖北县域经济发展中的作用。

Three Gorges area river system fractal dimension value D=1.7239, which indicate that the geomorphy of Three Gorges area is on the mature stage, and river system growth completely.

三峡地区水系分维值D=1.7239，表明三峡地区地貌处于侵蚀发育的壮年期，河网较发育，水系发育的较为完全。

The second phase of networking ,which occurred in the 1960s ,included three major milestones:software switching, digital transmission ,and satellite deployment,in 1965 ,american telephone and telegraph introduced the first stored program control local switch ,the 1 ees switching system ,with the ues of software control, a family of custom calling services (speed calling,call waiting ,call forwarding and three way calling ,etc ,) was mande possible, the first software program for the 1ees switching system had approximately 100,000 lines of codes, today switches may contain ten million lines of code.

第二阶段是网络化，其发生在20世纪60年代，包括三大里程碑：软件交换，数字传输，卫星的运用，在1965年，美国电话电报介绍第一个存储程序控制区域交换机，第1 ees交换系统中，软控制运用在家庭式的呼叫服务中（快速呼叫，呼叫等待，呼叫转接和三方呼叫等，成为可能，第一个软件程序，为1ees切换系统大约有 10万行代码今日交换系统可能含有1千万行的代码。

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.

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