指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。

组织视域下高职院校专业“双带头型”教学团队建设

高等教育综合改革的根本目的是完善高校治理结构,扩大和落实高校自主权,推动高校组织模式深入变革,从而提高高校教育教学效能。高职院校是具有一定组织结构的高等教育机构类型之一,可以通过专业教学团队建设推动其基层教学组织的变革。目前高职院校专业教学团队建设存在结构不合理、可持续性发展与建设的机制和动力不足、绩效不明确、缺乏专业带头人等问题,解决的办法是建设专业"双带头型"教学团队。高职院校需要提供专业"双带头型"教学团队成长的条件,建立专业"双带头人"动态管理机制,强化团队文化建设,从而推动专业"双带头型"教学团队建设。

对高职教育“职业属性”认识的反思与批判——兼论高等职业教育合理定位过程中的主体局限性

当前高等职业教育定位中存在宏观定位不适应社会发展要求、中观定位脱离社会经济发展实际、微观定位缺乏个性和发展特色等问题。导致高等职业教育发展在低水平上徘徊。其原因虽然有政府政策的导向问题，但从认识论的角度看，乃是由于对高等职业教育职业属性的认识偏差以及对定位中的主体局限性认识不足所致。突破认识误区，有利于高等职业教育的合理定位。

利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证。

指挥信息系统需求体系框架

需求工程是指挥信息系统整个开发周期中的第一步,正确且全面地确认系统的需求是成功开发指控系统的关键。指挥信息系统需求体系框架是从需求开发的内容上规范需求工程技术在指挥信息系统需求开发中的应用。从需求的本义出发,在分析总结IEEE、INCOSE以及OMG等研究机构关于需求内涵与分类的研究基础上,本着与C4ISR/DOD AF一致的原则,结合近年我军指挥信息系统需求开发的实践经验,提出了指挥信息系统需求体系框架。

高职院校专业“双带头型”教学团队基本范畴辨析

高职院校专业教学团队建设的关键是需要有以理论与实践整合为基础的专业带头人,即由"名师"和"名匠"作为专业带头人,形成专业"双带头型"教学团队。明辨专业"双带头型"教学团队需有效处理好"双带头型"与"双师型","外聘教师、能工巧匠和名工巧匠","师资队伍与教学团队","教学团队与教研室"及"专业带头人与名工巧匠"等概念间的关系。

一种基于事务时间分割的关联规则增量式更新方法

文章介绍了一种增量式关联规则更新方法,其核心思想是,将长事务以时间分割,分成一个连续的情节集合,当前情节期间获得的信息,依赖于当前的事务子集以及前面情节期间已经发现的信息。仅使用更新的事务和前面阶段的挖掘结果,增量式地产生频集。用Apriori类算法作为局部过程来产生频集,给出了具体的动态挖掘算法。

我国高校教师队伍学缘结构成因及其发展新动向

我国高校教师队伍学缘结构普遍存在近亲繁殖现象,这既有我国社会历史文化原因,又有我国高等教育发展的现实原因。随着我国高等教育改革的不断深入,高校教师队伍的学缘结构呈现出新的动向:不同层次、不同类型的高校教师队伍学缘结构呈现不同的特点;高校教师来源中的学术亲缘关系明显呈区域性特征;不同高校相同学科专业的教师可以在师承关系上没有亲缘性,但有可能在知识结构和思维方式上显现出很近的亲缘关系。

高职教育创新型人才培养模式的构建

处在社会转型与变革期的高职教育应该以培养创新型人才为本真，并据此构建创新型人才培养模式。从某种程度上看，现行高职教育在过于迎合现实需要时走向了形而下，因而对于创新型人才的培养存在局限性，需要变革。虽然人才培养模式具有计划性、系统性、范型性、相对稳定性和个性化等特征，高职教育创新型人才培养也不存在统一的模式，但却可以确立若干原则来构建高职教育创新型人才培养模式及其个性化的子模式群。

影响我国高职教育可持续发展的条件

大力发展高职教育顺应了时代的要求,也使高职教育具备了较为有利的发展环境。但高职教育发展并不尽如人意。思想观念上的偏见、制度的缺位、经费短缺、教育质量的低水平徘徊,是高职教育可持续发展后劲乏力的重要原因。转变观念是保证我国高职教育可持续发展的先行条件;制定公正、公平、科学合理的制度环境,是高职教育可持续发展的根本保证;充足的经费是高职教育可持续发展的重要物质保障;质量是保证高职教育可持续发展的关键。

对高等职业教育“职业属性”认识的反思与批判——兼论高等职业教育合理定位过程中的主体局限性

当前高等职业教育定位中存在宏观定位不适应社会发展要求,中观定位脱离社会经济发展实际,微观定位缺乏个性和发展特色等问题,导致高等职业教育的发展处于低水平上徘徊。其原因虽然有政府政策的导向问题,但从认识论的角度看,乃是由于对高等职业教育职业属性的认识偏差以及对定位中的主体局限性认识不足所致。突破认识误区,有利于高等职业教育合理定位。

我国高等职业教育师资队伍结构现状、原因以及对策

建设一支结构合理的高素质教师队伍,是高等职业教育持续健康发展的有力保障。师资队伍的素质与结构,决定了高等职业教育所培养人才的素质与结构,并因此而影响地方社会经济的发展。从现实看,我国高等职业教育师资队伍存在严重的结构性失衡现象。文章认为,不合理的师资引进方式是导致这种现象发生的重要原因之一,并试图从引进教师资源问题入手,提出优化师资队伍结构的一些建议。

一种基于Apriori的动态关联规则挖掘方法

文章介绍了一种动态关联规则的挖掘方法 ,该方法的核心思想是仅使用更新的事务和前面阶段的挖掘结果 ,用 Apriori类算法作为局部过程来产生频集 。

高校教学团队建设研究述评

高校教学团队建设研究已取得了一定的成果,但也存在一些问题,有必要对高校教学团队建设研究的理论与实践进行总结与反思。当前高校教学团队建设研究的主要成果,从理论研究来看,包括教学团队的界定、教学团队的组织要素、教学团队的特征、高校教学团队运行模式、教学团队文化建设;实践研究主要有"双师结构"教学团队、各学科专业和课程教学团队建设研究。对高校教学团队建设问题的研究经历了由个别的自发阶段到行政主导阶段的发展过程,其中,国家政策尤其是高等教育教学质量工程项目的实施是主导教学团队建设研究的决定性因素。随着研究的逐步深入,高校"教学团队"建设也被赋予了更多的新内涵和新的功能。高校教学团队建设被视为高校教学质量工程建设的工具之一,实践中显示出建设的形式比实质性的建设更重要。随着社会的进步,高校教学团队建设的发展趋势将会是更加注重团队成员的契约心理、组织结构更加扁平化、管理方式更加柔性化。

高职教育校企合作中政府角色定位

校企合作,对于高职教育发展具有特殊的意义。校企合作对学校、企业和社会有利,对于学校和企业来说,是直接的利益关系;对于社会来说,则是隐性受益。而正是因为社会的这种隐性受益,很可能就是学校和企业的成本付出。成本付出的高低,决定双方合作程度的深浅。校企合作中的社会隐性受益问题,作为公共产品或准公共产品的范畴,只能通过政府介入来解决。校企合作中的政府介入,不是让政府充当校企合作的第三方主体,而是借助政府之手,进行恰当的制度设计,形成高职教育校企合作的长效机制。

从编辑视角看我国高校学报发展的困境与出路

高校学报具有综合性和内向性的特点。当前我国高校学报发展未受到应有的重视,存在着同质现象,在管理体制、学术质量、经济效益和社会效益、编辑学科背景等方面存在局限性。高校学报发展要更新办刊观念,准确定位,走开放式办刊之路,转变编辑观念,开放式办刊,依靠专家办刊,突出特色栏目和重点栏目的建设,改革科研考核办法。

构建高职教育创新型人才培养模式的条件及原则

教育部<关于全面提高高等职业教育教学质节的若干意见>(教高[2006]16号文)明确指出:"高等职业教育作为高等教育发展中的一个类型,肩负着培养面向生产、建设、服务和管理第一线需要的高技能人才的使命,在我国加快推进社会主义现代化建没进程中具有不可替代的作用".……

应用型本科院校教师队伍建设研究

应用型本科院校教师队伍建设水平的高低是应用型本科院校改革和发展的关键因素。当前应用型本科院校教师队伍存在理论型教师过多、应用型教师数量不足、学缘结构上"近亲繁殖"现象严重等结构不合理问题,教师整体素质不能适应应用型本科教育发展要求,没有建立起规范有序的教师流动大市场。应树立应用型本科院校教师队伍建设的新理念,促进教师队伍转型发展;做好教师队伍建设的整体规划;积极探索有利于教师职业生涯发展的科学规范的应用型本科院校教师队伍管理新模式。

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需。给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示。雷达干扰机系统说明了该方法的实际应用效果。