基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。

Seeding nets with neutral spores of the red alga Porphyra umbilicalis (L.) Kutzing for use in integrated multi-trophic aquaculture (IMTA)

Nets in traditional Porphyra mariculture are seeded with conchospores derived from the conchocelis phase, and spend a nursery period in culture tanks or calm coastal waters until they reach several centimeters in length. Some species of Porphyra can regenerate the foliose phase directly through asexual reproduction, which suggests that the time, infrastructure, and costs associated with conchocelis culture might be avoided by seeding nets with asexual spores. Here, we present work from a short-term mariculture study using nets seeded with asexual spores (neutral spores) of a native Maine species of Porphyra. Porphyra umbilicalis (L.) Kutzing was selected for this proof of concept research because of its reproductive biology, abundance across seasons in Maine, and evidence of its promise as a mariculture crop. We studied the maturation, release, and germination of the neutral spores to develop an appropriate seeding protocol for nets, followed by development of a nursery raceway to provide an easily manipulated environment for the seeded nets. Neutral spores were produced throughout the year on the central Maine coast,however, there was a temporal variability in the number and survival of released neutral spores, depending upon thallus position in the intertidal zone. Small thalli were strictly vegetative, but most thalli reproduced by neutral spores- sexual reproduction was absent. Neutral spores germinated quickly at 10 and 15 'C, but germination was delayed at 5 degrees C. Unlike some algal zygotes and spores, neutral spores of R umbilicalis required light to germinate; however, irradiances of 25 and 100 mu mol photons M-2 S-1 were equally sufficient for germination. Rafts of seeded nets were deployed in Cobscook Bay, Maine, at two distances from salmon aquaculture pens and at a control site on a nearby, fallow aquaculture site (no salmon). There was no difference in nitrogen content of harvested thalli; however, both the density and the surface area of harvested thalli were different among the sites. The possible causes of these differences are discussed in the context of potential use of P umbilicalis in IMTA. (C) 2007 Elsevier B.V. All rights reserved.

Feeding and growth on bivalve biodeposits by the deposit feeder Stichopus japonicus Selenka (Echinodennata : Holothuroidea) co-cultured in lantern nets

Suspension aquaculture of filter-feeding bivalves has been developing rapidly in coastal waters in the world, especially in China. Previous studies have demonstrated that dense populations of filter-feeding bivalves in shallow water can produce a large amount of faeces and pseudofaeces (biodeposits) that may lead to negative impacts on the benthic environment. To determine whether the deposit feeder Stichopus (Apostichopus) japonicus Selenka can feed on bivalve biodeposits and whether the sea cucumber can be co-cultured with bivalves in suspended lantern nets, three experiments were conducted, two in tanks in the laboratory and one in the field. In a 3-month flow-through experiment, results showed that sea cucumbers grew well with specific growth rate (SGR) reaching 1.38% d(-1), when cultured in the bottom of tanks (10 m(3) water volume) where scallops were cultured in suspension in lantern nets. Moreover, results of another laboratory experiment demonstrated that sea cucumbers could survive well on bivalve biodeposits, with a feeding rate of 1.82 +/- 0.13 g dry biodeposits ind(-1) d(-1), absorption efficiency of organic matter in biodeposits of 17.2% +/- 5.5%, and average SGR of 1.60% d(-1). Our longer-term field experiments in two coastal bays (Sishili Bay and Jiaozhou Bay, northern China) showed that S. japonicus co-cultured with bivalves also grew well at growth rates (0.09-0.31 g wet weight ind(-1) d(-1)) depending on individual size. The results suggest that bivalve lantern nets can provide a good habitat for sea cucumbers; and the co-culture of bivalve molluscs with sea cucumbers may provide an additional valuable crop with no additional inputs. (c) 2006 Elsevier B.V. All rights reserved.

基于有限状态机与Petri网的系统分析与设计

从系统组成、功能需求和体系结构方面介绍了航天器空间对接仿真系统的实时多任务控制系统,基于有限状态机和Petri网方法对其进行了单任务级和多任务级的分析建模,并以此为基础完成系统的详细设计,其中应用分叉和资源共享模型实现了系统的同步和互斥问题。实际应用中应用工程化和模块化的方法完成系统设计,系统运行性能良好。试验证明这种分析设计方法合理可行。

基于Petri网的Web数据库访问的建模研究

本文针对多用户访问Web数据库的过程进行了分析并提出改进思路,然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。

基于时延Petri网的多UUV系统的任务分配策略

针对多水下机器人(unmanned underwater vehicle,UUV)系统动态任务分配问题展开研究,在对系统的体系结构和任务分配机制进行分析的基础上,利用时延 Petri 网理论对系统的任务分配进行建模,提出了一种新的任务分配策略:群体协调层采用集中式任务分配策略,由主 UUV 将任务实时下达给各从 UUV;监控规划层采用基于适应度的分布式任务分配方式,充分发挥各异构 UUV 自身的智能。仿真结果验证了模型的合理性和任务分配策略的有效性。

Petri网理论在柔性制造系统(FMS)性能分析中的应用

本文用 Petri 网的一个子类——时间事件图对流水车间型和作业车间型的柔性制造系统(FMS)建模并进行理论分析,给出了可行排序的判定条件及系统中托盘数量配置与系统生产率的关系,对系统的主要性能指标,如生产周期、工件驻留时间、在制品库存等给出了定量描述.这些结果为系统的设计和运行提供了理论依据.

Petri网理论在FMS中的应用

本文以Petri网理论为工具，对一类柔性制造系统进行了分析。首先进行了Petri网理论研究及与柔性制造系统结合等方面的全面综述，为Petri网理论在生产系统中的应用作好了准备。从Petri网理论的角度提出了DEDS稳定性的定义和分析方法，并分析了系统的死镇性、有界性、守恒性等一系列性质，以这些结论为基础，又研究了流水车间和作业车间的动态优化排序问题，得出以下结果。1．用时间事件圈分析流水车间，可以得出流水车间中任何排序都是可行排序，并且给定任何一种排序，只要初始时有足够的托盘配置，稳态好总能使瓶颈机器满负荷利用，系统生产率最大。2．同样分析作业车间，得出作业车间不可行排序的制定条件，并且给定任何一种排序，只要初始时有足够的资源托盘和半制品存在，总能使瓶颈机器满负荷利用，系统生产率最大。3．为使瓶颈机器满负荷利用，且在制品库存最少，得出了一个求解最少在制品库存的整数线性规划，并给出了几种求解整数线性规划的启发式算法。4．对一种类型的FMS，给出了托盘数的上限估计，缓冲器的最小容量等。对于减少在制品库存，降低生产成本，确保系统稳定运行，这些都是非常重要的条件。5．定义了过渡过程时间，分析了过渡过程问题，在某种条件下能使系统从初态直接进行稳态。

一种基于模糊petri网专家系统的面向对象方法设计

简要介绍了模糊petri网以及模糊产生式规则,给出了基于模糊petri网的专家系统的框架设计,并提出了模糊产生式规则和模糊petri网的详细设计,根据本设计方案开发了汽车变速箱故障诊断专家系统,证明设计方案简洁高效,扩充性和实用性好。

Planning and Teaching Compliant Motion Strategies

This thesis presents a new high level robot programming system. The programming system can be used to construct strategies consisting of compliant motions, in which a moving robot slides along obstacles in its environment. The programming system is referred to as high level because the user is spared of many robot-level details, such as the specification of conditional tests, motion termination conditions, and compliance parameters. Instead, the user specifies task-level information, including a geometric model of the robot and its environment. The user may also have to specify some suggested motions. There are two main system components. The first component is an interactive teaching system which accepts motion commands from a user and attempts to build a compliant motion strategy using the specified motions as building blocks. The second component is an autonomous compliant motion planner, which is intended to spare the user from dealing with "simple" problems. The planner simplifies the representation of the environment by decomposing the configuration space of the robot into a finite state space, whose states are vertices, edges, faces, and combinations thereof. States are inked to each other by arcs, which represent reliable compliant motions. Using best first search, states are expanded until a strategy is found from the start state to a global state. This component represents one of the first implemented compliant motion planners. The programming system has been implemented on a Symbolics 3600 computer, and tested on several examples. One of the resulting compliant motion strategies was successfully executed on an IBM 7565 robot manipulator.

The use of podcasts to enhance research-teaching linkages in undergraduate nursing students.

An understanding of research is important to enable nurses to provide evidencebasedcare. However, undergraduate nursing students often find research a challenging subject. The purpose of this paper is to present an evaluation of the introduction of podcasts in an undergraduate research module to enhance research teaching linkages between the theoretical content and research in practice and improve the level of student support offered in a blended learning environment. Two cohorts of students (n=228 and n=233) were given access to a series of 5 “guest speaker” podcasts made up of presentations and interviews with research experts within Edinburgh Napier. These staff would not normally have contact with students on this module, but through the podcasts were able to share their research expertise and methods with our learners. The main positive results of the podcasts suggest the increased understanding achieved by students due to the multi-modal delivery approach, a more personal student/tutor relationship leading to greater engagement, and the effective use of materials for revision and consolidation purposes. Negative effects of the podcasts centred around problems with the technology, most often difficulty in downloading and accessing the material. This paper contributes to the emerging knowledge base of podcasting in nurse education by demonstrating how podcasts can be used to enhance research-teaching linkages and raises the question of why students do not exploit the opportunities for mobile learning.

Reflections on the development of a dynamic learning, teaching and assessment strategy.

Developing learning, teaching and assessment strategies that foster ongoing engagement and provide inspiration to academic staff is a particular challenge. This paper demonstrates how an institutional learning, teaching and assessment strategy was developed and a ‘dynamic’ strategy created in order to achieve the ongoing enhancement of the quality of the student learning experience. The authors use the discussion of the evolution, development and launch of the Strategy and underpinning Resource Bank to reflect on the hopes and intentions behind the approach; firstly the paper will discuss the collaborative and iterative approach taken to the development of an institutional learning, teaching and assessment strategy; and secondly, the development of open access educational resources to underpin the strategy. The paper then outlines staff engagement with the resource bank and positive outcomes which have been identified to date, identifies the next steps in achieving the ambition behind the strategy and outlines the action research and fuller evaluation which will be used to monitor progress and ensure responsive learning at institutional level.

‘Novice Teachers’ Views of an Introductory Workshop about Teaching in the Biosciences.

Seven regional networking events, aimed at supporting and developing ‘early stage’ novice university bioscience teachers were held across the UK. These workshops allowed 230 participants to reflect on teaching styles, learn about Higher Education Academy resources and discuss strategies to deal with a range of teaching situations. Post-event feedback was sought, and the results are presented in this paper. Feedback on the events was overwhelmingly positive, highlighting the need for such events to support the development of new teachers in higher education. Institutional training varies and these opportunities for sharing experiences, asking questions, networking and reflection on teaching practice were highly regarded. Most participants felt more confident about their teaching and believed that students were more directly engaged in their teaching after attending the events. Recommendations for support of this category of teacher include provision of discipline-specific events, opportunity for local area networking and support for the development of reflective practice in teaching and learning.

Robotic Assembly of Naturally Varying Food Items via Teaching by Example

T. G. Williams, J.J. Rowland, and Lee M.H., Robotic Assembly of Naturally Varying Food Items via Teaching by Example, 9th Int. Symp. on Intelligent Robotic Systems (SIRS 2001), July 2001, France, pp133-142.

Teaching from Examples in Assembly and Manipulation of Snack Food Ingredients by Robot

T. G. Williams, J.J. Rowland, and Lee M.H., Teaching from Examples in Assembly and Manipulation of Snack Food Ingredients by Robot, Proc. IEEE/RSJ Int. Conf. on Robots and Systems (IROS 2001), Nov., 2001, pp2300-2305.