一个集成形式化模型及其操作语义

形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.     

微课在外科教学中的发展与探索

外科作为临床医学核心课程之一,基本以课堂理论教学—实践课操作练习—毕业实习的模式展开,教学周期长达一年及以上。学科涵盖知识量大,教师在有限的理论课上呈现的往往是提炼、概括、浓缩后的知识点。而实践课及毕业实习一般采用传统"传帮带"的方式进行,一过性的演示不利于学生真正掌握技能。2011年微课概念被引入国内,作为一种新型信息教育形式,微课以其"主题突出、情境真实、短小精悍、交互性好"等特点被广泛认可。微课包括微课结合其他新型教育形式在逐渐应用于外科教学中,其效果得到越来越明确验证的同时,也暴露出了一些问题。     

社会科学交叉科学定量评价中的引文分析方法

从社会科学,交叉科学及其评价的概念和意义出发,探讨了CSSC的特点及其在评价社会科学交叉科学方面的重要作用,针对引证分析和同行评议的固有缺陷,指出定量定性相结合的评价思路,必定是今后评价的主要方式。     

供应链上下游企业合作研发模式选择--宝钢-大众激光拼焊项目案例分析

企业供应链的发展促使企业合作研发寻求新的模式。分析了上下游大型企业进行合作研发的诱因及其模式选择问题,结合宝钢一上海大众激光拼焊案例,重点讨论了建立股权制合作研发对上下游企业的影响和供应链创新的意义。     

马克思对费尔巴哈哲学的清算

马克思在早期思想的发展中曾受到费尔巴哈的影响,有信仰费尔巴哈的阶段,但他不是被动的追随者,而是超过了费尔巴哈,从而走向了历史唯物主义。随着马克思思想的不断成熟,他与费尔巴哈分歧日益明显和突出,终于形成唯物史观和唯心史现的原则对立,从而使马克思对费尔巴哈进行了彻底的清算。     

从语言定义的演变看我国对语言本质认识的深化

语言定义往往能反映定义者对语言本质的认识,因此,通过分析语言定义,我们可以了解定义者的语言观,而且,分析一定时期内语言定义的演变过程,可以使我们看清语言学界对语言本质认识的深化过程。本文撷取了自上世纪初至本世纪初我国有代表性、有影响的一些语言定义,试图通过对这些重要的语言定义的分析和梳理,勾画出我国语言学界对语言本质认识的不断深化过程。     

黄石城市转型与发展模式研究

作为国家第二批资源枯竭型城市,黄石肩负着经济转型的历史使命。文章从黄石城市转型现状出发,依据资源枯竭型城市转型基本理论,借鉴国内外资源枯竭型城市转型的基本经验,对黄石城市转型的必然性、机遇及转型方向做了分析,并对黄石城市转型模式进行了研究。     

罗斯书库

今年（1944年,译者注）二月末,我奉台湾总督府之命到广州出差,对驻广州意大利总领事罗斯的书库做了调查。罗斯收藏了为数众多的珍贵图书和标本,固这在很早以前就在我国的专业领域中广为人知,也有不少学者慕名前去拜访,然而毕竟是私人书库,迄今为止能有幸观摩到书库全貌的还没有一个人。罗斯也曾几度忍痛割爱,将书库的一部分珍藏品转卖出去,     

文学概论课也可以上得生动精彩——浅谈文学概论课的教学

文学概论课是文学专业的一门重要课程,但由于其理论性比较强,很多学生不喜欢,很多教师反映很难讲授,尤其在一些高职高专,情况更是这样。其实,只要有效利用现代教学手段,创新教学方法,文学概论课也能上得很生动,学生也会喜欢听,能收到很好的教学效果。     

浅议高职院校学生可持续就业能力的培养

高职院校学生就业能力的培养并非一日之功,它需要针对高职学生如何了解自我、找准定位、前途规划三个方面内容,进行长期的、持续的、循序渐进的启迪与教育。