期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
报表系统中的公式循环依赖问题 被引量:3
1
作者 赫枫龄 刘磊 张孝志 《计算机工程》 CAS CSCD 北大核心 2004年第3期78-79,共2页
提出了报表系统中的公式循环依赖问题,描述了公式循环依赖的形式定义,最后给出了用传递闭包法解决公式循环依赖的算法。
关键词 报表系统 公式 公式依赖 循环依赖 传递闭包
下载PDF
用有向图法解决公式循环依赖问题 被引量:2
2
作者 赫枫龄 刘磊 张孝志 《计算机工程与设计》 CSCD 2004年第2期274-276,共3页
用户使用报表系统时,在自定义的公式集合中可能存在公式循环依赖问题,用一种有效的方法发现这一隐藏错误是设计报表系统的一项关键技术。研究了用有向图法解决报表系统中的公式循环依赖问题,提出了报表系统中的公式循环依赖问题;引用有... 用户使用报表系统时,在自定义的公式集合中可能存在公式循环依赖问题,用一种有效的方法发现这一隐藏错误是设计报表系统的一项关键技术。研究了用有向图法解决报表系统中的公式循环依赖问题,提出了报表系统中的公式循环依赖问题;引用有向图和集合论上的关系等概念对公式循环依赖进行了形式定义,证明了公式循环依赖的判定方法;给出了公式依赖关系图的构造算法和用有向图法解决公式循环依赖的算法。 展开更多
关键词 EXCEL 电子表格处理软件 有向图法 公式循环依赖问题
下载PDF
BSDE,path-dependent PDE and nonlinear Feynman-Kac formula 被引量:9
3
作者 PENG ShiGe WANG FaLei 《Science China Mathematics》 SCIE CSCD 2016年第1期19-36,共18页
We introduce a new type of path-dependent quasi-linear parabolic PDEs in which the continuous paths on an interval [0, t] become the basic variables in the place of classical variables (t, x) ∈[0, T]× R^d. Thi... We introduce a new type of path-dependent quasi-linear parabolic PDEs in which the continuous paths on an interval [0, t] become the basic variables in the place of classical variables (t, x) ∈[0, T]× R^d. This new type of PDEs are formulated through a classical BSDE in which the terminal values and the generators are allowed to be general function of Brownian motion paths. In this way, we establish the nonlinear Feynman- Kac formula for a general non-Markoviau BSDE. Some main properties of solutions of this new PDEs are also obtained. 展开更多
关键词 backward stochastic differential equation nonlinear Feynman-Kac formula path-dependent PDE
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部