期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
■ukasiewicz命题逻辑系统中的赋值决定公式问题 被引量:2
1
作者 王国俊 李立峰 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第3期1-8,共8页
为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给... 为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题. 展开更多
关键词 Fuzzy分离规则 Lukasiewicz命题逻辑系统 赋值决定公式问题 构造性解 MV代数
下载PDF
Gdel逻辑系统中的函数决定公式问题 被引量:7
2
作者 李成允 张兴芳 《系统科学与数学》 CSCD 北大核心 2010年第2期283-288,共6页
以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。
关键词 Godel逻辑系统 真值函数 函数决定公式问题
原文传递
用有向图法解决公式循环依赖问题 被引量:2
3
作者 赫枫龄 刘磊 张孝志 《计算机工程与设计》 CSCD 2004年第2期274-276,共3页
用户使用报表系统时,在自定义的公式集合中可能存在公式循环依赖问题,用一种有效的方法发现这一隐藏错误是设计报表系统的一项关键技术。研究了用有向图法解决报表系统中的公式循环依赖问题,提出了报表系统中的公式循环依赖问题;引用有... 用户使用报表系统时,在自定义的公式集合中可能存在公式循环依赖问题,用一种有效的方法发现这一隐藏错误是设计报表系统的一项关键技术。研究了用有向图法解决报表系统中的公式循环依赖问题,提出了报表系统中的公式循环依赖问题;引用有向图和集合论上的关系等概念对公式循环依赖进行了形式定义,证明了公式循环依赖的判定方法;给出了公式依赖关系图的构造算法和用有向图法解决公式循环依赖的算法。 展开更多
关键词 EXCEL 电子表格处理软件 有向图法 公式循环依赖问题
下载PDF
具有随机切换的泛函Liénard方程的平均法
4
作者 徐燕 李彩月 《河北大学学报(自然科学版)》 CAS 北大核心 2023年第1期9-15,共7页
利用分离-聚合的思想、泛函Ito公式和平均法,研究具有随机切换的泛函Liénard方程的平均法.由于此系统Markov链所处的状态空间很大且具有泛函项,直接处理原系统是非常复杂的.在一定条件下,证明原系统收敛到一个极限过程,此极限过程... 利用分离-聚合的思想、泛函Ito公式和平均法,研究具有随机切换的泛函Liénard方程的平均法.由于此系统Markov链所处的状态空间很大且具有泛函项,直接处理原系统是非常复杂的.在一定条件下,证明原系统收敛到一个极限过程,此极限过程相较于原系统更利于计算和分析,进而通过研究极限过程得到原系统的性质. 展开更多
关键词 随机切换 随机平均法 问题公式 随机泛函微分方程
下载PDF
Some Trace Formulas of a Eigenvalue Problem
5
作者 向明森 罗满 《Chinese Quarterly Journal of Mathematics》 CSCD 2001年第4期94-99,共6页
In present paper, using some methods of approximation theory, the trace formulas for eigenvalues of a eigenvalue problem are calculated under the periodic condition and the decaying condition at x∞.
关键词 eigenvalue problem asymptotic estimates trace formulas
下载PDF
A Boundary Integral Equation Approach for Boundary Problem of Laplace Equation 被引量:2
6
作者 孙建设 叶留青 《Chinese Quarterly Journal of Mathematics》 CSCD 2003年第4期429-434,共6页
Using the second Green formula, the boundary problem of Laplace equation satisfied by potential function of static electric field is transformed to the problem of the boundary integral equation, and then a boundary in... Using the second Green formula, the boundary problem of Laplace equation satisfied by potential function of static electric field is transformed to the problem of the boundary integral equation, and then a boundary integral equation approach is established by partitioning boundary using linear boundary element. 展开更多
关键词 Laplace equation boundary problem static electric field linear boundary element.
下载PDF
Prolongation Structure of the Equation Studied by Qiao
7
作者 杨云青 陈勇 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第9期463-466,共4页
The prolongation structure technique of Wahlquist and Estanbrook is improved and applied to a newequation proposed by Z.J.Qiao [J.Math.Phys.48 (2007) 082701].Two potentials and two pseudopotentials areobtained,from wh... The prolongation structure technique of Wahlquist and Estanbrook is improved and applied to a newequation proposed by Z.J.Qiao [J.Math.Phys.48 (2007) 082701].Two potentials and two pseudopotentials areobtained,from which a new type of inverse scattering problem,Lax equations,and infinite number of conservation lawsare obtained. 展开更多
关键词 POTENTIAL PSEUDOPOTENTIAL Lax pair conservation law
下载PDF
谈统计教学的三个转变
8
作者 杨奎先 《统计教育》 1999年第6期37-38,共2页
关键词 统计教学 教学方法 教学思想 素质教学 教学内容 三个转变 抽象概念具体化 诱导式教学 问题公式 语言转向
下载PDF
例析列表法归纳公式
9
作者 高洪珍 《中学生数理化(初中版初一)》 2003年第7期27-29,共3页
关键词 列表法 公式归纳 初一年级 公式问题 解答
原文传递
浅谈两类基本年金问题的解法和教法
10
作者 韩成林 《天府数学》 1998年第10期30-32,共3页
什么是年金?顾名思义,年金就是一年中发生的金额.随着年金问题在经济活动中的广泛应用,年金已泛指业务期中每一期发生的金额.这里的期可以用任何时间为单位,金额可以相等可以不相等.年金问题不同于本金问题,本金问题直接应用单... 什么是年金?顾名思义,年金就是一年中发生的金额.随着年金问题在经济活动中的广泛应用,年金已泛指业务期中每一期发生的金额.这里的期可以用任何时间为单位,金额可以相等可以不相等.年金问题不同于本金问题,本金问题直接应用单利基本公式[S=P(1+nr)]或... 展开更多
关键词 基本年金 变额年金 复利计息 基本式 货币的时间价值 年金终值 年金现值 计算方法 问题公式 单利计息
原文传递
A Novel Variational Formulation of Inverse Problem of Heat Conduction with Free Boundary on an Image Plane 被引量:1
11
作者 Gao-Lian Liu(Shanghai Institute of Mechanical Engrg, Shanghai 200093,China) 《Journal of Thermal Science》 SCIE EI CAS CSCD 1996年第2期88-92,共5页
By introducing an image plane, the inverse heat conduction problem with free boundary is transformed into one with completely known boundaryt which is much simpler to handle.As a by-product, the classical Kirchhoff’s... By introducing an image plane, the inverse heat conduction problem with free boundary is transformed into one with completely known boundaryt which is much simpler to handle.As a by-product, the classical Kirchhoff’s transformation for accounting for variable conductivity is rederived and an invariance property of the inverse problem solution with respect to variable conductivity is indicated. Then a pair of complementary extremum principles are established on the image plane, providing a sound theoretical foundation for the Ritz’s method and finite element method (FEM).An example solved by FEM is also given. 展开更多
关键词 variational formulation inverse heat conduction problem
原文传递
ON A PROBLEM OF SUMS OF MIXED POWERS(II)
12
作者 LUMINGGAO YUGANG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1997年第2期243-248,共6页
Let R b,c (n) denote the number of representations of n as the sum of one square, four cubes, one b-th power and one c-th power of natural numbers. It is shown that if b=4, 4 c 35, or b=5, 5 c 13, or b=6, 6 c 9,... Let R b,c (n) denote the number of representations of n as the sum of one square, four cubes, one b-th power and one c-th power of natural numbers. It is shown that if b=4, 4 c 35, or b=5, 5 c 13, or b=6, 6 c 9, or b=c=7, then R b,c (n)》n 5/6+1/b+1/c for all sufficiently large n. 展开更多
关键词 Mixed power Warings problem and variants Asymptotic formulae
原文传递
SOME PROPERTIES OF LSQR FOR LARGE SPARSE LINEAR LEAST SQUARES PROBLEMS
13
作者 Zhongxiao JIA Department of Mathematical Sciences,Tsinghua University,Beijing 100084,China. 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2010年第4期815-821,共7页
It is well-known that many Krylov solvers for linear systems,eigenvalue problems,andsingular value decomposition problems have very simple and elegant formulas for residual norms.Theseformulas not only allow us to fur... It is well-known that many Krylov solvers for linear systems,eigenvalue problems,andsingular value decomposition problems have very simple and elegant formulas for residual norms.Theseformulas not only allow us to further understand the methods theoretically but also can be usedas cheap stopping criteria without forming approximate solutions and residuals at each step beforeconvergence takes place.LSQR for large sparse linear least squares problems is based on the Lanczosbidiagonalization process and is a Krylov solver.However,there has not yet been an analogouslyelegant formula for residual norms.This paper derives such kind of formula.In addition,the authorgets some other properties of LSQR and its mathematically equivalent CGLS. 展开更多
关键词 CGLS krylov subspace lanczos bidiagonalization least squares LSQR normal equations.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部