期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理 被引量:6
1
作者 周平 姜明 孙西芃 《模糊系统与数学》 CSCD 北大核心 2008年第5期10-15,共6页
讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
关键词 α-归结原理 广义量词 格值一阶逻辑系统LF(x) 格蕴涵代数
下载PDF
格值一阶逻辑系统LF(X)中的广义量词 被引量:4
2
作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2006年第5期96-100,共5页
给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。
关键词 格值-阶逻辑系统LF(x) 广义量词 不确定性推理
下载PDF
格值一阶逻辑系统LF(X)中带广义量词的不确定性推理 被引量:3
3
作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2007年第2期40-45,共6页
讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。
关键词 格值一阶逻辑系统LF(x) 广义量词 FMP FMT不确定性推理规则
下载PDF
基于格值命题逻辑系统LP(X)的不确定性推理 被引量:3
4
作者 周平 姜明 徐扬 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第5期509-511,共3页
讨论了基于格值命题逻辑系统LP(X)的不确定性推理,证明了FMP和FMT等不确定推理规则,为进一步讨论语言值逻辑推理提供逻辑基础.
关键词 格佰命题逻辑系统LP(x) 不确定性推理 语言值逻辑推理
下载PDF
四值非链格值命题逻辑系统LP_4(X)的归结原理
5
作者 孟丹 郑逢斌 +1 位作者 徐扬 秦克云 《河南大学学报(自然科学版)》 CAS 2003年第3期43-46,共4页
基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供... 基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性.四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持. 展开更多
关键词 自动推理 归结原理 格蕴涵代数 非链格蕴涵代数上的四值命题逻辑系统LP4(x)
下载PDF
LF(X)中带广义量词的弱完备性定理
6
作者 周平 姜明 孙西芃 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期6-9,共4页
给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.
关键词 一阶格值逻辑系统LF(x) 广义量词 弱完备性定理
下载PDF
LF(X)中带广义量词的可靠性定理
7
作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2008年第2期31-35,共5页
讨论一阶格值逻辑系统LF(X)中带广义量词的语法推理,同时证明了LF(X)中带广义量词的可靠性定理,作为应用我们对带广义量词的一些推理规则作了语法的证明。
关键词 一阶格值逻辑系统LF(x) 广义量词 可靠性定理
下载PDF
Closure Operators of Lattice-valued Propositional Logic LP(X)
8
作者 WANG Xue-fang ZHENG Feng-bin XU Yang 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2005年第3期301-308,共8页
In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investi... In this paper, closure operators of lattice-valued propositional logic LP(X) are studied. A family of classical closure operators are defined and the relation between them and closure operators of LP(X) is investigated. At the same time, a tool for checking compactness of LP(X) is given. 展开更多
关键词 lattice-valued logic lattice implication algebras closure operators COMPACTNESS
下载PDF
New High Tc-Value Investigated in Superconducting System YBa2(C u3)1-xA gxO6.5x+δ
9
作者 Emad K. Al-Shakarchi Salwan K.J. Al-Ani Wedad. M. Faysal 《Journal of Physical Science and Application》 2012年第9期352-358,共7页
A ceramic superconductor compound with composition YBa2(C u3)1-xA gxO6.5x+δhas been prepared experimentally by solid state reaction from principal roots of high purity materials like Y203, BaO, CuO and Ag20. The s... A ceramic superconductor compound with composition YBa2(C u3)1-xA gxO6.5x+δhas been prepared experimentally by solid state reaction from principal roots of high purity materials like Y203, BaO, CuO and Ag20. The study was concentrated on the effect of partial substitution of Ag with respect to Cu atoms by the ratios (x = 0, 1, 0.2, 0.3, 0.4 and 0.5) through different analysis and measurements. X-ray diffraction (XRD), Scanning Electron Microscope (SEM) and Resistivity measurement is play an important role to show the improvement on high superconducting phase. It was found that the best substituted value of (x = 0.5) investigated a favor value of Tc equal nearly to (123 K), due to more excess of Ag atoms in the structure. X-ray diffraction showed an orthorhombic structure related to high-To phase with high stability through diminishing some peaks related to low temperature superconducting phase, that was related to presence of multiphase derivative from YBCO-phase. SEM pictures give us more details on the surface morphology, grain and grain boundaries, it gives an indication on successful of sintering process, the last one is very important in forming superconducting phase. 展开更多
关键词 Superconductor compound 123-compound resistivity measurements x-ray diffraction.
下载PDF
Assessment of nanocomposite photonic systems with the X-ray photoelectron spectroscopy
10
作者 L. Minati G. Speranza +3 位作者 M. Anderle M. Ferrari A. Chiasera G. C. Righini 《Optoelectronics Letters》 EI 2007年第3期192-194,共3页
The chemical compositions of Ag-Er co-doped phosphate and silicate glasses were investigated with X-ray photoelectron spectroscopy with the purpose to identify the chemical state of silver. The analysis of the Ag 3d c... The chemical compositions of Ag-Er co-doped phosphate and silicate glasses were investigated with X-ray photoelectron spectroscopy with the purpose to identify the chemical state of silver. The analysis of the Ag 3d core lines show the presence of nanometer-sized silver particles in each of the annealed samples,even if these Ag 3d lines appear to be very different from each other. We explain these results as a different interaction of silver with the two glasses matrix,which leads to a different nucleation rate of the Ag clusters. 展开更多
关键词 纳米复合光子系统 评价 x线光电子光谱学 磷酸盐玻璃 硅酸盐玻璃 Ag-Er共掺杂
下载PDF
Experimental Results on Excess Heat Power, Impurity Nuclides and X-Ray Production in Experiments with a High-Voltage Electric Discharge System
11
作者 Alexander Karabut 《Journal of Physical Science and Application》 2014年第2期71-83,共13页
It reviewed results on low-energy nuclear reaction (LENR) processes in a high-voltage (1,000-4,000 V) electric discharge system. The experimental results are divided into three sets: excess heat measurements; yie... It reviewed results on low-energy nuclear reaction (LENR) processes in a high-voltage (1,000-4,000 V) electric discharge system. The experimental results are divided into three sets: excess heat measurements; yield of impurity nuclides (nuclear ash); X-ray measurements. Up to 8 W of excess power was observed, with a power gain of up to 170% was seen in glow discharge experiments. Up to 300 W of excess power, with a power gain up to 340% was observed in experiments using a high-voltage electrolysis cell. The impurity nuclide yield showing a shift of up to a few per cent from natural isotopic abundances was detected by spark mass spectrometry, by secondary ionic mass spectrometry, and by secondary neutral mass spectrometry. X-ray emission in the range of 0.6-6.0 keV, has been observed. Based on these experimental results we propose a phenomenological model for LENR based on the interaction of an electric discharge with condensed matter (of the cathode). 展开更多
关键词 Electric discharge excess heat impurity nuclides x-ray emission
下载PDF
格值语义归结推理方法 被引量:8
12
作者 张家锋 徐扬 何星星 《计算机科学》 CSCD 北大核心 2011年第9期201-203,210,共4页
归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比... 归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。 展开更多
关键词 格蕴涵代数 格值命题逻辑系统LP(x) 自动推理 语义归结方法
下载PDF
关于Li-Yorke敏感的几点注记
13
作者 曾眺英 《嘉应学院学报》 2015年第11期15-17,共3页
探讨了拓扑动力系统在对轨道时间集和历经集附加某些限定条件下的Li-Yorke敏感性问题,给出了有关此类敏感性的几个基本性质.
关键词 系统(x f) Li-Yorke敏感 Furstenberg族
下载PDF
可换半群作用下的n敏感
14
作者 曾眺英 《嘉应学院学报》 2014年第8期11-14,共4页
用族的语言探讨了在可换半群作用下的n-初值敏感性问题,给出了有关此类敏感性的几个基本性质.
关键词 l-ε-n初值敏感 系统(x T) l传递
下载PDF
基于现场实际情况的一种喷氨优化方法的探讨及应用
15
作者 杨罡 吴双发 《重庆电力高等专科学校学报》 2022年第5期16-19,共4页
针对某电厂600 MW燃煤火电机组SCR脱硝系统出口NO_(x)分布均匀性差、氨逃逸率较大等问题,对脱硝系统喷氨格栅喷氨量进行优化调整。调整后,脱硝系统A、B两侧出口NO_(x)浓度标准偏差分别从66.2%和91.9%下降至12.9%和14.9%,脱硝系统出口NO_... 针对某电厂600 MW燃煤火电机组SCR脱硝系统出口NO_(x)分布均匀性差、氨逃逸率较大等问题,对脱硝系统喷氨格栅喷氨量进行优化调整。调整后,脱硝系统A、B两侧出口NO_(x)浓度标准偏差分别从66.2%和91.9%下降至12.9%和14.9%,脱硝系统出口NO_(x)均匀性得到明显改善,氨逃逸有所降低,对保障尾部烟道设备正常运行具有重要意义。 展开更多
关键词 SCR反应器 氨逃逸 NO_(x)浓度脱硝系统
下载PDF
PET for Staging of Esophageal Cancer
16
作者 A. H. Hlscher 《The Chinese-German Journal of Clinical Oncology》 CAS 2004年第4期219-220,共2页
FDG-PET is of clinical value especially for detection of distant metastases or recurrent esophageal cancer. For the staging of primary tumor or locoregional lymph node metastasis PET is cur- rently not suitable.
关键词 positron emission tomography esophageal cancer STAGING
下载PDF
The Quenching Problems of R-D Equation
17
作者 XU Guang-shan MA Zhong-tai SHI Bao 《Chinese Quarterly Journal of Mathematics》 CSCD 2009年第2期219-222,共4页
In this article, we consider a reaction-diffusion differential equation with initial value conditions u(x, 0) =0 on [0, a] and boundary condition ux+αiu= 0 on Γ={0, α}× (0, T), and the quenching happens f... In this article, we consider a reaction-diffusion differential equation with initial value conditions u(x, 0) =0 on [0, a] and boundary condition ux+αiu= 0 on Γ={0, α}× (0, T), and the quenching happens for the reaction-diffusion equation. 展开更多
关键词 R-D equation QUENCHING strong maximum principle
下载PDF
经X-tube与椎间盘镜下微创治疗腰椎间盘突出症的临床效果观察 被引量:12
18
作者 付朝华 陈忠羡 +7 位作者 梁胜根 范全 薛忠林 付兆宗 谢清华 赵振东 原向伟 秦英 《中华显微外科杂志》 CSCD 北大核心 2014年第3期299-301,共3页
目的探讨X—tube与椎间盘镜下腰椎间盘切除术治疗单节段腰椎间盘突出症的临床疗效。方法回顾性分析白2009年1月至2012年12月共收治86例腰椎间盘突出患者,经X—tube行髓核摘除手术46例,经椎间盘镜下腰椎间盘切除40人。按Nakai评分标准... 目的探讨X—tube与椎间盘镜下腰椎间盘切除术治疗单节段腰椎间盘突出症的临床疗效。方法回顾性分析白2009年1月至2012年12月共收治86例腰椎间盘突出患者,经X—tube行髓核摘除手术46例,经椎间盘镜下腰椎间盘切除40人。按Nakai评分标准评价临床效果,同时记录手术切口长度、手术时间、失血量、并发症、住院天数及术后恢复情况。记录术前、后疼痛视觉模拟评分,术前、术后末次随访时OSWESTRY功能障碍指数(ODI)评分。结果所有病例均得到随访,随访时间12~30个月,平均18个月。X-tube组与MED组的切口长度、手术时间、术中失血量,两组间差异有统计学意义(P〈0.05),经X—tube组切口长,手术时间和出血量少。经X-tube组与MED组的住院天数、恢复情况差异无统计学意义(P〉0.05)。末次随访时,两组患者的VAS评分及ODI评分的术前、术后差异均无统计学意义(P〉0.05)。术后出现1例患者伤口皮肤周围坏死,给予对症换药及缝合治疗后愈合;术中静脉丛给予双极电凝止血,未见神经根损伤、硬膜撕裂等并发症。结论两种微创技术均可达到满意的临床效果,经X—tube微创治疗腰椎间盘突出症的操作相对简便,学习曲线短,适合在基层医院推广。 展开更多
关键词 腰椎间盘突出症 椎间盘 腰椎间盘切除术 可扩展通道系统(x—tube)
原文传递
LP(X)中MP归结推理
19
作者 夏世芬 秦应兵 徐扬 《模糊系统与数学》 CSCD 北大核心 2013年第3期30-35,共6页
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性。
关键词 格值命题逻辑系统LP(x) MP归结 (A α)-归结演绎 α-不可满足
原文传递
A system of matrix equations and its applications 被引量:4
20
作者 WANG QingWen HE ZhuoHeng 《Science China Mathematics》 SCIE 2013年第9期1795-1820,共26页
We derive the solvability conditions and an expression of the general solution to the system of matrix equations A 1X=C1 , A2Y=C2 , YB2=D2 , Y=Y*, A3Z=C3 , ZB3=D3 , Z=Z*, B4X+(B4X)+C4YC4*+D4ZD4*=A4 . Moreover, we inve... We derive the solvability conditions and an expression of the general solution to the system of matrix equations A 1X=C1 , A2Y=C2 , YB2=D2 , Y=Y*, A3Z=C3 , ZB3=D3 , Z=Z*, B4X+(B4X)+C4YC4*+D4ZD4*=A4 . Moreover, we investigate the maximal and minimal ranks and inertias of Y and Z in the above system of matrix equations. As a special case of the results, we solve the problem proposed in Farid, Moslehian, Wang and Wu's recent paper (Farid F O, Moslehian M S, Wang Q W, et al. On the Hermitian solutions to a system of adjointable operator equations. Linear Algebra Appl, 2012, 437: 1854-1891). 展开更多
关键词 linear matrix equation Moore-Penrose inverse RANK INERTIA
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部