求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。

前景理论新悖论的消解

为消解前景理论被发现的11个新悖论,首先,将情绪引入它的价值与权重函数,以获取其情绪函数;继而,基于多策略决策思想,建立操作规则集;并设计双重拟合原则代替传统(单重)拟合原则,从而完成对原模型的系统化改进。运用所改进后的模型,不仅实现前景理论典型选择问题的拟合,更对其新悖论进行了消解,从而验证了所改进后模型的合理性和优越性。

我国公民网络政策参与的悖论及其消解

公共政策制定、执行、评估过程中的公民参与问题一直受到学界和政府的关注。信息技术催生了网络参与这一形式,但公民网络政策参与存在平等悖论、成本悖论、绩效悖论和稳定悖论。消解这些悖论需要通过建立有效规范、培育现代公民、建立现代信息网络系统、以及实现政府与公民网络参与良性互动等手段来实现。

论规则遵守悖论的消解

对于规则遵守的悖论讨论由来已久,不同的学者有着不同的观点和研究进路。克里普克对规则遵守悖论进行了激进的怀疑式解读,而布鲁尔批判地继承了克里普克的观点。同时,C.麦金对于规则遵守悖论提出个体主义的挑战。对于规则遵守悖论的讨论,孰是孰非,有待进一步分析与探讨。

悖论消解作用下的移动医疗隐私披露行为研究

[目的/意义]研究移动医疗情境下隐私悖论消解对隐私披露意愿及实际披露行为的影响机制,为医疗隐私信息的合理使用提供对策建议。[方法/过程]基于技术接受模型和D&M信息系统成功模型,研究移动医疗平台质量特征对主体感知及隐私关注的作用机制,并将信息敏感性作为调节变量,分析其对隐私悖论作用强度的影响,研究悖论消解作用下的隐私披露行为。针对问卷调查收集的436份有效问卷,运用结构方程模型进行实证研究。[结果/结论]场景化系统质量、专业化信息质量和个性化服务质量正向影响移动医疗的感知易用性和感知有用性;感知易用性正向影响感知有用性和隐私关注;感知有用性正向影响隐私关注和隐私披露意愿,并在感知易用性和隐私关注的关系中起部分中介作用;隐私关注正向影响隐私披露意愿和实际披露行为,并在感知有用性与披露意愿的关系中起部分中介作用;隐私披露意愿正向影响实际披露行为,并在隐私关注与披露行为的关系中起部分中介作用;信息敏感性在隐私关注与隐私披露意愿、隐私关注与实际披露行为、隐私披露意愿与实际披露行为的正向关系中均具有负向调节作用,表明信息敏感性可以影响隐私悖论的作用强度,并从悖论消解视角重新阐释了隐私披露行为。

逻辑观与悖论的消解研究探索

悖论的消解研究折射了逻辑观的变迁。文章指出,目前大部分的消解理论都是建立在"思辨逻辑"观基础之上的。"客体逻辑"观告诉我们,悖论的产生是由于人类对客观世界规律描摹以及语言表达缺陷引起的,因此建立在"客体逻辑"观基础上的,从客观世界、语言和逻辑三维研究的解悖方案将是今后的发展方向。

大数据视阈下数据新闻传播悖论及消解策略思考

随着互联网技术的不断提升与进步,我国的大数据技术也得到较大的发展。随着大数据技术在各个行业中的广泛应用,各行业的发展也进入了大数据时代。在这一时期,我国的数据新闻生产发生着非常巨大的变化,但是就我国数据新闻发展现状而言,其依然存在着诸多变数和不利因素。基于此,本文对大数据视阈下数据新闻传播悖论及消解策略进行了探讨和分析。

“墨磨人”悖论的消解——与杨熙龄、苏东坡商榷

杨熙龄教授的《奇异的循环——逻辑悖论探析》是我国第一本悖论专著(辽宁人民出版社于1986年12月初版,于1987年6月第2次印刷,印数共4万4千本).杨先生以黑格尔辩证哲学的观点来评析“悖论”,跟我以分析哲学和形式逻辑的观点来评析“悖论”,刚好“针锋相对”,是我的“大论敌”.虽然我对杨书持有许多异议,本文只能摘要引述其中的片段(见147~149页)来点商榷;但是。

从逻辑悖论到和谐社会的方法论问题

通过阐明悖论的科学含义,再从两个著名悖论的解决中,得出消解悖论的方法论原则,即必须突破原有的理论框架,提出新观点、新理论。最后指出,在工业化进程中,经济发展与环境保护是必然遇到的一个矛盾。坚持科学发展观,就必须运用消解悖论的方法论原则,跳出工业化生产方式的框框,建立与发展生态化生产方式,把自然界的再生产放在首位,才能从根本上解决问题。

简朴的悖论定义─—从矛盾到互补

简朴的悖论定义─—从矛盾到互补〔香港〕黄展骥编者按：“悖论”问题，两千多年来，从东方到西方，曾使许多哲学、逻辑、数学和科学界的学者感到困惑，迄今仍未有公认的解决方案，被认为是廿世纪的“大难题”。香港学者黄展骥先生试图用“常识”的方法，显浅地勾划出“悖...

汉语重动句动词同一性悖论

重动句(SV1OV2C)的本质特征是谓语部分重复使用了同一个动词。一般以为V1和V2中一个为另一个的复制,但语感、事实和有关成果显示V1已经去动词化,V2却具有典型的动词特征;如果一个是另一个的复制,重动句的生成必将崩溃。为了消解这一悖论,我们利用形式句法理论,分析了重动句的动态生成,揭示了问题的实质:V1和V2确是同一动词的重复使用,但彼此都不是对方的复制,两者都是源词V的复制,V以词根的形式存在。词根在语类上为中性,介于N和V之间,被置于一个名词性环境,结果就是名物化;被置于一个动词性环境,它们就成为动词。这就解释了为什么V1和V2虽是同一个源词V的复制,两者却有着不同的性质。

信念更新理论视角下个人健康隐私关注及悖论消解研究

[目的/意义]医疗健康类APP使用过程的个人健康隐私保护是亟待解决的重要课题,对个人健康隐私关注及隐私悖论的研究不仅可以提高公众隐私保护意识,也有利于智慧医疗服务平台的隐私管控和普及应用。[方法/过程]考虑到医疗健康APP使用过程中的信息不对称性和收益不确定性,基于信念更新理论和隐私计算理论,研究预备使用、初步使用和持续使用三个阶段个人健康隐私关注对隐私披露意愿及行为的作用机理。考虑不同阶段隐私悖论作用强度的动态变化,进一步基于理性选择理论,分析个体理性程度在隐私悖论路径中的调节作用与消解效应。采用情景实验法收集317份纵向样本数据,运用偏最小二乘结构方程模型进行实证分析。[结果/结论]研究结果表明,在预备使用阶段用户信任对初步隐私关注有显著负向影响,初步使用阶段的隐私披露意愿与行为对持续使用阶段的隐私关注具有负向影响。在初步使用和持续使用阶段,“隐私关注—披露意愿—披露行为”的路径系数均为正显著,这表明两阶段均存在隐私悖论现象。其中,持续使用阶段的中介效应间接路径占比与初步使用阶段相比明显升高,这表明随着时间推移隐私悖论的作用强度有所削弱。此外,个体理性程度对初步使用阶段的隐私悖论有显著负向影响,但对持续使用阶段的隐私悖论只有部分调节作用,这表明随着使用经验的增加,理性程度的消解效应会随时间变化而减弱。

关于转型社会政治价值体系建构的几点思考

市场经济是社会转型无可回避的时代背景,也是当下政治价值体系构建所要直面的前提条件。市场经济对政治生活领域提出了权力集中与对集中权力进行有效制约的双重要求,从而构成一种有关权力的"悖论"。能否在内涵指向与功能上形成对"权力悖论"消解的有效应对,是判断现代政治价值体系优劣与否的根本标准。现代化"先发国家"在它们社会转型期建构自己政治价值体系过程中的经验与教训都与对这种"权力悖论"消解的成功度有关,因而值得今天"后发国家"在政治价值体系建构过程中积极地去汲取。由此出发,我们对政治价值体系建构中的普遍性与特殊性的认识,也能得以升华。

“三值谎者”悖论的消解!——虚假的“语义学黑洞”

“三值谎者”悖论的消解！——虚假的“语义学黑洞”（香港）黄展骥（深圳大学客座教授５１８０１９）我曾把说谎者悖论四分为“初始、强化、再强化和再再强化”，并试图各个击破，一一消解。（参见①）但是，这统统只限于“真、假二值”的消解；而我模糊地觉得，有关类似...

悖论的消解与价值的趋同--当下中国电影产业空间拓展策略之我见

在经济全球化背景下,面对好莱坞电影的强势挤压,笔者认为制约中国电影空间拓展的并不仅仅是产业化程度不够、影片内容表达狭隘、缺乏专门的译制机构和标准、版权发行不畅等问题,还需要消解"越是民族的越是世界的"和"走向世界的中国电影要恪守中国文化的核心价值"这两个策略和理念的悖论。中国电影要真正走向国际市场,就应把民族文化转化为世界文化,在电影创作中倡导世界多元文化的融合与普世价值的趋同。

真理论悖论的消解

真理论悖论是与“真”这个词的用法有关的各种悖论,比如说谎者悖论、库里悖论、雅布洛悖论等。真理论主要是研究如何一致地给出关于“真”的理论,其中“一致地”就是要避免各种真理论悖论。塔斯基的真理论明确提出了T-模式,即“X是真的当且仅当p”,其中p是句子,X是p的名字。不管哪种真理论都是以全部接受或部分接受T-模式为前提的,即都是把T一模式中的“真”当作谓词来处理的。