基于OBE的计算机组成原理线上线下混合一流课程建设研究

目前,国内关于计算机组成原理课程的教学研究大多集中在实践教学改革、虚拟仿真平台建设等方面,随着2019年教育部一流本科课程建设“双万计划”的启动,对标“两性一度”的建设标准开展课程教学研究已势在必行。以山西大同大学为例,结合地方本科院校的办学定位,基于OBE理念从高阶教学目标设计、教学内容的创新、教学方法的改革、多维度的教学评价和课程团队建设五个方面展开研究,对计算机组成原理课程开展混合式一流课程建设提出了具体的做法,为兄弟院校相关专业一流课程建设提供参考。

形式概念内涵的一种快速求法

形式概念分析理论对于知识发现、信息检索、机器学习、软件工程等领域是一种很有效的研究工具。在它的应用中,概念的快速求法具有举足轻重的作用,研究人员已经提出了许多求概念的算法,这些算法都离不开形式背景并不可避免地对形式背景进行多次访问,对于大的形式背景来说,会大大降低算法的效率。提出用属性树方法求概念的内涵,只对形式背景进行一次扫描,就可以求出全部概念的内涵,从而可求出所有的概念。实验表明,该算法的效率要高于Ganter算法的效率,并且可以进行并行计算。

概念格的外延覆盖约简

概念格是数据分析与知识发现的一种有效的形式化工具。知识发现的一个重要课题是知识约简,因此,寻求简单有效的属性约简方法是很有必要的。近年来,概念格属性约简方法的研究得到了很多学者的关注,提出了多种形式的概念格属性约简方法。本文利用形式背景的外延基本元,提出了概念格的外延覆盖约简的概念。讨论了这种约简与已有的几种约简之间的关系。证明了外延覆盖约简等价于粒约简,且概念格属性协调集一定是外延覆盖协调集。给出了外延覆盖协调集的判定定理,借鉴粗糙集属性约简的思想,得到了利用辨识矩阵计算全部外延覆盖约简的Boole方法。

概念格上的近似概念

探讨在形式背景中的任意概念,由其外延形成的上近似概念和下近似概念,以及由其内涵形成的上近似概念和下近似概念这四者之间的关系.在形式背景中,从任意对象集(或属性集)出发,利用确定的概念格建立该对象(或属性)的下近似概念外延(或内涵)与上近似外延(或内涵),从而得到由对象(或属性)集形成的上近似概念和下近似概念;对于任意一概念,由其外延形成的上近似概念和下近似概念是它本身,且由其内涵形成的上近似概念和下近似概念也是它本身.通过实例说明这种方法的可行性,由此得到概念格理论中,生成上(下)近似概念的一种有效方法.

关于词项和概念的辨析

在逻辑学中,词项作为符号是进行逻辑分析和推演的基本单位,概念是对词项的意义的解释,外延是词项在当下概念所指向的对象的集合下的元素。词项从语法的角度强调它作为命题的一个成分,概念从语义的角度强调它的涵义,二者各有自己的适用范围。简单地用词项取代概念或是用概念取代词项都是不合适的,我们要做的是细心地区分出它们的不同涵义和适用范围,从而正确地理解和使用它们。

基于形式概念的粗糙近似

证明了对象(属性)概念的外延(内涵)是构成概念外延(内涵)的基本单位,由此提供了通过外延(内涵)基本元来构造形式概念的方法。定义了几种基于外延基本元和内涵基本元的上、下近似,给出了近似算子的性质,并讨论了这些近似算子之间的相互关系。

网格资源实概念格模型及其算法研究

如何对资源进行组织与管理,是网格研究与应用问题中的关键课题。为了解决这个问题,出现了一系列理论方法和应用原型。首次提出了实概念格和实概念Trie树的网格资源管理策略,将形式概念分析理论和网格资源管理技术进行了有机的结合。给出了网格、资源的形式概念定义,建立了网格资源实概念格模型。利用形式概念分析方法,构造了网格资源实概念的外延Trie树和内涵Trie树,并给出了树的生成和资源与服务检索算法。实验和实例表明,这种资源组织方式是可行的和有效的。

临界概念和临界命题

从逻辑的角度出发，通过对临界现象和临界表述的分析，给出了临界概念和临界命题的定义，并对临界命题的逻辑演算进行了初步探讨。

基于消息传递的概念格并行构造

作为形式概念分析的主要工具,概念格已在知识发现、软件工程等诸多领域取得广泛的应用。但是由于概念格自身的完备性,构造复杂性一直是困扰其进一步发展的一大难题。利用高性能并行计算机的计算与存储能力来构造和存储是解决这一问题的有效途径。首先介绍外延独立的同域概念格相关概念及其合并运算,在此基础上提出了一种基于MPI(M essage Passing Interface)消息传递机制的概念格并行构造算法。分析表明,该算法是高效、可行的。

粗糙概念格及构造算法

概念格是数据分析与知识提取的一种有效工具,具有精确性和完备性等特点。针对决策形式背景,采用粗集理论中近似的方法描述格的内涵所拥有的外延,给出了一种粗糙概念格结构,具备了描述不确定知识的能力,在此基础上,给出了粗糙概念格的构造算法CARCL。

一种基于约束概念格的恒星光谱数据自动分类方法

概念格是数据分析与知识提取的一种有效形式化工具,约束概念格是一种新的概念格结构,具有构造的时空复杂性低,所提取知识的实用性和针对性强等特点。针对海量恒星光谱自动分类任务,依据约束概念格结点外延与训练样本数据集等价划分之间的关系,通过引入外延支持度和划分支持度的概念,提出了一种基于约束概念格的恒星光谱数据分类规则挖掘方法,并采用SDSS恒星光谱数据集,实验验证了由该方法所提取出的分类规则具有较高的分类效率和分类正确率,从而为海量的恒星光谱数据自动分类提供了一种有效方法。

形式概念粗糙近似比较研究

形式背景会产生许多概念,对论域中的任何一个子集,从形式背景确定的概念中求出2个概念的外延作为该子集的上下近似。对这些方法进行比较研究,提出用粗糙集方法来求出上近似,并从理论上证明用现有的各种方法所求出的概念的上近似外延是相同的。同时也指出求概念的下近似外延方法的不足之处。

一种新的网格资源模型研究

提出了模糊概念格和模糊概念Trie树的网格资源模型,将形式概念分析理论和网格资源管理技术进行了有机地结合。给出了网格、资源的形式概念定义,构造了网格资源模糊概念格。利用形式概念分析方法,生成了网格资源模糊概念的外延Trie树和内涵Trie树,并给出了树的生成和资源与服务检索算法。实验和实例表明,这种资源组织方式是可行和有效的。

浅议低碳背景下的煤化工发展

人们都了解CO2排放量的来源,主要是煤这种自身由碳元素构成的化石原料,所以当前在倡导减少碳排放、节能减排呼吁下,作为碳排量较多的中国,也越来越重视低碳经济的概念了。根据我国实际使用煤生产的情况,要想实现低碳经济目标,就需要提升煤炭的利用率以及回收率。文章就将以低碳经济条件下,实现煤化工的高效发展为课题,详细指出多种产业化共生的理念,再结合先进的科技手段,努力构建现代煤化工,实现低碳发展的道路前景。

数学概念在内涵与外延上的表征

本文提出并论述了数学概念在内涵与外延上的两个表征：（１）结层性；（２）侧综性。同时，还进一步阐明了数学概念的兼容性、非兼容性和反变性。

粗糙概念格分层建格算法及应用

粗糙概念格能够反映对象与特征间的确定与不确定关系,具有处理不确定性知识的能力,格的构建在应用过程中具有重要的意义。通过分析粗糙概念格的概念和结构,并结合一般概念格的构建思想,针对决策形式背景,提出一种以决策属性值为切入点的粗糙概念格的分层建格方法,从而丰富了粗糙概念格的构建理论。通过实例验证了该方法简单直观,效果良好。

对我国环境公益诉讼可诉范围的立法构想

可诉范围是环境公益诉讼制度的一项重要内容。对环境公益诉讼可诉范围的确定,不能够采取随意态度,需要综合考虑诸多因素。通过对国外环境公益诉讼制度的初步考察,结合我国的实际情况,在以保护环境公益为目的的基础上,提出环境民事公益诉讼、环境行政公益诉讼可诉范围及例外情形的立法建议。

大众文化回眸

大众文化作为一种思潮已经有十几年的历史了。它打破了视文化为高高在上的传统观念,继而砸碎“崇高”颠覆“神秘”。它带来的冲击和影响实在是难以估量的。因此对其梳理一下是十分必要的。

对“新潮小说”疆域界定的再思考

通过对“新潮小说”的创作思想、创作特征与话语本质进行考察,对以往的“新潮小说”研究中存在的疆域界定含混问题,重新进行了梳理和界定。得出的结论是文化寻根、先锋小说、女性写作、新写实小说以及晚生代作家的创作是构成“新潮小说”的五大板块。

双序渐进式概念格合并算法

针对传统的概念格合并算法仅为单向的纵向或横向合并,提出一种基于概念内涵、外延升降序的双序渐进式合并算法。按照概念的内涵或外延的升序和降序,从两个方向(由上到下和由下到上)同时进行子概念格的纵向或横向合并。算法分析和示例结果表明,该算法不仅在结构上较好地保留了原有信息,而且在效率上也获得了显著的提高。