搜索到182篇“ 开放逻辑“的相关文章
中国式现代化的开放逻辑与高质量实现路径被引量:2
2023年
党的二十大报告指出:在新中国成立特别是改革开放以来长期探索和实的基础上,经过十八大以来在理论和实践上的创新突破,我们党成功推进和拓展了中国式现代化。中国式现代化,既有各国现代化的共同特征,更有基于自己国情的中国特色,并在经济全球化演进趋势中孕育出深刻的开放逻辑与实践特征。新时代迈向新征程,以高质量发展推进全面建设社会主义现代化国家,高水平的对外开放更是必由之路和世界担当。未来,必须遵循马克思主义开放观,坚持胸怀天下,坚定站在历史正确的一边、站在人类文明进步的一边,高举和平、发展、合作、共赢旗帜,以自身更高质量的现代化为全球发展注入新活力、提供新机遇,最终推动构建人类命运共同体,创造人类文明新形态。
钱学锋方明朋
关键词:中国式现代化全球治理
一种新的基于序分量权重的振荡闭锁再开放逻辑被引量:1
2017年
系统振荡闭锁过程中需要在发生故障时能快速开放保护。详细分析了不同故障形式下保护安装处各序电流分量的幅值特征,然后基于各自幅值特点赋予不同的权重系数,构成新的振荡闭锁再开放逻辑。新的逻辑对于一切不对称故障都适用,仿真实验证明了新的开放逻辑的正确性。
李鹏程
关键词:序分量振荡闭锁距离保护
城轨联锁系统信号开放逻辑的研究与自动化实现
随着我国经济的发展,城市化规模的扩大,相当数量的城市都在积极建设城市轨道交通。基于通信的列车运行控制系统CBTC(Communication-Based Train ControlSystem)因其能够实现移动闭塞的技术...
谭理天
关键词:列车运行控制系统联锁系统通信技术
基于开放逻辑R反驳计算的访问控制策略精化被引量:7
2015年
策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合Saa S平台客户应用系统策略精化需求.
吴迎红黄皓吕庆伟曾庆凯张迪明
关键词:访问控制SAAS开放逻辑
改革开放逻辑起点刍议
2014年
邓小平第二次复出后,开始了对各行业的治理整顿工作,力求纠正之前"左"的错误。邓小平重视国内经济的恢复,提出"以三项指示为纲"、"四个现代化"等论断。在思想战线上,通过全面理解毛泽东思想,解放人们头脑的禁锢;为加快社会发展,强调对工业的改革,允许引进国外先进技术;在党的建设上提出"安定团结"的口号并进行了具体治理。联系文革结束后的改革实践,总能在邓小平领导的1975年治理整顿工作中找到影子。可以说,1975年的治理整顿工作是中国改革开放逻辑起点。
左腾飞
关键词:邓小平经济建设先声
基于开放逻辑的图像语义标注方法初探
互联网图像信息数据量的增长迫使我们要开发出更有效率的图像检索技术。目前,最简单和便利的网上检索方式是通过提供文本语义信息,由用户输入交互式查询页面进行检索。然而,在语义层面上的图像自动匹配尚未有令人满意的解决方案。   ...
林田
关键词:图像检索开放逻辑图像语义
文献传递
关于开放逻辑的可判定性
2009年
开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并形式地定义了开放证明的概念。关于开放逻辑中的判定性问题,得到的结论是:(1)一致的开放逻辑系统的开放证明问题是半可判定的(文中给出了一个判定算法);(2)不一致的开放逻辑系统的开放证明问题不是半可判定的。
张伟
关键词:开放逻辑可判定性
关于开放逻辑与ATMS的关系研究
2007年
人们对现实世界的知识总是不完备的,当人们进行推理的时候,往往要进行种种假设,或者就把已有的一部分知识作为假说(即假设的集合),这种基于假设的推理具有非单调性的特点。而ATMS是由de Kleer在1986年提出的一种基于假设的正确性维护系统。它通常与问题求解器一起使用,每当收到问题求解器的一个新的信息,便增量地计算每个数据所依赖的假设。所以在本文中,我们来研究开放逻辑与ATMS的关系。
李昕刘伟信
关键词:开放逻辑ATMS
我国地方债券市场的开放逻辑探析被引量:2
2006年
当前是否开放我国地方债券市场,引起了经济学界的关注。有的学者认为现在开放地方债券市场的时机已成熟,有的则认为某些制度条件尚未成熟,应当暂缓开放地方债券市场。本文认为,是否开放地方债券市场,并不单纯是制度条件使然,往往具有深刻的政治经济学原因,地方债券市场的开放与否主要取决于中央政府和地方政府之间的博弈,博弈的结果是随着经济的发展我国必然会开放地方债券市场,但这个过程是渐进的。
陈文府
关键词:地方债券市场中央政府地方政府开放逻辑
开放逻辑及其计算复杂性研究
开放逻辑旨在描述形式系统与外界的交互作用,它为常识推理研究开辟了一条新途径,并在机器学习、知识获取、故障诊断以及知识库维护等领域都有广泛的应用.在全面分析现有工作的基础上,该文从理论扩展和计算复杂性两方面开展研究,完成了...
王淞昕
关键词:开放逻辑
文献传递

相关作者

苏开乐
作品数:48被引量:152H指数:8
供职机构:浙江师范大学数理与信息工程学院
研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
李未
作品数:175被引量:435H指数:11
供职机构:北京航空航天大学计算机学院
研究主题:人工智能 移动IP 移动IPV6 逻辑系统 超协调逻辑
丁德成
作品数:25被引量:17H指数:2
供职机构:南京大学数学系
研究主题:开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
王淞昕
作品数:16被引量:59H指数:5
供职机构:上海财经大学信息管理与工程学院
研究主题:描述逻辑 开放逻辑 N-S 非单调推理 语义WEB
张东摩
作品数:30被引量:96H指数:5
供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题:中介逻辑 人工智能 情境演算 AGENT 信念修正