戴伊克的宏观结构理论在自动文摘中的运用

文章探析了荷兰学者冯·戴伊克（Teun A.van Dijk）的宏观结构理论在网络评论文自动文摘中的运用,主要论述了“删除、选择、概括、组编与归总”4条宏观规则在计算机上的形式化.     

高等职业院校思想政治课教学方法改革探究

高等学校思想政治课作为高校教学任务的一个重要环节,在大学生人生观、价值观形成过程中发挥思政教育主渠道、主阵地的作用,作者根据自己多年的教学实践经验,针对思政课教学当前现状,探讨思政课教学方法改革的相应措施,更好地培养学生的创造性思维和提高课堂教学效果。     

MAS应用域本体的形式化建模及变换

该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性检查,利用语言范畴同构的思想实现了DORL语言与XML Schema语言的相互转换.     

形式化治理:村级组织性质的再认识

税费取消后,村级组织逐渐从原来的半正式或非正式的治理方式向以干部管理科层化、村务管理文牍化、村庄治理行政化为主要特征的形式化治理方式转型。形式化的治理是后税费时代村级组织经济基础的转变、治理内容的转换以及乡村两级治权的弱化所共同形塑的。这种治理方式使得基层组织既没有实现规则之治,又失去了原本简约治理的内涵,造成干群关系疏远、基层组织权威下降、农村的矛盾纠纷无法解决和农民上访增加,同时还造成了村庄内生资源和国家输入资源的极大浪费。在乡村社会与国家对接的这一灰色地带中,半正式治理仍然是一个合理且有效的选择。     

论晚明生活美学“癖”观念的成熟

在晚明闲赏生活文化高度发达的背景下,"癖"作为时代独特的审美观念也日趋成熟。"癖"一方面代表着文人审美感官力的进化,另一方面又体现了审美客体的形式化,审美经验与规律在晚明得到了较好的总结,"癖"观念的成熟是审美的进步。然而,"癖"也意味着文人在自我生活空间中的沉溺,而缺乏海纳百川的宏大情怀,由此,"癖"的极致发展必然走向病态与畸变。     

服务科学管理与工程：一个正在兴起的领域

20世纪80年代以来,服务日趋重要,并有占据全球经济主导地位之势。服务科学旨在通过科学的形式化方法对服务展开跨学科的系统研究,目前正处于兴起阶段。回顾了服务经济在全球快速成长的形势,说明了服务科学研究的必要性、紧迫性及其兴起过程。在重点讨论了服务科学的研究对象"服务"的基础上,详细阐述了服务科学的概念与目标,说明了服务科学的核心议题和研究方向。     

《阿部一族》中的殉死问题

<阿部一族>是森鸥外的第二部殉死小说,本文围绕殉死问题,分析了各家臣的殉死观,并剖析了森鸥外对殉死问题的态度变化.     

辩证逻辑的现代发展及述评

本文对上世纪60年代以来国内外辩证逻辑形式化的主要成果,作了一简要的述评,以利于学术界了解目前研究的进展情况,促进21世纪辩证逻辑形式化的研究.     

逻辑学发展过程中的曲折--从伽利略到黑格尔

从文艺复兴到黑格尔时代,由于社会历史、自然科学尤其是数学发展的局限、逻辑本质认识上的不明确等内在原因,逻辑学在形式化的发展过程中出现曲折.培根倡导归纳法,试图用科学方法论取代演绎逻辑的地位,其结果,一方面发展了归纳方法,另一方面,也模糊了人们对逻辑学的认识.黑格尔则把逻辑的内涵不正确地扩大,认为逻辑学不仅要研究形式而且还要研究内容,这是对逻辑学认识的一种倒退.然而,他的意外的却又极其重大、影响深远的贡献是发展了辩证法,这在人类认识演变史上是一个伟大的进步.     

资源描述框架的形式化表示问题研究

资源描述框架(RDF)正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领域的重要课题。本文结合国内外关于RDF形式化表示的各种观点,提出了一种较为完整的RDF图形式化表示框架。