发展党员程序支部

发展党员程序支部（共8篇）

发展党员程序支部 篇1

一、支部大会接收预备党员主要程序

1、召开支委会（不设支委会的召开支部大会）讨论研究发展对象是否进入履行发展程序相关事宜。

2、入党申请人有两名正式党员做介绍人。入党介绍人一般由培养联系人担任。可由发展对象自己约请，或由党组织指定。

3、党组织指定专人或由介绍人指导发展对象填写《入党志愿书》。介绍人认真填写自己的意见。

4、召开支部大会。由申请人汇报对党的认识、入党动机、本人履历，以及需要向党组织说明的问题。

5、支委会报告对申请人的审议情况。

6、介绍人报告对申请人培养教育情况。

7、与会党员对申请人进行充分讨论，肯定成绩、指出问题和不足，提出希望。

8、采取无记名投票方式进行表决。赞成票人数超过应到会有表决权的正式党员的半数，通过接收申请人为预备党员的决议（因故不能到会的正式党员正式向支部提出书面意见的，统计在票数内）。

9、党支部填写好支部大会决议。申请人的《入党志愿书》报上级党委。

10、上级党委指定专人同本人谈话，并认真填写谈话情况，表明谈话人的态度。

11、上级党委审批。

12、预备党员编入党的一个支部（党小组），开始交纳党费，填写《预备党员考察登记表》。

注意的问题：

1、党支部大会讨论接收发展对象为预备党员时，正式党员到会不得少于80%。

2、支部大会讨论两个以上入党申请人的申请时，必须逐个讨论和表决。

3、支部大会讨论表决申请人的申请时，本人无需回避。

范文56

支部大会通过接收×××同志为预备党员的决议

经支部大会审查和充分讨论，认为×××同志于××××年向党组织提出入党申请以后，认真并较系统学习了党的基本知识，经常向党支部汇报思想，接受支部的培养、教育和监督，工作积极肯干。对党的认识明确，入党动机端正，有为共产主义事业奋斗终身的决心，努力以实际行动争取早日成为一名光荣的共产党员。他始终坚持四项基本原则，能自觉用共产党员的标准要求自己，正确处理国家、集体和个人的利益，积极参加各项集体活动，乐于助人，工作学习等各方面表现都较为突出。不足之处是：性格急躁，做思想政治工作不够耐心。

经支部审查，×××同志个人历史、直系亲属和主要社会关系清楚，现实表现符合共产党员的标准。

表决结果：本支部共有党员××名，实到会党员××名，其中有表决权的正式党员××名，经举手（无记名投票）表决，同意的××名，不同意的××名，弃权的××名，同意人数超过应到会有表决权的正式党员半数，同意吸收×××同志为中共预备党员。

中共×××××支部

支部书记×××

××××年×月×日

二、支部大会通过预备党员转为正式党员主要程序

（1）申请转正的预备党员汇报自己在预备期间的表现、主要优缺点、今后努力方向，以及需要向党组织说明的问题。

（2）党小组介绍预备党员在预备期间的工作、学习、思想情况和小组意见。

（3）支委会介绍对预备党员的审查情况，提出能否转为正式党员的意见。

（4）全体党员讨论。主要是针对预备党员在预备期间的表现，肯定成绩，指出缺点，提出希望，并表示是否同意转正的意见。

（5）支部大会表决。讨论预备党员转正的支部大会表决办法，与讨论吸收党员时的支部大会表决办法相同。

（6）通过支部大会决议。支部大会表决赞同预备党员转为正式党员（或延长预备期、取消预备党员资格）后，需通过支部大会决议。决议的主要内容是：预备党员在预备期间的表现，支部大会讨论的情况，以及对预备党员是否具备转正条件的意见，表决情况及表决结果。

（7）申请转正的预备党员表态。根据到会党员的评议，表示决心，内容是继续努力发扬自己的成绩，坚决改正、克服存在的问题，不辜负党组织的期望，切实争取从思想上入党、为实现共产主义奋斗终生。

（8）填写支部大会决议。支部大会后，及时将支部大会决议填入《入党志愿书》中的有关栏目，并由支部书记签名盖章，报送上级党组织审批。

范文57

支部大会通过预备党员转为正式党员的决议

经支部大会审查和充分讨论，认为×××同志在预备期间思想进步较快，能严格按照党员标准要求自己，工作积极肯干，学习认真，遵纪守法，自觉接受监督，能起到模范带头作用，基本具备中共正式党员条件。

大会表决：支部党员共××名，实到会××名，其中有表决权党员××名，同意的××名，不同意的××名，弃权的××名，同意×××同志按期由中共预备党员转为中共正式党员。

中共×××××支部

支部书记签名（盖章）：×××××××年×月×日

发展党员程序支部 篇2

1 学生党支部工作现状和面临的主要问题

近年来,高校学生党员发展工作总体上取得了较大成绩,随着学生规模的增长,高校学生党员的数量每年都在递增,学生党支部的数量也在随之增长。学生党支部中,绝大多数学生党员政治热情高,他们能够认真学习党的基本理论和指导思想,在大是大非问题上能够旗帜鲜明、立场坚定;在组织观念上,绝大部分学生党员党性原则比较强,能够自觉遵守党的纪律,维护党的团结和统一;在思想品德和学习方面也比较突出,较好地发挥了先锋模范作用;大多数的支部书记和支委成员能够按照党的要求,尽职尽责、坚持制度、努力工作,联系广大同学,不断创新党支部的工作形式和活动方式,努力将支委建成支部的核心,将学生党支部建设成为大学生思想政治教育的坚强战斗堡垒。这些都说明高校学生党建工作是积极有效的。但在看到成效的同时,我们也要看到学生党支部工作面临的问题。据笔者根据工作实际,归纳如下:

(1)学生党员和积极分子规模增大,学生党支部的设置不尽合理。高校招生规模逐年增加,致使每个专业、每个年级、每个学生班级的学生人数逐年增多。改革开放后党在社会主义建设事业中所取得的辉煌成就,举世瞩目,更是吸引了当代以90后为主体的大学生群体。他们入党的积极性非常高,积极向党组织靠拢。目前,学生党支部的设置大多是按照自然年级设置的,这就必然造成了每个学生支部的党员数尤其是积极分子人数,数量巨大。对于数量如此多的积极分子如何进行有效的培养和考察,对于学生党员如何进行有效的引导和教育是学生党支部工作考虑的重要问题。有的学院一个学生支部覆盖好多班级,支部正常开展活动的时间都成为了比较大的问题。如此种种,都暴露出当前学生党支部设置的不尽合理。

(2)学生入党动机呈现多样化,理想信念不成熟、不坚定。当前部分学生的入党动机日益复杂化,表现出盲从、虚荣和功利化倾向。加之现在大学生的就业压力十分巨大,而招聘单位大都以政治面貌是否为中共党员作为招聘和录用的条件之一,致使很多学生入党动机呈现多样化、复杂化,并具有功利性目的。此外,部分学生,尤其是新生,对党的发展历史,现阶段的方针、政策缺乏系统的了解,入党多数为家长要求,表现出理想信念不很成熟,入党有一定的盲从性。

(3)学生党支部工作不够规范,学生党员发展的标准和程序不够细化,出现了一些“重发展,轻培养”、“重数量,轻质量”的不良现象。党员发展条件就是党章中党员标准的具体化。《中国共产党党章》规定“发展党员,必须经过党的支部,坚持个别吸收的原则”,但是,党章关于发展党员的条件具有很强的原则性,定性的条件多而定量的条件少,主观的指标比较多而客观的指标较少,有普遍适用的条件而没有针对不同行业职业等的专门条件。由此产生了党员发展原则性强而党章中关于发展条件的操作性不强的矛盾。各级党组织制定的党员发展工作制度,也主要在工作程序上进行规范,很少论及党员发展的条件,党员发展条件常常因人因事因时不同而变化。造成党员发展难以准确把握,甚至出现一些偏差,成为党建工作的一大困惑,同样也成为高校学生党员发展中的主要困惑。不同学校,同一学校的不同院系,同一院系的不同时期,党员发展条件都不尽相同。

支委学生党员缺乏对支部工作系统全面的了解,学生党员对发展党员的程序了解不深、不细,入党联系人对自身的职责认识不清,也缺乏相应的工作方法,致使培养考察工作出现表面化、形式化现象。

(4)学生党建工作人员政治理论修养、党务工作知识和能力欠缺,工作精力分散。高校学生党支部建设工作的主要负责人一般为辅导员,他们大部分是本科或硕士毕业后到高校工作的,思想政治教育专业毕业的辅导员不多。再加上他们比较年轻,平时工作繁琐,导致他们政治理论修养不高,党务知识和能力欠缺,大多凭经验或向其他同事学习来进行日常的党建工作,这就使得他们在进行学生党支部建设或指导和教育学生党员时政治理论和道德修养水平不够高。

(5)学生党员的党员意识不强,发挥党员先进性作用的意识和能力有待提高。学生党员对自己的主体地位认识不足。学生党员在学生中具有其特殊性,因为他不仅仅是学生中的一分子而且也是党组织中的成员,因此他们在平时除了学习外还应该积极承担党员的义务。而他们一般入党后往往忽略了党员的角色,在日常的学习生活中,不能积极主动的帮助有困难的同学,不愿积极影响和引导同学的思想和认识,而是被动的听从老师的安排,这样就不能起到党员的模范带头作用,体现党员的先进性,一定程度上使得学生党员在学生中的威信降低,这对党的发展是极其不利的。

2 规范党支部工作,完善学生党员发展体系,确保党员发展质量

2.1 建立和完善《学生党支部工作规范》,规范学生党支部工作

(1)细化入党条件。根据党章的原则性规定,结合大学生学习生活的特点,除了党章明确的条件要求之外,可以对学生党员的入党条件进一步细化。细化的原则一是突出价值认同;二是强调学业优先;三是要求同学公认。价值认同就是要强调学生对党的共同理想和信仰的认同感,能够树立正确的入党动机;强调学业优先,是在价值认同的基础上,对学生特别的要求,可以考虑分不同的年级而有差别的要求,但应该有一个底线即能够顺利完成学业;要求同学公认,就是要求学生党员要能够关心集体、关心他人,能够积极有效的影响他人,并付出行动,为集体和他人甘做奉献,这也是党群众路线要求的体现。

(2)明确入党程序和环节。程序正当和完备,是保证结果公正的一个基本前提。入党的程序也是这样。建立和完善从入党积极分子—院系初步党课培训—重点培养对象—学校党校培养—发展对象—支部重点培养和考察—预备党员—入党后教育—正式党员以及到党员党性的修养和思想理论的提高的完整的入党程序和环节,并对每个程序环节应该侧重培训和考察的重点内容和时间要求做出方案。

(3)明确支部书记、支委和入党联系人的职责。发展和教育党员是党支部的重要职责和主要工作内容。应按照党章和《基层工作条例》的要求,分别明确支部书记、支委和入党联系人的职责和任务,建立一定的问责制。督促和警醒他们忠于职守,以对党和个人高度负责任的态度对待自己从事的工作。

2.2 努力创造条件,将学生党支部建立在班上

当前学生党支部大多是按年级设置的,党支部的核心作用和战斗堡垒作用之所以发挥的不够好,我个人认为原因有三:一是党支部面对的工作对象数量大,无论是党员、入党积极分子还是普通学生都很多;二是高校的学习和生活制度,限制了大家了解和交流的时间和机会;三是党员虽然分散在班级,但没有有效的组织和领导核心,工作的效率自然大打折扣。基于以上原因分析,笔者认为,将党支部建立在班上则有效避免了以上种种弊端,使得党支部的工作更为有效。

党支部建立在班上的难点有二:一是低年级党员数量少,很难达到在班级设置党支部的标准;二是学生党支部的数量扩大,增加了基层党组织的管理难度,尤其是配备党支部书记的难度。对于第一点,我们可以按专业班,一二年级或一二三年级合并建立党支部,即相对减少了按年级设置的人数巨多的弊端,又有利于在支部的建设中培养支委的梯队,以利于之后的班级党支部建设。对于第二点,可以因地制宜,充分发挥辅导员、党员班主任和专职党务工作人员的积极性,配备好党支部书记。

2.3 加强对学生辅导员、学生党支部书记和骨干学生党员的培养

学生辅导员、学生党支部书记和骨干学生党员在学生党建中起着至关重要的作用,首先,制定规范的培养考核制度,平时对这支队伍进行监督并进行定期培训,不断提其业务能力和党性、理论修养水平。其次,要对其进行工作方法的培训和教育,以提高其工作水平。第三,要提高其利用现代教育手段,加强学生党建工作水平的培训。网络现已成为学生对外交流的重要信息途径,因此我们必须要用正确、积极、健康的文化来占领网络阵地。

总之,新修订的《中国共产党普通高等学校基层组织工作条例》是新时期下高校学生党建工作的重要指导性文件。党建工作者要严格按着《工作条例》的要求,积极思考党建工作面临的现实问题,提高认识,真抓实干,才能保障高校学生党建工作的顺利进行,才能为高校实现“培养德智体美全面发展的中国特色社会主义事业合格建设者和可靠接班人”的伟大任务而提供坚强的政治保障。

参考文献

[1]黄耀元等.构建“三级党校”培训体系加强高校学生党建工作[J].新西部,2010(4):11-12.

[2]刘子金.高校学生党员发展条件的设计探索[J].中国校外教育(下旬刊),2008(3):46-47.

发展党员程序支部 篇3

关键词：高校学生；党员发展；支部建设

一、高校学生党建的意义

随着我国进入经济转型的加速期和社会矛盾的凸显期，各类社会热点问题叠加出现，世界范围内各种思想文化相互激荡。我国青年的思想观念和行为方式也发生了深刻变化，思维方式更加活跃、价值取向更加多元、利益诉求更加多样，在接触新事物、新观念过程中更容易受到不同思想文化的渗透和影响。面对当前国际国内的复杂形势，加强对青年一代的思想引导，大力培养青年马克思主义者就显得尤为重要。在新的历史条件下，我们要培养的青年马克思主义者的基本要求是：高度的理论自觉、鲜明的实践品格、深厚的群众根基、奋进的创新精神[1]。广大的高校学生作为青年中的先进分子，更是青年马克思主义者培养工程的重要对象。总体来看，当代大学生政治思想健康稳定，认同党的领导和社会主义事业；认同社会主义道德标准，尊重集体利益；具有自立自强意识，充满创新热情；积极主动发展，素质全面提高。但部分学生也存在下列问题：社会责任感缺失，理想信念层次低，学习动力不足，自律意识不强，协调合作能力差。胡锦涛总书记指出：一个有远见的民族，总是把关注的目光投向青年；一个有远见的政党，总是把青年作为推动历史发展和社会前进的重要力量。学生党建是包括学生党组织建设、学生党员队伍建设和发展学生党员等工作在内的系统工程。习近平同志在第十九次全国高等学校党建工作会议中指出，高校在国家经济社会发展全局中居于重要地位，高校学生党建工作是思想政治工作的重要内容，也是高校党建工作的重要组成部分，因而，在新时期如何以科学发展观为指导，以改革创新的精神进一步加强和改进高校学生党建工作，是高校党务工作者必须认真思考和积极应对的问题[2]。加强高校学生党建工作不仅是实施人才强国战略的要求，而且是高校思想建设的要求，同时也是高校学生发展的内在需要。目前，高校学生党建已步入快速发展阶段，学生党员人数不断上升。在高校学生党员数量增多的同时，培养质量是否符合要求？如何使高校学生党建工作与时俱进，体现创新精神？高校学生党建工作哪些方面尚需改进？围绕这些问题，笔者进行了调查。

二、高校学生党建的现状调查及分析

总体来看，学生党员动机纯、言行正、素质高。但部分学生投机入党，功利思想严重；部分学生入党后积极性下降、进取心减弱；不少党员在理论上认同党的宗旨观念，但在实践中却不能完全践行。调查得知，大学生的入党动机呈现多元化，大体可分为信仰型、从众型、投机型几类。大多数学生的入党动机是端正的，但也有部分人对党的认识不够深刻，入党存在功利化和从众心理，把入党作为求职或者深造的资本。随着学业年级的提高，大学生入党动机的多元化、功利化倾向更趋明显。有的党支部发展党员重数量，轻质量，导致党员质量良莠不齐，先锋模范作用发挥不够。学生党支部与团组织在发展党员工作中衔接不够紧密。学生党支部组织活动开展不足，与学生社团有效结合度低。学生党支部对学生党员入党后的培养管理缺乏长期规划，导致发展工作成为学生党支部的中心任务。部分学生党支部建设和管理制度不完善，组织生活表面化、形式化，缺乏活力，没有真正发挥政治核心和战斗堡垒作用。

三、高校学生党建工作的完善与创新

为了加强高校学生党员培养，提高党员修养，完善支部建设，提高支部活动质量，结合调查结论，笔者从高校学生党建工作的目标、形式、体系、考核、制度等五方面提出了应对策略。

1.党员培养目标要加强针对性。把握高校学生的整体特征以及个性差异，找准目标，明确任务，实现党建的针对性和有效性。不同年级树立不同的党建目标，各年级学生发展党员的数量应分出不同层次，形成合理的分布比例。《中共中央国务院关于进一步加强和改进大学生思想政治教育的意见》中指出，要坚持把党支部建在班上，努力实现本科学生班级“低年级有党员，高年级有党支部”的目标。根据高校学生成长的阶段性特征，一年级可以结合入学教育，通过“两课”进行理论引导，建立入党申请人理论学习小组，集体培养；二、三年级在原有入党申请人理论学习小组的基础上，扩大积极分子队伍，在保证质量前提下，增加发展数量；四年级要引导其树立正确的升学及就业观念，毕业生党员要作出表率。

2.党员培养形式要理论与实践并重。大学生喜欢多样化的教育形式，希望教育过程艺术化、生活化、实践化。首先，有机整合各种教育素材，拓宽教育内容。采取个人自学、课堂讲授、小组讨论与调查研究等形式。充分利用现代信息科学技术，不断更新教育手段，将传统的课堂授课与手机飞信、QQ群、博客、网站等平台有机结合，扩大党建教育的覆盖面。其次，积极组织贴近时事和生活的实践活动。开展形式多样、载体创新、主题鲜明、内涵丰富的学生党建活动，增强学生党员的参与热情，提高组织生活的绩效。开展高校学生党员实践活动要紧密结合国内外热点时事，周密计划，精心组织，讲创新、讲效率、讲收获。部分活动应该面向全体学生开放，通过活动来加强宣传，增强学生对党组织的感性认识，体现党员先进性。

3.党员培养体系要立体化构建。扩大学生党建的开放性，党建、团建、班级建设、社团建设统一规划。学生党支部是学生群体中党的基层组织，学生党支部要发挥思想引领功能，做好党员的吸收、发展、培养工作。同时，学生党支部积极寻找自身与班级、团支部以及社团的结合点，组织社会实践、志愿服务、调查研究、科技创新等丰富多彩的活动，激发学生树立远大理想，提高学生的政治素养和学业水平，促进学生进步。学生党支部要同团支部保持密切联系，党建团建同步规划、同步实施、同步考核、同步表彰，使先进学生的考察培养和教育管理保持连续性和一致性。

4.学生党建工作要指标化考核。通过多角度的考核评价，分阶段总结党建工作成效，通过信息反馈加强工作指导，以考核促优化。从学校相关部门及学院教师、班级干部、班级同学以及自身等多角度出发，以学生党员行为规范和学生党支部工作目标来设计考核指标，通过问卷、访谈、座谈等形式，全面开展对学生党员和支部工作的质量考核和综合测评。

5.学生党建工作要制度化实施。在高校学生党建工作中，要切实加强制度建设和创新，使各项制度的制定和实施既符合先进性要求，又切合大学生实际。通过对制度的制定、完善和执行，规范各项工作的操作规程。党建制度包括学生党员培养和管理制度，学生党支部建设和发展制度。目前，高校相对重视党员发展工作，学生入党前的教育、考核、发展机制比较健全规范，有比较完备的推优制度、党小组学习和党校教育培训制度、思想汇报与谈话制度、入党公示制度等。然而，学生入党以后的教育和培养缺乏制度性的规定，停留在较低的水平。要加强学生党支部的组织活动制度建设，明确组织生活会、主题党日活动制度、党员保先制度，以此将前期的培养与发展、后期的教育和管理连贯为一体，形成学生型党支部。

高校广大青年学生共产主义信仰确立的程度和范围，是我党战斗力和生命力的重要体现，是检验一个高校学生党建工作绩效的重要标志，也是高校学生党建工作的根本出发点和落脚点。做好大学生党建工作是党的事业发展的要求，也是提高高校人才培养质量的重要手段。在发展大学生党员的过程中，各高校既要在数量上进行适当的控制，又要结合实际情况来把握质量，努力实现新时期发展学生党员的数量和质量的辩证统一，最终实现“数量体现主流，质量体现标准”的党员发展理念，确立科学的发展学生党员的数量观和质量观[3]。因此，必须努力营造学生党建良好氛围，以目标明确任务，以责任规范行为，以制度保障实施，为高校学生构建神圣的精神家园。

参考文献：

[1]王兆国.努力为党的事业培养一批又一批坚定的青年马克思主义者[J].求是，2011，（2）：6-8.

[2]廖志红.新时期加强高校学生党建工作的思考[J].现代阅读，2011，（4）：11.

[3]周应佳，路海华.正确处理高校学生党建的四个关系[J].中国高等教育，2006，（22）：39-40.

作者简介：姬波（1982-），女，陕西榆林人，现为陕西师范大学理工科基础教学部辅导员，助教，硕士，研究方向为高校学生教育与管理。

党员转正支部大会程序 篇4

首先由大会主持人向全体党员报告本次大会讨论将要转正的预备党员的简单情况，然后宣布大会正式开始。

一、由预备党员汇报自己在预备期的表现情况。

二、由培养联系人汇报对预备党员及对其转正的态度。

三、由预备党员所在的党小组长介绍其在预备期的表现及对其转正的意见。

四、由支部委员介绍支委会研究对其转正的意见。

五、请各位党员对预备党员转正发表意见。

六、下面进行举手表决，先请预备党员退场。同意员请举手（人）；不同意其按期转正的党员请举手（人）；对其按期转正表示弃权的党员请举手（人）。

七、支部书记（大会主持人）宣布支部大会决议：本支部共有正式党员今天实际到会的党员有人，支部大会表决有效。经过举手表决形式，人同意，人反对，人弃权（或反对、弃权的人没有），支部大会通过该同志按期转正，可以上报街道工委审批。

八、请进行表态发言。

第一介绍人意见]

XXX同志在政治思想上自觉地同以习近平同志为核心的党中央保持一致，坚持四项基本原则，注意学习马列主义、毛泽东思想、邓小平理论和党的基本知识，对党的认识正确，入党动机端正。平时能够严格要求自己，努力克服缺点，在工作中发挥了骨干带头作用。思想品德端正，团结同志，对党忠诚老实，为人正派，有为共产主义奋斗终身的决心。缺点是：工作中计划性和细致性不够。用党章规定的标准全面衡量XXX同志，我认为他已具备了共产党员的条件，我愿介绍XXX同志加入中国共产党。

[第二介绍人意见]

同意第一介绍人意见。XXX同志对党有正确认识，坚信共产主义一定能够实现，并决心为之奋斗终身。他在大是大非面前立场坚定、旗帜鲜明。平时能够自觉用共产党员标准要求自己，能正确处理整体利益和个人利益之间的关系。在前一时期的工作调动中表现出了较高的思想觉悟。本职工作和组织上交给的其它任务都

预备党员转正支部大会程序 篇5

1)主持人（支部书记）报告出席会议党员人数、提出会议议题、指定会议记录人

今天，我们召开支部全体党员大会，有**名党员出席，超过应到会人员半数，会议有效。（另外我们还邀请了***、***等几位同志参加，大家向他们表示热烈欢迎。）今天会议的议题是讨论***同志的转正问题和……由***同志负责本次会议记录。下面我们开始开会。

2)全体起立，唱《国际歌》

首先请全体起立，唱《国际歌》。

3)预备党员宣读《转正申请书》

请坐下。下面请***同志宣读《转正申请书》。

4)支部委员介绍预备党员教育和考察情况，提出能否转正的意见 请支部委员介绍***同志在预备期间的教育和考察情况。

5)支委会意见

下面请支部组织委员宣读支委会意见。

6)党员讨论（与会党员对发展对象进行评议）

接下来请大家谈谈对***同志在预备期间的表现的意见和看法。

7)预备党员针对评议进行表态

请***同志针对大家的评议表态。

8)正式党员举手表决（赞成票超过应到正式党员人数的半数方能通过）

大家还有没有其他意见？如果没有，我们现在进行表决。在座有表决权的正式党员同意***同志按期转正成为中共正式党员的请举手，请放下。不同意的请举手，无（*人，请放下）；弃权的请举手，无（*人，请放下），一致通过（同意的超过半数，通过）。

9)支部书记宣布支部大会决议

***同志自被批准成为中共预备党员以来，（结合预备党员培养考察意见说明主要填写预备党员在预备期间的思想、学习、工作等方面的表现情况，指出其存在的缺点和今后努力的方向等），其转正材料齐全，手续完善。我支部于****年**月**日召开支部大会，讨论其转正事宜。大会应到党员**人，其中正式党员**人，实到正式党员**人，采用举手表决的形式，一致同意（*人同意，*人反对，*人弃权通过）该同志按期转正。

培养考察期意见参考模板：（具体表述必须结合考察同志的实际情况）***同志自被批准为中共预备党员以来，不断努力学习党的理论知识，积极参加党组织的各项活动，思想上……，学习上……，生活中……，工作中……，建议支委会讨论其转正事宜。

支委会意见模板：（具体表述必须结合考察同志的实际情况）

党支部讨论发展新党员大会程序 篇6

一、准备工作

1、支部委员会召开会议，认真审查发展对象是否符合入党条件，提出具体意见；

2、检查入党申请人的入党材料是否齐全，《入党志愿书》填写是否正确；

3、提交支部大会讨论。

二、大会程序：

1、入党申请人汇报自己对党的认识、入党动机、本人履历、现实表现、主要优缺点、家庭和主要社会关系情况，以及需要向组织说明的问题。(宣读志愿书)

2、介绍人介绍发展对象的培养经过，并对其能否入党发表意见。

3、支部委员会将审查的情况及发展对象是否具备入党条件向支部大会报告或说明。

4、到会党员对发展对象是否具备入党条件充分发表意见。

5、发展对象谈自己对大家所提意见的看法及今后的打算。

并行程序表征的语义发展趋势探析 篇7

对于程序设计而言,表征和计算从不同侧面刻画了程序可以实现的智能功能。就像计算机必须基于二进制这种表征方式去设计计算方式一样,程序设计中的计算方式也必须基于特定表征方式之上。也就是说,表征方式决定了可以采取的计算方式。在并行程序中,基于不同表征方式的软件决定了该种软件可以实现的特定功能。研究并行程序的表征方式及其发展趋势,是并行程序设计发展的关键前提所在。

一并行程序表征问题产生的原因

随着人工智能、操作系统、语言开发、编译技术、通信技术、大规模数据库、多处理机等应用技术的发展,并行处理的重要性日益显现出来。当前,并行处理主要纠结于算法问题,用并行语言作为描述手段,同时受到软硬件及通信环境的制约。因此,并行程序设计中的首要事务,不仅仅是程序设计本身,还需要多层次全面考虑。尤其是并行程序的表征问题,其重要性随着并行程序的广泛应用而逐渐突显出来。

并行程序的发展受到两个方面的驱动:一方面是计算机硬件技术的发展;另一方面是计算机软件的发展。

(一)计算机硬件

早期计算机是串行的。随着现代计算机技术的发展,在不同程度上都具有了并行性。当前的计算机主要分为单中央处理器和多处理器两种。随着大规模计算和网络发展的需求,多处理器成为应用的主流。

然而,单个CPU上晶体管集成技术的发展逐步背离摩尔定律而趋近极限,依靠增加晶体管数目来提升CPU性能变得不可行;而主频之路似乎也已经走到了拐点。处理器的主频在2002年达到3GHz之后,就没有看到4GHz处理器的出现,因为处理器产生的热量很快就会超过太阳表面。这表明电压和发热量,成为提高单核芯片速度的最主要障碍。人们已无法再通过简单提升时钟频率就设计出下一代的新CPU。

在主频之路走到尽头之后,人们希望摩尔定律可以继续有效。在提升处理器性能上,最具实际意义的方式,便是增加CPU内核的数量,即研发多内核处理器。多核处理器的开发,实际上采取的是“横向扩展”的方法去提高性能,CPU的更新换代将具有更多的内核。人们希望将来的中央处理器可以拥有几百个内核。然而,每一个内核的计算能力将不会比之前的内核有本质上的提高。

多核处理器的实现,从根本上讲,还得依靠具有多个可以在系统中共享存储器的情况下,独自运行各自程序的分离的子处理器。多核处理器与多CPU之间的本质区别在于,前者在缓存中实现数据共享,而后者在主存中实现数据的共享。缓存级的数据共享大大缩短了资源竞争所浪费的时间,改进了主存级数据共享的那种资源竞争时间,远远多于程序运行时间的问题。

对于并行软件设计而言,硬件的并行结构决定了编译程序的表征形式,而算法体现出的并行度与基于硬件的表征形式越一致,并行程序的处理效率就会越高。也就是说,并行程序设计的并行度,必须与相应的硬件结构相一致。未来多核处理器这种并行硬件结构,给未来软件编程提出了新的要求。“未来的程序如果要利用未来CPU的计算能力,它们将不得不并行地运行,并且程序语言系统也将不得不为此而发生改变。”[1]

然而,并行计算机的硬件结构并没有形成一个相对统一的模型。不像串行计算机拥有冯·诺伊曼结构,并行计算机的拓扑结构、耦合程度、计算模型等都不确定。因此,要发展与硬件结构相一致的并行程序将非常困难。

目前,并行程序主要应用于基于单处理机的多种并行措施的并行处理系统,以及基于多处理机的不同耦合度的多指令流多数据流计算机系统。人们从不同的层次采取不同的措施来实现并行计算,这表明并行程序的发展还很不成熟。

(二)计算机软件

并行软件从抽象层次上大致可分为两个领域:用于操控和协调并行系统各软、硬件资源的系统软件和针对各应用领域开发的各种软件工具和应用软件包。由于短期内很难在硬件方面取得质的突破,按照当前的技术水平,从硬件角度构建并行处理结构并不存在困难,真正的困难存在于并行程序的软件方面。在串行系统中,由于串行程序的好坏导致的速度差至多不超过10倍,而并行系统中,由于并行程序设计差异而导致的速度差甚至可以达到近百倍。并行软件开发应用的滞后,没有相对成熟的理论成果,使得并行计算机系统硬件性能的大幅提升没有多少实际意义。无论是大规模并行处理机还是多核处理器,没有相应并行程序的支持,是这些系统性能难以充分发挥的根本原因。

随着大规模并行处理机和网络的发展,对于程序并行度的要求不断提高。与串行程序不同的是,并行程序不仅要考虑并行算法本身,还要考虑相应的并行计算机数量及其拓扑结构。由于并行程序的根本特征在于多线程的并发执行,能否充分利用共享资源、实现通信优化、减少程序中的不确定性、逻辑错误和死锁等问题,就成了并行程序设计中必须面临的难题。由于并行性自下而上涉及硬件层、操作系统层、通信层以及应用层等多个层次,[2]而并行程序设计作为计算机硬件和软件之间的桥梁,实现了从硬件实现到高层软件之间的转换功能。这种转换更多涉及的是通信层和应用层。理论上,CPU的数量与计算速度成正比,由此涉及的多CPU之间的通信问题比具体的算法步骤更为重要。因此,并行程序设计首先需要考虑的是模型问题,合理的结构安排不仅决定了程序开发的难易程度,并直接关涉到并行性所带来的加速比。

并行程序设计主要采用数据并行和功能并行的方式。数据并行可以采用隐式或显式的说明语句来表征数据结构的分解,程序高度一致,用户不需要管理各进程之间的通信和同步问题,也较为容易获得好的并行度。但由于这种方式的通用性相对较差,难以表征需要并构处理的任务。而功能并行的各子任务之间通过显式方式来协调,进程间的同步和通信也是显式的。这对程序设计人员的要求非常高。一旦程序的结构划分不合理,就会产生通信时延甚至通信拥堵,从而无法发挥并行程序应有的速度优势。实际运用中,人们最容易忽略的问题就是共享数据,这会使程序运行很快陷入困境。而减小数据共享范围以及采用显式方法,可以在一定程度上规避这个问题。

当前并行程序设计中的主要问题有:

其一,串行程序并行化的问题。

现有软件大都是串行程序,其应用已相当广泛,并行机上需要大量用到已有的串行程序。因此,存在于应用领域的大部分并行程序,都是利用适当的算法把串行程序转换而来的。人们希望设计相应的编译程序,可以在不对现有程序作改动的情况下,由编译系统自动完成串行程序的并行化。这是一种隐式的并行策略,在编译系统层面实现程序表征和计算的并行性。然而,现有的算法难以有效处理如此复杂的应用需求。并且,这种并行程序生成方式难以摆脱串行思维的制约,实现最优的并行性。所以,该方法难以适应现代并行计算机硬件发展的需求。

这类软件中,FORTRAN语言[2]这种功能的扩充需要同时引进同步通信机制,用于表征语句操作步骤间的并行性。[3]例如,可以用FORK和JOIN语句来实现,这也是开发动态并行性的一般方法。FORK用于派生一个子进程,而JOIN则强制父进程等待子进程。这种方式的问题在于程序的可移植性很差。当其运行的计算机结构发生改变时,就必须重新编程。常见的有Ada语言[4]与其他并行程序不同的是,军用目的使Ada程序设计追求高度的实时性和可靠性。为此,Ada对于数据类型、对象、操作和程序包的定义提供了一系列的功能实现,还为实时控制和并发能力提供相当复杂的功能,并于1995年开始支持面向对象的功能。

本质上,Ada属于串行程序并行化的编程语言,采用自底向上和自顶向下的分级开发模式,具有很强的逻辑性。为了提高程序的可移植性和可靠性,Ada将数据表征与数据操作相分离,并采取了“强类型”设置,不允许在不同的数据类型之间进行混合运算。这就防止了在不同的概念之间产生逻辑混淆的可能性。Ada也几乎不允许任何隐式转换,违反类型匹配要求的部分都会在编译和运行阶段被发现,这就避免了子程序调用的多义性,从而增强了程序的可靠性。也就是说,对于一段看上去没有表达错误和逻辑错误的程序,如果它没有定义数据类型,或者对不同类型的数据进行数值运算,都将不能通过编译程序的检验。对于不同类型的派生数据,即使其母类型相同也不能通过编译。此外,Ada提供的类型限制还可用于精确表明数据类型,以解决程序中存在的各种歧义。[5]例如:

type primary is (triangle,trapezia,hexagon);

type polygon is (triangle,quadrangle,pentagon,hexagon,heptagon);

…

for i in triangle…hexagon loop

…

上述语句中存在明显的歧义,编译器无法自动判断triangle和hexagon是primary还是polygon中的元素,这就需要用类型限制去表明:

for i in polygon’(triangle)…polygon’(hexagon) loop

for i in polygon’(triangle)…hexagon loop-

for i in primary’(triangle)…hexagon loop

这种表征方式只是告诉编译器确切的数据类型,并没有改变值的类型就解决了歧义问题。可以说,明确的表征方式是Ada语言的一大优势。

对于现代软件设计而言,软件的维护费用往往超过其开发费用。因此,可读性是降低软件后期维护费用的关键性能之一。为了增强可读性和可维护性,Ada采用接近于英语结构的语法形式,具有很强的表征能力,便于程序的开发和维护。

Ada95中规定的基本字符分为图形字符、格式控制符和其他控制符等三类,其书写格式尽量接近英语书写的习惯。对于数字,Ada支持二进制到十六进制之间所有实数型和整数型的任何进制的数字表征,其格式为:Base#Number#,Base表示指定的进制,Number为该进制所表示的数字。

在控制指令(Statement)方面,相比别的程序语言,Ada95只是增强了其可读性。总之,Ada避免过多使用复杂句型,并以较少的底层概念来实现程序的简便性。

以程序包为例,Ada将对象模块的语法定义为:

package PKG-NAME is

<私有数据,操作声明>

<共有数据,操作声明>

<保护数据,操作声明>

end PKG-NAME

为了便于生成大型复杂程序,Ada对模块实行分别编译。但Ada对于可靠性和可读性的要求,使得其在编译过程十分注重静态检验,从而导致程序代码较长且执行速度减慢。[6]

作为并行软件,Ada把任务作为最小单元,每个任务中的语句采取串行表征方式,任务间通过共享变量来实现并发性。这种结构适用于多处理机系统的程序设计。此外,Ada提供基于硬件的低级输入/输出程序包,通过共享变量来实现嵌入式编程,可用于所有的嵌入式计算机系统。

(二)Occam程序的表征特征

并行语言最大的特点,就是采用了不同于串行语言的用于表征进程和线程的功能。由于并行系统建模的相关数学基础理论问题还没有解决,Occam语言的通信理论是建立在通信系统演算(CCS)和通信顺序进程(CSP)之上的。[7]Occam的并行关系主要体现为多个进程之间的并行执行,利用关键字PAR来描述进程之间的同时性。进程之间的通信不同于Ada,Occam不允许通过共享变量来实现进程之间的通信,而是采用通道通信的方式。这是一种单向自同步的通信方式,当发送方和接收方都准备好时,才在进程之间单向传递信息,不能既发送信息又接收信息。因此,通信在Occam中是同步的。但两个进程不能同时处于等待对方发送信息或接收信息的状态,否则就会出现死锁。

Occam语言最大的特点在于它是真正与硬件相匹配的并行程序,可以直接控制各处理器对并行进程的执行,还专门针对硬件定位设计了PLACED语句。根据程序运行的硬件基础,Occam中的多个进程有可能是运行在一个处理器上的软件模拟,也可能真正运行在多个处理器上。因此,Occam语言中区分并发(Concurrency)和并行(Parallel)的概念。前者意指有可能是并行的,而后者则强调真正的硬件层面上的并行。

同所有的高级语言一样,Occam需要对程序中用到的数据类型、表达式、操作运算符、数组、字符串等各种表征方式进行事先约定,此外,还要对并行通信的表征方式进行说明。

Occam在原处理的基础上构建程序结构和流程,最终形成完整的程序。原处理是Occam程序中最简单的可执行动作。与其他程序语言不同的是,原处理只有输入、输出和赋值三种,用以表征其在整个程序结构中是并行还是串行。

原处理的赋值表征形式为:

变量:= 表达式

原处理的输入表征形式为:

通道名 变量名

原处理的输出表征形式为:

通道名 ! 表达式

Occam程序的基本结构分为串行结构和并行结构两种。串行结构用SEQ表示,并行结构用PAR表示。PAR结构由SEQ结构组成,PAR中SEQ的表征顺序无关紧要。并行结构中的所有进程将同时开始执行,当所有进程结束时,该并行程序才能结束。例如:

PAR

INT fred:

SEQ

chan 2 fred

fred:=fred+1

INT fred:

SEQ

chan 3 fred

fred:=fred+2

Occam中,变量名和通道等名称的命名和赋值都是局部的,仅在其所在的进程内有效。因此,上述两个SEQ中的fred之间没有任何关系。每一个fred只在其局部范围内有效。

作为实时软件,Occam用定时器以及优先级来实现实时处理。其中,定时器的表征形式为:

TIMER 定时器名:

使用时,用INT数型给定时器变量赋值,例如:

TIMER clock:

INT time:

clock time

当一个结构中有两个进程同时准备好输入时,就需要通过优先级PRI来决定执行的先后顺序。

此外,Occam是与硬件匹配度很高的并行程序语言,可以直接对硬件层次进行操作。这就必然涉及与外部硬件以及并行硬件处理的相关表征问题。比如说,在控制外部硬件设备方面,Occam可直接对键盘、显示器等终端设备上的信息进行表征。例如,用PLACE…AT…将通道与显示器或键盘联系起来:

PLACE screen AT 1:

PLACE keyboard AT 2:

或者,用

keyboard x

语句实现用键盘输入为变量x赋值。

再比如,Occam可用PAR结构直接将进程定位到各个处理器上,其表征形式为:

PLACED PAR

PROCESSOR 1

P1

PROCESSOR 2

P2

…

上述代码表示,让处理器PROCESSOR 1处理进程P1,处理器PROCESSOR 2处理进程P2。[8]

(三)Petri网的表征特征

Petri网是佩特里(Carl Adam Petri)提出的一种网状结构模型理论,并逐步发展出以并发论、同步论、网逻辑、网拓扑为主要内容的通用网论(general net theory)理论体系。Petri网的革命性在于,它摒弃了基于冯·诺依曼机的全局控制流,更关注于过程管理,因而没有中央控制,也不存在固有的控制流。全局控制的问题在于,在系统相对复杂的情况下全局状态不仅实时不可知,甚至连某个瞬间状态也不可知。因此,Petri网用局部确定的方式来表征客观实在。[9]3

Petri网适用于描述分布式系统中进程的顺序、并发、冲突、同步等关系,尤其在真并发方面具有独特优势。作为建模和分析工具,Petri网擅长用网状图形表征离散的并行系统的结构及其动态行为,其最大的表征特征是既可以使用严格的数学表征方式,也可以使用图形表征方式。尤其是独特的图形表征方式,可以形象地描述异步并发事件,这来源于其独特的网状结构。“Petri网以尊重自然规律为第一要义,以确保其描述的系统都是可以实现的。”[9]1

作为网状信息流模型,Petri网主要用于表征网系统。长久以来,Petri网一直尝试寻找一种基于某种公认交换格式(interchange format)的协议,提供可以在Petri网模型之间进行明确交流的方式。然而,人们很快便认识到,如果这种协议遵从一种公认的Petri网形式定义,将会取得更好的效果。而Petri网的明确表述,必然是形式定义中抽象句法被精确定义后的具体语法。研究者们公认,提出这样一个标准规范的好的方式,就是建立一套定义标准规范的标准化过程。Petri网标记语言(Petri Net Markup Language,PNML)便是这样一种被认可的规范协议,它的制定促进了Petri网的快速发展以及大规模的应用需求。Petri网标记语言是一种基于可扩展标记语言(Extensible Markup Language,XML) 的交换格式。作为国际标准,Petri网标记语言在其第一部分就定义了Petri网的语义模型(semantic model),并给出了相应的数学定义。[10]当前,经过扩充的Petri网成为系统规范和程序系统语义描述的工具。

Petri网表征的优势在于对复杂系统并发过程的精确描述,而缺点也恰恰在于此。如果对细节的描述过于精确,系统的繁琐程度会呈指数级剧增,即出现所谓的“节点爆炸”。因此,必须要恰当地屏蔽细节。

如今,基于Petri网的应用已遍布计算机的各个领域,其模拟能力已被证明与图灵机是等价的。由于Petri网的类型非常丰富,不同类型的Petri网以及建模工具之间的信息交换成为Petri网标记语言标准化过程中的首要因素。而工作流网(WF_net)以及诸多技术层面的研究则成为Petri网20年来取得的最主要成就。

三并行程序表征的语义发展趋势

事实上,计算机学界对与并发(concurrent)和并行(parallel)这两个概念并没有明确区分,常常在同一个意义上使用。对于并发的理解,需要强调的是,并发不是同时发生,而是没有秩序(disorder)。比如说,在Petri网中没有全局时间概念,每个进程依照各自的时间顺序执行。对Petri网来说,讨论进程之间执行的先后顺序没有意义,因为没有可参照的全局概念去确定进程执行的次序。同一个程序运行多次,对于相同的输入,不仅每一次的运行次序不确定,每一次的运行结果也不确定。也就是说,并行程序的运行结果由其具体运行的语境决定。这就使得并行程序的语义具有了不确定性。为了使并行程序在执行过程中能产生与程序语义相符合的效果,就必须弄清楚程序语言各成分的含义。因此,在语境中考察并行程序的语义问题就成为并发研究不可或缺的内容。

符号主义者认为,符号算法实现“从符号到符号的转换,给定这些符号的意义,这样的转换就具有意义”。形式步骤和算法是保真的:“如果我们从真符号开始,算法只会将我们带向真符号”,而且算法可以通过符号的形式性质保持其语义性质。[11]317这似乎表明,形式系统由于我们的规定而获得意义。而塞尔的“中文屋”表明,“符号的语义性质并不附随于它们的句法关系”。[11]319而经过形式计算和逻辑推理之后,这种基于分解的形式语义能否保真?尤其是在过程和结果都不确定的并行计算中,我们应如何确保语义信息的真?

计算机形式系统中,数据都是结构化了的信息。也就是说,所有的数据都具有特定的表征形式,并且数据之间有一定的关系。当大量数据进入并行程序处理系统之后,数据必定会发生形式变化。这种变化过程中,数据所蕴涵的语义信息是如何转换的,这种转换能否确保大量数据信息被具有高度不确定性的并行程序处理后语义信息实现正确转换,是并行程序研究的重点。并行系统已不是图灵机意义上的计算系统。对并行表征的语义考察也不能局限在语义分解的层面。对并行程序表征语义的研究,应该考虑表征系统与特定的硬件结构、具体并行计算过程的运行特征等因素,区别对待不同并行模式中的语义表征的模糊性和歧义性问题,尤其是程序运行中整体语义的保真问题。

从20世纪50年代起,程序语言的形式语法研究取得了较大发展,而在形式语义方面一直没有取得较为理想的成果。表征如何获得意义是并行形式系统面临的首要难题。近年来,并行程序的形式语义研究越来越受到重视。对于并发过程的不同理解产生不同的并发计算范式,不同的并行程序语言就是基于这些范式开发出来的。对于并行程序语言的开发者而言,不仅要为不同的应用目标设计该语言的基本结构,还必须定义其语法形式和语义。为了适应不同的计算机硬件体系和开发需求,并行程序语言往往在语法上并不规范。通常,并行程序涉及在局部语法即上下文无关语法层面存在较少歧义,而涉及上下文相关语法即静态语义关系、甚至更深层次问题时,则存在诸多问题。对程序语义进行定义,不仅要定义所有基本元素的意义,还要赋予语法结构以明确的意义。

已有的操作语义学、指称语义学、公理语义学分别从程序的执行过程、数学语义以及逻辑正确性等角度形成了研究程序语言语义的三条主线,但一直不能很好地融合,从而也无法体现在具体的程序语言中。理论界通常认为,这三种类型的语义彼此之间是相对独立的。但温斯克尔(Glynn Winskel)认为,这三种类型的形式语义之间是高度依赖的,它们之间很有可能实现统一,并给出了操作语义和指称语义等价的完整证明。

程序员编写并行程序,最重要的就是通过程序建立关于现实世界的模型。现实世界的并行性往往体现在过程而非结果中,对并行过程的模拟与控制是并行程序应用的价值所在。并行程序语言的表征力直接决定了所构造的模型对事件过程的模拟能力。语义是程序赋予的,程序的一个主要作用就是表征分解的语义及其集合。[12]Ada语言、Occam语言和Petri网作为并行程序语言,首先应具有对某个特定应用领域的并行问题进行形式表征的能力,因而必然要具有特定的句法和语义。其句法不仅要适合相应的并行硬件执行系统指令,而且要具有恰当表征分解语义和程序整体语义的表征力。尤其是对各并行事件的状态和过程的准确描述以及事件发生条件及其相互联系的描述,是研究并行表征语义的难点所在。

程序语义学研究形式表征与意义的关系以及形式系统与命题真值之间的关系问题。但它同时指出,语义网格、语义分解等理论只是在符号层面以及词与词的关系层面探讨意义问题,并不涉及语言与世界的关系这一层面。因而不是真正的语义学。[13]而Petri网的语义基底正是语义网格理论,并且,几乎所有基于形式系统的语义研究都是基于分解的。也就是说,无论是基于冯·诺伊曼机的串行计算系统还是基于非冯·诺伊曼机的并行计算系统,都是离散的自动形式系统,它们按算法规则操作带有语义信息的符号。可采取的算法由形式系统的表征性质决定。给定形式系统的符号语义,相应的算法要保证经过一系列转换之后的符号依然具有可操作层面的意义。而这种形式语义并不是真正意义上的语义学,它最多涉及表征与心理的关系,但无法关涉语言与世界的层面。

程序语义学研究的关键问题是没有涉及意义问题,而这才是语义学的核心问题。[14]显然,按照这个标准,现阶段的并行程序设计语言研究才刚刚涉及表征的形式语义问题,离整个程序的语义研究还有很大距离。过去的研究大都关注数据所蕴涵的语义信息,而忽视了程序动态运行过程中的语义传递及转换问题。

计算机作为信息系统,最主要的特征就是信息流动。并行进程中流动的信息主要是各种变量以及变量的值。变量值的变化意味着信息的改变。当一个进程将其变量值传递给另一个变量或进程时,信息流动就产生了。而信息流动也是产生并行程序语义不确定的一个主要原因。

并行进程或线程在运行中,一个非常重要的问题就是进(线)程之间的通信问题。通信是并行程序运行过程中最重要的机制。是进(线)程之间通过通信交换信息,而信息所传递的语义是如何被表征的以及表征力如何,是当代并行表征需要研究的主要课题。并行系统要确保通信的有效性,必须保证信息表征的一致性。例如,在Occam语言中,由于所有的进程都是同时执行,且进程内变量名和通道等名称的命名和赋值具有局部性——即不同的进程可以拥有相同的变量名和通道名,因此,为了保证通信过程中语义的确定性,Occam不允许通过共享变量来实现进程之间的通信,而是采用单向自同步的通道通信方式,并要求对并行通信的表征方式进行说明。

此外,并行程序的不确定性以及验证方式也需要形式语义学的介入,而这方面的理论研究还很滞后。“语义信息的概念是基于如下的假设而被考察的,即事实信息是最重要的和最有影响力的概念,在这个意义上信息本身‘能够被表达。’”[11]127例如,Petri网中的工作流语义(workflow semantic)模型,就是利用语义信息去消解冲突。而语义信息的给出由具体处理的任务有关。语义模型的任务只是用于消解冲突,并不考虑工作流任务完成的质量问题。任务完成情况属于工作流管理的范畴。需要注意的是,很多“管理操作都是由语义引起的”,[9]249例如skip和return。只有明确区分工作流逻辑和工作流语义,才能简化工作流模型。否则,不仅增加模型的复杂程度,甚至无法作出正确的描述,以致当程序出现运行错误时,无法找到错误的原因。

支部联建促发展 南网情深谱和谐 篇8

优势互补结对共建，创新党建工作新格局

明确模式，突出重点。广西电网公司所开展的“支部联建”是指公司下属党支部与乡镇农村、街道社区、政府机关、企业客户、事业单位等系统外的党支部进行结对共建。通过这一载体，促进公司基层单位主动承担社会责任，全力服务地方经济社会发展，同时也增进社会公众对电力事业的理解与支持，形成全社会共同爱护电网、维护电网的良好局面。

分步推进，落实责任。实施“支部联建”主要以“三步走”工作法为基本步骤。一是选择联建对象。公司主动扩大联建对象范围，主动与最需要电力保障的、最需要推进电网建设的、最需要紧密联系的党组织开展联建，除了开展两个党支部之间“一对一”的联建外，还开展了多个党支部“一对多、多对一”的多方联建，打造出以电网企业党组织为基点的联建工作大平台。二是签订联建协议。联建双方达成结对意向后，围绕联建双方的发展诉求，结合实际确立务实可行的重点工作项目，签订《支部联建协议书》，明确联建双方的权利和义务，并报当地组织部门审定。三是建立联建制度。联建对子制定联建方案，同时出台相应的制度文件，如联建支部工作职责、义务护线员工作职责等，建立联建档案，进一步规范支部联建活动，提供制度保障。

强化保障，形成合力。为确保“支部联建”取得实效，广西电网公司实施了“支部联建”示范点建设和“支部联建”支持奖制度，丰富和提升工作内涵。一是创建“支部联建”示范点。在全系统建立了首批75个主题鲜明、活动成效显著的“支部联建”示范点，由公司统一指导检查，使联建点阵地建设标准化、工作互动常态化，做到组织满意、群众认可，发挥好教育带动、示范引导作用，体现出“支部联建”工作的生命力。二是设立“支部联建”支持奖。为感谢系统外联建对象中为公司改革发展和各项工作给予较大支持和重要贡献的党支部，提升联建双方的团队意识，形成更有活力的工作机制，公司设立了“支部联建”支持奖，并在2012年对首批19个系统外党支部授予了该奖项。

1+1>2，支部联建引发“蝴蝶效应”

在促进地方经济发展上联建，服务社会各界。公司把“支部联建”工作与服务地方经济社会发展结合起来，派出党员服务小分队到联建对子及各类对象上门开展服务1.3万次，现场解决用电困难2 195项，开展节能服务633次，一批特色服务载体如业扩报装“五同时”“快电快通”、社区服务“1+3”机制等在实践中得到提炼推广，有力提升了公司为民服务的质量和水平。南宁市邕宁区那楼镇坛垌村99%的人口为壮族，淮山是村里几十年的特色农产品，但长期沿用传统种植方法，劳动量大，产量低，制约了村里经济发展。南宁供电局邕宁供电公司的党支部和坛垌村党支部开展“支部联建”后，供电部门把农业专家请到田间地头，教会村民淮山定向种植技术，淮山亩产提高一倍，达到5 000斤左右，破解了长期困扰村民的农业增产增收问题。崇左供电局客服中心党支部在与客户企业中信大锰大新分公司开展联建过程中，针对该企业由于电气设备无功损耗大，产品单位能耗高等问题，先后5次派出技术人员深入联建企业生产现场，从详细了解生产工艺流程各个阶段用电量入手，与该公司共同研究制定出切实可行的节能降耗措施，制订技改方案，实施技改后该公司锰合金生产成本每月节约近90万元。

在电力发展上联建，推动科学发展。公司组织到共建联系点开展安全用电宣传和电力技术服务，通过多方联动营造了“我助你发展，你帮我保电”的良好氛围。贵港供电局输电管理所党支部与贵港市新塘乡蒙大村党总支开展联建，村里成立了党员护线小分队，把辖区内供电线路义务维护工作落实到个人，联建两年来党员护线小分队共义务巡线520人/次，发现线路安全隐患16起。联建后该村的输电线路线树矛盾100%成功解决、电网建设用地难、青赔高问题100%成功解决。2011年夏天，广西遭遇了罕见的严重缺电局面，柳州市作为广西工业重镇所受到的缺电影响尤为严峻。在这一背景下，柳州供电局科二党支部与柳州市工信委二支部开展联建，双方从组织、责任、服务、促进和激励“五个方面”建立了联建机制，针对缺电情况实施了一系列举措，工信委有关业务部门主动发挥协调作用，与供电局营销部门合署办公，制订周密的用电方案，使柳州摆脱了无序用电局面，缓解了群众“最迫切的用电难题”。公司还注重与上游发电企业开展支部联建，重点解决影响厂网安全稳定运行的问题，首次实现了统调电厂以及大用户220千伏及以上系统继电保护零误动，有效确保了广西电网的安全稳定运行。

在党建发展上联建，加强基层组织。通过“建班子、建队伍、建场所、建机制”加强联建双方基层党组织建设，有效激发了双方党组织的战斗堡垒作用和党员的模范带头作用。在“支部联建”工作中，联建对子举办互上党课、“结对共建、先锋同行”主题活动日等活动1 000多次；为联建对子开展各类培训2 100多次，培训党员2.1万人次，帮助联建支部党员学到了知识、增长了技能；为联建党组织建设了171个活动室，赠送书籍6万多本；双方建立了联席会议、群众评议等各项制度，形成了城乡统筹基层党建工作长效机制。“支部联建”的实施给联建对子党组织带来可喜的变化，百色市右江区江凤村党总支书记对此由衷地感叹道，“通过开展支部联建党员交流、相互参观考察等活动开拓了我们的视野，转变了我们的观念，……以前在村民的传统观念中，村委干部在一起无非就是打牌、吃饭什么的，支部联建后，村委干部到农户家里指导种养多起来了，党员真正成了农村致富的领头羊”

支部联建牵手双赢，内外和顺促“三好”

支部联建丰富了创先争优活动的内涵，实现了电力企业得发展，人民群众得实惠，一个城乡联建共进、发展共赢的格局蔚然形成，推动广西电网公司实现“服务好、管理好、形象好”。

“支部联建”联出了生产力。“支部联建”工作开展4年来，广西电网农村客户年平均停电时间下降了39.5小时，农村供电可靠率提高了0.45个百分点，电压合格率提高了2.14个百分点，使电力成为服务社会主义新农村建设的光明线、连心线、致富线。

“支部联建”联出了战斗力。联建理顺了村企、政企之间的关系，破解了电网建设难题，联建点范围内的电力设施外力破坏现象大幅减少，电网建设征地难、线树矛盾突出等问题得到了及时化解，有力促进了广西电网的高速发展。

“支部联建”联出了凝聚力。联建凝聚了城乡发展共赢的强大合力，联出了发展、联出了和谐、联出了友谊。调查表明，活动开展以来，农民群众对电力部门服务质量的满意度从78%跃升到了95%。村民还以唱山歌的形式表达了对南方电网的感激之情：“支部联建心连心，南网情深一家亲，创先争优谋发展，和谐共赢得民心。”

实践证明，“支部联建”是党建工作融入中心工作的创新载体，通过供电企业党组织与其他单位基层党组织结对共建，在服务地方经济、促进电力发展、推动双方党建等方面实现互助共赢。目前，广西电网公司“支部联建”活动已成为广西壮族自治区党委城乡结对共建的典型和示范点。今后，广西电网公司将继续推进“支部联建”活动，有针对性地扩大联建的范围，有重点地提升联建工作质量，进一步丰富和延伸联建内容，促进联建双方共同走上科学发展、和谐发展之路。

（责任编辑：崔小花）