粗糙集代数与正则剩余格

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现正则剩余格能够抽象刻画偶序对的性质。讨论粗糙集代数与正则剩余格的关系以及由粗糙集代数构造正则剩余格的方法,借助近似代数上的原子及同余关系,证明在适当选取算子之后,粗糙集代数就成为正则剩余格。     

BR0-代数的无序表示形式及WBR0-代数性质

对BR0-逻辑代数进行了进一步研究,得到了BR0-逻辑代数的一种无序表示形式,使得BR0-代数中的序关系蕴涵于BR0-代数的基本运算⊕和→之中,并根据BR0-代数的无序表示形式提出了WBR0-代数理论,初步地讨论了其中的性质.     

逻辑代数与常用逻辑门电路

近年来,电子科学和技术取得了飞速发展,其标志就是电子计算机的普及和大规模集成电路的广泛应用,数字逻辑的产品层出不穷,在这种情况下,传统的关于数字电路的内容也随之起了很大的变化,在数字电路领域EDA工具已经相当成熟,无论是电路内部结构设计还是电路系统设计,以前的手工设计都被计算机辅助设计或自动设计所取代.数字电路与数字电子技术广泛的应用于电视、雷达、通信、电子计算机、自动控制、航天等科学技术各个领域,数字逻辑基础涉及数字技术中的基本原理、基本分析和设计方法,具有很强的工程实践性。     

格蕴涵代数、MV-代数和有界可换的BCK-代数

证明格蕴涵代数和有界可交换的"BCK-代数"是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统.     

R0-代数与BL-代数中的素滤子定理

R1-代数与BL-代数在模糊逻辑的研究中有重要作用,这与布尔代数在经典逻辑中的作用类似。本文通过一个特殊集x^-1F分别给出Ro-代数及BL-代数素滤子的一个等价条件,并给出BL-代数的一个新性质。应用这些结果分别得到Ro-代数与BL-代数的素滤子定理。     

浅谈电气控制线路的逻辑代数分析方法

电气控制线路是我们生产中许多机电设备的控制动力,分析机电设备的电气控制线路对设计、使用、维修、调试、改造机电设备都有很重要的意义.常用的电气控制线路的分析在分析较复杂电气线路时比较麻烦,介绍一种基于逻辑代数的分析方法.可以将较复杂的电气线路转化文比较直观的逻辑代数的表达式.并通过表达式中分析出电气控制线路的功能,还可以对电气控制线路进行化简等操作.     

三角代数的模糊滤子

引入三角代数和三角代数中滤子的概念,研究三角代数中滤子的性质.给出了三角代数中模糊滤子的概念,进一步给出三角代数模糊滤子的等价刻画;研究了三角代数中滤子与模糊滤子之间的关系,并证明由滤子可以诱导出模糊滤子,反之,由模糊滤子也可以诱导出滤子.     

R0-代数(NM-代数)的布尔MP滤子与布尔MP理想

在R0-代数中引入布尔MP滤子与布尔MP理想的概念,给出其若干充要条件,研究了它们与素滤子、极大MP滤子的关系。通过反例指出了关于超MP滤了的一个错误结论,给出超MP滤子的一个充分必要条件。在此基础上研究了R0-代数的结构,用布尔MP滤子与布尔MP理想刻画了二部R0-代数、强二部R0-代数的特征。     

基于线性时序逻辑理论的仓储机器人路径规划

首先根据仓储物流环境的特点构建了可灵活扩展的仓储环境模型,并制定了适合仓储物流需求的机器人运动规则,使该模型能够适用于动态的仓储物流环境;其次采用线性时序逻辑任务公式描述具体的任务需求,使其可以适用于实际应用中更加复杂的任务;继而将任务需求与环境信息相融合,构建任务可行网络拓扑,避免分段任务搜索;然后采用Dijkstra算法在任务可行网络拓扑上搜索出最优路径,确保规划所得路径的最优性;最后将任务可行网络拓扑上的最优路径映射回加权切换系统,获得环境中满足任务需求的最优路径。与目前广泛使用的A~*算法相比,上述方法不仅能够满足复杂的任务需求,而且能够保证路径规划的最优性,而不是次优解。     

基于线性时序逻辑的移动端快递派送路径规划

研究了快递派送的路径规划。针对目前快递派送任务点较多,快递员不熟悉派送区域的问题,提出了一种基于线性时序逻辑(LTL)的移动端多点快递派送路径规划方法。该方法利用移动端的百度地图应用包实现快递员的定位与导航任务,提出两层(顶层、底层)规划策略。顶层规划避开百度地图实际道路环境繁琐又庞大的建模,将快递派送问题转化为旅行推销员问题(TSP),仅将快递员派送任务地点建模为一个有限状态的加权切换系统,状态之间的切换权重基于百度地图的自驾导航距离,而非简单的直线距离,以达到底层规划结果符合实际环境,确保最后搜索的路径最优性,同时利用线性时序逻辑语言描述多点快递派送任务,从而将切换系统信息与派送任务信息相融合,构建一个任务可行网络拓扑,并在该网络拓扑上基于Dijkstra算法搜索出快递员离散的最优路径。底层规划完成离散路径的连续化,离散路径的任意相邻任务点间的路径规划基于百度地图实现,从而实现顶层规划的离散路径连续化,获得快递员可派单的实际派送路线。实验结果表明该方法能够解决多点派送任务与派送区域受约束的问题,并保证快递员派单路径的最优性。     

R0代数的对偶代数

对于R0代数，给出了它的一个等价形式，并建立了它的对偶代数，从此刻划了R0代数内部结构的特征，也为从语义的角度进一步研究模糊逻辑系统提供了一个新的途径。     

有界Heyting代数的模糊LI-理想

理想是研究逻辑代数结构特征的重要工具性概念之一.本文综合运用代数学与模糊集的方法和原理,在有界Heyting代数中引入模糊LI-理想概念并研究其性质.进而讨论了模糊LI-理想与模糊格理想之间的关系,并给出了由一个模糊集生成的模糊LI-理想的表示定理,最后证明了一个给定有界Heyting代数的全体模糊LI-理想之集在模糊集合包含序下构成一个完备Heyting代数.     

扰动模糊逻辑I2的最大子代数及其广义重言式

运用R0-蕴涵算子，找到扰动模糊命题逻辑I^2的一个最大子代数IR，进而将逻辑系统否中的广义重言式理论推广到IR中，得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。     

双交叉积Hopf代数上的辫子结构

本文讨论双交叉积Hopf代数B~β_αH的辫子结构。通过引进一些新的概念,给出并证明了双交叉积Hopf代数B~β_αH构成辫子Hopf代数的充分条件与必要条件,同时给出了其辫子结构的分解形式。     

间断区间时态逻辑的语义

在给出了间断区的时态知识表示后建立了基于间断区间的时态逻辑。本文对时态逻辑的句法和语义作了介绍。     

人工事物的设计逻辑与特征

目的 人作为一个物种,其观察外部世界和思维的逻辑都受到生物性的影响,这种影响很清楚地在人类所创造的人工事物上反映出来,了解人工事物背后的潜在逻辑与人类思维对其的影响,这对于人类进一步的生存演化具有重要的意义。方法 通过对人工事物中人造物设计逻辑和方法的人类学等多学科的考察,厘清人造物产生的缘由、发展脉络及参与人类活动中扮演的角色,了解人类自身实践活动的真实状况。结论 人类在处理与外在事物的关系中,一直采用合乎逻辑的方式,研究清楚这些方式背后的深层逻辑,有助于揭示人类经由漫长的岁月,身体与心智的形成缘由及其对于处理与外在事物的关系中所扮演的角色。     

论批判性思维的逻辑特性

集中体现了人类理性和智慧的逻辑，不仅是批判性思维的精髓之所在，而且它的重要表现形式——逻辑思维也构成了批判性思维的本质内容。这一点正是批判性思维的逻辑学科性的表现之一。它的第二个表现便是批判性思维所体现的理性精神从根本上说是逻辑作用的结果。除此之外，批判性思维的逻辑学科性还表现在批判性思维既需要非形式逻辑，也需要形式逻辑，只有将两者结合起来共同发挥作用，才能使批判性思维的优秀品质得到最高程度的展现。