定义明确的
- 与 定义明确的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
In addition to expounding "the possibility of realizing Tathagatagarbha," in his article, Tsai also explored the definition of "being" in ontology of Western philosophy, which has been studied for more than two thousand years, explained that Buddha defined "being" in The Agama Sutras with the method of personal realization, and discussed the differences between both definitions.
於是,本会会员蔡礼政先生曾以〈《阿含经》对存有的定义〉一文(注:请见本学报,页23-48;英文版,页209-240),举证《阿含经》中确实有经文明确表达有如来藏常住而且可以实证的圣教;除了论证「实证如来藏是确实可能的」之外,并且探讨西方哲学二千余年来对於存有论中Being的定义,在《阿含经》中释迦牟尼佛是采用实证的方法加以定义,同时论述其中的种种差别。
-
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、基于论文研究成果,设计实现了"空间信息服务聚合实验系统",并构建了"矿产资源评价"和"城市消防应急响应"两个典型应用案例,对论文所述模型、方法的可行性和有效性进行了验证。
-
Authority: 1 the draftee requisition quota review system should be transparent and fair, and allow requisition agency to be involved in personnel planning and quota augmentation; 2 for traffic assistant draftee qualification, history criminal record, tattoo ban and basic body examination threshold shall be established, the policy of selecting the right person by the requisition agency should be respected, examination and civil service bureaus support should be solicited to offer bonus points to police draftees in the police recruiting exams; 3 "assistant service" should be defined in related regulations, and restriction should be properly lifted; requisition agency should be authorized to list service items for draftee to serve individually; 4 provide diversified and rich information on substitute service volunteer screening, hold draftee screening fairs, produce screening posters or adopt the volunteer card and computer-based selection system, raise the draftees' salary to respond to the increasing living cost.
一、对主管机关建议:1。役男需求员额之审核机制应透明、公正,并开放需用机关参与人力规划与争取增额途径。2。交通助理役男之甄选资格,应设立前科纪录、纹身之限制条件与基本体检门槛,并尊重需用机关宁缺勿滥之用人政策,争取考铨机关支持警察役男报考警察特考加分优惠措施。3。「辅助性勤务」定义应明确规范於法条中,并适度修正放寛限制,授权需用机关以列举方式,明确订定役男得单独服勤之勤务项目。4。提供丰富多元的替代役甄选志愿资讯,举办役男甄选博览会、印制甄选海报文宣或改采缴交志愿卡电脑分发,调高替代役之薪饷,以符民生物资高涨。
-
Results The regulations were collected to compare at aspects of the definition,provisions of use,function class,etc.
结果对收集到的法规、标准从加工助剂的定义、使用规定、功能分类等方面进行了比较,发现我国食品工业用加工助剂的定义不够明确、具体,缺乏对加工助剂的功能作用、使用范围和使用量的规定。
-
The discrete mathematical models of the roundness and cylindricity EST are established; the mathematical models of the generating line straightness, axis straightness, coaxality, circular run—out and total run—out error of the revolution workpiece are put forward and established first based on the EST; the method about how to sample and to process sampling data are given when these models are applied to measure workpleces.
其主要内容是:针对长期以来国内对回转误差运动的有关定义的争论,对回转误差运动的本质进行了讨论,进一步明确了静心与静轴,动心与动轴的概念,并对此进行了数学推导,给出了相应的数学模型;统一了"平动说"和"瞬心说"关于回转轴线的定义,指出了两种学说各自的力学基础和它们的一致性。
-
The viscosity solutions for partial differential equations of parabolic type havethree different basic definitions.The three definitions are equivalent when the equa-tions are continuous.But for the discontinuous equations,the equivalence of themare still unknown.
因为抛物型方程粘性解有三种基本定义法,它们在方程为连续时相互等价,对于不连续情况,它们间关系尚不明确,因而在本章里,我们特别证明了其中二个定义:定义1,定义2之间的关系。
-
The discrete mathematical models of the roundness and cylindricity EST are established; the mathematical models of the generating line straightness, axis straightness, coaxality, circular run—out and total run—out error of the revolution workpiece are put forward and established first based on the EST; the method about how to sample and to process sampling data are given when these models are applied to measure workpleces.
其主要内容是:针对长期以来国内对回转误差运动的有关定义的争论,对回转误差运动的本质进行了讨论,进一步明确了静心与静轴,动心与动轴的概念,并对此进行了数学推导,给出了相应的数学模型;统一了&平动说&和&瞬心说&关于回转轴线的定义,指出了两种学说各自的力学基础和它们的一致性。
-
Padding and margins are needed for the header tags if we don''t want to have very big gabs between the title and the links below, just some space exactly how we want it, and for me that is 10px at the bottom.
除了设置文字的字体和颜色之外,padding和margin的定义也是必须的,因为如果不明确指定的话,栏目标题和链接列表之间的间隔可能会不可预期,在这里我直接用margin属性定义了10px的下边距。
-
Those who think that philosophy should be a quasi-scientific, problem-solving, discipline---one in which definitions are spelled out, premises identified, and assumptions made explicit—had no use for Derrida, nor he for them.
那些认为哲学应准确於科学,能解决问题,应有规律─那些认为定义应被明确指出,提论应有验证,假设应明确述说的人,对德理达毫无用处。相同地,德理达对他们也派不上用场。
-
First,the paper summarized and analyzed the definition of the earth prime meridian in different periods,clarified the ambiguous recognition that the earth prime meridian was the meridian passing Greenwich astronomical observatory and gave the rigorous definition about the Earth prime meridian presently.
首先对地球首子午线在不同时期的定义进行了分析和总结,进一步明确了当前对地球首子午线的严格定义,澄清了地球首子午线即过格林尼治天文台的子午线这一模糊认识。
- 推荐网络例句
-
In the United States, chronic alcoholism and hepatitis C are the most common ones.
在美国,慢性酒精中毒,肝炎是最常见的。
-
If you have any questions, you can contact me anytime.
如果有任何问题,你可以随时联系我。
-
Very pretty, but the airport looks more fascinating The other party wisecracked.
很漂亮,不过停机坪更迷人。那人俏皮地答道。