模糊学的兴起与辩证逻辑

系统科学、计算机科学以及认识论的发展促进了模糊学的兴起。查德提出了模糊集合论的思想，并应用于逻辑和语言领域，为认识论和辩证逻辑提出了新的问题和解决的途径。首先，模糊学为辩证逻辑提供了依据。模糊性表征的亦此亦彼性促进了模糊逻辑、辩证逻辑兴起，而囿于经典形式化方法的模糊逻辑不能完全胜任，从而要借助辩证逻辑来解决。其次，模糊学的兴起证明以真假二值为基础的经典形式逻辑的局限性，而它又为辩证逻辑提供了一定的形式化方法，在一定意义上填平形式逻辑和辩证逻辑的鸿沟     

"集合"由来演化的哲学思考

"集合"已成为现代数学的核心概念,它是人类认识事物、现象等的一种模式.迄今科学家们提出了三种重要的集合概念Cantor集合、Fuzzy集合、Extension集合,在每一种集合上建立一种数学,集合之拓广推动了数学的长足发展.建立在Extension集合之上的可拓数学既是辩证思维方法的某种创新,也是科学方法论的创新,开辟了运用数学语言、数字符号描述事物可变性的途径和方法.对正确认识客观事物可变性的哲学意蕴,以辩证的思维观、科学的哲理与方法研究它具有极其重要的意义.     

我国医疗侵权案件举证责任分配的司法对策

对于医疗侵权案件的举证责任分配问题,我国2010年7月1日生效的《侵权责任法》一改过去要求医院对其不存在医疗过错负举证责任的做法,有加重原告患者举证负担的嫌疑。该法的出台,在司法实践中引起了巨大的争议。在《侵权责任法》短期内难以修改的情况下,我国法院在审判实践中应综合运用法院调解、表见证明、证明责任倒置和证明妨碍等多种司法技术,来贯彻落实"减轻患者的证明负担、平衡医患利益关系"这一基本司法政策。     

从"集合"的由来演化看数学哲学的基本问题

"集合"已成为现代数学的核心概念,它是人类认识事物、现象等的一种模式。迄今科学家们提出了三种重要的集合概念:Cantor集合、Fuzzy集合、Extension集合,在每一种集合上建立一种数学,集合的拓广导致了数学的拓广。     

基于NetFlow V9协议的网络信息采集研究与实现

NetFlow是目前主要的网络信息采集协议之一,V9是它的最新版本,它可在最大限度减小对路由器/交换机性能影响的前提下,提供详细的数据流统计信息。该文结合网络性能管理软件项目(NPMS)的开发,讨论了基于NetFlow(V9)协议的网络信息采集的研究与实现,即对NetFlow(V9)数据流的解析与保存。     

医疗侵权过错的证明困境及其对策

在医疗侵权诉讼中,证明被告医疗机构存在医疗过错存在很大的困难。根据原有的司法解释,我国对医疗侵权案件实行过错推定,即要求被告医疗机构对自己不存在医疗过错负证明责任。但《侵权责任法》改变了这种做法,改为原则上要求患者对医疗机构存有医疗过错承担证明责任。新规定不符合国际惯例,其实施可能会带来严重的社会问题。目前,我国对医疗侵权宜继续实行过错推定制度,即对医疗过错实行证明责任倒置;待时机成熟时,建立医疗侵权无过错责4-2制度。     

Fuzzy子群的结构与直积分解

本文利用既约集合套定义Fuzzy集,用既约子群套定义Fuzzy子群,给出了几类Fuzzy子群的结构定理同时还给出了Fuzzy子群的直积概念及Fuzzy的直积分解定理。     

互模拟在理论和实践中的应用

互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述不同的非良基集合的域;可以运用非良基集合来研究模态逻辑的可导出性。今天,互模拟因为各种目的广泛地应用在并行系统中;并行理论不仅仅与计算机科学有关,而且用在许多自然现象的模型化中;随着互模拟应用范围的扩大,如何把一个模型的随机部分反映到互模拟概念中去成了互模拟的一个研究方向;概率模型通常在几个应用领域被分析和定义;定义新颖的构造性的状态空间归约技术会大大提高概率模型检测效率,扩展概率模型检测范围。     

区分集合概念与非集合概念的教学研究

区分集合概念与非集合概念,是普通逻辑教学中的一个难点。积极地克服这个难点,不仅有助于准确地辨识概念、使用概念,也有助于恰当地进行判断和推理。教学实践证明,正确区分集合概念与非集合概念,必须在理论上重点研究以下两个问题：（１）客观事物中类与分子的关系、整体与部分的关系、集合体与个体的关系;（２）普通逻辑中集合概念与单独概念、普遍概念的关系。这两个问题是相互联系的,但又属于不同的层次。前一个问题虽然是认识论研究的范围,但它却是正确区分集合概念与非集合概念的关键问题。     

基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

Kakutani不动点定理的泛函分析证法

本文讨论了Ｋａｋｕｔａｎｉ不动点定理的泛函分析证法，给出了它的一个较简洁的证明。     

蔡斯勒斯定理的矢量法证明

理论力学中曾给出过此定理的证明,本文以矢量的方法,给出此定理的另一种证明。     

关于平面对称紧凸集不等式

本文简论平面对称紧凸集不等式问题,引伸Favard不等式,对不等式中的相关常数给出两种证法。     

Fuzzy数学在评价函授教学质量中的应用

函授教学质量的评价是一个较复杂的问题。本文根据 Fuzzy 数学的原理,采用了一种综合评价的处理方法,试图通过严密的数学运算,获得较科学的定量化的评价结果,以避免质量评价中的主观偏向,从而为函授教学的管理提供了一个科学的方法。     

复变函数对中学数学教学的指导作用

本文阐述了复变函数对中学教学的指导作用,并给出了代数基本定理的一个新证明。     

和函数作图与设备的经济寿命

给出"设备经济寿命的唯一性"的应用,用和函数作图法给出"净年值曲线有最大值点"的证明,并通过实例说明该方法更客观、更合理,具有一定的应用价值。     

谈“三十六军官问题”的一个错误证明

指出“三十六军官问题”一个流传甚久的证明的错误,同时给出了二水平正交表的几个有关结果.     

幅度补偿问题的松弛迭代法的收敛性

研究了由相位谱重构有限长离散信号,即幅度补偿问题。根据以归一化相关系数对经典迭代法的收敛性进行的证明,讨论作为经典迭代法改进算法的松弛迭代法的收敛问题。列举了三种松弛迭代法的修正方法,并进行了比较。     

论司法证明方法的第三次转变

从古到今,司法证明方法变动不居。而证据是司法证明方法历史兴替的标志,证明方法的各种属性是司法证明方法历史兴替的根据。发源析流,知古鉴今,人类社会的司法证明方法已然经历过两次重大的转变,当代基于各种现代技术手段和仪器测试而取得的各种各样的心理证据的出现预示着司法证明方法第三次转变的发展方向。而一些国家对证明犯罪人主观心理方法合法性的立法认可显露了司法证明方法第三次转变的冰山一角。     

PLC实现的模糊PID控制器研究

设计了模糊PID控制器,在MTLAB环境下离线计算出了查询表,采用西门子S7—300在Step7软件中利用查表法实现了程序的设计。结合一阶模型进行实验,结果表明,这种方法能在线调整PID参数,取得了不错的效果。