案件溢出事实对法院裁判形成过程的影响

准确把握与合理运用案件溢出事实,对于案件定量裁判的公正性具有重要的实践价值和意义。以民事纠纷中的彩礼案为例,我国已形成案件溢出事实运用的规范主义的三种进路。然而,这些规范主义进路存在难以对溢出事实作出穷尽规定,难以量化把握溢出事实的运用,以及已有的典型案例和司法解释尚有矛盾或欠严谨等主要问题。因而在案件的定量裁判中,裁判者对溢出事实的判断和运用仍需遵循实践主义逻辑,要基于个案溢出事实与主要事实的内在联系,从情理角度对案件的溢出事实加以衡量,并以可靠性作为判断和运用案件溢出事实的前提。运用案件溢出事实作出的定量裁判结果的正当性证成,需以当事人对裁判结果存在最低限度的可接受性为前提。

基于DNA链置换反应的自然数素性判定问题研究

借助自组装DNA计算的显著优势,采用DNA链置换反应原理开展了自然数的素性判定问题研究.首先,构造了有关DNA分子逻辑门,并构建了相应的DNA分子计算模型,然后设计了用于自然数素性判定的分子逻辑电路.最后基于Visual DSD仿真平台,对分子逻辑电路进行仿真.结果表明:采用的分子逻辑电路能够实现自然数的素性判断.

DTS系统中继电保护仿真实现方法的改进

定值判断法和逻辑判断法是调度员培训仿真系统(DTS)中继电保护仿真的主要实现方法。针对不同的应用和保护类型,对两种继电保护仿真方法的适用范围和选用原则进行了分析,提出了关于逻辑和定值法的改进方法。通过工程实践中的实例做出分析和说明。在解决DTS继电保护仿真的实时性与逼真性矛盾方面作了进一步的探讨和研究。

基于算符优先算法的逻辑表达式合法性判断

基于字符串的逻辑表达式的合法性进行判断在很多领域和场合下是经常遇到的 ,比如 :文件检索 ,信息查询等等 .而我们常见的文件检索与信息查询软件大多仅仅支持几个简单的逻辑算符 ,例如 :与、或 ,并且逻辑表达式中的组成字符串只能做简单的与、或运算 ,使得逻辑表达式的表达能力有限 ,用户使用的灵活性小 .本文针对上述问题进行了研究 ,采用算符优先算法给出了对该问题一种非常实用而又简练的实现方法 ,不但实现了普通搜索引擎所支持的简单的逻辑表达式的合法性判断功能 ,而且扩展了所支持的逻辑表达式的逻辑表达能力 :支持非运算 ;增加了支持逻辑表达式的优先级算符“(”和“)”.这使得逻辑表达式的表达功能和表达灵活性都得到很大的增强和提高 .本文给出的算法还可用于许多其他的基于字符串的逻辑表达式的操作功能 .

关于弹性力学半无限问题的注记

根据两个合理的判断依据,对弹性力学中的楔形体、半平面体、圆锥体和半空间体等经典解答进行了比较分析,发现了半无限平面应变问题和半空间体问题解答之间的关系;通过对解答之间的关系进行研究分析指出,弹性力学中的半无限平面体的符拉芒解答和半空间体的布希涅斯克解答存在局限性。对半无限地基、底部完全位移约束的有限深地基和底部光滑刚性支承的有限深地基在水平表面作用无限均布压力时的应力和位移分量进行了比较分析,认为底部完全位移约束的有限深地基模型较其他两种地基模型更合理些。

一种基于逻辑判断的山谷型边界检测方法

针对特定环境目标图象的分割 ,提出了一种基于逻辑判断的非监督边界检测方法 ,该方法可直接从原始图象中提取边界 ,而不需要进行边界强度计算和阈值分类 ,其算法简单 ,且具有噪声滤波功能 ,故适合于山谷型边界检测 ,通过堆积类球形颗粒轮廓的提取实验证明 。

审计专业判断的逻辑构架分析

审计作业给审计判断提供了专业性的限定 ,并使之具有了特定的内涵。审计专业判断可以按判断对象分为四种类型 ;审计专业判断的逻辑链也可以按思维进程分为四个环节 ;为保证判断的效果 ,必须对关键性环节实施控制。审计专业判断的两个层次 (总体判断与关键点判断 )构成一个体系 ,系统地运用于审计作业的全过程。

语句、判断和命题辨析

语句、判断和命题是三个不同的概念,在学习逻辑学的过程中应该严格区别,并且应该用命题代替判断作为形式逻辑的研究对象之一,以避免采用判断称谓形成的内容体系上的前后自相矛盾。

人为泥石流灾害严重等级的定量模糊综合评判

根据神府－东胜矿区人为泥石流的调查分析，选择１５个因素（含５个主控因素）作为其严重程度的评价因子，确定了四值逻辑（严、中、轻、否）评判的定量标准。应用模糊综合评判和分层定量模糊综合评判两种方法对该煤田６５条泥石流沟的严重等级进行综合判别，准确性达９３．１％，它为保护该地煤田建设和工农业生产提供了重要的科学依据。

组合逻辑电路中冒险现象的判断和消除方法

随着科学技术的发展,数字电路在实际应用中起到了举足轻重的作用,例如PLD、FPGA等,而在组合逻辑电路中产生的竞争与冒险现象,会对某些数字系统产生不良影响甚至混乱。本文主要讨论了对组合逻辑电路中冒险现象的判断方法及消除冒险现象的基本方法。

陕西灞源地区金矿远景区统计预测

近年来经初步工作在陕西灞源地区查明、发现小型金矿床、矿点共３１处，本文根据矿点本身的各种特征，用模糊综合评判法对矿点矿化强度进行了评价和排序，以此为基础建立单元含矿性变列，筛选出成矿环境变量１６个，用逻辑信息法在区内圈出金矿远景区Ａ类４０ｋｍ￣２，Ｂ类４６ｋｍ￣２．为本区金矿进一步勘查工作部署提供了依据。

基于LabVIEW平台和PLC的电机试验台数据采集系统设计

介绍了一种新型的电机综合测试装置。该装置利用可编程逻辑控制器(PLC)和上位机中Lab-VIEW的串行通信系统,将采集到的数据在上位机中存储、显示和回放。该系统能够自动地测试电机的各项性能参数,并对电机是否合格做出判断,有效地降低了电机的故障率,提高了企业的经济效益。

网络入侵中的模糊区域判断算法

针对当前网络入侵中模糊区域判断算法未考虑算法的自适应及容错性,判断效率和稳定性均较差的问题,提出一种基于多层逻辑结构的网络入侵中模糊区域判断算法。首先采用基于多层逻辑结构的模糊区域判断算法,以自适应和容错性作为约束条件,通过求取算法不同层反馈解,得到网络入侵中的模糊区域判断结果;然后基于判断结果,采用警报合成算法将较多雷同警报合成为一条警报,以防止形成警报洪流,获取最佳模糊区域判断结果。实验结果表明,该算法的检测率和误报率总平均值分别为93.13%和0.97%,平均时间为10.13s,表明该算法具有显著的网络入侵模糊区域判断优越性。

墨家关于逻辑学之判断的研究

墨子 是伟大的哲学家、科学家、逻辑学家和军事工程师。《墨经》是“世界最古名学之书”。其 在中国和世界逻辑史上都占据着极其重要的地位。墨家对于“辞”的本质、“辞”的种 类 等进行了详尽的阐述，这些均构成了墨家逻辑学之重要内容之一。墨家对于“辞”(判断)的 研究对我们的逻辑思维是很富有启发性的。

RTL综合中子程序的综合方法

本文论述了RTL综合系统中子程序综合方法 ,针对以赋值语句为核心的中间数据结构 ,采取嵌入方式或例示方式进行处理 ,然后进行格式判别、组合逻辑综合及时序逻辑综合 .文章给出具体综合算法 。

对一切判断所遵循的先验逻辑的演绎

全部知识的判断按照其内容和形式的规定,可划分为以下四种:经验综合判断(归纳判断)、先天分析判断、先天综合判断和先天分析-综合判断(思辨判断)。其中,先验自我的逻辑原理为归纳判断、先天综合判断提供了消极条件,但为分析判断和先天分析-综合判断提供了积极条件。

基于多参数协同的饮用水中消毒剂判断逻辑探讨

饮用水消毒剂指标达标判断时存在单因子与多因素的协同作用,在供水信息系统中构建判断逻辑具有一定难度。基于多参数协同思想,构建符合标准要求和健康安全的判断逻辑,能够为各地建设智慧水务平台、提升监管效率提供支持。

光伏发电直流供电稳定性协调控制研究

光伏发电直流供电网中,光伏变换器工作于MPPT模式,但当负载变化时,负载功率的需求及直流母线电压的稳定,亦即稳定性协调控制成为电网的主要问题。基于上述问题从系统能量角度分析蓄电池的充放电原理,亦即与蓄电池所连的双向直流变换器的工作模式。提出采用直流母线分层控制来决定双向直流变换器的工作方式,分层控制可以减少双向变换器的工作时间,减少频繁启动,以减小变换器带来的功耗并延长寿命。在双向变换器自动无缝切换问题上,采用逻辑判断法来控制工作模式,实现升压/降压自动切换,并设计低压小功率实验电路进行验证。

判断应改称为命题

判断与命题是两个不同的概念 ,应该用命题代替判断作为形式逻辑的研究对象之一 ,以避免采用判断称谓形成的内容体系上的前后自相矛盾。

应该加强逻辑学课程中“论证”部分的教学和研究

我国讲述"普通逻辑"的很多教材中,讲述的"论证"范围过窄,似乎只是"把论证作为获得科学知识的方法来论述的"。然而,在现实生活中,"论证"的范围要宽泛得多。认为:"论证不仅局限于‘求真’的范围;‘求真、论善、审美’都需要论证,在各种各样的日常生活中都存在大量的论证。"主张"论证就是谋求承认",并且强调:应该重视研究"论证",研究"承认",重视在逻辑教学中改进和加强有关"论证"的教学与研究。