-
基于ALCO~@的ABox知识更新的研究
以描述逻辑ALCO@为基础研究知识更新.首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法.在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设.刘一松,王昌海,赵吉庆 - 计算机科学文章来源： 万方数据 -
面向人工社会计算实验的资源分类、描述与管理
基于人工社会的计算实验已成为许多突发事件应急管理研究的重要途径,将人工社会与计算实验应用于应急管理领域,为非常规突发事件应急管理的研究提供新的手段.以突发事件应急管理的计算实验为背景,研究人工社会计算实验环境下仿真资源的分类、描述和管理方法,并结合北京H1N1公共卫生事件的人工社会构建和计算实验,论述实验案例资源的规范描述和集成管理方法.张鹏,邱晓刚,陈彬,孟荣清,刘亮 - 系统仿真学报文章来源： 万方数据 -
基于扩散距离的SIFT特征匹配算法
SIFT(Scale Invariant Feature Transform)是目前最流行的局部特征提取及匹配算法.但传统SIFT算法采用欧氏距离来度量特征之间的SSD(Sum of Square Differences)并进行匹配,而传统的欧氏距离不能使高维特征向量恢复到具有低维的几何结构,导致错误匹配.为了克服这缺点,利用扩散距离代替欧氏距离进行匹配,然后使用随机抽样一致从候选匹配中排除错误的匹配.实验表明:该方法在图像形变、光照变化和图像噪声方面优于原方法.胡刚,刘侍刚,吴清亮,王刚 - 计算机系统应用文章来源： 万方数据 -
部分多值逻辑中单纯可离和完满对称关系的计数
根据部分多值逻辑的完备性理论,对两类准完备集-单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式.王婷,刘任任 - 计算机科学文章来源： 万方数据 -
众核阵列非满配时的并行编程方法
研究众核阵列非满配时逻辑线程映射到物理线程的方法.在此基础上提出应用于非满配众核阵列的并行编程方法,此方法也可以与MPI并行编程相结合,应用于大规模并行集群系统.王丽一,郑岩,李岱峰,王俊 - 计算机应用与软件文章来源： 万方数据 -
教育理论与创业教育的历史及其逻辑关系分析
理清教育理论和创业教育的历史和逻辑关系,是澄清思想并进一步促进创业教育在我国深入发展的现实需要.教育理论和创业教育的历史关系体现在教育理论在我国"本土化"历史进程中创业教育作为一种特定教育模式的出现.教育理论和创业教育的逻辑关系包括两个方面:第一,从教育理论的演绎逻辑分析,创业教育是特定教育理论的演绎子系统;第二,从教育理论的建构过程来看,创业教育是教育理论建构的基础和中介,具体表现在:创业教育是教育理论量的扩展和内涵的深化,创业教育为传统教育理论注入了新的教育要素.石秀杰,张季芳,吴楠 - 河北大学学报(哲学社会科学版)文章来源： 万方数据 -
碳酸盐岩缝洞型油藏描述与储量计算
碳酸盐岩缝洞型油藏的描述难度极大。以塔里木盆地塔河油田为例,应用系统层次化的研究方法,将多种缝洞组合、多种油水关系、多套压力系统的复杂油藏,分解成缝洞成因相似、压力系统相同的若干缝洞单元,形成了动、静相结合的缝洞单元综合评价方法以及“平面分单元、分储集类型、纵向分段”的体积法储量计算和储量分类评价方法。目前该方法在塔河油田开发实践中应用效果较好,已推广应用到整个塔里木盆地的碳酸盐岩油气开发和缝洞型油藏描述中。该方法对非常规油藏也具有一定的指导意义,主要是依托高精度三维地震、钻井和动态资料,进一步提高非常规油藏的描述精度。窦之林 - 石油实验地质文章来源： 万方数据 -
网络环境下的突发事件媒介话语生产与媒体公信力建设-以"杭州飙车案"和"李刚门"事件为个案
突发事件一经媒体报道,就会按照媒介本身的逻辑进行话语生产,成为媒介事件或媒介事件的组成部分.当传统媒体由于政治话语主导而缺失,媒介所呈现的突发事件就既与突发事件本身产生距离,更与主导的政治话语逻辑生产发生矛盾.网络舆论场域的非理性化则与商业导向和以消费主义为主要内容的大众文化有关.因此,媒体既要考虑到政治话语生产逻辑和媒介话语生产的不同,又要及时发布信息,加强自身公信力建设,以正确引导舆论,为构建和谐社会服务.原平方 - 中国报业文章来源： 万方数据 -
基于并发事务逻辑的语义Web服务组合
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.王雪松,钱俊彦,赵岭忠,高荣亮 - 计算机科学文章来源： 万方数据 -
趣味小知识
运用逻辑思维 有时歼动脑筋会比动手操作更快、更好地解决问题.举个例子,想象一个缺失了两个对角的棋盘(如下图).你能用31张多米诺骨牌把棋盘上剩下的62个格子盖住吗(每张牌盖住两个格子)?你可以尝试不同的摆放方式,但是可能需要花费很长的时间.若依靠逻辑思维,就可以在几秒钟内回答这个问题.- 天天爱学习（四年级）文章来源： 万方数据
科创中国
