网

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型———可组合时间Petri网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

First of all, confirm the overall evaluating indicators and the base indicators of public transport network in Chinese large cities through repetitive comparison, discussion and consultation to relevant experts; among the base indicators in the overall evaluating indicators, composite the basic probability assignment of evaluation indicators with Dempster-Shafer Theory composition rule upon different experts' experiences and preferences of the expert group, and amalgamate the evaluations of different experts to further obtain the evaluation value of base indicators.

首先通过反复比较、探讨和征询有关专家的意见，确定大城市公交线网综合评价指标及子指标，在综合评价指标的子指标中，对专家组中不同专家的经验和偏好，用证据理论合成规则对评价指标的基本概率赋值进行合成，将不同专家的评价进行融合，获得子指标的评价值，然后通过突变理论将评价指标及子指标作为控制变量进行地面公交线网的综合评价，对北京市进行算例分析结果表明，该方法对大城市公交线网的综合评价是可行。

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 report that center of news of Chinese Internet network issued in January 2009 says, up to on December 31, 2008, chinese netizen dimensions reachs 298 million person, among them 0 to 19 years old the netizen is occupied 35.6% it is 106 million person about, the has enjoyed a net to swim minor measure that more teenage than the basis service center reports computation goes out is little still 81 million person.

中国互联网网络信息中心2009年1月发布的报告称，截至2008年12月31日，中国网民规模达到2.98亿人，其中0至19岁网民占35.6%约为1.06亿人，比根据青少年服务中心报告计算出的玩过网游的未成年人数量还少0.81亿人。

Jinan classifies mother the net customer service personnel after receiving your this question, you proposed after the question has consulted the Jinan know-it-alls, specially gives the reply: industry the peak company's special-purpose material has 16 items of revolutionary material: The German fragrant river character wall paint, the German fragrant river character wood lacquer, original installation import the European yellow deals, original installation to import the Australian yellow deals, industry the peak special-purpose ecology crepe rubber, industry the peak special-purpose electric wire, the WAGO coupling, industry the peak special-purpose pot galvanize threading tube, industry the peak special-purpose valuable, industry the peak special-purpose wall valuable, industry the peak special-purpose wall valuable, industry the peak special-purpose hard and soft underwater paint, industry the peak special-purpose allocated proportion mortar, industry the peak special-purpose light steel keel, the water resistant plaster tablet, the oak to model the board.

济南分类妈妈网消息今天一网民来电咨询关于济南业之峰装饰公司的相关问题：我知道装饰公司是集室内设计、预算、施工、材料于一体的专业化设计公司。装饰公司是为相关业主提供装修装饰方面的技术支持，我家装修找的是济南的业之峰装饰公司，我想问下业之峰装饰公司的产品可靠吗济南分类妈妈网客户服务人员在接到你这个问题后，就你提出的问题特意咨询了济南万事通后给予回复：业之峰公司的专用材料有16项革命性材料：德国都芳水性墙漆、德国都芳水性木器漆、原装进口欧松板、原装进口澳松板、业之峰专用生态白胶、业之峰专用电线、WAGO连接器、业之峰专用热镀锌穿线管、业之峰专用地宝、业之峰专用墙宝、业之峰专用壁宝、业之峰专用刚柔防水涂料、业之峰专用配比砂浆、业之峰专用轻钢龙骨、耐水石膏板、橡塑板。

The mom in attention A is very long, but refer in big individual website level however contact, this perhaps follows the promotion strategy of early days of the mom in A to concern, basically be undertake popularizing inside individual stationmaster limits, but the ceaseless confluence as business of interior of the department in A, the mom in A is permeated with the net that clean out treasure each other, make the person that curassow pays close attention to network business this to develop also begins to discover, the mom in A has made the instrument of a kind of propaganda of network business gradually.

关注阿里妈妈很久了，但是却在大的个人网站层面进行了解接触，这也许跟阿里妈妈前期的推广策略有关，主要是在个人站长范围内进行推广，但是随着阿里系内部业务的不断融合，阿里妈妈和淘宝网的相互渗透，使得大鸟这个关注网商发展的人也开始发现，阿里妈妈已经渐渐成为网商的一种宣传手段。

One is by knowledge Petri net First AND/OR graph was evolved by calculating cut set of relationship Matrix of parts which shows the assembly relation between the parts. Then the KPN was generated with AND/OR graph automatically. Running the KPN, an optimum assembly sequences was obtained last. The other is by Hopfield neural network.

一是利用知识PETRI网对装配过程进行建模，并自动规划出最佳装配序列的方法；这种方法首先根据产品装配的关联图，利用割集计算，自动生成产品装配的与/或图，由产品装配的与/或图转化成知识PETRI网，然后，运行此知识PETRI网，便可得产品的最佳装配序列。

Aiming at solving the problems of heterogeneity among ontologies in semantic Web services, and taking into account the fact that the efficiency of most ontology mapping system is not high and the results of ontology mapping is not accurate enough, this paper proposed efficient ontology mapping method and system framework for semantic Web services, the method adopted machine learning techniques to enhance the degree of automation of ontology mapping, used comprehensive evaluation technology to amend the results of ontology mapping, so as to improved the accuracy of ontology mapping.

芦明， 李冠宇，史一民大连海事大学信息科学技术学院，辽宁大连 116026）本体的异构性阻碍了语义网服务的互操作。从解决语义网服务中本体的异构问题出发，同时考虑到目前的本体映射系统大多效率不高、映射结果不够准确的问题，提出了一种适用于语义网服务的本体映射方法及系统框架。该方法利用机器学习技术来提高本体映射的自动化程度，利用综合评判技术修正映射结果，以提高本体映射的准确率。

Of the same age on September 2, the netizen puts this rumor in each forum on the net, a few stick child hit and response rate are higher, draw the attention of a lot of netizens. On September 8, two are suspected of be being detained by criminal of expensive harbor police in the netizen of the demagoguery on the net.

同年9月2日，有网民将这则谣言放到网上的各个论坛中，一些贴子的点击率和回复率都较高，引来许多网民的关注。9月8日，两名涉嫌在网上散布谣言的网民被贵港警方刑事拘留。

For this, new " devildom " turn over formally since May 22 swim in Chinese net the royal network of the famous in the bound, by royal the company that this has powerful actual strength, will new " devildom " send more nets to swim before lover, let net of this high-quality goods swim to will not brush a shoulder with the person that has a reason and pass.

为此，新《魔界》从5月22日起正式移交给在中国网游界中大名鼎鼎的盛大网络，由盛大这一拥有强大实力的公司，将新《魔界》送到更多的网游爱好者面前，让这款精品网游不致于与有缘的人擦肩而过。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐