A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra

A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).     

一类高阶非线性中立型偏微分方程的振动性

研究一类高阶非线性中立型偏微分方程解的振动性，获得了所有解振动的充分判据，主要结果由一些实例加以阐明。     

基于工作过程导向的高职船舶电气课程改革研究

为了提高高职轮机管理专业学生的专业技能,本文基于工作过程导向对高职船舶电气课程的教学改革进行了探索研究。     

高职院校学生管理工作机制的探讨

高职院校学生工作管理机制,由组织系统、管理规则、运行序列等要素构成。组织系统依照管理规则运作,管理规则引导运行序列指向预期目标,对相应资源进行合理配置和有效整合。组织系统、管理规则、运行序列相互联系、相互作用、相互制约,构成学生工作有形的与潜在的管理秩序,以及学生工作宏观的与内在的运行机制。     

关于高职教育人才培养过程的几点思考

和谐性、伦理性和继承性是作为以培养高素质技能型人才为己任的高职教育人才培养过程应具有的特点。但过分的功利主义、非此即彼的二元对立思维和避实就虚的形式主义却成为高职教育人才培养过程中的普遍现象。对此,我们要全面认识高职教育的本质内涵,科学解读高职教育人才培养目标,坚持＂以人为本、和谐发展＂的原则,不断提高高职教育人才培养质量。     

浅谈高职教育教学改革

高职教育是技术应用型的职业教育,要适应我国经济社会发展,继续保持旺盛的生命力,就必须全面认识和把握高职教育的教学特点,并对其进行有效的改革。     

高职院校青年教师执教能力建设若干问题的思考

面对当前飞速发展的高等教育,培养具有创新精神、创业能力和可持续发展能力的高素质技能型专门人才,更加贴近于社会发展需要,是高职教育生存之本,发展之源,因此对当代年轻教师的教学、实际动手及学生管理方面提出了严峻的挑战。本文结合武汉船舶职业技术学院年轻教师教育教学现状,在认清形势、教书育人、教学设计等方面进行了研究,介绍了在教学实际中注意的问题,提出了相应的对策和建议。     

转型中国的高等教育、社会分层与社会公平

教育,尤其是高等教育,不仅仅是一个教育学的问题,而且是关涉更大层面的经济、化与社会问题。在中国社会由再分配体制向市场体制转型的背景下,我国高等教育的公共政策取向也发生了一个大的转变,集中体现于大众话语中的“收费”和“扩招”问题。尽管这一转变有其深刻的经济和社会结构性动因,但由于政府主导、渐进改革的转型社会特征和政策设计本身的漏失,已经引起了社会各界对于公平的质疑与讨论。本正是对转型中国高等教育与社会分层的互动,以及由此牵涉到的社会公平问题所作的整理与反思。     

排污权交易市场秩序的特征、功能与制度安排

排污权交易市场秩序在本质上是一种利益和谐、竞争适度、收益共享的环境资源配置状态和利益关系体系。构建排污权交易市场秩序的关键是对排污权进行立法等必要的法制建设、排污权交易市场的政府管制以及完善排污权交易制度;在此基础上进行利益关系的和谐,以便消除各种经济主体之间、地方政府之间以及政府与各种社会经济主体之间的利益冲突,保障排污权交易市场的有序性,从而实现利益和谐。     

以特色创品牌,强化专业内涵建设

摘要:以武汉软件工程职业学院数控技术专业建设为例,探索如何开展专业特色建设,并从专业特色的构建、主要内涵、保障措施等三个方面进行分析讨论,提供了一些专业特色建设的思路和方法。     

泡沫金属的生产、性能与应用

系统地介绍了泡沫金属的各种生产方法，对各种生产方法的技术关键进行了分析，详细描述了这种新型结构与功能材料的特殊性能，并对其在各个领域的应用进行了简要概括。     

“校中有厂 厂中有校”顶岗实习模式初探

教育部倡导高等职业教育走“校企合作、项岗实习”的人才培养新模式。文中阐述了广东交通职业技术学院与思纬市场资讯有限公司建立的“校中有厂、厂中有校”的顶岗实习实训基地的现状、需要解决的问题及具体措施。     

高职学生英语学习策略的性别、年级和专业交互作用的研究

通过使用《语言学习策略调查问卷》（中文版）,对浙江交通职业技术学院725名非英语专业高职学生进行问卷调查并进行了数据分析,得出以下结论：性别＊年级的交互作用对记忆策略有显著影响,性别＊专业的交互作用对情感策略有显著影响,年级＊专业的交互作用对记忆策略有显著影响,性别＊年级＊专业的交互作用对各项学习策略的影响不显著。这些结果为高职学生的英语教学实践提供了科学的参考依据。     

适应高职教育发展要求，探索高职“两课”教育教学的改革与创新

随着经济社会的进步，劳动力市场对劳动者的要求日趋理性，要求高等职业教育培养具有较高综合素质的人才。文中论述了高等职业教育中“两课”教学存在的矛盾和现状，指出两课教学应该适应高等职业教育发展的要求，不断加以改革和创新，使之成为培养高素质劳动者的重要环节，并提出了相应建议和对策。     

薄壁空心高墩自带支架模板流水法施工技术

铁路客运专线桥梁薄壁空心高墩数量较多时,采用轻型钢模板流水法施工,可减少模板投入、加快工程进度、降低工程成本。详细介绍了轻型钢模板的结构构造及自带支架的特点,薄壁空心墩流水施工工艺等内容,对类似工程有借鉴意义。     

加强全过程索赔 增大利润空间

介绍了公路施工企业在目前的公路市场情况下,应如何通过抓好项目实施全过程的变更索赔工作来增大项目的利润空间。