创卫任务分解表

创卫任务分解表（共4篇）

创卫任务分解表篇1

鄂托克旗创建国家卫生县城领导小组办公室关于印发《鄂托克旗创建国家卫生县城

工作任务分解细则》的通知

各苏木镇人民政府、创卫责任单位：

为进一步推动创卫工作的开展，细化任务、明确时限、责任到人，在创卫实施方案的基础上，现就共性任务及各单位具体工作细化分解如下：

一、共性任务

(一)全面启动创建国家卫生县城工作。成立本单位本部门创建领导小组并确定办公室工作人员，单位主要领导重视创建工作，制定创建国家卫生县城三年规划和计划，分解项目任务到科室和个人，明确完成标准及时限，落实具体推进措施。

（二）加强创建标准培训和宣传力度，普及创建知识，营造创建

二、各单位具体任务（6月30日前完成）

以下部分任务，如环境卫生、环境保护等，除在创卫期间落实完成外，还需形成长效机制，形成工作常态化。

（一）政府办

认真贯彻落实国家关于爱国卫生工作的法规政策，将爱国卫生工作纳入政府议事日程，实行目标管理，主要领导担任爱卫会主任，重视爱国卫生工作和卫生创建活动；每年至少召开两次旗长办公会议，专题研究爱国卫生工作。

（二）财政局

协调拨付爱国卫生工作经费、爱卫办经费、健康教育经费、病媒生物防制经费。

（三）发改局

将卫生创建工作纳入全旗发展规划。

（四）人事局

落实爱卫办人员问题。

（五）编办

落实爱卫办人员编制问题。

（六）宣传部

组织电视台、报社及旗内各信息网站开展卫生知识和健康教育宣传。

（七）广电中心

利用电视台积极宣传卫生知识和健康教育，营造良好舆论氛围。

（八）报社

进项目进行职业卫生审查；认真贯彻《中华人民共和国传染病防治法》；机构建设达到国家规定要求，重大疾病控制按期完成国家规划要求，近3年无因防控措施不力导致的甲、乙类传染病暴发流行；免费实行国家免疫规划项目的预防接种，儿童国家免疫规划疫苗全程接种率≥95％；有流动人口免疫规划管理办法，居住期限3个月以上的儿童建卡建证率≥95％；预防接种规范，安全接种率100％，幼托机构、学校按照《疫苗流通和预防接种管理条例》规定开展入托、入学儿童预防接种证查验工作。

（十二）卫生监督所

监督、监测集中式供水和二次供水单位情况；监督旅馆、美容美发厅、歌舞厅、公共浴室、网吧等场所环境是否整洁，公共用品是否清洗、消毒设施是否齐备，工作人员操作是否符合卫生规范要求；监督公共场所禁烟标志及落实情况；监督中小学设卫生室，配备专职卫生技术人员情况；监督学校食堂是否符合食品安全要求，饮用水水质是否符合《生活饮用水卫生标准》；临床用血 100%来自无偿献血，其中自愿无偿献血≥90％；监督非法行医和非法采供血行为。

（十三）各医院、卫生室、卫生服务中心

设置健康教育宣传栏，采取多种形式，有针对性地向病人及其亲属开展健康教育，住院病人及其陪护家属相关健康知识知晓率≥80%；以《中国公民健康素养—基本知识与技能》为主要内容，按照《亿万农民健康促进行动规划》开展多种形式的健康教育活动，举办卫生知识讲座，向居民传播健康知识，居民健康基本知识知晓

（十八）房管局

小区环境整洁，车辆摆放整齐，楼道内不堆放杂物。

（十九）执法局

镇容美观有序，无乱搭乱建、乱贴乱画、乱摆摊点现象；建成区内无放养家禽家畜，饲养宠物符合有关规定；社区无非法小广告。

（二十）环保局

水环境质量、空气环境质量、声环境质量达到环境功能区或环境规划要求；建立环境保护工作机制，按照国家有关规定编制环境规划并经县级人大或政府批准后实施，完成上级政府下达的主要污染物减排任务；认真贯彻执行环境保护政策和法律法规，根据《国家突发环境事件应急预案》，近3 年内未发生较大（Ⅲ级）以上级别环境污染事件。重点工业污染源废水、废气达标排放率 100％；位于水源源头、集中式饮用水水源保护区等需特殊保护地区和易发生水体富营养化的平原河网地区的苏木镇，生活污水处理须采取有效的脱氮除磷工艺。

（二十一）园林局

建成区绿化符合要求，公共绿地养护良好，绿化覆盖率≥30%。

（二十二）水务局

河道、湖泊等水体水面清洁，无漂浮垃圾。

（二十三）泰发祥水务公司

集中式饮用水水源地水质达标率100%；集中式供水和二次供水单位管理规范，自身检测资料齐全，集中式供水出厂水、管网末梢水和二次供水的水质符合《生活饮用水卫生标准》。

过程符合食品安全要求，无交叉污染，餐饮服务单位实行食品安全量化分级管理覆盖率≥90%；学校食堂符合食品安全要求。

（二十八）质监局

加强监管，食品生产单位不采购和使用不符合食品安全标准的食品原料、食品添加剂、食品相关产品，在生产过程中按照规定使用食品添加剂，无违法添加非使用物质现象。食品生产经营单位生产经营条件、操作过程符合相应法规规范要求，从业人员持有效健康证、具备相应岗位的基本卫生知识并掌握卫生安全操作规程。

（二十九）文化局

影剧院、图书馆、展览馆等场所通风采光条件良好，合理配备垃圾箱和卫生公厕。

（三十）农牧业局

全面实行生猪集中检疫制度（农村地区个人自宰自食的除外）；无病猪上市；从业人员持有效健康证、具备相应岗位的基本卫生知识并掌握卫生安全操作规程；无对生猪或者生猪产品注水或者注入其他物质的现象。

（三十一）安监局

依法对可能产生职业病危害的新建、改建、扩建项目和技术改造、技术引进项目进行职业卫生审查。

（三十二）各苏木镇

创卫任务分解表篇2

并行测试技术是支持下一代自动测试系统的关键技术之一, 相对于传统串行测试系统, 其技术特点与优势在于提高了测试系统的吞吐率、提高了测试仪器资源的利用率、缩短了测试执行时间。实现并行测试技术的关键在于测试任务的调度, 而并行测试任务的分解则为并行测试任务调度的基础。

1 并行测试任务分解的必要性与可行性

在传统的串行自动测试系统中, 测试任务被事先整体规定, 然后测试中按照一定的顺序流程运行, 测试任务的安排由于不涉及并行性, 所以待测任务之间可能无法进行并行测试。因此, 将一个总体的复杂测试任务, 经过分解形成多项容易被测量的子任务, 通过完成子任务测试从而解决复杂测试的思想, 对于并行测试系统来说是尤为必要的。

并行测试系统本身的特点决定了总体的复杂测试任务分解的可行性:对于并行测试系统本身而言, 现阶段的自动测试系统均采用嵌入式计算机控制、模块化的测试仪器资源, 这就使得各个资源模块可以根据测试系统的需求同时单独工作, 相互之间没有影响;新的接口适配器技术, 使得自动测试系统与待测设备间的连接、信号转换更加灵活;计算机多线程与多核处理技术, 使得控制软件能够同时控制运行多个测试任务。上述的这些自动测试系统本身的特点, 均为经分解后的多项子测试任务能够实现并行技术奠定了基础。

2 并行测试任务分解所遵循的原则

子测试任务的大小能够通过增加或减少测试参数来改变, 那么子测试任务的大小即表现为测试任务粒度的粗细。任务粒度能够体现某测试任务集合的层次结构, 同时也能体现整体测试任务的规模与数目。任务粒度与任务数量存在反比关系:任务粒度越大, 任务数量越小;任务粒度越小, 任务数量就越大[1]。反映到并行测试技术上来说, 就是任务粒度与子测试任务的并行性和可求解性质是相关联的:通常来说, 子测试任务的独立性随着任务粒度大小的增加而增加, 但子测试任务的信息接口、交互性、任务之间的并行性却随着子测试任务粒度大小的增加而减少。因此, 测试任务分解, 要控制适宜的子测试任务粒度。

并行测试任务分解的目的是把复杂测试任务分解为多个简单易处理的子任务, 子任务之间尽可能错开资源竞争, 从而有效地加快执行速度, 缩短测试时间。但是过度的分解将使系统中有大量的任务, 经常进行任务的切换, 任务与任务之间还需要很多的同步和互斥控制, 将大量增加系统服务工作, 降低系统的速度和有效性。

因此, 在进行任务分解的过程中, 必须遵循一定的原则。测试任务分解的原则有以下几点[3]:

(1) 独立性:任务应有相对的独立性, 任务间的相互协调、通讯工作应少, 以减少系统的开销;

(2) 层次性:对总体测试任务依次从被测单元、被测参数到具体功能操作进行逐层分解;

(3) 均匀性:任务粒度的大小要适中、均匀, 避免某一任务的执行时间过长, 导致资源负载不均, 同时也要避免任务过细, 导致系统任务切换开销过大;

(4) 相似性:不同的测试任务分解的子任务应尽可能的相似, 以便软件设计时可用相同的程序代码实现, 提高软件编程效率。

实际工程中可根据被测对象的特点, 采用自顶而下逐层分解的策略对测试任务进行分解。被测装备通常会包括多个被测单元, 而被测单元一般会有多个参数需要检测, 在这一层按被测参数对测试任务进行分解, 在各参数的检测中一些参数的检测可能存在相同的初始化操作, 可以提取相同的操作, 提高系统效率。

3 并行测试任务分解策略方法要点

在弄清并行测试任务分解要遵循的原则后, 要明确子测试任务之间可能存在某种关联。那么, 分解后的子测试任务之间是否可以进行并行测试, 如果不能进行并行测试, 子测试任务之间的执行优先顺序又是怎样的。子测试任务之间的相互关联, 决定了上述问题。

在讨论并行测试任务分解策略方法要点与方案之前, 先对测试任务之间的关联引入形式化定义[3]:

定义3.1设t1和t2为两个测试任务, I1和O1分别为t1的输入变量集和输出变量集, I2和O2分别为t2的输入变量集和输出变量集, 若I1与O2, I2与O1, O1与O2之间均无交集, 则称t1与t2数据相关;否则, 称之为数据无关。

定义3.2设t1和t2为两个测试任务, 若t1的测试能够决定t2是否测试, 则称t2控制相关于t1;否则, 称之为控制无关。

定义3.3设t1和t2为两个测试任务, R1和R2分别是t1和t2占用的资源集, 若R1和R2无交集, 则称t1和t2资源相关;否则, 称之为资源无关。

定义3.4设t1, t2, …, tm为测试项目中的各项测试任务, 若t1, t2, …, tm按所有可能的任意顺序测试的结果相同即t1, t2, …, tm任务优先级相同, 且t1, t2, …, tm资源相关, 则称t1, t2, …, tm是可并行测试的。

对上述定义作出说明:对于测试任务t1和t2, 若其满足数据相关, 那么t1和t2是不能够进行并行测试的, 但反过来, 若t1和t2数据无关, 不能肯定t1和t2能够进行并行测试。例如, 两个测试任务中可能含有中间测试变量或任务, 使得t1和t2虽然数据相关条件, 但实际只能依次测试。同理, 对于测试任务t1和t2间满足控制相关也存在相应不能同一时刻进行并行测试的问题。

在明确测试任务之间所能存在的相互关系后, 便可以根据这些相互关系, 对一个总体复杂测试任务进行分解。由于随着被测设备的不同, 一个总体任务能被分解的程度、依据就不同, 因此, 没有一种具体有明确步骤的详细方法, 能通用所有自动测试系统的测试任务分解。通常总体分解方法要点如下:

(1) 详细了解被测设备特点, 明确被测设备的测试需求, 明确各个被测单元以及各被测单元所需测量参数;

(2) 根据被测设备中的某些具体带有测试时序要求的测试任务, 从总体上即采用自顶向下逐层分解的方法对各个被测任务划分层级网络, 明确哪些测试目标任务经层级划分后是复合任务, 哪些是不可在分的测试任务;

(3) 分析初步划分后的测试任务, 看是否有哪些被测参数可以进行层次的调整, 是否能够合并成新的测试任务。例如, 某些参数的检测可能存在相同的初始化操作, 可以对这些操作进行提取公因式, 提高系统效率;

(4) 经细化、合并、调整顺序后, 完成任务分解, 形成测试任务集合。

4 总结

并行测试系统测试任务分解是并行测试系统实现并行测试任务调度这个NP-HARD难题的前提, 遵循怎样的分解原则和分解测量方法要点对总体测试任务进行分解, 对分解后子测试任务的粒度有着影响。根据本文提出的分解策略方法要点进行并行测试任务分解, 能够较好的控制子任务粒度, 为后续并行测试任务调度打下基础。

摘要：并行测试技术是支持下一代自动测试系统的关键技术之一, 本文分析了并行测试系统测试任务分解的可行性与必要性, 通过介绍并行测试任务分解的原则与并行测试任务形式化定义, 总结给出了并行测试任务分解策略方法要点。

关键词：并行测试,任务分解,分解策略方法,分解策略方案

参考文献

[1]何玉安.基于本体的制造网格任务管理关键技术研究[D].上海:上海大学, 2008.

[2]卓家靖, 孟晨.并行测试系统的任务分解和任务过程模型[J].电子测量技术, 2008, 8, 31 (8) :109-112.

创卫任务分解表篇3

摘要：任务的分解是实现多主体系统的关键，运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式，利用Petri网对任务的分解进行建模，得到任务分解Petri网，进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否，可以判断任务的分解结构是否有效。另外，对于任意一个有限的P/T网系统，给出了判断是否存在无效任务分解的充分条件，从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来，实现了多主体系统的一个亟待解决的基础性问题。

关键词：Petri网；任务分解；有效性；多主体

中图分类号：TP302文献标识码：A文章编号：1672-1098(2008)01-0085-05

收稿日期：2007-07-06

基金项目：安徽省高等学校青年教师科研“资助计划”项目(2007jq1039)；安徽理工大学硕士博士基金资助项目

作者简介：方欢(1982-)，女，安徽池州人，讲师，硕士，研究方向为Petri网理论及应用。

The Petri Net Method of Task Decomposition and

Its Validity Research

FANG Huan1，CUI Huan-qing2，WANG Li-li1

(1. School of Science, Anhui University of Science and Technology, Huainan Anhu ,232001,China;2. School of Information Science and Engineering, Shandong University of Science and Technology, Qingdao Shandong 266510, China)

Abstract: Task decomposition is the key to multi-agent system implementation. It is necessary to describe and validate the task decomposition structure by a formal method. The task decomposition is modeled by Petri Nets for the ordinary logical expressions of task decomposition, and the Petri net of task decomposition is obtained, after deleting unreasonable structure of task decomposition, the Petri net of valid task decomposition is obtained. By checking whether the Petri net of valid task decomposition exists, the task decomposition is valid or not can be judged. Furthermore, for any finite P/T net, the sufficient conditions for judging if invalid task decomposition structure exists, are proposed, and accordingly that only first-level live transitions exist in the valid task decomposition Petri net system is proven. The fundamental problem is solved by combination of task decomposition validation and liveness of Petri net system.

Key words: petri net; task decomposition; validity; multi-agent

由于多主体系统不仅能提供很好的系统鲁棒性和效率，能为现存的传统系统提供互操作性，还能求解那些数据、技术及控制等多种异构资源同时存在的问题，因此，多主体系统已越来越受到人们的重视。

多主体系统主要研究一组自治智能主体之间智能行为的协调问题，在实现具体多主体系统的过程中，首先面临这样的一些问题：如何在一组智能主体中形式化地表示、描述问题？如何分解、分配任务以及综合各个主体的结果［1-2］？多主体之间的协作存在并发和同步现象，因而可以利用Petri网对多主体的行为进行建模［3-5］，通过模型来了解主体之间的相互关系。另外，多主体系统中的多个主体可能只有一个求解目标，也可能有多个目标，对于这些给定的各个子目标如何在多主体之间协作实现，也可以利用Petri网求解这些子目标任务的完成序列及相关的分配工作［6-8］，为多主体系统的实现提供正确分析的依据。

以上这些工作都没有涉及到任务的形式化分解，即给定一个大的系统总目标，如何将这个大的总目标分解成各个子目标，在这个基础上再考虑任务的分配等问题。可见，任务的分解是多主体系统实施任务分配的前提，也是多主体系统实施协作的关键，因此借助一种形式化方法对任务分解进行建模并对任务分解的有效性及正确性加以验证，是十分必要的。

利用Petri网将总目标獹进行逻辑分解，使分解得到的子目标可以被单个主体完成，然后运用Petri 网的形式化分析方法对任务分解的正确性进行分析和验证是本文的主要工作。

记号玁=(S,T;F)表示一个Petri网结构，•x表示x的前集，x•表示x的后集，其中x∈S∪T。

1 基于Petri网的任务分解

首先，假定给定的总目标獹逻辑上能分解成若干个能被某个工作者主体单独完成的子目标。可以将獹进行逻辑分解，分解得到若干个子目标，每个子目标又可以继续进行逻辑分解，如此进行下去，直到得到一系列的不可再分解的小目标。

记那些不能继续进行逻辑分解的目标为原子目标，而可以进行分解的目标为中间目标。记号玣1(g1,g2,…,g璵)輌表示中间目标g可以分解成子目标g1,g2,…,g璵的逻辑关系组合。

定义1 若谓词公式獳有如下形式(类合取范式)：獴1∧B2∧…∧B璵,其中B璱(i=1,2,…,m)形如

獿1∨L2∨…∨L璲，其中L璳∈｛L1,L2,…,L璶｝(k=1,2,…j)，并且L1,L2,…,L璶都是文字，则称A为类合取范式。

定理1 任何一个类似玣1(g1,g2,…,g璵)輌的表达式，其左部f1(g1,g2,…,g璵)总可以转换为类合取范式的形式。

证明根据谓词逻辑的知识，任何一个逻辑关系式都可以化简成合取范式，而通过定义1可知，类合取范式可以通过添加项得到合取范式，而合取范式通过化简也可以得到类合取范式，因此可以将任何一个玣1(g1,g2,…,g璵)转换为类合取范式的形式。

类似可以定义类析取范式及其相关的性质。

定义2 若谓词公式獳有如下形式（类析取范式）：獴1∨B2∨…∨B璵,其中B璱(i=1,2,…,m)形如

獿1∧L2∧…∧L璲，其中L璳∈｛L1,L2,…,L璶｝(k=1,2,…j)，并且L1,L2,…,L璶都是文字，则称A为类析取范式。

定理2 任何一个类似玣1(g1,g2,…,g璵)輌的表达式，其左部f1(g1,g2,…,g璵)可以转换为类析取范式的形式。

下面给出基于Petri网的任务分解的算法。

算法1 总目标獹的Petri网分解

输入：需要进行分解的总目标獹

输出：任务獹分解的Petri网

步骤：

(1) 将獹进行逻辑分解，得到一系列的逻辑分解式的集合獸1，其中F1由一系列诸如f1(g1,g2,…,g璵)輌的逻辑表达式组成；

(2) 使用逻辑表达式的化简方法，将獸1中的每个表达式的左部都化简成类合取范式或类析取范式的形式，得到的表达式集合记为獸；

(3) 对于獸中的每个逻辑表达式，可使用图1的转换方法将其转化为Petri网结构；

(4) 将转换过程中所有的库所玸′组成的集合记为S′，所有变迁t′组成的集合记为T′，所有的流关系f′组成的集合记为F′，得到的Petri网结构为玁′=(S′,T′;F′)；

(5) 算法结束。

通过算法1，任何一个总目标的逻辑分解式就转换成了语义上等价的Petri网结构。a 玤﹊2∨g﹊3∨…∨g﹊m輌﹊1 b 玤﹊2∧g﹊3∧…∧g﹊m輌﹊1

图1 逻辑表达式转换为Petri网结构

定义3 设目标玤璱所对应的库所为s璱∈S′)，若(s璱,s璱)∈F′+，则称目标g璱是自包含的任务。

显然，若一个任务是自包含的，则其对应的逻辑任务分解是无效的。

定义4 设玁′=(S′,T′;F′)是总目标G分解得到的Petri网，而Petri网玁=(S,T;F)满足：

（1） S罶′∧T罷′∧F罠′；

（2）总目标G对应的库所s1,s1∈S；

（3）衳∈S∪T-｛s1｝:(s1,x)∈F+；

（4）衳∈S:(x,x)麱+

则称Petri网玁=(S,T;F)是总目标G的任务有效分解Petri网。

由于Petri网是一种特殊的二分图，因此根据图论的相关算法可以很容易求出满足条件：玸璱∈S′∧(s璱,s璱)∈F′+的所有库所组成的集合。通过算法2删除玁′=(S′,T′;F′)中所有的自包含任务，得到任务有效分解的Petri网玁=(S,T;F)。

算法2 总目标獹对应的任务有效分解Petri网的生成算法

输入：总目标獹根据算法1得到的Petri网

玁′=(S′,T′;F′)

输出：总目标獹对应的任务有效分解的Petri网

玁=(S,T;F)

步骤：

(1) 根据图论判断回路的算法，求出回路cicle中所有满足条件s璱∈S′∧(s璱,s璱)∈F′+∧(•s璱联玞icle∧s•璱联玞icle)的库所s璱组成的集合，记为S″（其中玞icle为任意一条回路）；

(2) 对于И衧∈S″，找出其前集T″=｛t｜t∈T′∧t∈•s｝；

(3) 找出集合F″=｛f｜(鰔∈S″∪T″)∧y∈S′∪T′(x,y)∈F′｝，从N′=(S′,T′;F′)删除S″，T″和F″е械乃有元素；

(4) 删除И衳∈S′∪T′:(x,s1)(F′-F″)+及其相关联的有向边，其中s1为总目标G所对应的库所；

(5) 算法结束。

若通过算法2计算出总目标獹对应的任务有效分解Petri网不存在，即为空网，则表示此时目标獹的逻辑分解是错误的，必须对獹重新进行逻辑分解。从这里可以看出，将任务分解转换为Petri网结构对于分析任务分解的有效性起到了很好的监督作用。在实际工程应用中，若不对一个总目标逻辑分解的有效性做出监督，则会造成很大的人力和财力的浪费，同样在多主体系统中，任务的有效分解是多主体系统的构建的基础。

定义5 设玁=(S,T;F)是总目标G的任务有效分解Petri网。

（1）映射玀0为

M0(s)=0 衧∈S,•s≠

1 衧∈S,•s=联

(2)

K(s)=｜｛t｜t∈T∧t∈•s｝｜衧∈S,•s≠

1衧∈S,•s=联

(3) И衒∈F:W(f)=1

则称苮=(S,T;E,K,W,M0)为G的任务有效分解的Petri网系统。

2 系统活性分析

定理3 任务有效分解的Petri网系统

И苮=(S,T;E,K,W,M0)是一个标识自由选择网。

证明由于在∑中，衪1,t2∈T(t1≠t2)满足

•t1∩•t2≠联荩•t1｜=｜•t2｜=1В根据自由选择网的定义［2］，可知结论明显成立。

定理4 任务有效分解的Petri网系统

И苮=(S,T;E,K,W,M0)每个变迁都是一级活的。

证明根据定义4，在任务有效分解的Petri网系统中都有И衪∈T:(s1,t)∈F+，而同时根据定义5可知M0(s1)=1，则M0［t＞В因此每个变迁都是一级活的。

引理1 设И苮=(S,T;E,K,W,M0)为任意一个有限的P/T网系统，满足：

（1） И苮＊是自由标识选择网；

（2）映射玀0为

M0(s)=0 衧∈S,•s≠

1 衧∈S,•s=联

(3)

K(s)=｜｛t｜t∈T∧t∈•s｝｜衧∈S,•s≠

1衧∈S,•s=联

(4) И衒∈F∶W(f)=1

若 И苮＊е写嬖谌级活变迁，则必存在玸∈S，使得(s,s)∈T+。

证明因为玹是三级活变迁，因此存在无限长的变迁序列σ使得t在σ中无限多次出现。设M0［σ1＞M1［t＞M2，其中#(t,σ1)=0，此时衧∈•t，M2(s)=0。因t是三级活变迁，则M2［t＞必然成立，设M2［σ2＞M3［t＞，其中，#(t,σ2)=0,此时衧∈•t，M3(s)=1，依此循环反复，即可得到无限长的循环序列σ1tσ2t…，使t出现无限多次。由于标识的流动是借助流关系来实现，因此由上面的分析可以很容易得出(s,s)∈F+。

引理1 可以用于任务自包含的判断。即对于一个给定的有限P/T网系统。可以根据引理1来判断是否存在库所玸满足(s,s)∈F+。

定理5 任务有效分解的Petri网系统中不存在三级活变迁。

证明根据引理1的证明，很容易得出结论成立。

定理6 任务有效分解的Petri网系统中不存在二级活变迁。

证明假设任务有效分解的Petri网系统中存在一个二级活变迁玹，根据类似引理1的证明思路，不难得出存在一个库所s满足(s,s)∈F+，与任务有效分解的Petri网定义相矛盾，故结论成立。

综合引理1，定理5和定理6可以得出：给定一个任务分解的Petri网系统苮＃若苮Ｖ写嬖诙级活变迁或三级活变迁，则苮？隙ú皇侨挝裼行Х纸獾腜etri网系统，其中必定存在库所玸使得(s,s)∈F+，也就是说存在自包含的任务分解。由此，通过活性分析可以判断一个任务分解的Petri网系统中是否存在自包含的任务分解，或者帮助验证当前的任务分解是否是有效的。

例：设有一个总目标獹，在逻辑上可以将其进行以下的分解（A軧表示可以通过A的完成来实现目标B）。

В1） (g1∧g2)∨(g3∧g4)軬

（2） (g5∧g6)∨g7輌1

（3） g15∧g1輌5

（4） g5∧g16輌7

（5） g8∧g9輌2

（6） g10∨(g11∧g12)輌3

（7） g12∨(g13∧g14)輌4

（8） g17∨g18輌12

从上述的逻辑分解式不易看出子目标之间的关系，以及总目标的实现需要借助哪些子目标来实现，更不能判断此时的任务分解是否是有效的。

根据算法1，将上述的8个逻辑分解式转换成任务分解Petri网（见图2）。

图2 逻辑分解式对应的任务分解Petri网然后再根据算法2，可得出任务有效分解的Petri网，并根据定义3得出任务有效分解的Petri网系统（见图3）。

图3 逻辑分解式对应的任务有效分解Petri网系统

可以对图3的任务有效分解的Petri网系统进行验证分析，系统中的每一个变迁都是一级活的，不存在二级活或者三级活的变迁。并且此任务有效分解的Petri网系统是一个自由标识选择网。从而验证了本文的结论。

3 总结与展望

本文利用Petri网对任务分解进行分析，提出了任务有效分解的概念，并在此基础上，利用Petri网的活性分析，对任务分解的有效性进行判定，给出了相关的结论，从而使得任务分解的正确性和有效性在任务在多主体之间进行分配之前能够得到验证，对多主体系统的构建和实现提供了保障。在解决了任务的形式化分解之后，以后将进行进一步深入的研究，考虑以下问题：① 如何利用任务有效分解的Petri网来对任务完成的先后顺序形成计划，组成多主体系统中任务分配的计划库；② 如何利用相关的Petri网理论证明计划实施的正确性，为多主体系统的主体计划的生成以及任务的分配和实施奠定理论基础；③ 如何利用Petri网来实现任务在多主体之间的动态分配。

参考文献：

［1］焦文品,史忠植.多主体间的协作过程研究［J］.计算机研究与发展,2000, 37(8)：904-911.

［2］姚莉,张维明,汪浩.多主体系统建模方法探索［J］.国防科技大学学报,1999,21(4)：118-121.

［3］马炳先,徐颍蕾,吴哲辉.用层次颜色Petri 网模拟主体行为［J］.系统仿真学报,2003,15(S)：114-118.

［4］ D XU, RAVOLZ, TRIOERGER,et al.Modeling and Verifying Multi-Agent Behaviors Using Predicate/Transition Nets［C］//Proceeding of the 14th International Conference on Software Engineering and Knowledge Engineering, Jul. 2002, 193-200.

［5］ DANNY WEYNS, TOM HOLVOET. A Colored

Petri Net for a Multi-Agent Application ［C］//MOCA '02, Aarhus,Denmark, 2002.

［6］ JAMIE KING, RAYMOND K PRETTY, RAYM-

OND G GOSINE.Coordinated Execution of Tasks in a Multiagent Environment［J］.IEEE Transactions on Systems, Man,and Cybernetics-part A: Systems and Humans,2003,33(5):615-620.

［7］ WENBIAO HAN， MOHSEN A. Jafari. Controller

Synthesis via Mapping Task Sequence to Petri Net［J］.Proceedings ortbe 2003 IEEE lotermtiood Conference an Robotics and Automation Taipei, Tairao, 2003, 33(4)：14-19.

［8］ JAMIE KING, RAYMOND K PRETTY, RAYM-

OND G GOSINE. Coordinated Execution of Tasks in a Multiagent Environment［J］.IEEE Transactions on Systems, Man, and Cybernetics-part A: Systems and Humans,2003,33(5):615-620.

［9］吴哲辉.Petri 网导论［M］.北京：机械工业出版社华章分社,2005.

［10］袁崇义.Petri 网原理与应用［M］.北京：电子工业出版社,2005.

［11］石纯一,黄昌宁,王家.人工智能原理［M］.北京：清华大学出版社,1993.

创建特色学校任务分解表. 篇4

长丰县---小学申报市素质教育示范学校目录 C1办学理念

C1-1 贯彻党的教育方针,以人为本,全面实施素质教育(4分

1、国家基础教育中长期发展规划纲要

2、“素质教育大家谈”摘录

C1-2树立德育为先、能力为重、全面发展的育人理念(6分

3、办学理念及解读

4、“三风一训”及解读 C2办学思路

C2— 1 学校有切合实际的中长期发展规划和工作计划(8分;

1、学校 2009— 2013年发展规划(要体现特色、绿色学校、语言文字规范化、体艺 2+1

2、学校 2009— 2012学工作计划及总结(要体现特色

C2— 2 实施素质教育有明确的思路、完整的方案和具体目标(12分。

3、学校实施素质教育方案

4、学校在文化科学、思想道德、身心素质、人文素质等方面育人具体目标 C3依法办学

C3— 1严格执行教育法规政策,依法治校(3分

1、老师学法材料(教师法、义务教育法、未成年人保护法、中小学教师职业道德规范、合肥市中小学教师违反师德行为处理暂行办法等

2、测评及民主评议材料

C3— 2 维护学校教育教学秩序和学生教育权利(3分

3、学校教师工作要求条例

4、上级部门在教学常规方面要求及学校教学常规

5、学校学生管理制度

C3— 3 涉校矛盾纠纷得到有效化解(4分

6、无涉校矛盾纠纷证明(派出所许阳 C4规范办学行为 C4— 1 不违规招生(4分

1、规范办学月查月报

2、学校招生方案 C4— 2 严格控制班额(5分

3、班额明细表

C4— 3 及时、准确、完整、规范的采集和录入学生学籍信息(5分

4、籍完成情况证明

C4— 4 不设重点班、快慢班(6分

5、不设重点班、快慢班证明

电子学

6、分班方案

C4— 5 不随意增加课时和课程难度,作业量适度

7、学校在课时、难度、作业量方面的规定

8、学校在课时、难度、作业量方面家长、学生问卷

9、校训通各班作业布置原始材料(部分

C4— 6 不擅自组织学生节假日、双休日集体补课(5分

10、节假日、双休日没有集体补课证明

11、节假日、双休日没有集体补课家长随访摘录 C4— 7 不对学生考试成绩排名(5分 C4— 8 无乱收费行为(4分

12、、收费检查报告(无乱收费证明及自查报告 C5领导班子

C5— 1按学校规模及相关规定,配齐领导班子(3分

1、学校规模

2、领导成员及分工、职责

3、校级领导任职文件

C5— 2校长持证上岗,符合任职条件、年龄结构合理、学历达标(6分

4、校长相关资料

C5— 3班子具有较强的领导管理能力, 团结协作,行政效率高(6分

5、民主评议材料

C6教师队伍

C6— 1实行教师资格制度,教师持证上岗(3分

1、学校教师花名册

2、教师证复印件

C6— 2按编制配齐配足各学科(部门教师(职工(6分

3、学科教师分布统计表及和上级要求对比

C6— 3专任教师学历合格,学科结构、专业职称结构和年龄结构合理(5分

4、学历、职称复印件统计表及整体情况说明张 C6— 4教师培养、培训工作有规划、有措施(5分

5、教师培训方案、校本培训方案、学习记录、学习

签到、学习心得、讲稿、继教证书、总结等相关资料、骨干教师、青年教师培养计划、各类获奖证书

C6— 5师德建设有制度,无体罚或变相体罚学生现象(6

6、师德建设方案、总结、承诺书、师德论文及相关活动(师德标兵、身边好老师

7、对学生有无体罚现象家长及学生随访摘录(无体罚投诉证明 C7校园校舍

C7— 1生均校园面积和生均校舍面积符合省颁标准(5分

1、校园面积、学生数、人均面积与省标准统计对比表盛

C7— 2根据办学规模和教育教学需要,设置普通教室、多媒体教室、计算机网络教室、图书阅览室(馆、音乐室、美术室、体育室、综合活动实践室、团(队活动室、广播室、卫生室、心理辅导室、小学生科学实验室或探究室、学生理化生实验室以及办公用房、生活用房等(10分

2、各功能室统计表及照片汇总盛 C8设施设备

C8— 1学校实验、图书、信息技术教育、音乐、美术、体育等设施设备和教学器材按省颁基本标准配备(15分

1、实验、图书、信息、音体美设施设备明细表 C9管理体制

C9— 1 ①实行校长负责制,校长有效行使职权(3分

1、校长职责

C9— 2党的基层组织发挥政治保障作用(2分

2、党支部职责及支委分工

C9— 3学校内部管理机构健全、结构合理、职责明确,中层干部配备到位,工作得力(5分

3、管理机构图

4、中层花名册及各部门职责(教务、德育、总务、办公室、科普办、工会 C9— 4校务会议、教代会等组织发挥民主管理和监督作用(3分

5、校务会、行政会记录

6、教工大会制度

7、测评及民主评议材料 C9— 5坚持校务公开(2分

8、校务公开栏图片及公开材料 C10制度建设

C10— 1学校行政、教学、后勤等各项工作规章制度健全(6分

1、行政、教学、后勤相关制度汇总

C10— 2建立健全以服务教学、服务学生为导向的岗位责任制(5分盛

2、班主任岗位职责

3、德育处、教务处职责

4、保健医生、心理咨询老师职责

C10— 3有全员参与、全面考查的学校自评制度(3分

5、学校工作自评制度

C10— 4形成一套科学有效的教育质量评价机制和学生综合素质评价机制(6分

6、教学质量评价机制(制度

7、学生综合素质评价机制(制度 C11安全管理

C11— 1 健全各项校内安全管理制度(5分

1、安全管理制度(消防、防踩踏、防溺水、路队、预防传染病、晨午检、大型活动„„

C11— 2建立安全工作长效机制和突发事件应急预案(4分

2、学校安全工作机制(措施

3、校园各类突发事件预案(防火、防震、防践踏、防传染病„„

C11— 3安全教育制度化、规范化,师生安全防范意识强(4分

4、安全教育计划、活动资料(防火、防震、防溺水、交通安全、传染病预防„„和总结

5、学生安全知识问答试卷(部分

6、一月一主题教育材料

7、月查报表

C11— 4 “三防”及安全隐患排查治理措施到位(4分

8、人、物、技防相关资料 C12校园环境

C12— 1校园净化、绿化、美化(4分 C12— 2校园用字用语规范(4分

C12— 3园文化建设体现环境育人,体现校风、教风、学风和办学特色(6分 C12— 4园人际关系和谐,师生精神风貌良好(4分

校园绿化、美化、墙壁文化、学生做操场景等图片及文字说明子木 C13德育教学

C13— 1学校制定了层次递进、适应学生年龄特点的德育目标、德育计划(4分

1、德育目标、计划(递进

C13— 2有一支稳定的德育工作队伍,工作水平较高(3分

2、德育队伍名册及个人简介、获奖证书、论文等

3、德育经验介绍(德育工作汇报材料

C13— 3改进德育方式方法,寓德育于各科教学之中,与学生生活相联系(5分

4、班主任手册(班队会德育方面记录

5、课程表

C13— 4充分利用各种社会资源,加强学生德育工作(3分

6、利用社会资源开展学生活动(春游、交警上课、庐剧进校园、走进科技馆、到工地宣传普通话、小小楼栋长聘请、万达资助贫困学生、电台关注留守儿童等等

C14班团队工作

C14— 1班级工作、少先队工作、团组织工作有计划、有实效(4分

1、班级工作计划、总结

2、少先队工作计划、总结

C14— 2班团队活动主题明确,内容符合学生年龄特点和心理特征(4分

3、少先队各项活动方案、总结(一日常规检查、文明班级评选、黑板报评比、礼仪之星评比、新生入队、„„

C14— 3活动形式丰富多样,学生参与面广(4分

4、少先队、主题班会、队会相关活动过程材料(一日常规检查、文明班级评选、黑板报评比、礼仪之星评比、新生入队、含科普内容的国旗下讲话„„

5、校园网站相关页面截图

C14— 4校内外教育活动有机结合,形成整体效益(3分

6、校外资源开展学生活动(春游、交警上课、庐剧进校园、走进科技馆、到地工宣传普通话、小小楼栋长聘请、万达资助贫困学生、电台关注留守儿童等等

C15课堂教学

C15— 1 严格执行课程方案,开齐课程,开足课时(8分

1、省市课程方案

2、总课程表及部分班级课程表

C15— 2教学计划和课程设置结合国家课程、地方课程和校本课程, 体现办学特色(8分

3、学校每学期教学计划、课程设置说明、4、地方教材及校本教材

C15— 3课堂教学运用启发式、探究式、讨论式等教学方式,师生积极互动(10分

5、部分老师教案(内含教学计划和总结

C15— 4注重培养学生自学能力和创造性思维能力,促进学生学习方式的转变(8分

6、老师关于促进学生学习方式转变的经验总结(论文

C15— 5改进教学手段,充分利用现代教育技术、教学器材和自制教具,加强直观教学和实验操作,提高教学效果(7分

6、老师用多媒体上课图片、利用教学器材上课图片、自制教具图片子木 C15— 6面向全体学生,关注个体差异,因材施教,满足不同程度学生的学习需要,使每个学生都得到发展(9分

7、转化后进生经验介绍 C16体育卫生

C16— 1 树立“健康第一”思想,做好体育课教学、“二操”和“大课间”活动,保证每生每天 1小时体育活动(5分

1、学校课程计划(涉及体育卫生圈出

2、作息时间安排

3、大课间活动方案

C16— 2实施《国家学生体质健康标准》 ,定期对学生体检,建立学生体质健康档案(4分

4、健康档案、体验汇总表

C16— 3每学年举办一次校运会(体育节(3分

5、运动会秩序册及相关材料 C16— 4卫生保健制度健全(2分

6、卫生工作相关制度(学校卫生制度、个人卫生制度、教室卫生条例„„

C16— 5有专职卫生保健人员、卫生室配有常用药品和医疗器械(3分

7、卫生保健人员资料(培训、学历„„

8、常用药品照片

C16— 6开展健康教育,重视心理健康教育(3分

9、健康教育工作制度、教案、计划、总结、王超

10、心理健康教育相关资料(心理咨询记录本、心理咨询室图片、专题讲座、讲稿

C17艺术教育

C17— 1 重视音乐、美术课程教学(3分

1、学校课程计划、课程表(涉及艺术教育方面圈出 C17— 2培养学生审美情趣,有艺术类兴趣活动小组(2分

2、体艺 2+1活动方案

3、兴趣小组点名册及教学材料

C17— 3开展课外艺术教育活动有计划、有指导教师,有相对固定的场所,有供学生欣赏的声像资料、制品(3分

4、课外艺术教育活动计划、相关材料(舞蹈队、合唱队、竖笛队等活动计划、学生名单、活动场所、指导老师名单、活动图片等罗莉、5、音乐、美术、多媒体、会议室图片

6、学生欣赏的声像资料(部分艺术教育方面光盘 C17— 4每学年举办一次文化艺术节(2分

7、艺术节方案、六一汇演节目单等相关材料

C18综合实践活动

C18— 1有劳动教育和社会实践活动计划,主题明确(4分

1、课程表

2、劳动教育和社会实践教育计划、许

3、学生实践具体活动方案(劳动教育和社会实践方面

C18— 2有研究性学习指导方案,各年级各学科的学习目标、内容、要求具体(4分

4、学校研究性学习指导方案

5、各年级、各学科实践活动目标、内容及要求 C18— 3信息技术教育与各科教学有机整合(4分

6、老师运用信息技术开展课堂教学教案

7、各学科教学课件光盘

8、班班通图片

C18— 4充分发挥实验室、图书室(馆等资源对学生实践活动的作用(4分

9、实验室、图书室使用记录

C18— 5学生社团活动丰富多样,效果显著(4分

10、学生社团活动(地震、观鸟、科普、文学社、主持人、绘画等活动资料(参照体艺 2+1方案

11、学生获奖统计 C19教研科研

C19— 1 建立以学科代头人和骨干教师为龙头的教科研队伍(6分

1、学校教科研制度、组织机构

2、教科研激励机制

3、教科研队伍名册及简介

C19— 2 学校领导积极参与教科研工作(3分

4、学校领导联系教研组安排

5、教研活动记录(领导签名、领导参与教科研活动图片 C19— 3 教科研工作联系实际、有计划、有措施保障(5分

6、教研工作计划、相关活动资料

7、教研工作保障措施(场所、经费、时间„„ C19— 4 有市级以上相关课题(5分

8、课题相关资料(开题报告、过程材料、研究成果等

C19— 5 逐步形成具有本校特色的校本研究模式,教师参与面广(6分

9、校本研究经验总结

C19— 6 校本研究促进教学效果优化、教师专业成长成效显著(5分

10、教师专业成长材料(获奖„„

C20多元评价

C20— 1实行学生综合素质评价, 不以考试分数为唯一评价标准(4分

1、学校在学生评价方面的规定汪

C20— 2注重学生个性成长和发展性评价(5分;

2、学生发展性评价方案

C20— 3学生操行评语采用寄语式评语(3分

3、学生素质报告手册(部分

4、老师评价学生节选

5、学生成长档案

C20— 4全面评价教师工作,综合教学业绩、教研成果、师德和专业素质等方面(5分

6、教师工作评价制度

C20— 5不以班级学生成绩与升学率为唯一依据考核教师(3分

7、绩效考核方案 C21思想道德素质

C21— 1 学生遵守《中小学生守则》、《中小学生日常行为规范》 , 具有热爱祖国,关心集体、遵纪守法、维护公德、保护环境,尊重和理解他人等良好思想情感和道德素养;(5分

1、学生成长档案(侧重道德品质方面内容

C21— 2 初步形成正确的世界观、人生观、价值观(4分

2、学生素质报告册

C21— 3 逐步具有诚实守信、文明礼貌、正直、有社会责任感等良好品质(4分

3、“三星”材料

C21— 4近三年在校学生违法犯罪率为零(2分

4、无犯罪证明(派出所 C22文化科学素质

C22— 1学生具备课程标准规定的文化基础知识和运用知识的能力, 学业水平测试合格率达 95%以上(15分

1、学生素质报告册

C22— 2形成良好的学习习惯,观察、思维、表达、动手操作能力较强(8分

2、家长、老师对学生学习习惯,观察、思维、表达、动手操作能力的评价摘录 C22— 3具有实践和创新意识,能综合运用知识解决一些实际问题, 有小发明、小创造、小论文等(7分

3、小发明、小创造、小论文汇编及统计

4、学生成长档案(侧重文化科方面 C23身心素质

C23— 1 学生初步掌握体育运动和健康的基础知识与技能,体育课及格率 95%以上(4分

1、学生体育考核成绩汇总

2、学生素质报告册

3、大课间、2+1活动资料

C23— 2 养成良好的体育锻炼习惯和卫生习惯(2分

4、学生一日常规检查、班级卫生检查等资料 C23— 3 体质健康标准达标率 90%以上(2分

5、体质健康统计表(达标率 90%以上

C23— 4 具有活泼、自信、积极、合群等良好精神状态(3分

6、学生活动图片(精神风貌好如运动会、课外活动、远足、做家务、做好事„„

C23— 5 具有自强、进取、克服困难、不怕挫折等心理品质(2分

7、自强、进取、不怕困难等主题班会、队会材料、8、远足(春秋游活动图片及文字说明

C23— 6 具有一定的适应社会能力和自我发展能力(2分

9、家访材料(重点是家长谈学生适应能力和自我发展能力

10、学生成长档案(侧重身心素质方面

C24人文素质

C24— 1 学生掌握基础的音乐、美术知识,教学内容考查及格率 90%以上(3分

1、学生音乐、美术考核成绩汇总

2、素质报告册

C24— 2 审美情趣和人文素养逐步提升, 具有一定的感受美、鉴别美、表现美的能力

3、班级文化建设图片(各类装饰、黑板报„„子木 C24— 3 自觉做到语言美、行为美、仪表美(2分

4、社区、居民对学生语言美、行为美、仪表美评价 C24— 4 部分学生具有某方面艺术特长(3分

5、学生获奖证书、考级证书

6、学生成长档案(侧重文明礼仪方面 C25办学水平

C25— 1 学校形成一批专业优秀、师德高尚,在当地具有一定影响的骨干教师(5分

1、优秀教师简明情况及获奖情况统计

C25— 2素质教育成效突出,学生全面发展、所有学生都得到发展, 各年级学生全科合格率、毕业年级学生毕业率和按时毕业率达较高水平(8分

2、毕业生成绩数据统计及全区平均水平对比吴卫东

C25— 3教科研成果(阶段性成果显著,富有指导意义和推广价值(4分

3、教研成果统计

C25— 4近年来,学校、教师及学生获得上级政府、教育主管部门及相关部门的诸多表彰或奖励(3分

4、C26 办学拓展学校、师生获奖情况统计 C26—1 充分发挥家庭对促进学生全面发展的作用，家长工作卓有成效，家长学校制度化、正常化（4 分）1、2、3、家长学校制度家庭教育经验总结家长学校开课记录、课表 C26—2 面向社会办学，学生积极参与社会经济、文化活动，在社区精神文明建设等方面做出重要贡献（3 分）

4、小小楼栋长„„）C26—3 学校的办学水平和教育质量得到广泛认可，社会声誉进一步提升，社会对学校的满意程度高（满意率 85%以上）分）（35、6、7、社区、居民、周边单位、家长对学校办学评价摘录网上评价摘录学校规模逐年提高柱状图学生参与社会活动相关材料（到工地宣传普通话、特色学校目录

一、办学特色结合学校实际，符合素质教育方向

1、定特色依据的相关文件

2、创建特色可行性分析

二、特色办学理论指导和实施方案不断得到丰富完美，具有创造性、科学性、可行性，给市级教育部门审核认定

1、特色办学理论指导文件

2、不断丰富完美的三年实施方案和总结

3、专家指导意见

三、特色办学思想贯穿学校整体工作，体现在管理、教育教学等方面

1、C2 办学思路学校 2009—2013 年发展规划（要体现特色）学校 2009—2012 学工作计划及总结（要体现特色）

2、办学理念、三风一训及解读

3、行事历（每月都有活动）