搜索到281篇“ 逻辑推演“的相关文章
基于图神经网络的案件证据逻辑推演方法
本发明公开了一种基于图神经网络的案件证据逻辑推演方法,S1、形成标准化的案件证据数据集S2、形成多层次案件证据图;S3、对多层次案件证据图的案件证据数据节点和边进行向量化表示,并对案件证据数据节点的权重进行计算;S4、对...
姬忠远冯超王雨晨韩颖李伟
电子数据搜查的逻辑推演和制度构建
2024年
电子数据搜查是近年热门侦查手段之一,但我国却未在大数据时代对电子数据搜查作出立法上的回应。因此,为验证电子数据搜查规则构建的可行性,有必要从传统搜查的概念和特征出发,探寻电子数据搜查的行为模式、内涵、面临的困境及其解决思路。电子数据搜查之行为性质、功能、本质与传统搜查有高度相似性,可以将传统搜查扩张解释至电子数据搜查,也可以利用传统搜查的规制方法来约束电子数据搜查。但问题是,我国的电子数据取证措施中存在大量的“变相搜查”,而且电子数据搜查在实践中会面临难以当场判断关联性、严重侵害公民权利等困境。为解决以上问题,须通过比例原则对电子数据搜查行为予以规制,同时在此前提下运用法律保留原则对公民权利予以事先保护,然后完善、变造传统搜查的搜查证制度、见证人制度,以完成电子数据搜查的制度构建。
李克中
关键词:搜查强制侦查
后果前因环紧扣 逻辑推演命题宣——《数理逻辑引论》对读者阅读的意义
2023年
这是我迄今为止写得最为艰难的一篇书评。这部2022年10月由科学出版社出版的《数理逻辑引论——计算机科学与系统的天然基础》(简称《数理逻辑引论》)专业性和学术性都很强,读懂、消化、理解都比较困难,更遑论用通俗的文字解读、评价。下面试着从3方面谈谈《数理逻辑引论》对读者阅读的重要意义。
苏青
关键词:计算机科学逻辑推演
新时代党开展青年榜样教育工作的逻辑推演与现实路径
2023年
作为开展思想政治工作的重要方法,榜样教育法历来受到党和国家的高度重视,榜样教育在党的百年历程中有着光荣传统和政治优势。中国特色社会主义进入新时代以来,经济社会的不断发展、对外开放程度的不断深化,一方面丰富了人们的物质和精神生活、拓宽了青年的视野,另一方面为思想政治工作带来了全新的要求和挑战。新时代,做好青年榜样教育工作,离不开中国共产党的领导和全社会的共同努力。这就要求党必须在加强自身建设的同时,坚持领导核心地位,统领青年榜样教育工作全局;必须加强社会主义精神文明建设,为榜样教育构建良好的文化环境。此外,还要引导广大青年进行自我教育并投身实践,实现优秀品格内化和个人全面发展,为中国特色社会主义现代化建设培养新时代人才。
齐洪利
关键词:青年思想政治工作榜样教育
理论、历史和实践:依靠党的自我革命跳出历史周期率的逻辑推演
2023年
自我革命是中国共产党跳出历史周期率的第二个答案,贯通了过去、现在与将来,蕴含着从理论到历史再到实践的逻辑脉络。从理论逻辑看,自我革命是马克思主义政党发展壮大的必然选择和客观规律,是中国共产党最鲜明的品格。从历史逻辑看,党通过自我革命从幼稚到成熟、从弱小到强大,锻造出走在时代前列的中国共产党。从实践逻辑看,自我革命永远在路上,新的征程上,“六个必须”为党的自我革命明确了任务和方向。
刘雅坤
关键词:中国共产党自我革命历史周期率
合成化学中的逻辑推演理论:科里的逆向思维与计算机辅助被引量:2
2023年
理论、实验和计算机技术之间的关系,是科学哲学研究的核心主题之一,也是科学教育研究的关注焦点。已有的研究多从物理学或生物学中的案例来思考3者之间的关系,少有从化学实践出发进行的专门考察。以1990年诺贝尔化学奖得主科里(Elias James Corey)的研究与教学工作为例,分析了科里在合成研究过程中使用的逆向思维,考察了他提出的计算机辅助合成技术尚未受到和逆合成分析同等关注的原因。本文提出,化学家借助计算机技术将合成规则和方法抽象化、概念化的基础,是化学家在教学和实践过程中对合成规则的可操作性和合理性的经验与实验检验,也是合成化学不同于其他科学领域的独特研究风格。计算技术如何与化学家的经验和合成理论深度交互,做出基于机理的因果解释和有效推断,是交叉科学将要进一步努力的方向。
朱晶姜雪峰
关键词:化学哲学人工智能化学思维
基于多维数据挖掘和逻辑推演的基金推荐方法、装置、设备
本发明提供一种基于多维数据挖掘和逻辑推演的基金推荐方法、装置、设备,涉及金融数据处理技术领域,所述方法包括:采集基金产品原始信息数据,基于所述基金产品原始信息数据提取基金多因子信息;系统预定义业务规则集;根据业务规则集和...
雷震杜雨萌黄耀东李一诺林叶良郭家
刑事审判中大数据证据的合法性审查——基于镶嵌论的逻辑推演方法
引言大数据技术广泛地运用为刑事犯罪的侦查取证提供了新思路即大数据侦查。然而大数据侦查天然的恣意性和扩张性会对公民的个人信息数据构成现实的危险,甚至侵害公民的隐私权、个人信息权等合法权益。传统经验认识方式和证据审查规则显然...
伍春辉刘忠瑜
一种基于微服务应用的逻辑推演方法
本发明公开了一种基于微服务应用的逻辑推演方法包括:建立推演规则、以微服务初始化独立因素和依赖因素默认值、开始推演流程,并将推演中间结果通过微服务持久化到数据库、结束推演流程,生成推演结果并保存。本发明基于微服务,可以以调...
黄威生
逻辑推演型探究性学习活动为载体的“性别决定和伴性遗传”教学设计
2021年
以7个环环相扣的逻辑推演型探究性学习活动为载体,进行“性别决定和伴性遗传”教学设计。在每一个逻辑推演型探究性学习活动中,都要求学生能够结合已学知识对教师提供的资料进行分析,然后通过逻辑推理,解决教师提出的问题,最终使学生深入理解性别决定和伴性遗传。
高凯
关键词:性别决定伴性遗传教学设计探究性学习

相关作者

陈小刚
作品数:126被引量:29H指数:3
供职机构:中国科学院上海微系统与信息技术研究所
研究主题:相变存储器 存储器 相变 文件数据 电流
宋志棠
作品数:1,076被引量:361H指数:9
供职机构:中国科学院上海微系统与信息技术研究所
研究主题:相变存储器 相变 相变材料 存储器 电阻
李顺芬
作品数:51被引量:10H指数:1
供职机构:中国科学院上海微系统与信息技术研究所
研究主题:存储器 非易失存储器 文件数据 嵌入式系统 相变存储器
陈后鹏
作品数:244被引量:67H指数:4
供职机构:中国科学院上海微系统与信息技术研究所
研究主题:相变存储器 读出电路 相变 电路 灵敏放大器
杨知文
作品数:54被引量:359H指数:12
供职机构:华东政法大学科学研究院
研究主题:法律适用 法院 司法裁判 中国司法 普遍化