期刊文献+
共找到84篇文章
< 1 2 5 >
每页显示 20 50 100
北京平原区地下水水位与地面沉降关系研究 被引量:37
1
作者 杨勇 郑凡东 +2 位作者 刘立才 王素芬 王荣 《工程勘察》 2013年第8期44-48,共5页
北京市地下水长期过量开采,造成地下水位持续下降,地面沉降区持续扩展,抑制了北京市经济可持续发展。为缓解地面沉降的危害程度,本文评价了北京平原区地下水开发利用和地面沉降的现状,研究了地下水与地面沉降的关系,采用逻辑斯蒂方程拟... 北京市地下水长期过量开采,造成地下水位持续下降,地面沉降区持续扩展,抑制了北京市经济可持续发展。为缓解地面沉降的危害程度,本文评价了北京平原区地下水开发利用和地面沉降的现状,研究了地下水与地面沉降的关系,采用逻辑斯蒂方程拟合地下水水位与地面沉降量的相关关系。研究表明:地面沉降变化趋势与地下水水位动态变化具有良好的一致性,地下水水位变化是地面沉降发生发展的主要诱因。研究成果对于合理调整地下水开采布局,保障供水的同时提高地质环境安全具有重要意义。 展开更多
关键词 地下水水位 地面沉降 逻辑斯蒂方程 相关关系
下载PDF
情态动词否定之研究 被引量:5
2
作者 李小川 《常德师范学院学报(社会科学版)》 2003年第2期102-105,共4页
Palmer认为在英语语法中 ,最难描写的莫过于情态助动词系统 (Palmer,1 979:preface)。情态动词之所以纷繁复杂、难以描写是因为它们在各种英语文体中使用频率极高 ,并且表达的意义与人的情感和意念有着密切关系。由于情态动词的意义的... Palmer认为在英语语法中 ,最难描写的莫过于情态助动词系统 (Palmer,1 979:preface)。情态动词之所以纷繁复杂、难以描写是因为它们在各种英语文体中使用频率极高 ,并且表达的意义与人的情感和意念有着密切关系。由于情态动词的意义的多样性和模糊性 ,其否定形式及范围也是复杂多变的。我们可以依据Palmer对三类情态动词(推测性、义务性、原动性 )和两种情态级别 (可能级、必定级 )的划分 ,对情态动词的否定范围及语义进行分类分级研究 ;同时 ,鉴于可能级和必定级情态动词否定之间的语义约同现象 ,对逻辑等式Not -possible =Necessary -not;Not -necessary=Possible -not在情态动词句式中的操作规律加以探讨 。 展开更多
关键词 情态动词 否定 推测性 义务性 原动性 可能级 必定级 否定范围 逻辑等式
下载PDF
基于逻辑方程的飞机中央维护系统实时故障诊断方法 被引量:4
3
作者 刘志越 宋东 屈娟 《测控技术》 CSCD 2017年第8期51-54,共4页
中央维护系统(CMS)是对飞机系统进行故障诊断和提供维护信息的主要系统,在提高飞机的测试性和维修性方面起着重要的作用。针对CMS实时故障诊断的问题,研究了基于逻辑方程的实时故障诊断方法。分析了CMS故障诊断功能需求,给出了CMS基于... 中央维护系统(CMS)是对飞机系统进行故障诊断和提供维护信息的主要系统,在提高飞机的测试性和维修性方面起着重要的作用。针对CMS实时故障诊断的问题,研究了基于逻辑方程的实时故障诊断方法。分析了CMS故障诊断功能需求,给出了CMS基于逻辑方程故障诊断的实现方法。通过构建逻辑方程规则知识库,提出了优化的匹配查找方法,并与预处理后的BIT信息匹配确定故障,提升了故障诊断效率。最后以飞机发动机电子控制系统的自检信息为例,建立逻辑方程知识库并进行故障诊断,结果表明该方法能快速准确诊断故障信息,为CMS实现故障诊断提供了有效的方案。 展开更多
关键词 中央维护系统 故障诊断 逻辑方程 知识库
下载PDF
Sel-351A保护实现线路备自投逻辑编写 被引量:2
4
作者 胡奇涛 韩冬 刘立伟 《黑龙江电力》 CAS 2008年第3期205-207,211,共4页
给出利用SEL微机线路保护的编辑逻辑方程式,设计控制保护动作的逻辑流程的特点,将SeL-351A线路保护作为110 kV线路备自投装置。
关键词 SeL-351A 备自投 逻辑方程式 逻辑字符
下载PDF
基于Petri网的PLC程序设计方法研究 被引量:1
5
作者 高宏伟 王永华 张永忙 《郑州轻工业学院学报(自然科学版)》 CAS 2003年第1期46-48,共3页
针对传统程序设计方法难以对具有并发、协调、竞争等复杂事件的PLC控制系统编程的问题,探讨了一种基于Petri网模型的PLC程序设计方法.该方法利用Petri网的图形性质和对并发事件建模的能力,可简便、直观地构建PLC控制系统程序,并能对控... 针对传统程序设计方法难以对具有并发、协调、竞争等复杂事件的PLC控制系统编程的问题,探讨了一种基于Petri网模型的PLC程序设计方法.该方法利用Petri网的图形性质和对并发事件建模的能力,可简便、直观地构建PLC控制系统程序,并能对控制系统性能进行分析,以确认程序的合理性. 展开更多
关键词 PETRI网 可编程控制器 控制模型 逻辑方程 程序设计
下载PDF
平面图四色问题的一个必要定理 被引量:1
6
作者 王礼萍 王慧蓉 《哈尔滨师范大学自然科学学报》 CAS 2003年第3期29-30,共2页
本文从逻辑推理角度讨论了关于四色问题的一个必要性定理 .
关键词 平面图 四色问题 必要定理 逻辑推理 逻辑方程 逻辑表达式
下载PDF
利用基因表达谱数据进行各基因相互关系的数学建模方法
7
作者 鲍芳 《河北北方学院学报(自然科学版)》 2022年第3期5-11,共7页
在系统生物学的相关研究中,基因网络模型作为基因组机理与功能分析的基础,通过基因描述谱数据以建立基因关系模型的方法应用非常普遍。利用定量建模的方法,针对对有氧呼吸和无氧呼吸条件下的典型基因与酿酒酵母菌之间的逻辑关系建立了... 在系统生物学的相关研究中,基因网络模型作为基因组机理与功能分析的基础,通过基因描述谱数据以建立基因关系模型的方法应用非常普遍。利用定量建模的方法,针对对有氧呼吸和无氧呼吸条件下的典型基因与酿酒酵母菌之间的逻辑关系建立了相应的数学微分方程模型,从而对有氧环境与无氧环境切换后基因表现出的动力学行为进行了分析,并通过计算获取了大量的基因呼吸作用相关数据。 展开更多
关键词 逻辑关系 酵母菌基因 微分方程 数学模型 谱数据
下载PDF
逻辑方程和逻辑方程组的解法
8
作者 王道林 李洪银 《泰山学院学报》 2007年第3期46-49,共4页
首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法.
关键词 逻辑方程 线性逻辑方程组 解集 主合取范式 极大项
下载PDF
二值命题逻辑中限制逻辑等价关系及其应用
9
作者 亓正坤 王廷明 丁洁玉 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2012年第2期22-25,共4页
给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真... 给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ)中基于真度的τ(A→X)=α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等"直径"的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法. 展开更多
关键词 二值命题逻辑 真度 限制逻辑等价 逻辑方程 解集
下载PDF
大亚湾核电站KIT/KPS系统升级改造中的KPS功能开发
10
作者 向方成 《云南大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第S2期4-8,16,共6页
主要涉及大亚湾核电站KIT/KPS系统升级改造中与KPS功能开发相关的内容.KPS功能为运行人员提供各种与安全相关的执行机构的工作状态及有关电厂安全的综合信息,并能及时探测事故,监督安全动作,协助操作员处理事故.从改造背景、功能需求、... 主要涉及大亚湾核电站KIT/KPS系统升级改造中与KPS功能开发相关的内容.KPS功能为运行人员提供各种与安全相关的执行机构的工作状态及有关电厂安全的综合信息,并能及时探测事故,监督安全动作,协助操作员处理事故.从改造背景、功能需求、逻辑方程设计、软件体系结构及功能应用等方面对KPS系统的设计开发进行了系统的描述. 展开更多
关键词 核电站 KPS功能 软件体系结构 逻辑方程
原文传递
基于布尔矩阵的初等行变换的知识约简算法 被引量:9
11
作者 王道林 《计算机应用》 CSCD 北大核心 2007年第9期2267-2269,共3页
给出了布尔矩阵的初等行变换定义,建立了线性逻辑方程组形式的属性约简模型,用布尔矩阵的初等行变换把系数矩阵化为最简矩阵,给出了用系数矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性的三个充分必要条件,并由此提出... 给出了布尔矩阵的初等行变换定义,建立了线性逻辑方程组形式的属性约简模型,用布尔矩阵的初等行变换把系数矩阵化为最简矩阵,给出了用系数矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性的三个充分必要条件,并由此提出了一种知识约简的快速算法。 展开更多
关键词 粗糙集 属性约简 布尔矩阵 初等行变换 线性逻辑方程组
下载PDF
逻辑系统的代数状态空间方法的基础、现状及其应用 被引量:8
12
作者 程代展 齐洪胜 《控制理论与应用》 EI CAS CSCD 北大核心 2014年第12期1632-1639,共8页
逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问... 逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景. 展开更多
关键词 矩阵半张量积 逻辑动态系统 代数状态空间方程 纯状态与混合状态 控制与博弈
下载PDF
The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering
13
作者 Dong H. Liu 《Intelligent Control and Automation》 2024年第1期28-62,共35页
The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. Th... The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology. 展开更多
关键词 Bionic logic Structural Diagram of logical equation Data logic Intelligence
下载PDF
航空安全员心理素质指标研究 被引量:5
14
作者 王燕青 张思佳 《安全与环境学报》 CAS CSCD 北大核心 2018年第2期623-627,共5页
为降低因航空安全员心理素质不过关而导致的不安全事件,先对航空安全员的基本工作能力与应急处置能力进行了分析,确定出合格航空安全员所必需的心理素质指标;然后设计"航空安全员心理素质调查问卷",并选取国内多家航空公司在职航空安... 为降低因航空安全员心理素质不过关而导致的不安全事件,先对航空安全员的基本工作能力与应急处置能力进行了分析,确定出合格航空安全员所必需的心理素质指标;然后设计"航空安全员心理素质调查问卷",并选取国内多家航空公司在职航空安全员为调查对象,对回收有效的问卷进行信、效度检验以验证指标的合理性;再采用结构方程模型确定各指标权重。结果表明,航空安全员心理素质模型由4个一级指标、17个二级指标构成,其中对航空安全员心理素质影响最大的是人格特征,其次是社会适应力、交际能力和认知能力。 展开更多
关键词 安全管理工程 航空安全员 心理素质指标 结构方程模型
下载PDF
时序逻辑电路的卡诺图分析法 被引量:1
15
作者 赵兴强 金洪颖 《通化师范学院学报》 2005年第4期33-36,共4页
提出了一种分析时序逻辑电路功能的新方法:利用分项满足法和时钟方程来填写状态方程的卡诺图。
关键词 时序逻辑电路 卡诺图 状态转换图 时钟方程
下载PDF
一种基于逻辑关系方程解的属性约简算法
16
作者 白运会 王化雨 《计算机工程与设计》 CSCD 北大核心 2007年第11期2649-2651,共3页
粗糙集理论中所有的概念与运算都是通过代数学的等价关系和集合运算来定义的。在这种定义下,粗糙集理论的很多概念与运算的直观性较差。从逻辑代数的角度出发,建立了属性集与布尔矩阵以及逻辑关系方程之间的关系,给出了逻辑关系方程有... 粗糙集理论中所有的概念与运算都是通过代数学的等价关系和集合运算来定义的。在这种定义下,粗糙集理论的很多概念与运算的直观性较差。从逻辑代数的角度出发,建立了属性集与布尔矩阵以及逻辑关系方程之间的关系,给出了逻辑关系方程有解、有惟一解、有多个解的充分必要条件,在逻辑关系方程解的基础上给出了一种新的高效的属性约简算法。 展开更多
关键词 布尔矩阵 置换矩阵 逻辑关系方程 粗糙集 属性约简
下载PDF
A new knowledge reduction algorithm for information system
17
作者 PENG Guan-ming BIAN Bing-chuan 《通讯和计算机(中英文版)》 2009年第7期35-39,共5页
关键词 通信系统 矩阵 布尔代数 信号处理
下载PDF
(t+1)×7类模糊错误矩阵包含型集合方程求解方法研究
18
作者 廖丽平 郭开仲 李颖 《数学的实践与认识》 北大核心 2019年第1期256-264,共9页
在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,研究模糊错误矩阵方程的类型,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题这种类型的模糊错误矩阵方程求解,由研究发现XA′的运算结果可得到A x′_1的运算结果等同于Ax... 在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,研究模糊错误矩阵方程的类型,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题这种类型的模糊错误矩阵方程求解,由研究发现XA′的运算结果可得到A x′_1的运算结果等同于Ax′_1=A∧[x′_1,x′_1,…,x′_1]′,所以XAB模糊错误矩阵集合方程XA′=B的求解的方法可以得到改善.最后给出了一个求解的例子. 展开更多
关键词 模糊错误逻辑命题 错误矩阵 集合关系式 包含型模糊集合方程
原文传递
逻辑方程F=G的解集研究及其应用 被引量:6
19
作者 丁殿坤 《新疆师范大学学报(自然科学版)》 2006年第2期13-15,32,共4页
为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F+G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F+G-=1和FG-=1的解集分别为S1、S2,则F=G的... 为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F+G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F+G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F+G=0和F-+G-=0的解集分别为S3、S4,则F=G的解集为S3+S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′+S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。 展开更多
关键词 逻辑方程 非0型 非1型 充要条件 解集关系定理
下载PDF
用解逻辑方程的方法化简互斥多变量逻辑函数 被引量:5
20
作者 周亮 《渤海大学学报(自然科学版)》 CAS 2005年第1期73-74,共2页
论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。
关键词 互斥多变量 逻辑函数 逻辑方程
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部