非二元条件约束满足问题求解

非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出一种非二元条件回溯算法和两种非二元条件前向检查算法,以有效处理约束维数的非二元性及变量依条件参与求解的动态性等问题;分析了三种算法最坏情况下的时间复杂性;通过随机生成的测试实例仿真实验比较了三种算法的求解性能。实验结果表明:在处理难问题时,两种非二元条件前向检查算法的性能均显著优于非二元条件回溯算法;而在分别处理中小规模低动态性特征与大规模高动态性特征问题时,两种非二元条件前向检查算法性能存在显著差异。

基于关联约束非二元弧一致性的约束满足问题求解

弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。

非二元性选择函数的Arrow不可能性定理

本文研究了非二元性选择问题,通过构造非二元性选择函数形式的不可能性定理,证明了在非二元性选择环境下Arrow不可能定理仍然成立.所得结论表明导致选择函数形式的不可能性结论的根本原因不是选择函数的“二元性”.

非二元约束满足问题求解

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .

选择顺应论视角下的翻译错误非二元对立性分析

本文认为翻译就是译者为顺应各种语境而不断做出选择的过程,因此翻译能力应为译者作选择时所拥有的潜在的待选项总和,翻译行为则指实际翻译即选择的结果。提高译者的翻译能力,实际就是提高选择顺应的意识和能力,提高根据语境、风格、读者背景、翻译目的等因素加以综合分析做出选择的能力。在这种背景下,有必要区分语言学习错误与翻译选择错误,前者属二元对立错误,后者则呈现非二元对立性。考查学生翻译能力提高的程度,可观其两类错误比例的变化,这是一个有效的衡量指标。

基于非二元约束满足的配置问题求解方法

依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。

独立决定和非二元性选择函数的Arrow不可能性定理

研究Arrow不可能性定理的弱化问题,将独立不相关条件(IIA)弱化为独立相关决定条件,证明在非二元性选择函数环境下对IIA弱化后Arrow不可能性定理仍然成立,并将它推广到选择函数不具有连通性的群格序决策问题。所得结论表明导致IIA弱化后,不可能性定理仍然成立的根本原因不是选择函数的连通性。

一类具有低密度生成矩阵的非二元准循环LDPC码

提出一类非二元准循环低密度校验(QC-LDPC)码,其校验矩阵的列重为2.通过精心设计校验矩阵,使得对应的生成矩阵具有一些优良的性质:系统性;准循环;低密度.因此,可通过简单的移位寄存器电路实现低复杂度并行编码.仿真结果表明,提出的码和随机码的性能相当.

用Richardson-Urbanke算法实现有效编码的非二元准循环LDPC码

为了实现有效编码,提出一类可以利用Richardson-Urbanke算法的非二元准循环低密度校验码(QC-LDPC)码.校验矩阵的右侧部分列重均为2,可用来构造规则和非规则码.对校验矩阵的约束保证了这类码具有线性编码复杂度.仿真结果表明,所提出的码和高阶调制结合,其性能优于渐进边增长(PEG)构造的码,并可获得接近Shannon限的性能.

非二元性选择函数最小决定集的唯一存在性

研究社会选择理论中非二元性选择函数的最小决定集的唯一存在性条件。首先介绍非二元性选择函数的概念 ,然后将最小决定集的概念推广到非二元性选择函数的一般情形 ,最后给出 k-集可行性条件下最小决定集的唯一存在性条件。

矢量量化中的非二元树搜索算法

在矢量量化(VQ)系统中,搜索算法是实现编码的关键技术.本文介绍非二元树搜索矢量量化系统的码本设计和搜索算法.计算机模拟实验结果表明,非二元树搜索矢量量化在失真性能和存储量方面明显优于二元树搜索矢量量化,而计算量只有全搜索矢量量化的几分之一.

非二元醇环保型发动机冷却液研究最新进展

介绍了原非二元醇型发动机冷却液和新型非二元醇型冷却液的种类,阐述了不同类型冷却液的特点,针对冷却液的毒性、冰点防护、腐蚀抑制、传热和成本等进行了分析,认为新型非二元醇型发动机冷却液在环保、防冻、防腐、传热等方面均具有良好的表现,同时兼具价格优势。讨论了非二元醇环保型发动机冷却液的应用前景和发展潜力。

改进的非二元t-sEC/AUED码的构造方法

符方伟等人提出了在Magnitude错误标准下一种码字长度为n的非二元t-sEC/AUED码的构造方法。在n?1是素数的幂次的情况下,给出了一种新的构造方法,证明由这种新的构造方法产生的码字个数的下界要强于文献[1]中给出的下界。

基于扩大候选码元范围的非二元LDPC加权迭代硬可靠度译码算法

为提高非二元LDPC码加权迭代硬可靠度译码算法的误码率性能,设计了一种基于扩大候选码元范围的加权迭代硬可靠度译码算法.通过对可靠度更新过程进行扩展,引入更多初始化元素,从而有效扩大了备选码元的范围,降低了译码结果中产生错误码元的概率.仿真结果显示,对基于伽罗华域GF(26)的(315,265)码进行译码时,改进后译码算法的比特误码率性能增益约为0.1 dB,对基于GF(2^(8))的(1275,1025)码进行译码时,改进后译码算法的比特误码率性能增益约为0.2 dB,在这两种情况下,改进算法的译码时间增加均小于2%.

生态女性主义的具身认知与彻底的非二元论

生态女性主义的哲学批判是从思维模式上对西方历史文化中妇女从属地位和自然从属地位的关联性的揭示。它认为,以主宰关系为核心的二元论思维模式是这种关联性的基础。超越主宰-服从关系的二元论不是简单的价值逆反,而是在差异关系中去除等级主宰,建立非等级化差异概念,以重构关系和身份。生态女性主义哲学尝试通过具身认知途径来实现建立非等级化的差异概念,进而达到彻底的非二元论,在自然和人之间建立合作关系的伦理学。

基于社会网络及观点交互的非二元投票隐性权力测度方法

社会网络视角下,考虑投票者之间的观点交互对投票行为的影响,将投票者基于社会关系影响他人行为进而影响决策结果的能力定义为隐性权力,基于知识水平、个体影响力和自信度等因素分析投票者之间的观点交互及其对投票结果的影响,提出了非二元选择下隐性权力的测度方法,并分析了社会关系结构、个体影响力及知识水平对隐性权力指数的影响。结果表明:隐性权力有正、负之分,连接广泛且紧密的个体拥有更多的隐性权力;个体影响力与隐性权力正相关,但影响力最高或最低的个体除外;而知识水平与隐性权力之间不存在明确的相关关系。所提方法不再拘泥于根据决策规则测定投票权力,而是更加关注观点交互的影响,为关键投票者的识别提供了新视角。

群体决策中非二元性选择问题的最小决定集

本文研究了社会选择问题中非二元性选择函数的最小决定集的作用,将最小决定集的概念引入到非二元性选择环境,提出了非二元性选择函数的最小决定集的存在性条件,为群体决策提供了理论依据.

非二元约束满足问题的产品配置建模与求解

针对传统二元约束满足问题直观建模产品配置问题存在的不足,提出了一种更适宜表示配置知识、基于非二元约束满足问题的产品配置方法。根据配置问题中配置知识的表现形式,提出了配置问题向非二元约束满足问题转化的映射方法,并建立了配置问题的非二元约束满足问题模型。通过仿真实验发现,基于非二元约束满足问题的产品配置方法具有知识表示便捷、求解效率高、求解方面丰富的优良特点,适于处理各类复杂配置问题。

活性染料在二元介质中上染棉纤维的技术进展

阐述纤维素极性-非极性二元介质活性染料染色技术的加工原理及产业化现状。介绍染料、碱、染色介质间的作用机理,概述染色溶剂的理化性质及毒理学信息、去除或回收原理、生物降解性能。与传统染色相比,二元介质染色技术可提高染料在染液中化学势,提高利用率,实现无盐、低碱、少水染色,但增加溶剂去除和回收工艺,提高加工成本。二元介质染色技术有利于从源头制止和减少污染物的产生,随着高固色率活性染料、配套染色助剂、数字化加工技术等深入研究,将进一步促进该技术的产业化推广。

对非二元性选择函数和独立决定性进一步的研究

进一步分析了非二元性选择函数的相关条件与Quesada提出的t元相关独立决定性条件,在非二元性选择环境下,用Quesada提出的条件弱化了Arrow不可能定中无关方案独立性条件,所得结论表明Arrow不可能定中无关方案独立性条件和连同性可以同时弱化.