期刊文献+
共找到166篇文章
< 1 2 9 >
每页显示 20 50 100
机关事业单位编外人员治理的时空政治逻辑转换
1
作者 徐刚 吴幽 《中南大学学报(社会科学版)》 北大核心 2024年第1期147-156,共10页
机关事业单位编外人员治理的“老人老办法、新人新规定”做法其实蕴含着时间政治逻辑,并存在着明显的效率价值偏向。在“职位中心主义”的应然趋势下,应推进编外人员治理的时空政治逻辑转向,外在表征上由人员资历转向工作职序,内在要义... 机关事业单位编外人员治理的“老人老办法、新人新规定”做法其实蕴含着时间政治逻辑,并存在着明显的效率价值偏向。在“职位中心主义”的应然趋势下,应推进编外人员治理的时空政治逻辑转向,外在表征上由人员资历转向工作职序,内在要义上由身份符号转向职位禀性,进而在强调空间政治逻辑中形成编外人员治理的组织空间和区划空间进路策略。时空统一的政治逻辑转向,预示着可通过突破身份疏离突显权能分工,在克服体制内外身份有别的过程中提升编外人员治理水平,从而为促进中国式现代化提供高质量的组织支撑。 展开更多
关键词 编外人员治理 时空政治逻辑 身份符号 职位禀性
下载PDF
带拒绝推理的反绎学习方法
2
作者 黄宇轩 姜远 《计算机研究与发展》 EI CSCD 北大核心 2024年第7期1791-1798,共8页
近年来,许多研究工作致力于将数据驱动的机器学习和知识驱动的逻辑推理相结合,以提高机器学习的性能.其中,不少工作尝试利用反绎推理,将机器学习与逻辑推理融合到一个框架中.这些方法通过机器学习模型生成伪标记,然后利用反绎推理来修... 近年来,许多研究工作致力于将数据驱动的机器学习和知识驱动的逻辑推理相结合,以提高机器学习的性能.其中,不少工作尝试利用反绎推理,将机器学习与逻辑推理融合到一个框架中.这些方法通过机器学习模型生成伪标记,然后利用反绎推理来修正不一致的伪标记,以更新机器学习模型并多次迭代.然而,反绎中可能会存在错误标记,这些标记会对模型训练产生负面影响且难以被发现.因此提出一种带拒绝推理的反绎学习方法,它同时考虑反绎标记的模型不确定性和推理不确定性,从数据层面和知识层面综合评估反绎结果的可靠性,并通过拒绝部分反绎推理结果来避免不可靠的反绎标记对模型训练的负面影响.实验表明,提出的方法可以减少错误反绎标记的比例、加速反绎学习的训练并带来更好的性能. 展开更多
关键词 反绎学习 机器学习 逻辑推理 反绎推理 神经符号学习
下载PDF
职业教育质量项目化的事理逻辑、符号效应与优化策略
3
作者 殷文杰 《天津职业大学学报》 2024年第2期13-18,共6页
项目制治理体制和职业院校的自身发展需要助推职业教育质量评价的项目化。现实中,项目在职业教育质量评价中的符号价值容易掩盖职业教育的质量内涵、动摇教学工作的核心地位、影响职业教育的基本价值取向,在一定程度上影响到职业教育质... 项目制治理体制和职业院校的自身发展需要助推职业教育质量评价的项目化。现实中,项目在职业教育质量评价中的符号价值容易掩盖职业教育的质量内涵、动摇教学工作的核心地位、影响职业教育的基本价值取向,在一定程度上影响到职业教育质量的持续提升。只有重新认识职业教育的质量内涵,强化职业教育质量标准的育人导向、培育具有自身特色的质量文化、优化项目管理,才能彰显项目的质量价值,为职业教育的高质量发展提供保障。 展开更多
关键词 职业教育质量 项目化 事理逻辑 符号效应 策略
下载PDF
步数记录:健身运动符号化的产生逻辑及道德风险
4
作者 郑航 《河北体育学院学报》 2024年第1期22-27,共6页
基于符号理论对健身运动的符号化过程进行分析。以步数记录为例,讨论健身运动符号化的产生逻辑及道德风险。体育符号化在人类文明之初就已体现,现代科技发展加速了健身运动的符号化进程。手机、手环等电子设备与健身运动的结合,方便了... 基于符号理论对健身运动的符号化过程进行分析。以步数记录为例,讨论健身运动符号化的产生逻辑及道德风险。体育符号化在人类文明之初就已体现,现代科技发展加速了健身运动的符号化进程。手机、手环等电子设备与健身运动的结合,方便了使用者对体育符号的读取,符号的价值评判成为运动参与的考量因素。健身运动符号化带来诸多道德风险:对健身运动符号的不当认知易导致体育本质的异化,以体育符号为中心的社会互动易产生越轨行为,商业对健身符号的塑造易引发攀比、炫耀等现象。健身运动的符号化呼唤更为有效的体育伦理教育,在尊重运动个性参与、发挥群体助力作用的同时,应强化体育符号的商业监管和认知引导。 展开更多
关键词 健身运动 符号化 步数记录 产生逻辑 道德风险
下载PDF
Mathematical Model of Embodied Symbols: Cognition and Perceptual Symbol System
5
作者 Leonid Perlovsky Roman Ilin 《Journal of Behavioral and Brain Science》 2012年第2期195-220,共26页
A mathematical model of perceptual symbol system is developed. This development requires new mathematical methods of dynamic logic (DL), which have overcome limitations of classical artificial intelligence and connect... A mathematical model of perceptual symbol system is developed. This development requires new mathematical methods of dynamic logic (DL), which have overcome limitations of classical artificial intelligence and connectionist approaches. The paper discusses these past limitations, relates them to combinatorial complexity (exponential explosion) of algorithms in the past, and relates it further to the static nature of classical logic. DL is a process-logic;its salient property is evolution of vague representations into crisp. We first consider one aspect of PSS: situation learning from object perceptions. Next DL is related to PSS mechanisms of concepts, simulators, grounding, embodiment, productiveity, binding, recursion, and to the mechanisms relating embodied-grounded and amodal symbols. We discuss DL capability for modeling cognition on multiple levels of abstraction. PSS is extended toward interaction between cognition and language. Experimental predictions of the theory are discussed. They might influence experimental psychology and impact future theoretical developments in cognitive science, including knowledge representation, and mechanisms of interaction between perception, cognition, and language. All mathematical equations are also discussed conceptually, so mathematical understanding is not required. Experimental evidence for DL and PSS in brain imaging is discussed as well as future research directions. 展开更多
关键词 Perceptual symbol SYSTEM EMBODIED COGNITION PERCEPTION Knowledge Representation Grounded symbolS Dynamic logic
下载PDF
叙事学视角下中国家庭题材电视剧现实主义表达 被引量:1
6
作者 张智华 周璐 《艺术百家》 北大核心 2023年第6期99-106,113,共9页
近年来,中国家庭题材电视剧为观众呈现普通百姓日常生存状态,表现平凡家庭中的人们面对生活时的价值取向与认知态度,裹挟着强烈的戏剧冲突和现实意蕴。家庭题材电视剧的叙事符号承担了丰富的叙事功能,作为叙事人物精神演化的载体;叙事... 近年来,中国家庭题材电视剧为观众呈现普通百姓日常生存状态,表现平凡家庭中的人们面对生活时的价值取向与认知态度,裹挟着强烈的戏剧冲突和现实意蕴。家庭题材电视剧的叙事符号承担了丰富的叙事功能,作为叙事人物精神演化的载体;叙事主题隐喻了时代变迁下中国社会生活的矛盾变化;叙事逻辑体现了家庭与社会之间的现实发展联系;叙事空间通过想象与建构城市空间、家庭空间及个人心理空间,展示了现实社会各种复杂的关系。 展开更多
关键词 叙事符号 叙事主题 叙事逻辑 叙事空间 现实主义
下载PDF
符号消费主义的意识形态批判 被引量:5
7
作者 陈雪娇 庞立生 《东北师大学报(哲学社会科学版)》 北大核心 2023年第3期49-54,共6页
符号的介入使消费成为现代社会经济发展最核心的推动力之一。当物的实体性与历史性被抽空,只剩下差异的记号和整个差异体系的缩影,“物—商品—人类”的全部价值便凝结在符号价值体系之中,使符号消费主义成为主流意识形态。符号消费主... 符号的介入使消费成为现代社会经济发展最核心的推动力之一。当物的实体性与历史性被抽空,只剩下差异的记号和整个差异体系的缩影,“物—商品—人类”的全部价值便凝结在符号价值体系之中,使符号消费主义成为主流意识形态。符号消费主义是资本逻辑统治由生产领域向消费领域拓展的意识形态表现。深刻认识符号消费主义的生成逻辑及其给现代政治、社会、文化、生态文明带来的复杂影响,把握符号消费主义背后的资本主义意识形态实质,对于建构当代消费文明和创造人类文明新形态具有重要的现实意义。 展开更多
关键词 符号 消费主义 资本逻辑 意识形态
下载PDF
自动推理技术在求解组合数学难题中的研究进展
8
作者 黄沛 刘明昊 +1 位作者 马菲菲 张健 《计算机科学》 CSCD 北大核心 2023年第7期167-175,共9页
自动推理是一种以符号演算的方式来自动模拟人类逻辑推理能力的技术,其总体目标是利用计算机构建一个将不同形式的推理机械化的系统。虽然该领域的理论框架尚未实现对人类全部推理能力的模拟,但该领域的发展已经可以帮助研究人员解决一... 自动推理是一种以符号演算的方式来自动模拟人类逻辑推理能力的技术,其总体目标是利用计算机构建一个将不同形式的推理机械化的系统。虽然该领域的理论框架尚未实现对人类全部推理能力的模拟,但该领域的发展已经可以帮助研究人员解决一些数学和逻辑领域的开放性问题,并提供了计算科学中的重要应用。文中简要回顾了利用自动推理技术处理组合数学开放性难题时的代表性方法,重点梳理了该领域的国内外最新进展,分析了各种方法的优势与不足,介绍了近年来出现的增强自动推理结果可信性的技术方法,并探讨了未来的研究方向和面临的挑战。 展开更多
关键词 自动推理 组合数学 计算逻辑 人工智能 符号演算
下载PDF
红色文化符号:内在表征、衍生逻辑与价值深化 被引量:2
9
作者 李月玲 《长江师范学院学报》 2023年第1期65-71,共7页
红色文化是中国共产党带领中国人民在革命、建设、改革和新时代的伟大实践历程中凝结发展起来的标志性文化,蕴含着中国共产党独特的文化特质。以红色为突出表征的文化符号,内蕴着共产党人敢于斗争的精神基因、忠诚为民的价值旨归、与时... 红色文化是中国共产党带领中国人民在革命、建设、改革和新时代的伟大实践历程中凝结发展起来的标志性文化,蕴含着中国共产党独特的文化特质。以红色为突出表征的文化符号,内蕴着共产党人敢于斗争的精神基因、忠诚为民的价值旨归、与时俱进的发展要求。剖析红色文化符号的衍生来源,中国传统文化偏好是其历史逻辑,马克思主义中国化是其理论逻辑,中国共产党的革命实践是其现实逻辑。当前,中国共产党的政治叙事书写到关键节点,亟需深度诠释红色文化符号内涵表征,广泛凝聚国家政治认同;多维打造红色文化符号传播载体,深度构筑时代精神风貌;全力推动红色文化符号话语突围,充分彰显中国文化魅力,从而不断深化其内在价值,为中华民族伟大复兴注入磅礴的文化力量。 展开更多
关键词 红色文化符号 内在表征 衍生逻辑 价值深化
下载PDF
图式语言视角下环滇池地区古村落空间布局特征研究 被引量:2
10
作者 詹勇 程海帆 +1 位作者 胡荣 牛航 《住区》 2023年第1期16-24,共9页
针对当前环滇池地区古村落在快速都市化进程中面临着空间失序、传统营建智慧丢失、地区性及民族性特征不强的问题,探讨延续古村落传统文化之空间转型重构路径;为此,选取环滇池地区海晏村、白眉村和一朵云村三个古村落为研究对象,运用图... 针对当前环滇池地区古村落在快速都市化进程中面临着空间失序、传统营建智慧丢失、地区性及民族性特征不强的问题,探讨延续古村落传统文化之空间转型重构路径;为此,选取环滇池地区海晏村、白眉村和一朵云村三个古村落为研究对象,运用图式语言揭示空间布局的逻辑关系,提取各类空间要素之间的排列嵌套耦合层次关系,构建匹配环滇池地区古村落空间布局的图式语言体系特征;进一步总结古村落地域性特征及形成机制,受流域自然和人文地理环境影响下的图式语言模式,以期利用图式语言的普适性与稳定性,延续古村落空间布局。 展开更多
关键词 空间布局 图式语言 图式符号 层次逻辑关系 环滇池地区
下载PDF
树立和突出共享中华文化符号和中华民族形象的三重逻辑 被引量:2
11
作者 夏云峰 《广西民族研究》 北大核心 2023年第2期36-45,共10页
树立和突出共享的中华文化符号和中华民族形象,是增强民族团结,展示国际形象的重要途径。鉴此,需要对其内涵的逻辑进行深入剖析。以中华文化符号和中华民族形象的自然属性、文化属性和社会属性蕴涵的“是什么”的内在逻辑进行研究;以增... 树立和突出共享的中华文化符号和中华民族形象,是增强民族团结,展示国际形象的重要途径。鉴此,需要对其内涵的逻辑进行深入剖析。以中华文化符号和中华民族形象的自然属性、文化属性和社会属性蕴涵的“是什么”的内在逻辑进行研究;以增强中华民族文化认同、筑牢中华民族文化根基和发展中华民族文化之路“为什么”的价值逻辑展开分析;以中华文化符号和中华民族形象的继承、转化和发展的“怎么做”的实践逻辑加以思索。 展开更多
关键词 中华文化符号 中华民族形象 三重逻辑
下载PDF
一阶逻辑命题符号化的研究
12
作者 方冬云 曾宪芾 《榆林学院学报》 2023年第5期57-60,共4页
一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上... 一阶谓词逻辑作为一种重要的知识表示方法,有着强大的陈述表达能力,能够将思维活动准确的表达出来,而一阶逻辑命题符号化是一阶谓词逻辑的基础,把自然语言用离散数学的相关符号转化为谓词公式。文章着重分析自然语言含有三个或三个以上谓词的命题符号化,将每句自然语言分解成多个复合的主谓语,按照“”量词与“→”联结词搭配,“”量词与“∧”联结词搭配的规则进行符号化。通过一阶逻辑命题符号化,利用一阶逻辑等值式及推理规则能高效率处理和解决自然语言领域的相关问题。 展开更多
关键词 一阶逻辑 命题符号化 一阶逻辑等值式
下载PDF
鲍德里亚消费社会批判思想的系统逻辑及局限
13
作者 陈晓雪 《哈尔滨学院学报》 2023年第5期25-29,共5页
系统逻辑始终贯穿于鲍德里亚的消费社会批判思想中,在后结构主义的影响下,他彻底沉浸在形而上的世界中,认为当今系统是在能指层面控制着社会,以往的革命形式均已失效,若想颠覆系统必须采用具有可逆性的象征交换方式,否则系统无法对此类... 系统逻辑始终贯穿于鲍德里亚的消费社会批判思想中,在后结构主义的影响下,他彻底沉浸在形而上的世界中,认为当今系统是在能指层面控制着社会,以往的革命形式均已失效,若想颠覆系统必须采用具有可逆性的象征交换方式,否则系统无法对此类挑战作出回应只能走向自我毁灭。由于理论与现实的脱节甚至开历史的倒车,使鲍德里亚陷入了虚无主义,其批判也失去了现实向度。 展开更多
关键词 鲍德里亚 系统逻辑 结构主义 后结构主义 象征交换
下载PDF
量子符号执行的优化
14
作者 姜楠 王子臣 +1 位作者 王健 王海亮 《北京工业大学学报》 CAS CSCD 北大核心 2023年第6期621-629,共9页
量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执... 量子符号执行是一种为量子程序生成测试用例的技术.目前,量子符号执行只机械地根据被调试程序中的每一个条件语句来连续划分测试用例空间,没有考虑整个表达式以及条件语句的嵌套,导致量子线路比较复杂.为了解决该问题,提出对量子符号执行的优化.首先,通过对关系表达式进行化简,直接减少量子模块个数,或者通过值的替换间接减少量子模块个数.其次,对逻辑与和逻辑或2类逻辑表达式分别提出简化线路的方法.最后,提出将嵌套条件语句看作外层与内层的逻辑与来简化线路,优化对量子符号执行中测试用例空间的划分.实验表明,该优化方法降低了实现量子符号执行线路的成本,包括量子门和量子比特个数. 展开更多
关键词 量子符号执行 线路优化 量子程序测试 关系表达式简化 逻辑表达式简化 嵌套条件简化
下载PDF
马克思生产与消费理论及其当代境遇 被引量:15
15
作者 邹广文 宁全荣 《河北学刊》 CSSCI 北大核心 2013年第4期22-26,共5页
马克思关于生产与消费的基本理论认为,生产与消费具有同一性,二者是相互决定、互为中介的。生产与消费相互作用的辩证运动表现为社会的发展变化。对于生产与消费的关系的理解须从抽象上升到具体,马克思以资本逻辑为轴心展开对资本主义... 马克思关于生产与消费的基本理论认为,生产与消费具有同一性,二者是相互决定、互为中介的。生产与消费相互作用的辩证运动表现为社会的发展变化。对于生产与消费的关系的理解须从抽象上升到具体,马克思以资本逻辑为轴心展开对资本主义社会中的生产与消费的辩证分析。在当代,资本逻辑的表现形式出现了极大的变化,消费的需要对于生产越来越具有决定性的作用,但这种变化本身并未从根本上超出马克思的消费理论。 展开更多
关键词 生产 消费 资本逻辑 符号消费
下载PDF
智能神经网络系统组成原理在语音识别中的应用 被引量:2
16
作者 尹鹏 李涛 王海兵 《小型微型计算机系统》 EI CSCD 北大核心 2000年第8期836-839,共4页
在语音识别实验中 ,应用智能神经网络系统组成原理 ,研究了以简单、功能单一的网络为基础 ,构筑复杂、功能完善的智能神经网络系统的方法 .同时 ,通过加入规则 ,提高了网络的识别能力 .实验表明 ,智能神经网络系统组成原理将面向对象、... 在语音识别实验中 ,应用智能神经网络系统组成原理 ,研究了以简单、功能单一的网络为基础 ,构筑复杂、功能完善的智能神经网络系统的方法 .同时 ,通过加入规则 ,提高了网络的识别能力 .实验表明 ,智能神经网络系统组成原理将面向对象、符号逻辑融于神经网络中 ,提供了构造功能完备的智能系统的途径 . 展开更多
关键词 智能神经网络系统 语音识别 符号逻辑 面向对象
下载PDF
有限偶然的微节奏组织——鲁托斯拉夫斯基《弦乐四重奏》研究 被引量:12
17
作者 刘永平 《黄钟(武汉音乐学院学报)》 北大核心 2003年第1期15-22,共8页
文章通过对鲁托斯拉夫斯基晚期作品《弦乐四重奏》的分析研究 ,指出了在有限偶然结构中微节奏织体的组织逻辑、结构方法以及整体结构的主要特征。
关键词 有限偶然 微节奏 鲁托斯拉夫斯基 组织形式 数理逻辑 排列组合
下载PDF
语言与文字之华:“隐喻”·“比兴” 被引量:4
18
作者 白晓东 李璐 《西北大学学报(哲学社会科学版)》 CSSCI 北大核心 2008年第1期80-85,共6页
以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了"隐喻"、"比"、"兴"的异同,得出以下结论:这三个概念虽共有类比性、暗示性,但"比"中"源范畴"与"目标范畴"的关系... 以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了"隐喻"、"比"、"兴"的异同,得出以下结论:这三个概念虽共有类比性、暗示性,但"比"中"源范畴"与"目标范畴"的关系较"兴"更显明且逻辑性强,与"隐喻"一致。相较于隐喻"两点一线"的逻辑认知功能,"兴"的工作机制呈现为多维的、并置呼应的直觉共鸣,反映出中国二元互动有机思维。同时,西方的"象征"因其"象"与所"征"约定俗成关系,类似中国"香草美人"手法,所以同于"比"和"隐喻"而异于"兴"。 展开更多
关键词 隐喻 比兴 象征 线性逻辑 并置呼应
下载PDF
从抽象的异化到异化的抽象:符号消费背后的异化逻辑及其本质 被引量:6
19
作者 田芯 徐绍元 徐桂娣 《东北大学学报(社会科学版)》 CSSCI 北大核心 2018年第1期7-12,共6页
如果说商品生产和商品消费中人的异化仅仅是抽象的异化,那么在符号消费中人的异化本身也被抽象化了。符号消费不但使人失去了反抗异化的对象,也使人失去反抗异化的能力,使人处于一种符号化的生存状态之中。在资本主义社会消费主义盛行,... 如果说商品生产和商品消费中人的异化仅仅是抽象的异化,那么在符号消费中人的异化本身也被抽象化了。符号消费不但使人失去了反抗异化的对象,也使人失去反抗异化的能力,使人处于一种符号化的生存状态之中。在资本主义社会消费主义盛行,物的生产和符号的生产进一步结合,物的消费和符号的消费进一步混同,经由商品的符号化和符号的商品化,资本从对生产的控制转变为对符号的控制,资本通过符号对人的控制完成对人的控制。只有厘清异化在资本主义社会的表现形式和逻辑转换,才能深刻认识符号消费的本质及其背后人的异化,进而了解作为主体的人在消费中被符号彻底奴役的状况,为消解这种异化提供理论依据。 展开更多
关键词 符号消费 异化逻辑 消费社会
下载PDF
基于时态逻辑的硬件设计形式化验证技术——模型检验 被引量:5
20
作者 郭建 杜惠敏 +1 位作者 韩俊刚 郝克刚 《小型微型计算机系统》 CSCD 北大核心 2001年第5期521-524,共4页
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一步地分析 。
关键词 时态逻辑 模型检验 布尔函数 硬件设计 形式化验证 计算机
下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部