-
部分多值逻辑中单纯可离和完满对称关系的计数
根据部分多值逻辑的完备性理论,对两类准完备集-单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式.王婷,刘任任 - 计算机科学文章来源： 万方数据 -
众核阵列非满配时的并行编程方法
研究众核阵列非满配时逻辑线程映射到物理线程的方法.在此基础上提出应用于非满配众核阵列的并行编程方法,此方法也可以与MPI并行编程相结合,应用于大规模并行集群系统.王丽一,郑岩,李岱峰,王俊 - 计算机应用与软件文章来源： 万方数据 -
教育理论与创业教育的历史及其逻辑关系分析
理清教育理论和创业教育的历史和逻辑关系,是澄清思想并进一步促进创业教育在我国深入发展的现实需要.教育理论和创业教育的历史关系体现在教育理论在我国"本土化"历史进程中创业教育作为一种特定教育模式的出现.教育理论和创业教育的逻辑关系包括两个方面:第一,从教育理论的演绎逻辑分析,创业教育是特定教育理论的演绎子系统;第二,从教育理论的建构过程来看,创业教育是教育理论建构的基础和中介,具体表现在:创业教育是教育理论量的扩展和内涵的深化,创业教育为传统教育理论注入了新的教育要素.石秀杰,张季芳,吴楠 - 河北大学学报(哲学社会科学版)文章来源： 万方数据 -
网络环境下的突发事件媒介话语生产与媒体公信力建设-以"杭州飙车案"和"李刚门"事件为个案
突发事件一经媒体报道,就会按照媒介本身的逻辑进行话语生产,成为媒介事件或媒介事件的组成部分.当传统媒体由于政治话语主导而缺失,媒介所呈现的突发事件就既与突发事件本身产生距离,更与主导的政治话语逻辑生产发生矛盾.网络舆论场域的非理性化则与商业导向和以消费主义为主要内容的大众文化有关.因此,媒体既要考虑到政治话语生产逻辑和媒介话语生产的不同,又要及时发布信息,加强自身公信力建设,以正确引导舆论,为构建和谐社会服务.原平方 - 中国报业文章来源： 万方数据 -
基于ALCO~@的ABox知识更新的研究
以描述逻辑ALCO@为基础研究知识更新.首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法.在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设.刘一松,王昌海,赵吉庆 - 计算机科学文章来源： 万方数据 -
基于并发事务逻辑的语义Web服务组合
并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.王雪松,钱俊彦,赵岭忠,高荣亮 - 计算机科学文章来源： 万方数据 -
趣味小知识
运用逻辑思维 有时歼动脑筋会比动手操作更快、更好地解决问题.举个例子,想象一个缺失了两个对角的棋盘(如下图).你能用31张多米诺骨牌把棋盘上剩下的62个格子盖住吗(每张牌盖住两个格子)?你可以尝试不同的摆放方式,但是可能需要花费很长的时间.若依靠逻辑思维,就可以在几秒钟内回答这个问题.- 天天爱学习（四年级）文章来源： 万方数据 -
以太网技术在SSRF设备控制中的应用
随着工控技术和以太网技术的发展,可编程逻辑控制器(Programmable Logic Controller,PLC)基本都具备了以太网连接功能.上海光源(Shanghai Synchrotron Radiation Facility,SSRF)大量采用了PLC作为设备控制器.应用以太网技术在上海光源设备控制中,通过以太网技术可以使设备控制器直接连接至控制网络.采用以太网技术简化了控制系统结构,同时也便于系统维护和升级.周大勇,刘德康,刘亚娟,沈立人 - 核技术文章来源： 万方数据 -
灾疫文化研究简论
灾疫文化是人类应对灾害和疫病而创造出来的自救文化,它伴随人类始终,构成人类文明的持续不衰的动力.当代地球失律和气候失律,导致灾疫失律,即灾疫的日益全球化、日常生活化和治理的日常政务化趋势,迫使灾疫文化研究必然兴起,并以重建生境和生境主义文明为根本目标.围绕此一目标要求,灾疫文化研究必须探讨当代灾疫失律的自然机理和人力机制,揭示"自然、生命、人、社会"共在互存、共生互生的生态逻辑和限度生存的世界原理,探索生境主义道路,构建生境主义价值体系,以为在全社会范围内展开生境主义的灾疫启蒙教育提供认知、思想、智慧和方法资源.唐代兴 - 中国地质大学学报(社会科学版)文章来源： 万方数据 -
投递学术论文时也请做到齐、清、定
齐、清、定本是对编辑工作的要求,但我们希望作者在投递学术论文时,也应该对该论文的每一个方面做到齐、清、定.齐即指标、数据等齐全,没有缺项;清即清晰,论文写作条理清晰,逻辑性强,不能模棱两可,- 临床泌尿外科杂志文章来源： 万方数据
科创中国
