期刊文献+
共找到745篇文章
< 1 2 38 >
每页显示 20 50 100
Study on Logical Relations amongUnderground Survey Objects Using Quotient Topological Space 被引量:1
1
作者 陈宜金 《International Journal of Mining Science and Technology》 SCIE EI 1997年第2期7-10,共4页
A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological s... A soitable data model and data structure make underground survey objects maintained and operated easier. This paper gives a formal definition for underground survey objects. By making use of the quotient topological space, the author studies the logical relations among underground survey objects, a partiallyordered space uuder some conditions. An example is given to show the data model’s possible applications. 展开更多
关键词 UNDERGROUND SURVEY OBJECTS QUOTIENT TOPOlogical space logical relation
下载PDF
Extension of Subjective Logic for Time-Related Trust 被引量:3
2
作者 HUANGChen-lin HUHua-ping 《Wuhan University Journal of Natural Sciences》 EI CAS 2005年第1期56-60,共5页
To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction... To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model. 展开更多
关键词 trust model lime-related trust relationship time-related trust model subjective logic
下载PDF
Uncertainties in estimation of extrapolated annual occurence rate of earthquakes using logical tree
3
作者 杨智娴 张培震 郑月君 《Acta Seismologica Sinica(English Edition)》 CSCD 1998年第2期85-94,共10页
he logical tree methods are used for evaluate quantitatively relationship between frequency and magnitude, and deduce uncertainties of annual occurrence rate of earthquakes in the periods of lower magnitude earthquake... he logical tree methods are used for evaluate quantitatively relationship between frequency and magnitude, and deduce uncertainties of annual occurrence rate of earthquakes in the periods of lower magnitude earthquake. The uncertainties include deviations from the self-similarity of frequency-magnitude relations, different fitting methods, different methods obtained the annual occurrence rate, magnitude step used in fitting, start magnitude, error of magnitude and so on. Taking Xianshuihe River source zone as an example, we analyze uncertainties of occurrence rate of earthquakes M4, which is needed in risk evaluation extrapolating from frequency-magnitude relations of stronger earthquakes. The annual occurrence rate of M4 is usually required for seismic hazard assessment.The sensitivity analysis and examinations indicate that, in the same frequencymagnitude relations fitting method, the most sensitive factor is annual occurrence rate, the second is magnitude step and the following is start magnitude. Effect of magnitude error is rather small.Procedure of estimating the uncertainties is as follows:①Establishing a logical tree described uncertainties in frequencymagnitude relations by available data and knowledge about studied region.② Calculating frequencymagnitude relations for each end branches. ③ Examining sensitivities of each uncertainty factors, amending structure of logical tree and adjusting original weights. ④ Recalculating frequencymagnitude relations of end branches and complementary cumulative distribution function (CCDF) in each magnitude intervals.⑤ Obtaining an annual occurrence rate of M4 earthquakes under given fractiles.Taking fractiles as 20% and 80%, annual occurrence rate of M 4 events in Xianshuihe seismic zone is 0.643 0. The annual occurrence rate is 0.631 8 under fractiles of 50%, which is very close to that under fractiles 20% and 80%. 展开更多
关键词 logical tree uncertainty frequency-magnitude relation seismic hazard assessment Xi-anshuihe source region complementary cumulative distribution function (CCDF)
下载PDF
BOOLEAN LATTICE CONDITIONS OF SYSTEM RECONSTRUCTABILITY ANALYSIS PROBLEMS WITH LOGICAL RELATIONS 被引量:1
4
作者 SHU Guangfu Institute of Systems Science, Acodemia Sinica, Beijing 100080, China 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1993年第1期88-97,共10页
The concepts of logically constrained overall systems and subsystems of recon-structability analysis are introduced. Then the paper gave an important basis for furtherresearches of the author-the sufficient conditions... The concepts of logically constrained overall systems and subsystems of recon-structability analysis are introduced. Then the paper gave an important basis for furtherresearches of the author-the sufficient conditions for their structural representation graphsto become Boolean lattices, and proved it. 展开更多
关键词 s. SYSTEM reconstructability G-structures logical relationS BOOLEAN LATTICE
原文传递
NECESSARY AND SUFFICIENT CONDITIONS FOR G-STRUCTURES WITH LOGICAL RELATIONS TO FORM BOUNDED LATTICES IN RECONSTRUCTABILITY ANALYSIS
5
作者 SHU Guangfu Institute of Systems Scientce, Academia Sinica, Beijing 100080, China 《Systems Science and Mathematical Sciences》 SCIE EI CSCD 1993年第3期252-258,共7页
After a brief review of the basic notions the paper defines the G^L-structuresand their partial ordering. On this basis, the paper proves the necessary and sufficientconditions for G^L-structures to form bounded latti... After a brief review of the basic notions the paper defines the G^L-structuresand their partial ordering. On this basis, the paper proves the necessary and sufficientconditions for G^L-structures to form bounded lattices. 展开更多
关键词 System reconstructability G-structures logical relationS BOUNDED LATTICE conditions
原文传递
Optimum Design for the Magnification Mechanisms Employing Fuzzy Logic-ANFIS
6
作者 Ngoc Thai Huynh Tien V.T.Nguyen Quoc Manh Nguyen 《Computers, Materials & Continua》 SCIE EI 2022年第12期5961-5983,共23页
To achieve high work performance for compliant mechanisms of motion scope,continuous work condition,and high frequency,we propose a new hybrid algorithm that could be applied to multi-objective optimum design.In this ... To achieve high work performance for compliant mechanisms of motion scope,continuous work condition,and high frequency,we propose a new hybrid algorithm that could be applied to multi-objective optimum design.In this investigation,we use the tools of finite element analysis(FEA)for a magnificationmechanism to find out the effects of design variables on the magnification ratio of the mechanism and then select an optimal mechanism that could meet design requirements.A poly-algorithm including the Grey-Taguchi method,fuzzy logic system,and adaptive neuro-fuzzy inference system(ANFIS)algorithm,was utilized mainly in this study.The FEA outcomes indicated that design variables have significantly affected on magnification ratio of the mechanism and verified by analysis of variance and analysis of the signal to noise of grey relational grade.The results are also predicted by employing the tool of ANFIS in MATLAB.In conclusion,the optimal findings obtained:Its magnification is larger than 40 times in comparison with the initial design,the maximum principal stress is 127.89MPa,and the first modal shape frequency obtained 397.45 Hz.Moreover,we found that the outcomes obtained deviation error compared with predicted results of displacement,stress,and frequency are 8.76%,3.6%,and 6.92%,respectively. 展开更多
关键词 Compliant mechanism grey relational analysis taguchi method multi-objective optimization fuzzy logic system adaptive neuro-fuzzy inference system(ANFIS)
下载PDF
Ground-0 Axioms vs.First Principles and Second Law:From the Geometry of Light and Logic of Photon to Mind-Light-Matter Unity-AI&QI
7
作者 Wen-Ran Zhang 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2021年第3期534-553,共20页
Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,qua... Without the geometry of light and logic of photon,observer-observability forms a paradox in modern science,truthequilibrium finds no unification,and mind-light-matter unity is unreachable in spacetime.Subsequently,quantum mechanics has been shrouded with mysteries preventing itself from reaching definable causality for a general purpose analytical quantum computing paradigm.Ground-0 Axioms are introduced as an equilibrium-based,dynamic,bipolar set-theoretic unification of the first principles of science and the second law of thermodynamics.Related literatures are critically reviewed to justify the self-evident nature of Ground-0 Axioms.A historical misinterpretation by the founding fathers of quantum mechanics is identified and corrected.That disproves spacetime geometries(including but not limited to Euclidean and Hilbert spaces)as the geometries of light and truth-based logics(including but not limited to bra-ket quantum logic)as the logics of photon.Backed with logically definable causality and Dirac 3-polarizer experiment,bipolar quantum geometry(BQG)and bipolar dynamic logic(BDL)are identified as the geometry of light and the logic of photon,respectively,and wave-particle complementarity is shown less fundamental than bipolar complementarity.As a result,Ground-0 Axioms lead to a geometrical and logical illumination of the quantum and classical worlds as well as the physical and mental worlds.With logical resolutions to the EPR and Schr?dinger’s cat paradoxes,an analytical quantum computing paradigm named quantum intelligence(QI)is introduced.It is shown that QI makes mind-light-matter unity and quantum-digital compatibility logically reachable for quantumneuro-fuzzy AI-machinery with groundbreaking applications.It is contended that Ground-0 Axioms open a new era of science and philosophy—the era of mind-light-matter unity in which humanlevel white-box AI&QI is logically prompted to join Einstein’s grand unification to foster major scientific advances. 展开更多
关键词 Analytical quantum computing bipolar fuzzy sets bipolar quantum agents business intelligence cognitive neuroscience dynamic equilibrium Einstein-Bohr debate information conservational computing/cryptography computational psychiatry international relations logically definable causality quantum intelligence quantum-neuro-fuzzy AI human level AI&QI quantum superposition/entanglement white-box brain model
下载PDF
加强涉外法治体系建设的顶层擘画——论学习贯彻习近平总书记重要讲话精神 被引量:6
8
作者 黄惠康 《武大国际法评论》 CSSCI 2024年第1期1-23,共23页
习近平总书记在中央政治局第十次集体学习时就加强涉外法治建设所作系列重要论述,是马克思主义法治理论中国化的最新成果。“长远所需”和“当务之急”,凸显了新形势下加强涉外法治建设的重要性和紧迫性。中国涉外法治建设成就巨大、来... 习近平总书记在中央政治局第十次集体学习时就加强涉外法治建设所作系列重要论述,是马克思主义法治理论中国化的最新成果。“长远所需”和“当务之急”,凸显了新形势下加强涉外法治建设的重要性和紧迫性。中国涉外法治建设成就巨大、来之不易,但仍存在不少短板弱项,亟待弥补。我国海外利益全方位多层次高速度拓展,外部法律风险与挑战前所未有,干涉与反干涉、制裁与反制裁外交斗争激烈,客观上要求强化法治思维,善用法治方式,“以法斗法”“以法制法”,丰富外交斗争法律“工具箱”,一体推进涉外立法、执法、司法、守法和法律服务,形成涉外法治工作大协同格局。必须坚持统筹推进国内法治和涉外法治,不断完善涉外法治体系和能力建设,为中国式现代化行稳致远营造有利法治条件和外部环境。 展开更多
关键词 习近平重要讲话 涉外法治 时代逻辑 一体推进
下载PDF
工程总承包项目跨组织资源协奏——关系嵌入与治理机制的协同作用研究
9
作者 于淼 李英达 王欣楠 《管理案例研究与评论》 CSSCI 北大核心 2024年第5期688-705,共18页
工程总承包项目中,总包方与分包方合理的关系嵌入有助于实现良好的跨组织资源协奏,增强总承包模式的竞争优势。但是现有关系嵌入对资源协奏影响的研究存在关系嵌入性悖论,且缺少对项目行动者认知层面能动性影响的考虑,难以解释工程总承... 工程总承包项目中,总包方与分包方合理的关系嵌入有助于实现良好的跨组织资源协奏,增强总承包模式的竞争优势。但是现有关系嵌入对资源协奏影响的研究存在关系嵌入性悖论,且缺少对项目行动者认知层面能动性影响的考虑,难以解释工程总承包项目跨组织资源协奏的内在规律。基于此,协同考虑关系嵌入和项目治理机制,从制度逻辑视角出发,采用多案例研究方法,以四个典型的工程总承包项目为研究对象,探讨总包方与分包方的跨组织资源协奏路径。研究发现:(1)在强联结与弱联结的初始关系嵌入情境下,存在项目导向与参与方导向两种跨组织资源协奏行为,同时,约束导向与激励导向的治理机制能够与关系嵌入发挥协同作用,影响跨组织资源协奏的方式和效果。(2)不同的关系嵌入协同项目治理机制通过总包方与分包方之间的制度逻辑耦合作用于项目跨组织资源协奏。研究结果为关系嵌入性悖论提供了新的理论解释,也为工程总承包企业根据所处关系嵌入情境,采取合适的项目治理机制,进而优化跨组织合作提供理论支持与实践参考。 展开更多
关键词 关系嵌入 工程总承包项目 资源协奏 制度逻辑视角 治理机制
下载PDF
新时代我国党政关系统一论
10
作者 周叶中 穆远灿 《公共治理研究》 2024年第5期5-17,共13页
正确认识和处理我国党政关系对于坚持和完善中国特色社会主义制度,推进我国国家治理体系和治理能力现代化意义重大。新时代我国党政关系集中表现为“党政统一”,即坚持以党的全面领导为统领,党政之间在机构设置、职能配置等方面既适当... 正确认识和处理我国党政关系对于坚持和完善中国特色社会主义制度,推进我国国家治理体系和治理能力现代化意义重大。新时代我国党政关系集中表现为“党政统一”,即坚持以党的全面领导为统领,党政之间在机构设置、职能配置等方面既适当分工又相互统一协调,以更高效能共同服务于最广大人民群众的根本利益。从理论逻辑来看,“党政统一”是我国党政性质相统一、党政宗旨相统一、党政目标相统一的必然要求;从历史逻辑来看,“党政统一”是从我们党百余年历史发展过程中处理党政关系的经验和教训中得出的正确结论;从实践逻辑来看,“党政统一”是被新时代治国理政有效实践所证明的科学方案。 展开更多
关键词 党政关系 党政统一 理论逻辑 历史逻辑 实践逻辑
下载PDF
反诈视域下互联网服务提供者协同治理的制度逻辑及其实现
11
作者 陈静 钟明曦 《河北法律职业教育》 2024年第11期71-78,共8页
网络黑灰产业链猖獗是电诈违法犯罪治理难的根源,互联网服务提供者有责任和义务协同治理电诈违法犯罪。从《中华人民共和国反电信网络诈骗法》立法及当前治理实践看,电诈违法犯罪协同治理的路径是通过立法明确电信、金融、互联网企业的... 网络黑灰产业链猖獗是电诈违法犯罪治理难的根源,互联网服务提供者有责任和义务协同治理电诈违法犯罪。从《中华人民共和国反电信网络诈骗法》立法及当前治理实践看,电诈违法犯罪协同治理的路径是通过立法明确电信、金融、互联网企业的法定义务及其法律责任,迫使互联网企业进行内部合规治理,以压缩电诈违法犯罪的空间,其制度逻辑表现为:“法律制裁压力—互联网企业合规治理—犯罪难度增加—犯罪回报减少—预防和减少电诈”。从执法数据上看,目前互联网服务提供者被行政处罚和追究刑事责任的数量明显与电诈违法犯罪的高发不相匹配。法律责任承担的落空,导致电诈协同治理的制度逻辑无法生效。互联网治理应当建立以“规则性监管”为原则的行政监管制度,出台反诈合规的国家标准或行业标准,强制开展反诈专项合规,同时建立电诈违法犯罪领域专门的行刑衔接机制,强化刑事打击。 展开更多
关键词 电诈违法犯罪 互联网服务提供者 协同治理 制度逻辑
下载PDF
“检察公益诉讼法”调整对象确定的理论逻辑与内容安排
12
作者 张嘉军 师睿智 《中州学刊》 CSSCI 北大核心 2024年第10期63-69,共7页
“检察公益诉讼法”的制定已经正式列入全国人大常委会的立法规划且在有序推进,在这一背景下,我们必须要面对和解决的是,该法的调整对象为何。检察公益诉讼涉及众多单行法,其案件范围众多,这决定了确定其调整对象的复杂性和艰难性。但是... “检察公益诉讼法”的制定已经正式列入全国人大常委会的立法规划且在有序推进,在这一背景下,我们必须要面对和解决的是,该法的调整对象为何。检察公益诉讼涉及众多单行法,其案件范围众多,这决定了确定其调整对象的复杂性和艰难性。但是,检察公益诉讼的出发点和本质为保护公益、维护公共利益,这一本质特征决定了确定其调整对象的逻辑起点,“检察公益诉讼法”的调整对象应为公益关系。在这一逻辑前提下,需要对每种公益诉讼案件类型的调整对象进行具体分析。 展开更多
关键词 “检察公益诉讼法” 调整对象 逻辑起点 公益保护 公益关系
下载PDF
教育评价改革下职业教育高质量发展逻辑与实践探究
13
作者 张红蕊 《教育教学论坛》 2024年第1期37-40,共4页
在国家大力支持职业院校发展的背景之下,如何推进职业教育高质量发展成为摆在职业院校面前的一个现实问题。为了适应教育高质量发展的需要,相关院校需要对教育评价改革高度重视。对目前制约职业教育高质量发展的因素进行深入分析,从教... 在国家大力支持职业院校发展的背景之下,如何推进职业教育高质量发展成为摆在职业院校面前的一个现实问题。为了适应教育高质量发展的需要,相关院校需要对教育评价改革高度重视。对目前制约职业教育高质量发展的因素进行深入分析,从教育评价改革的视角提出有针对性的建议,着力提升职业院校教育评价的特色化,借助强化过程评价来凸显特色,从而改变社会各界对职业教育的认识,为职业院校高质量发展营造更好的社会氛围。 展开更多
关键词 教育评价改革 职业教育高质量发展 逻辑关系 问题 措施
下载PDF
我国新质生产力的赋能逻辑——市场有效与政府有为
14
作者 谢地 钟玲玲 《工业技术经济》 CSSCI 北大核心 2024年第9期3-13,共11页
新一轮科技革命与产业变革方兴未艾,大国竞争不断升级,发达经济体纷纷加大了产业政策实施力度,旨在促进前沿科技创新和未来产业发展,抢占制高点。面对严峻复杂的国际环境和艰巨繁重的国内改革发展稳定任务,习近平总书记创造性地提出发... 新一轮科技革命与产业变革方兴未艾,大国竞争不断升级,发达经济体纷纷加大了产业政策实施力度,旨在促进前沿科技创新和未来产业发展,抢占制高点。面对严峻复杂的国际环境和艰巨繁重的国内改革发展稳定任务,习近平总书记创造性地提出发展新质生产力的重要论断。促进新质生产力的发展需要构建与之相匹配的新型生产关系,进一步推动制度、体制、机制系统集成式改革,在发挥市场配置资源决定性作用的同时更好发挥政府的作用。政府和市场赋能新质生产力不可能是简单的线性关系。如何发挥好政府和市场两种力量不断为发展新质生产力赋能亟须系统性研究。鉴于此,本文从理论逻辑、历史逻辑和实践逻辑3个方面来阐释市场有效与政府有为共同为新质生产力赋能的内在逻辑,并提出相应的建议。 展开更多
关键词 新质生产力 有为政府 有效市场 赋能逻辑 新型举国体制 科技自立自强 新型生产关系 体制机制改革
下载PDF
知识元逻辑关系抽取方法研究
15
作者 程为 郑德俊 +2 位作者 朱梦蝶 丛天时 王燕红 《情报学报》 CSSCI CSCD 北大核心 2024年第7期862-874,共13页
知识元逻辑关系抽取关注上下文的句法结构与语法特征,通过上下文功能语义依赖定义触发词规则实现上下文范围内的关系抽取。为摆脱上下文的结构限制,本文提出一种知识元逻辑关系抽取的新方法。首先,面向领域文献资料,通过知识元抽取构建... 知识元逻辑关系抽取关注上下文的句法结构与语法特征,通过上下文功能语义依赖定义触发词规则实现上下文范围内的关系抽取。为摆脱上下文的结构限制,本文提出一种知识元逻辑关系抽取的新方法。首先,面向领域文献资料,通过知识元抽取构建知识元集合;其次,基于领域知识特征构建知识元属性描述框架,对知识元进行全方位、细粒度的统一描述,基于知识元属性抽取构建知识元属性集合;最后,结合实际需求定义逻辑关系类型,采用逻辑关联实例分析与属性对比关联分析,以属性值的共现、包含、相关等基本关系为线索,通过特征分析与归纳总结构建逻辑关系规则库,通过规则匹配实现知识元逻辑关系抽取。以南海维权证据知识元为例,选取部分不同文本来源的证据,定义了证据间逻辑关系类型及其抽取规则,在证据知识元及其属性抽取的基础上,基于规则匹配实现南海维权证据间并列、承接、反驳与补强4种逻辑关系的抽取,构建了南海维权证据逻辑关联图谱。实证研究验证了本文方法的可行性,能够为知识元逻辑关系抽取的相关研究提供可参考的新思路。 展开更多
关键词 知识元 逻辑关系 关系抽取 南海维权 证据知识元
下载PDF
课题思政:概念提出、核心要义与建构理路
16
作者 张晓洁 王苑 李济沅 《研究生教育研究》 CSSCI 北大核心 2024年第5期112-117,共6页
课题研究既深度嵌合于高校教书育人的结构框架之中,又与学生成长发展的现实需要高度契合。依托课题研究场景构建思想政治教育生态情境,遵循课题研究的一般规律有序嵌入思想政治教育元素,充分激发课题与思政的价值联结,是打通研究生思想... 课题研究既深度嵌合于高校教书育人的结构框架之中,又与学生成长发展的现实需要高度契合。依托课题研究场景构建思想政治教育生态情境,遵循课题研究的一般规律有序嵌入思想政治教育元素,充分激发课题与思政的价值联结,是打通研究生思想政治工作“最后一公里”的创新之举。课题思政是以研究生群体为主要对象,以思想引领和价值引导为根本旨归,以课题研究为承载介质,在人才培养过程中将思想政治教育内容有机融入课题研究组织和实施的全过程全周期的思想政治教育社会实践活动。其核心要义在于教育空间向生活空间有序延展、专业教育和思政教育有效联动、隐性思政与显性思政有机融合、个人价值与社会价值紧密互嵌。课题思政的建构需要从内容供给、主体协同以及场景构建等方面着手。 展开更多
关键词 课题思政 概念 核心要义 建构理路
下载PDF
城乡融合视角下乡村民宿助力乡村振兴的逻辑框架与机制路径 被引量:1
17
作者 马亚军 余正勇 《资源开发与市场》 CAS 2024年第11期1674-1681,共8页
城乡融合发展是乡村全面振兴行动推进的必然趋势。乡村民宿作为城乡融合产业有助于推进乡村振兴目标的实现和重塑新型城乡关系。以城乡融合视角切入,结合人地关系地域系统理论,构建乡村民宿助力乡村振兴的逻辑框架。结果表明:(1)乡村民... 城乡融合发展是乡村全面振兴行动推进的必然趋势。乡村民宿作为城乡融合产业有助于推进乡村振兴目标的实现和重塑新型城乡关系。以城乡融合视角切入,结合人地关系地域系统理论,构建乡村民宿助力乡村振兴的逻辑框架。结果表明:(1)乡村民宿作为城乡融合产业,通过协调内外既驱动在地化发展激活乡村内源动力,又承接城乡互动强化乡村外源动力,协同推进乡村全面振兴实践;(2)结合典型案例的验证分析,发现乡村民宿在发展过程中面临乡村资源分散、主体单一、空间混乱及城乡融合受限等问题;(3)围绕多重要素整合、组织结构更新、功能关系重构和系统协同作用等多层次内容构建了城乡融合背景下乡村民宿助力乡村振兴的机制路径,有助于为乡村民宿高质量发展和城乡融合、乡村振兴及共同富裕目标的实现提供参考借鉴。 展开更多
关键词 城乡融合 乡村民宿 乡村振兴 逻辑框架 城乡关系
下载PDF
算力互联网对形成新型生产关系的作用逻辑与实践方式 被引量:1
18
作者 余晓晖 《学术前沿》 CSSCI 北大核心 2024年第9期13-18,共6页
算力互联网是面向算力应用与调度需求,通过能力增强和系统升级形成的新型基础设施和技术产业体系,是培育和形成新质生产力的重要抓手。算力互联网能够显著降低企业交易成本,推进产业分工形态变革,助力形成与新质生产力相适应的新型生产... 算力互联网是面向算力应用与调度需求,通过能力增强和系统升级形成的新型基础设施和技术产业体系,是培育和形成新质生产力的重要抓手。算力互联网能够显著降低企业交易成本,推进产业分工形态变革,助力形成与新质生产力相适应的新型生产关系,让生产要素特别是数据要素向发展新质生产力方向顺畅流动。在多元化算力供给的环境下,推进算力互联互通技术体系研究和应用,形成标准化可调度的算力服务是解决当前算力互联挑战的重要手段。推进算力互联互通,塑造适应性新型生产关系,需从强化顶层设计、加快标准建设、推进平台建设、培育算力市场、推广行业应用等五方面发力。 展开更多
关键词 算力互联网 新质生产力 新型生产关系 作用逻辑 实践路径
下载PDF
基于交互式定理证明的并发程序验证工作综述
19
作者 王中烨 吴姝姝 曹钦翔 《软件学报》 EI CSCD 北大核心 2024年第9期4069-4099,共31页
并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结. 展开更多
关键词 并发程序验证 可线性化 上下文精化 程序逻辑 关系霍尔逻辑
下载PDF
基于n值关系语义的命题模态逻辑系统研究
20
作者 周张泉 杨成彪 刘军 《计算机技术与发展》 2024年第2期71-77,共7页
传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系... 传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系语义中,针对状态进行了多值化处理,同时保持了状态间关系的确定性。通过对逻辑公式的形式化定义以及可满足性和有效性的分析,证明了n值关系语义下经典命题模态逻辑系统K,T,S4和S5的正确性。进一步地,给出了极大一致集与典范模型在n值关系语义下的定义,并完成了上述经典命题模态逻辑系统的完备性证明。上述结论表明基于n值关系语义的命题模态逻辑系统能够涵盖并捕捉到经典逻辑系统中的所有有效命题。综上所述,所提出的基于?ukasiewicz代数系统的n值关系语义提供了一种在实际应用中处理多值状态及确定的状态间关系的方法。这种方法在扩展命题模态逻辑系统的形式化定义与关系语义是可行且有效的。 展开更多
关键词 模态逻辑 多值逻辑 关系语义 ?ukasiewicz系统 正确性和完备性
下载PDF
上一页 1 2 38 下一页 到第
使用帮助 返回顶部