基于化学学科认知障碍突破的中考复习教学实践* ——以“二氧化碳的性质”为例

分析学生对二氧化碳的3个典型学科认知障碍,以“二氧化碳的捕捉”为情境,通过“尝试捕捉二氧化碳”“谁在捕捉二氧化碳”“捕捉背后的原理”等3个主要环节,实现对学科认知障碍的突破,展示了一种新的中考复习教学思路。     

因素空间理论与知识表示的数学框架（Ⅷ）─—变权综合原理

本文是文［１－７］的继续，研究变权综合问题，从确定变权的经验公式入手引出了变权原理，给出了变权的公理化定义，讨论了与之有关的均衡函数及其梯度向量。     

基于DS/AHP的供应商选择方法

供应商选择方法有很多种，在众多的方法中层次分析法以能够将定性指标定量化而被广泛应用于供应商选择决策中。考虑到供应商选择问题中包含有很多的不确定性而证据理论在处理不确定问题又有着独特的优点，因此本文采用了一种由层次分析法和证据理论结合而产生的DS／AHP决策方法，并将其应用于供应商选择决策问题中，该方法综合了层次分析法和证据理论的优点，可以更科学的进行供应商选择决策，最后通过一个例子说明这种方法在供应商选择中的应用。     

基于粗糙集理论的知识约简及应用实例

在保持分类能力不变的前提下 ,通过利用粗糙集理论中的知识约简方法 ,在保护知识库分类不变的条件下 ,删除其中不相关或不重要的知识 ,从而导出问题的决策 .利用基于决策表的粗糙集模型算法 ,实例分析如何数字化表示决策表 ,并对其进行属性约简和属性值的约简 ,从而提取决策规则 .     

On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.     

一个数学建模问题的简单解法

银行利率给出了一个简单计算方法 ,这种方法更符合中学生思维的习惯 .     

多媒体教育资源库层次索引模型

依据多媒体教育资源各层次特征及其关系,通过定义资源媒体特征空间,构建了教育资源库层次索引模型,各层次特征间的映射规则将资源的高层语义特征映射到低层媒体特征,达到了扩充描述语义的目的,提高了查全率;结合学科本体,规范了资源标注内容和用户查询条件的描述,减少了人为因素对查询项和索引项匹配相似度计算的影响,提高了查准率.     

一种供应链中的知识管理绩效评价方法研究

作为知识管理的重要组成部分，知识管理绩效评价旨在帮助企业找出影响绩效提高的关键因素并及时采取有效措施，提高知识管理水平。本文从创造顾客价值、知识的获取能力、知识的共享与传播能力、知识的运用水平、知识的存量水平和知识管理平台等六个方面，分析了评价供应链的知识管理绩效应考虑的主要因素，建立了供应链的知识管理绩效评价指标体系，在此基础上，提出了运用D-S证据推理方法，对供应链知识管理绩效进行评价，并给出了证据推理的算法步骤，最后通过算例分析，说明该方法的有效性、实用性。     

Degrevlex Gröbner bases of generic complete intersections

In this paper, we study the Hilbert–Samuel function of a generic standard graded K-algebra

K[X₁,…,X_n]/(g₁,…,g_m)

when refined by an (ℓ)-adic filtration, ℓ being a linear form. From this we obtain a structure theorem which describes the stairs of a generic complete intersection for the degree-reverse-lexicographic order. We show what this means for generic standard (or Gröbner) bases for this order; in particular, we consider an “orderly filling up” conjecture, and we propose a strategy for the standard basis algorithm which could be useful in generic-like cases.