期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
逻辑系统,W,W_k中的广义语义HS规则和广义语义MP规则 被引量:5
1
作者 吴洪博 《模糊系统与数学》 CSCD 2003年第4期60-66,共7页
研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统... 研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。 展开更多
关键词 逻辑系统 广义语义 HS规则 MP规则 模糊命题演算
下载PDF
The Physical Laws and Mathematical Axioms of the Brain’s OS and the Traditional Fundamental Laws of Thought of Logic and Philosophy
2
作者 Leo Depuydt 《Advances in Pure Mathematics》 2021年第12期988-1039,共52页
This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself propos... This article presents four (4) additions to a book on the brain’s OS published by SciRP in 2015 [1]. It is a kind of appendix to the book. Some familiarity with the earlier book is presupposed. The book itself proposes a complete physical and mathematical blueprint of the brain’s OS. A first addition to the book (see Chapters 5 to 10 below) concerns the relation between the afore-mentioned blueprint and the more than 2000-year-old so-called fundamental laws of thought of logic and philosophy, which came to be viewed as being three (3) in number, namely the laws of 1) Identity, 2) Contradiction, and 3) the Excluded Middle. The blueprint and the laws cannot both be the final foundation of the brain’s OS. The design of the present paper is to interpret the laws in strictly mathematical terms in light of the blueprint. This addition constitutes the bulk of the present article. Chapters 5 to 8 set the stage. Chapters 9 and 10 present a detailed mathematical analysis of the laws. A second addition to the book (Chapter 11) concerns the distinction between the laws and the axioms of the brain’s OS. Laws are part of physics. Axioms are part of mathematics. Since the theory of the brain’s OS involves both physics and mathematics, it exhibits both laws and axioms. A third addition (Chapter 12) to the book involves an additional flavor of digitality in the brain’s OS. In the book, there are five (5). But brain chemistry requires a sixth. It will be called Existence Digitality. A fourth addition (Chapter 13) concerns reflections on the role of imagination in theories of physics in light of the ignorance of deeper causes. Chapters 1 to 4 present preliminary matter, for the most part a brief survey of general concepts derived from what is in the book [1]. Some historical notes are gathered at the end in Chapter 14. 展开更多
关键词 Aristotle Boole G. Brain’s OS Fundamental Laws of Thought Kolmogorov A. N. Laws and Axioms Leibniz G. w. Locke J. logic PHILOSOPHY Rational Human Intelligence Venn J.
下载PDF
R/W变换真值法求谱及其应用
3
作者 刘心平 《遥测遥控》 1991年第2期10-21,共12页
在数字系统中,利用Walsh函数对组合逻辑电路进行综合时,必须求出该逻辑函数的谱系数。本文介绍一种更加简便的求谱系数的方法,并用这种方法求出了n≤4的逻辑函数系中独立函数的谱。
关键词 ^+R/w变换 ^+谱系数 ^+逻辑函数
下载PDF
独立函数及其R/W谱在逻辑设计中的应用
4
作者 刘心平 《遥测遥控》 1991年第2期43-52,共10页
本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。
关键词 独立函数 ^+Rademacher/walsh谱系数 ^+组合逻辑设计
下载PDF
不同Ti含量的W-Ti-N复合膜的微结构及性能研究
5
作者 赵淑芳 喻利花 +1 位作者 马冰洋 许俊华 《材料工程》 EI CAS CSCD 北大核心 2014年第12期23-27,共5页
采用多靶反应磁控溅射技术制备一系列不同Ti含量的W-Ti—N复合膜。采用x射线衍射仪、扫描电镜、纳米压痕仪等检测方法对薄膜的微结构和力学性能进行表征。采用UMT-2功能摩擦试验机,在室温、大气环境、无润滑的条件下对w—Ti—N复合膜... 采用多靶反应磁控溅射技术制备一系列不同Ti含量的W-Ti—N复合膜。采用x射线衍射仪、扫描电镜、纳米压痕仪等检测方法对薄膜的微结构和力学性能进行表征。采用UMT-2功能摩擦试验机,在室温、大气环境、无润滑的条件下对w—Ti—N复合膜的摩擦性能进行评价,同时,探讨薄膜的致硬机理和摩擦机制。结果表明:Ti含量(原子分数,下同)为5%~23.48%时,薄膜硬度处于峰值区,硬度值最高可达39GPa,摩擦因数在0.4左右。当Ti含量高于23.48%时,硬度随着Ti含量增加而下降,摩擦因数随Ti含量的增加而升高。 展开更多
关键词 磁控溅射 w—Ti—N复合膜 微结构 力学性能 摩擦性能
下载PDF
600 MW超临界“W”火焰炉RB控制策略及优化试验 被引量:5
6
作者 许伟强 石磐 何鹏锐 《发电技术》 2019年第S1期32-36,共5页
以某新建电厂2×600 MW机组工程为例,介绍了配置有双进双出磨煤机的'W'型火焰炉主要辅机故障快速减负荷(run back,RB)功能的逻辑设计,并据此对燃料、给水及主蒸汽压力等控制逻辑进行了优化,经优化后,机组的RB功能通过动态... 以某新建电厂2×600 MW机组工程为例,介绍了配置有双进双出磨煤机的'W'型火焰炉主要辅机故障快速减负荷(run back,RB)功能的逻辑设计,并据此对燃料、给水及主蒸汽压力等控制逻辑进行了优化,经优化后,机组的RB功能通过动态试验验证,动作正确可靠.同时还提出了'W'火焰炉RB试验的注意事项,对同类型机组有借鉴意义. 展开更多
关键词 'w'型火焰炉 RB 控制逻辑 优化试验
下载PDF
KDW-4型全自动无菌塑袋包装机的设计
7
作者 周润南 王林 杨炳信 《包装与食品机械》 CAS 2003年第6期29-31,共3页
本文介绍了无菌塑袋包装机的工作原理、结构及设计原理。
关键词 KDw-4型全自动无菌塑袋包装机 工作原理 结构设计 PLC编程控制 食品包装机械
下载PDF
逻辑层次R-W分析与应用研究
8
作者 杨振宏 崔晓丽 王砚军 《仪器仪表标准化与计量》 2003年第2期18-21,共4页
针对离散事件动态系统逻辑层次,介绍了R-W监控理论框架及应用特点,分析了理论的最优控制及分散控制问题。
关键词 离散事件动态系统 逻辑层次 R—w监控 PETRI网
下载PDF
622MW级“W”火焰锅炉机组RB试验准备及分析 被引量:2
9
作者 张少勇 罗昌福 +1 位作者 田平 杨博闻 《发电与空调》 2017年第4期18-22,共5页
以某新建2×622 MW机组工程为例,介绍了配置有正压双进双出磨煤机制粉系统,重油油枪及双旋风筒型燃烧器的W型火焰锅炉辅机故障快速减负荷功能(简称RB)的逻辑设置,试验前的准备性试验和注意事项。对每个试验过程进行了描述,对试验中... 以某新建2×622 MW机组工程为例,介绍了配置有正压双进双出磨煤机制粉系统,重油油枪及双旋风筒型燃烧器的W型火焰锅炉辅机故障快速减负荷功能(简称RB)的逻辑设置,试验前的准备性试验和注意事项。对每个试验过程进行了描述,对试验中存在的问题进行了分析,并据此对逻辑进行了优化,经优化后机组RB功能可正常投运,并在运行中动作正常可靠。 展开更多
关键词 双进双出 w型火焰 快速减负荷试验 试验准备 逻辑优化 重油
下载PDF
逻辑的相继性和共同性:布克·T·华盛顿和杜波依斯观点之比较研究(英文) 被引量:1
10
作者 崔波 《思想战线》 CSSCI 北大核心 2013年第S2期17-18,共2页
Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the sp... Both Booker T.Washington and W.E.B.Du Bois are the prominent thinkers who provide inspirations for African Americans on their way to strive for political,economic and social emancipations.Their ideas arise from the specific determinants of the historical period where they respectively live.People are often more aware of and interested in the differences and even conflicts of their propositions.In essence,thinking of the latter is a logic continuity of that of the former.Their ideas share a logic commonality,which is that they are conservative in the base,and reformist in the implementing steps. 展开更多
关键词 Booker T.washington w.E.B Du Bois ideological differences logic CONTINUITY logic COMMONALITY
下载PDF
多值模态逻辑的计量化方法 被引量:10
11
作者 时慧娴 王国俊 《软件学报》 EI CSCD 北大核心 2012年第12期3074-3087,共14页
在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公... 在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致. 展开更多
关键词 多值模态逻辑 (w R)n-型框架 n-值模态模型 局部化真度 全局真度 时态逻辑
下载PDF
职业教育集团成员单位利益诉求及治理逻辑探析 被引量:7
12
作者 李进 《职业技术教育》 北大核心 2016年第16期24-28,共5页
职业教育集团是产教融合、校企合作的"结构性平台",是分工明确、功能互补的"功能集合体",是基于某些共同目标的"利益相关者组织"。地方人民政府(部门)、行业组织、企业、职业院校是职业教育集团的基本成... 职业教育集团是产教融合、校企合作的"结构性平台",是分工明确、功能互补的"功能集合体",是基于某些共同目标的"利益相关者组织"。地方人民政府(部门)、行业组织、企业、职业院校是职业教育集团的基本成员单位,有着共同的和各自独立的利益诉求。职教集团治理应紧扣职业教育集团的本质和各成员单位的利益诉求,构建相应治理机构,依据利益诉求,构建利益驱动机制,依据发展趋势,探索权利让渡机制。 展开更多
关键词 职业教育集团 利益诉求 治理逻辑
下载PDF
越南永新电厂二期RB试验分析及优化 被引量:1
13
作者 许淼 《东北电力技术》 2015年第2期20-22,共3页
介绍了越南永新电厂二期工程2×622 MW机组双进双出磨煤机W型火焰锅炉辅机故障快速减负荷(RUN BACK,简称RB)试验的情况,重点对第1次和第2次引风机RB试验过程中出现的问题进行分析,并给出了相应的解决方法进行逻辑优化,为之后各项RB... 介绍了越南永新电厂二期工程2×622 MW机组双进双出磨煤机W型火焰锅炉辅机故障快速减负荷(RUN BACK,简称RB)试验的情况,重点对第1次和第2次引风机RB试验过程中出现的问题进行分析,并给出了相应的解决方法进行逻辑优化,为之后各项RB试验的成功奠定基础。622 MW机组的RB功能的稳定投运将大大提高机组运行的安全系数、经济效益和社会效益。 展开更多
关键词 双进双出 w型火焰 RB试验 逻辑优化
下载PDF
环卫车高压清洗系统的设计优化 被引量:3
14
作者 邢广佩 《专用汽车》 2018年第3期90-94,共5页
结合环卫车高压清洗系统的实际应用情况,对环卫车高压水路系统的结构与控制逻辑关系匹配进行了优化,解决了由于控制逻辑关系造成的系统内压力震荡问题,使得各系统动作换向时,管路内液体流动平稳,压力损失小,提高了高压水泵、安全阀及卸... 结合环卫车高压清洗系统的实际应用情况,对环卫车高压水路系统的结构与控制逻辑关系匹配进行了优化,解决了由于控制逻辑关系造成的系统内压力震荡问题,使得各系统动作换向时,管路内液体流动平稳,压力损失小,提高了高压水泵、安全阀及卸荷阀的使用寿命。 展开更多
关键词 环卫车 高压水路 控制逻辑 回水管路 压力震荡
下载PDF
基于完备BR_0-代数的全蕴涵三I算法 被引量:9
15
作者 吴洪博 王国俊 于鸿丽 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2006年第2期341-353,共13页
研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应... 研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法. 展开更多
关键词 模糊逻辑 基础BR0-代数 R0-单位区间 三I算法 基础L^*系统
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部