863 resultados para Ershov hierarchy
Resumo:
When a BPEL process is executed,it is necessary to dynamically monitor the process.BPEL is a executable language,which is not suitable for visual monitoring.On the other hand,BPMN is designed to visually describe business process and is more intuitive for monitoring.To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary.However,current study of transformation from BPEL to BPMN does not support the transformation of"link"activity.Besides,no work has been done to add supplementary information into BPMN during transformation.In this paper,we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy.Especially, we analyze various scenarios of the transformation of link activity,and provide a method to deal with it. Besides,we analyze the mapping between BPEL activities and BPMN graph,through which we found out that some supplementary information cannot automatically obtained from BPEL process.These supplementary information need to be added during transformation.At the end of this paper,we present the structure of our monitoring tool which is based on our transformation algorithm.
Resumo:
土地利用是人类根据土地质量特性来开发利用土地,创造财富,满足人类生产和生活的需要,同时改善环境,满足人类生存需要的过程。土地利用总体规划是对未来各类用地在空间上、时间上作出总体的协调的预先安排,不仅受到一定历史背景的制约,同时也受影响于当前的社会经济发展情况。但是,国内传统的土地利用总体规划往往从狭窄的技术经济观点出发,对远期的生态环境问题、社会问题缺少考虑,将新的用地尽量安排在最便捷、最经济的地方。 由于土地利用总体规划对环境影响具有长期性、复杂性、综合性、有时还有不可逆转性等特点,迫切需要在编制土地利用总体规划时对规划区与土地利用有关的环境影响进行科学研究,把环境保护纳入土地利用活动的计划、决策和规划实施中,促进土地资源持续、协调的利用。为更好地进行土地利用总体规划环境影响评价必须首先建立相应的评价指标体系,而目前国内关于该项研究的理论和实践的相关报道都较少。 本论文在综述国内外土地利用总体规划环境影响评价的理论与实践的基础上,在国内第一批开展了相关领域的案例研究,采用理论研究和案例分析相结合的研究方法对土地利用总体规划环境影响评价方法和指标体系进行了研究,对邛崃市土地利用总体规划进行了环境影响评价,其研究的主要内容和论点如下: (1)第一次根据FAO 确定的五大原则,引入了生态用地的概念并按照价值模型构建了以土地资源可持续利用为目标的县级土地利用总体规划环境影响评价的指标体系。以生产性、稳定性、保护性、经济活力、社会可接受性五个方面作为指标层来度量土地利用总体规划的环境影响,并选取了土地利用率、土地整理率、水面指数、生态用地面积比例、耕地转化率、建设用地产值指数、公众满意度等21 个元指标作为具体的评价指标。该指标体系强调了规划方案的公众参与,便于充分吸收公众的意见和建议;并且评价指标获取容易,实用性较强。 (2)在土地利用总体规划环境影响评价方法上进行了有益的探索和尝试,由于土地利用总体规划环境影响评价的主要对象是几个拟定的规划方案,所以采用综合评分法(包括特尔斐法和层次分析法)和公众参与相结合的评价方法。应用上述指标体系和评价方法对邛崃市土地利用总体规划的三个方案进行了评价筛选,高方案最终得分为92.049;中方案最终得分为91.028;而低方案最终得分为95.541,为最优方案。 (3)开展了对土地利用总体规划替代方案和公众参与机制的研究,对公众参与的方式、程序及主要内容从理论和实践两方面进行了有益的尝试,收到了良好的效果。 (4)对邛崃市土地利用总体规划进行了环境影响评价,根据邛崃市的具体情况,对规划实施后可能造成的环境正、负面影响进行了分析和预测,提出了预防或者减轻不良环境影响的对策和措施。 Land use is a process, which is to develop land according to its mass property. Bycreating the wealth and improving the environment, it can meet the need of production,life and human survival. Land use planning, as a planning form to guide land use, issubject to the historical background, and influenced by development of economic andsociety. The land use planning in the past, from narrow economic technology view,lacking of concerning ecologic environmentand social problem, arranged new land in the most convenient and economic place. Because of complexity, comprehensive and sometimes irreversible characteristicsof environmental impact caused by land use planning which has been implemented, it isneed to carry on scientific research on environmental impact related to land use as theland use planning is forming, to bring environmental protection within the plan, policymaking and implementing of land use activity, promoting the sustainment, harmonious use of land resource. This paper, taking the readjustment of land use planning in Qionglai as an example,assessed its environmental impact of land use planning. The main contents and results arepresented as follows: (1) On the basis of the five criterions of AFO, for the first time propose county classoverall planning of land uses SEA index by inducting ecological land use andestablishing the Value factor system, according to Productivity criterion,Stabilitycriterion,Sheltered criterion,Economic livingness criterion,Social acceptabilitycriterion,the environmental impact of land use system was assessed by using Valuemodel. Through identifying the factors of environmental impact of land use planning, thepaper established the factor system of SEA of land use planning. From the land usefactors, 21 factors was chosen to assess the environmental impact degree of land useplanning, such as, index of land use degree, the rate of land collating, index of watersurface, the rate of ecological use land, cultivated land conversion ratio, forest landconversion ratio, public satisfaction degree and so on. These indexes make a point thatpublic participation of plan project fully absorb public idea and propose and the index easily get, better utility. (2) Attempt useful assessment method system of SEA of land use planning. In viewof there are no or almost no inevitable contact among the factors of SEA of land useplanning,we use AHP (Analytic Hierarchy Process) as the main assess method . Thereare three plans are compared in this paper apply the foregoing index and assessmentmethod. The high plan finally score is 92.049,while the middle plan is 91.028. The lowplan score is 95.541,is the best one,as the selected plan. (3) Carry on the research of the alternative scheme of overall planing of land useand public participation,to the fashion ,procedure and object matter carry out helpfulattempt from theory to practice,the results is good. (4)Took place SEA of Qionglai County overall planing of land use,according to thecircumstance of Qionglai,we analyze and forecast the positive and negative affect afterthe plan implement,and put forward the countermeasure and means to prevent or abatebad environmental impact.
Resumo:
We show the four-dimensional Newton's constant obtained naturally from five-dimensional brane world with a tinily sloping extra dimension, which is independent of the bulk Weyl tensor. The corresponding universe is stiff fluid dominated when the slope of extra dimension is very small. Otherwise, the universe may be undergoing a self-acceleration at present epoch and have a decelerated phase in very recent past.
Resumo:
We derive the generalized Friedmann equation governing the cosmological evolution inside the thick brane model in the presence of two curvature correction terms: a four-dimensional scalar curvature from induced gravity on the brane, and a five-dimensional Gauss-Bonnet curvature term. We find two effective four-dimensional reductions of the generalized Friedmann equation in some limits and demonstrate that the reductions but not the generalized Friedmann equation can be rewritten as the first law of equilibrium thermodynamics on the apparent horizon of thick braneworld.
Resumo:
Chinese Academy of Sciences (ISCAS)
Resumo:
通过对渭北黄土高原地区沟坡地土壤理化性质的分析和对当地社会经济状况的调查研究,应用层次分析法对沟坡地上地自然生产力和现实生产力进行了分析和评价。在分析过程中,把当地主要造林树种根系垂直分布特征及其根系抗旱性特性纳入了分析评价体系。结果表明,嘴头村和西坡村不同树种沟坡地上刺槐(Robinia pseudoacacia)的自然生产力属于中等稍微偏上水平,而山杏(Prunus armeniacia var.ansu)、油松(Pinus tabulaeformis)和侧柏(Platycladus orientalis)的自然生产力水平则较低。两地沟坡地上的现实生产力计算结果则证明刺槐和山杏两个树种表现出了较高的水平,具有较好的发展前途;而油松和侧柏的现实生产力水平则较低,其发展推广受到了限制。群众对沟坡开发治理的态度和对开发方案的认可对沟坡开发的成功起到了重要作用。
Resumo:
通过对陕北黄土高原可持续发展评价指标体系和方法的初步研究 ,设计出了包括 1个高级综合指标——可持续发展综合指数、人口状况等 5个基本指标和人口自然增长率等 30个元素指标的层次性指标体系结构框架 ,熵技术支持下确定可持续发展指标权重的层次分析法 ,以及由递阶多层次综合评价、主成份分析和回归分析等数学方法所集成的可持续发展全面综合评价模型 ,并依次对该地区可持续发展现状及趋势进行了全面分析评价
Resumo:
University of Paderborn; Fraunhofer Inst. Exp. Softw. Eng. (IESE); Chinese Academy of Science (ISCAS)
Resumo:
Japanese flounder Paralichthys olivaceus (T. & S.)juveniles were size-graded and divided into three groups (small, large, and mixture of small and large flounder), and their social interactions (feeding, aggressive attacking and activity) and growth were investigated. The growth of the small flounder was markedly suppressed by the presence of the large flounder. Large flounder did not significantly suppress the overall food intake of the small flounder but exhibited high aggressive attacking on them and consequently inhibited their activity. Size dominance showed little influence on the aggressive behavior, feeding, activity and growth of the large flounder. The large flounder could not effectively defend the food in excess during the experiments ruling out disproportional food acquisition as the primary mechanism responsible for the size hierarchy effect. Aggressive interaction of the large flounder on the small flounder might be an important cause for the growth retardation of the small flounder. In culture, size grading could markedly improve the growth and survival of the early juvenile flounder. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
给出了一种基于分层式有限状态机的五自由度空间对接仿真平台控制系统设计方法,对状态机进行了扩展定义.增加了一个定义于状态上的变量属性集合,使其有利于系统的代码实现.结合控制系统采用的10 ms定时中断机制,将状态机层次划分到了可以分析每个10 ms硬件中断程序所需实现的控制功能状态及其转移、继承关系的程度,可以更清晰地设计出中断程序所需要的构成结构.系统的实际应用结果证明了上述方法的有效性.
Resumo:
研究了基于智能装配单元的可重构装配线制造系统环境中的产品装配建模方法与装配序列表达机制,提出由产品层次装配模型与生产线装配工艺齿状结构描述相结合的重构装配线装配序列规划与表达方法。
Resumo:
针对普及型模块化自治水下机器人的成本、强度、模块化程度、长度及拆装方便程度五个影响因素,运用层次分析的方法进行分析比较,从而在普及型模块化自治水下机器人的三个模块连接结构中的选出最优的拉杆连接结构。
Resumo:
如何选择网络联盟企业的成员是组建网络联盟企业的关键。采用层次分析法建立了选择设计伙伴的数学模型,并在Matlab环境下开发了一个设计伙伴选择系统。
Resumo:
本文首先论述了体系结构研究的重要性 ,简要综述了体系结构研究的 4个发展阶段 ,并提出了研究体系结构的谱系概念 .在空间结构的研究中 ,提出了 5个视图与 9种过程流的描述方法和以扁平化递阶 -分散混合集成为特征的柔性体系结构 .本文还提出了体系结构中时间结构的概念及其应用 .
Resumo:
分布、自主、协调与合作是多机器人系统的发展趋势。本文作者在研究易于协调合作的多机器人系统的基础上,采用分层递阶和多Agent概念,构造了一个装配系统-MROCAS系统。该系统具有任务自动建模分解,快速重组、良好柔性、友好人机界面,各机器人具有一定自主能力等特点,它实现了在较复杂环境下快速完成装配作业。