知识时态逻辑有界模型检测中的完备性(英文)     

刘志锋  葛云  章东  周从华 《东南大学学报》2010,26(3):399-405

为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性.  相似文献   

高校教学交往和谐发展的困境与反思   总被引：1，自引：0，他引：1  

陈秀玲  董泽芳 《江苏高教》2010,(5)

教学交往是高校师生交往发展的重要渠道.目前,高校的教学交往正经历着从冲突到和谐的历史性转变.但高校教学交往形势并不容乐观,科研化的教师评聘模式、单向化的师生关系模式、机械化的教学方式、单一化的教学评价等,都在一定程度上阻碍了高校师生之间和谐的交往关系.和谐的教学交往是高校教学改革、教研改革的目标,更是大学生身心发展的必然需要.在提高教学交往的和谐性方面,文章给出了六条途径.  相似文献   

城乡教育资源均衡配置发展策略——基于综合战略政策分析     

董田甜 《教育学术月刊》2010,(5)

在落实科学发展观、建设教育强国,促进教育健康和谐发展的过程中,城乡教育资源均衡配置面临着前所未有的机遇和挑战。本文借鉴"PEST分析模型"和综合战略政策分析法,归纳城乡教育资源配置现状,总结城乡教育资源配置均衡发展的优势和劣势,探寻其发展可能存在的机会和威胁,从而确定开拓进取型、支持引导型、加强型和防御完善型等四大综合发展战略。  相似文献   

Referral,enrollment, and completion in developmental education sequences in community colleges   总被引：5，自引：0，他引：5  

Thomas Bailey  Dong Wook JeongSung-Woo Cho 《Economics of Education Review》2010

After being assessed, many students entering community colleges are referred to one or more levels of developmental education. While the need to assist students with weak academic skills is well known, little research has examined student progression through multiple levels of developmental education and into entry-level college courses. The purpose of this paper is to analyze the patterns and determinants of student progression through sequences of developmental education starting from initial referral. Our results indicate that fewer than one half of the students who are referred to remediation actually complete the entire sequence to which they are referred. About 30 percent of students referred to developmental education do not enroll in any remedial course, and only about 60 percent of referred students actually enroll in the remedial course to which they were referred. The results also show that more students exit their developmental sequences because they did not enroll in the first or a subsequent course than because they failed or withdrew from a course in which they were enrolled. We also show that men, older students, African American students, part-time students, and students in vocational programs are less likely to progress through their full remedial sequences.  相似文献   

统一战线与有序政治参与     

张东  焦霞 《辽宁师范大学学报(社会科学版)》2010,33(5):6-9

政治参与是民主政治的精髓,统一战线具有空前广泛性、巨大包容性、鲜明多样性和显著社会性的特点。统一战线在提高公民的政治参与能力、使执政党汲取更多的合法性资源和促进社会的和谐发展方面发挥重大作用。  相似文献   

人本主义与马克思美学思想的分期     

董学文 《高校理论战线》2010,(7)

人本主义不是马克思美学思想的核心,<手稿>应看作马克思思想的过渡期著作.马克思世界观和美学观成熟期的拐点是<关于费尔巴哈的提纲>和<德意志意识形态>.将<手稿>视作马克思哲学和美学"诞生地"、"历史唯物主义的真正开端",是不妥当的.模糊马克思"早期"和"成熟期"的思想界限,容易将其美学观变成人本主义.  相似文献   

CDIO工程人才培养模式的研究   总被引：2，自引：1，他引：1  

张凤娥  薛健飞  李定龙  董良飞  涂保华  浦玉忠 《实验技术与管理》2010,27(12)

面对当前我国高校工程类教育现状,遵循CDIO(conceive,design,implement,operate,构思-设计-实施-运作)高等工程教育模式,研究新世纪工程人才的培养计划,即通过底线培训计划、工程实践性环节的锻炼、创新性工程人才实践能力的培养3个环节,指出教学团队与导师制是实施的关键因素,同时给出了CDIO工程性人才培养的可行性操作方案.  相似文献   

通讯写作六字谈     

陈东 《安庆师范学院学报(社会科学版)》2010,29(1):123-128

讯这一新闻体裁是中国“特产”,从它的产生过程来看,必须突出新闻点。而它的深度性又决定它必须注重层次的构建和主题的凝炼,必须有普通人的存在,同时融人必要的情感和细节,这样通讯才能写得生动、活泼、有感染力。  相似文献   

民国时期江西民办中学概况与管理     

王栋  林容 《江西教育学院学报》2010,31(2):103-106

民国时期江西民办中学发展迅速,在一定程度上弥补了当时公立中等教育办学的不足,促进了江西社会经济的发展.但民办私立中学发展过快,也带来了一系列问题,加强对民办教育的管理,成为江西教育行政部门重要工作之一.民国时期江西教育行政部门从民办私立中学的办学条件、办学资金、办学质量等方面逐步加强和完善了对民办私立中学的管理,同时,在经济上对民办私立中学给予了适当的补助和扶持,以促进其健康发展.  相似文献   

高职机电类专业国家精品课程建设成就研究   总被引：1，自引：0，他引：1  

陈东 《职业技术教育》2010,31(32)

在高职国家精品课建设的引导下,高职院校将校企合作办学模式、工学结合人才培养模式落实到专业课程的建设和教学过程中,形成了符合高职人才培养要求的基于工作过程的课程模式,建成了一批有助于培养职业能力、道德素养和可持续发展能力的国家精品课程.在教学改革方面取得了突破性成果,有效地提高了教学质量.  相似文献