从逻辑学的角度看期刊影响力和论文影响力的关系

论文影响力是论文质量的一个重要组成部分,人们常常通过刊载论文的期刊的影响因子的大小来判断论文的影响力大小.而影响因子是一个评价期刊影响力的指标.这样做若是合理的,前提就应该是由期刊影响力的大小可以得到论文影响力的大小.在本文中,我们从逻辑推理的角度考察了这个前提,发现其中的推理是不合逻辑的,因而该前提是不正确的,从而把影响因子作为评价论文质量的指标之一是不合逻辑的.     

辩证地看待普通逻辑与辩证逻辑

逻辑演绎的有效性是理性形成的基础,全面看问题是达成和谐的保证。不管是普通逻辑还是辩证逻辑,不管是形式逻辑还是非形式逻辑都首先要求思维清晰,在此基础上,分析问题,运用策略;同时追求全面、具体的思维。问题不在于改造哪一种理论,而在于怎么样发现世界的“逻辑”。理论是一个方面,使用理论的人是另一个方面。理论有局限性,人的思维不能有太多局限性。可以只研究一种理论,但是人脑不会只被一种理论武装,思维不可能只认可一种理论。在思维训练的层面上,既需要普通逻辑的眼界和意识,也需要辩证逻辑的眼界和意识。     

一种模糊小脑模型神经网络及其仿真研究

在传统小脑模型的基础上,利用其特有的寻址方式,引入模糊逻辑的思想,采用模糊隶属度函数作为接受域函数,提出了一种模糊小脑模型神经网络。重点研究了接受域函数的映射规律、隶属度函数及其参数的选取规律和学习算法。仿真结果表明,该模糊模型具有良好的泛化能力和逼近精度,且可获得连续性强且有解析微分输出的复杂函数。     

Entropy of Partitions on Sequential Effect Algebras

By using the sequential effect algebra theory, we establish the partitions and refinements of quantum logics and study their entropies.     

强伪Ockham代数与剩余格

引入了伪Ockham代数的概念,讨论了伪Ockham代数与剩余格的关系.进一步引入强伪Ockham代数概念,并给出了它的基本性质.然后,将著名的R0蕴涵和R0算子推广到伪Ockham代数上,证明了添加广义R0蕴涵和广义R0算子后的伪Ockham代数L成为剩余格的充要条件是L为强伪Ockham代数.最后给出注记,以此说明强伪Ockham代数的条件是独立的.     

基于互补输出的三变量通用阈值逻辑门CRM展开函数查表设计

介绍了在或-同或系统中逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序表.讨论了互补输出通用阈值逻辑门及其设计方法.提出了CRM展开的P分类代表函数的接线方案表.在此基础上,提出了基于互补输出的三变量通用阈值逻辑门的任意三变量CRM展开函数的查表设计方法.通过若干设计实例,证明了此方法的有效性.     

一种用于FPGA的单粒子翻转试验系统设计研究

单粒子翻转(SEU)试验是测试FPGA芯片抗单粒子翻转性能的重要方法.提出了一种用于测试FPGA芯片抗单粒子翻转性能的试验系统;该系统通过比对待测FPGA芯片输出数据序列和正确数据来判断是否发生数据翻转.如果发生数据翻转,则进一步统计翻转次数和翻转性质,从而能够较全面的测试FPGA芯片的抗单粒子翻转性能.运用该试验系统对某款FPGA芯片进行了单粒子翻转试验,测试结果显示该试验系统能够正确评估被测芯片的抗单粒子翻转性能.     

基于机会发现逻辑的多智能体系统形式化描述方法

MAS系统中agent的核心能力是其对未来行为的理性决策,因应用环境的开放性和动态变化而具有不确定性。机会发现理论可以在此类环境中发现对主体决策具有重要影响的事件或状态,可用于表达智能行为的协作计算模型。在此情况下,以机会发现理论和时态/模态逻辑为基础,采用基于Kripke框架的机会发现逻辑Lk来研究多智能体系统的形式化描述方法。对Lk的结构及语义进行了详细地描述,并验证了Lk具有可判性且能够在多项式级时间复杂度内实现。     

激光对分子振动态的控制与量子Fredkin逻辑门

基于激光相干合成分子的局域模振动态,提出利用激光对分子振动态的控制实现量子Fredkin逻辑门的功能,并对方案的特点及可行性进行分析.