查询词典 based on

This study analysised the condition of Xinjiang's petroleum resource and made an evaluation and it points out that the development of petroleum and natural gas of Xinjiang is still in the developing period in which it aims at discovering the petrol field and increasing its reserves.Although it has a great exploring potential,because of its geograghy limitation and a lack of exploring funds,the exploring level is till low,even lower than the everage level of the whole country. The study is based on theories of industry distributions,its concentration,macroscopic analysis,government regulations and continuing development.From microcosmic and macroscopic aspects,it scientifically and systematically analyses the problems in the development of petroleum industry in Xinjiang.It points that the developments of middle and upper reaches lack a balance and have no rational industry structures.So it is hard to form an integral industry chains.Moreover,the upper reach covers a too much large proportion in the development,so it can not give a strong impetus to other industries.Based it,the paper points the industrial concentration of Petroleum Chemical Products Manufacture of Xinjiang should be enhanced and Input to Petroleum Chemical Products Manufacture of Xinjiang should be increased.Due to a lack of an established fair and competitive market and government's perfect laws and regulations on petroleum industry,it points that the phenomenon of mixed operation has become common in monolopied business and competitive business,so the systems of petroleum industry needs to be restructured.It states clearly that the country should take the development and benefits of Xinjiang's economy into consideration when making strategies for petroleum development .Besides,the allocation of profits between the center and the local should be well arranged so that we can guarantee the profits of Xinjiang ,considered as a resource area.It also reveals that we should not only overcome limitations of resources,environment,economy and technology on continuring development,but also we should deal with some realistic problems well.For instance,contradictions between the concept of limited resource and continuing development,the relationship between petroleum industry's own features and continuing development,the contradictions between the limits on supply of petroleum and the need of future development of continuing resource ,outdated petroleum technology and the need of advanced technology for continuing development,tremendous damages to environment and requirements of environment protection for continuing development and Xinjiang continuing economic development,outdated policy of industry and continuing development,the relationship between continuing development of Xinjiang petroleum industry and continuing economic development of Xinjiang.

本研究以产业布局理论、产业集中度理论、灰关联分析理论、政府规制理论、可持续发展理论为依据，从微观、宏观两个层面，科学、系统、全面地分析新疆石油产业的发展问题，指出：新疆石油天然气目前仍处于油气田发现和增储的主要发展阶段，开发潜力巨大，但由于地质原因及勘探投入的不足，石油天然气探明程度偏低，低于全国平均水平；新疆石油产业产业结构布局不合理、上中下游发展不平衡，难以形成完整的产业链条，对工业的带动力与其本身具有的经济总量很不匹配；新疆石油开采业和石油加工业属于高度寡头垄断的市场类型，新疆石油化工业属于竞争型的市场结构，要想石油产业对新疆经济有较强的带动作用，新疆石油化工业必须上升到一定的层次和规模，在提高规模的基础上，提高新疆化工业的产业集中度；新疆石油加工业和化工业与农业呈现较高的关联度，加大对石油加工业和化工业的投入，对新疆经济的协调发展有着深远的影响；政府要从石油产业本质特征和发展趋势为着眼点，实施规制改革，分开政府规制政策的制定部门和监管部门职能，建立健全石油产业法律法规体系，对垄断性业务和竞争性业务实施分类规制；国家石油发展战略的制定应兼顾新疆区域经济的发展和利益，应切实处理好新疆与中央的利益分配，切实保证新疆作为资源产区合理的资源收益；新疆石油产业要想得以可持续发展，不仅要克服影响可持续发展的资源、环境、经济和技术等客观因素，还要处理好观念、需求、政策等诸多主观因素。

The basic approach of protecting people from being hurt or killed in an accident is to improve crashworthiness of vehicles. This paper starts with discussing theories and methods for vehicle passive safety design, which included experiential methods, analytic methods, multi-body dynamics methods, crash test methods and the finite element method. Emphasis will be paid to the basic FEM theories and algorithms of impact problems. Topics discussed include the governing equation, element discretization, hourglass control, time integration, material model, shell element algorithms and contact-impact algorithms. For more reliable simulation results, this paper then conducts study on how to accurately get material model parameters by combining the FEM method with experimental method, and develops relevant material test machine and parameter calculating software. Based on that, basic typical impact simulation and test validation study are conducted. On the basis of the above work, the paper studies the thin-shell structures'crashworthiness, which was affected by the following factors: spot-weld features, shell thickness, cross-section and pre-deformation. As to vehicle parts'crashworthiness, the paper conducts simulation study of designing energy-absorbing steering system and adaptive airbag system. A practical energy-absorbing steering wheel is designed as an example. In further depth research, the paper suggests several inverse quantificational methods for vehicle crashworthiness design based on the ideal crash characteristics. The above theories and methods are applied with good results through several practical vehicles' crashworthiness design and improvement.

文中对汽车碰撞安全性的设计理论和方法进行了归类和总结，其中包括经验法、解析法、多刚体动力学法、试验法以及有限元方法等；重点介绍了碰撞有限元法的基本理论和有关算法，涉及到有限元求解控制方程、单元离散、沙漏模态控制、时间积分、材料模型和应力修正、薄壳单元算法以及接触碰撞界面算法等，探讨了有限元计算中的材料模型参数获取技术，开发了相应的材料试验装置及材料模型参数反求软件，在此基础上进行了基本的碰撞仿真算例和试验对比研究；文中通过应用有限元方法研究了薄壁构件的碰撞吸能特性，指出了设计薄壁吸能构件时需要考虑的几个主要影响因素，即焊点、壁厚、横截面和预变形等；在关于车辆部件的碰撞安全性能设计中进行了吸能转向机构和自适应安全气囊的仿真研究，提出了吸能转向机构和自适应安全气囊的仿真研究方法；文中最后探讨了整车碰撞性能的设计与改进方法，提出了以理想碰撞特性为目标，采用分段加速度或者根据碰撞时间进行设计的反推设计法、部件吸能仿真优化设计法等量化设计方法，并通过综合应用文中所讨论的相关技术进行了整车碰撞性能的设计与改进实例研究，所选定的车型是大众化的普通轿车和碰撞安全性基础较差的微型面包车，研究结果表明，本文所提出的设计与改进方法是适用而有效的，具有重要的工程实用意义和价值。

The main work and the originality points of this dissertation could be concluded as the following parts:(1) To analyze systematically the mathematical model of LES of air flow in great space, under the case of isothermal and non-isothermal, as well as the combined action of buoyancy and strain. Some basic problems are studied about the LES application into airflow simulation of great space, such as boundary conditions, spatial difference scheme and time advancing scheme, time step etc., which creates the basis for the LES application to indoor airflow simulation.(2) Both the instantaneous and time averaged flow field of great space with multiple jets under isothermal and non-isothermal cases are explored with large eddy simulation method, and also discussed the dynamic characteristics and the law of fluidflow in the great space.(3) Based on the results of LES of the great space and the Fanger thermal comfort indexes, it is brought forward the concept of the series of dynamic thermal comfort evaluating indexes, which could be divided into thermal comfort index with time averaged properties PD, PPD, PMV, thermal comfort index with instantaneous properties IPD, IPPD, IPMV, and time averaged thermal comfort indexes TAPD, TAPPD, TAPMV, and transient situations time averaged thermal comfort indexes TTAPD, TTAPPD, TTAPMV. The differences among them and the calculation methods are discussed, and the four kinds of indexes are calculated with the thermal comfort index PD as an example.(4) Based on the LES results it is discussed the hot air stratification phenomena in air-conditioned buildings in the case with air supply and return registers on the ceiling and the case on the sidewall. The fundamentals of the hot air stratification are studied and the relations of estimating hot air stratification are brought forward.(5) With the advanced apparatus such as hot wire film anemometer IFA300 and laser particle field anemoscope, corresponding model test and site measurements have been done, which are compared with the simulation results and LES is proved a very promising method in air flow simulation indoor.

本文主要工作既创新点体现在以下几个方面：(1)系统分析了等温、非等温和考虑剪切力与浮升力综合作用的高大空间大涡模拟数学模型，并研究了高大空间大涡模拟在室内气流仿真应用中的一些基本问题，如边界条件、空间离散格式和时间推进格式、时间步长选择等问题，为大涡模拟在室内气流计算中的广泛应用打下了基础；(2)首次用大涡模拟方法研究了高雷诺数下高大空间多射流在等温、非等温情况下的瞬时流场和时均流场分布，并探讨了多射流流场的动态特性和流动规律；(3)基于大涡模拟的动态仿真结果和Fanger的热舒适指标，首次系统地提出了动态热舒适评价指标体系的概念：即基于时间平均参数的热舒适指标PD、PPD、PMV；基于瞬时参数的瞬时热指标IPD、IPPD、IPMV；基于时间平均热舒适指标TAPD、TAPPD、TAPMV；以及沿行动迹线的时间平均热舒适指标TTAPD、TTAPPD、TTAPMV，并分析了四类热舒适指标的差异性和计算方法，还以PD值为例对四类指标分别进行了计算；(4)基于数十种工况下空调房间大涡模拟的结果，研究了空调建筑上送上回和侧送侧回两种情况下热分层现象，并探讨了热分层的基本规律，首次提出了避免热分层现象的判断公式；(5)在暖通空调领域，首次使用IFA300热线风速仪、激光粒子速度场仪等先进设备，完成了与大涡模拟相对应的模型试验，并把实测结果与仿真结果进行了对比，说明LES在室内气流仿真方面是一种很有前景的方法。

Nowadays many researches have focused on structural ET based on statement and branch coverage and there are few researches on path-oriented ET. To solve this problem, this paper provokes an approach to construct the fitness function for test case generation in path-oriented ET based on the similarity evaluation techniques.

为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准，缺乏面向路径覆盖标准的问题，提出了基于相似性度量的适应值函数构造方法，以用于生成覆盖指定路径的测试用例。

However,authors still do not find the relevant references on convergence and symmetric problems of the semi-analytical solution.Based on the semi-analytical solution for Hamilton canonical equation theory,the formulations of the clamp and simply supported and symmetric boundary conditions on the Hamiltonian element are derived by the variational principle.Several numerical examples show that with increase of meshes,the convergence rate of the semi-analytical solution is faster than the convergent rate of traditional finite element method based on displacement.

①在厚度上没有任何位移和应力模式的假设，由于传递矩阵方法的引入，从理论上讲，不受板壳厚度或层合板壳层数的限制；②采用弹性力学的Hamilton正则方程半解析法，可以克服边界的局部化效应[8]；③由于在平面内或圆柱壳的曲面内采用了有限元法，所以一般的板壳问题不受结构侧面边界条件的限制，在复杂工程板壳问题上具有广泛的应用领域。

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、基于论文研究成果，设计实现了"空间信息服务聚合实验系统"，并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例，对论文所述模型、方法的可行性和有效性进行了验证。

The main contribution of this thesis is that we propose a collaborative filtering recommendation algorithm based on double clustering. This approach first respectively clusters resources and users by the users rating on items, then makes a collaborative filtering recommendation based on the clustering result. The new algorithm can shorten on-line recommendation time. Then, we apply the classical formula of cosine correlation to double clustering algorithm, leaving out the standardization operation. In the end, we implement an educational resource recommender system according to the need of the actual project and the result is positive.

本文的主要意义在于，首先运用聚类技术对用户和资源分别进行聚类，然后利用聚类结果进行协同过滤推荐，由于聚类部分离线周期进行，大大缩短了在线的推荐时间；然后将经典的余弦相似性计算公式运用到双重聚类算法中，省去规范化处理操作，减少运算量；最后结合实际的需要，实现一个资源推荐系统。

Based on analysis of application deficiencies of these two mechanisms, some improvement advices are advocated.A unified on-grid pricing mechanism, with the consideration of costs of generators and send-out projects, step options, adjustment along with technology advancement and provincial differences is proposed to replace benchmark pricing mechanism. Key problems such as standard and levels of return rate, reasonable partition of interest during the construction period are discussed in the unified on-grid pricing mechanism. A modified investment cash flows statement based estimation method of on-grid prices is proposed in the thesis. Return rate of on-grid electricity price should be adjusted dynamically according to the capital asset pricing model.

论文进一步提出了改进我国上网电价定价机制的分析和建议，提出了标杆电价改为统一上网电价、统一上网电价包含电厂和送出工程范围、建立分阶梯统一上网电价、统一上网电价随技术进步调整机制、各省行政区可分区颁布统一上网电价等建议；论文还对统一上网电价测算中的收益率标准、收益率水平、建设期利息合理划分问题提出了改进建议，提出上网电价测算应以投资方现金流量表为依据，并通过分析提出现行投资方现金流量表的修正办。。。

This paper presents a workflow management system based on software agent. It applies an activity-based modeling method and builds formal workflow model. It also puts forward an agent model composed of activity model, intention model, skill model, self-capacity model and companion model to implement workflow management. An agent federation which can be nested is constructed to enhance system flexibility and a shared domain ontology based on workflow is defined to support semantic interoperation among agents.

文章提出了一种基于软件agent的工作流管理系统，采用基于活动的工作流建模方法，建立了形式化的工作流模型，在此基础上，定义了包括活动、意向、技能、自身能力、伙伴等模型的实现工作流运行的agent模型，构建了可嵌套的agent联邦结构，增强了系统的灵活性，并定义了基于工作流的共享领域本体论，支持agent间的语义互操作。

Finally, we offer a method to reduce shift communication. In chapter 5, we invent a method based on linear inequalities representation to perform communication optimization and code generation. This method eliminate the restrictions on processable program placed by RSD based method used by RICE Fortran D Compiler or Symbolic Set based method used by PARADIGM Compiler.

第五章提出了一种以线性不等式组作为工具的更加实用化的通讯优化和结点代码生成方法，该方法克服了RICE大学实现FortranD编译器使用的基于规则段描述子的方法以及PARADIGM编译器使用的基于符号集的方法对输入程序的诸多限制，避免了复杂的规则段运算和符号集运算及其造成的无效性，拓宽了可处理的程序类，增强了编译器的处理能力。

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.

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