收藏本站
《中国科学A辑》 1989年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

历史数据库的前兆依赖及其数学性质

唐常杰  尹伯文  
【摘要】:本文提出一种新的、易于实现的处理历史性数据的信息系统的数学模型,即带时标的关系数据库+历史规则库=历史数据库。形式化了历史范畴的若干概念,并讨论了一类特殊的历史规则——前兆依赖的性质及其演绎公理系统,并证明了该公理系统的正确性和完备性,证明了历史规则真值集的空虚性问题,无限性问题,等价问题和包含问题都是不可判定的。

手机知网App
【引证文献】
中国期刊全文数据库 前5条
1 张师超;平凡前兆依赖的取值及一种划分技术[J];计算机学报;1993年03期
2 张师超,严小卫;历史数据库支持决策的研究[J];计算机研究与发展;1998年04期
3 张师超;一个预测模型及性质[J];计算机学报;1992年04期
4 张师超,张钹;间断区间时态逻辑的语义[J];计算机学报;1996年12期
5 刘明哲,姜若维,胡远来;一种基于二次灰关联分析的数列预测法[J];物探化探计算技术;1997年04期
【同被引文献】
中国期刊全文数据库 前2条
1 张师超;一个预测模型及性质[J];计算机学报;1992年04期
2 张师超;平凡前兆依赖的取值及一种划分技术[J];计算机学报;1993年03期
【二级引证文献】
中国期刊全文数据库 前5条
1 刘明哲,姜若维,胡远来;一种基于二次灰关联分析的数列预测法[J];物探化探计算技术;1997年04期
2 唐常杰,于中华,游志胜,张天庆,相利民;时态数据的变粒度分段存储策略及其效益分析[J];软件学报;1999年10期
3 张师超,严小卫;历史数据库支持决策的研究[J];计算机研究与发展;1998年04期
4 张师超;平凡前兆依赖的取值及一种划分技术[J];计算机学报;1993年03期
5 孙立春,胡远来,袁国芬,王允诚;多参数模式识别技术在辽河盆地头沈地区的应用[J];物探化探计算技术;1999年03期
中国博士学位论文全文数据库 前3条
1 严小卫;数据库技术及其在加速器腔设计中的应用研究[D];中国原子能科学研究院;2001年
2 于卓;遗传算法在城市空间增长中的量化方法研究[D];武汉大学;2004年
3 陆万雨;测井储层评价新技术应用研究[D];中国地质大学(北京);2003年
中国硕士学位论文全文数据库 前1条
1 黄晨;松辽盆地徐家围子断陷深层火山岩岩性、岩相的测井识别[D];吉林大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 张廷治,王述舜,邱锦莉;辽宁暴雨预报专家系统—LBZX1[J];气象;1986年03期
2 刘莉明;;计算机在家用缝纫机社会需求量预测中的运用[J];现代财经-天津财经学院学报;1986年04期
3 石剑荣 ,张爱华 ,刘念;《通用专家系统》相似计算[J];广西气象;1988年S1期
4 唐常杰,尹伯文;历史数据库的前兆依赖及其数学性质[J];中国科学A辑;1989年02期
5 伯纳德;卢玉真;;减轻突发性的自然灾害——利用系统技术减少海啸危害计划[J];国际地震动态;1989年04期
6 许云涛 ,翁新平 ,朱欣焰;一个历史关系数据库管理系统——HXDB[J];武汉大学学报(信息科学版);1991年03期
7 张师超,谢元呈,陈采培;FSM:一个预测系统模型(Ⅰ)[J];广西师范大学学报(自然科学版);1993年04期
8 王要武;;智能化预测辅助系统的开发与应用[J];预测;1993年06期
9 唐常杰,相利民;HBase中时态查询语言[J];四川大学学报(自然科学版);1995年06期
10 邢承军 ,陈汝敏;建立农业统计历史数据库势在必行[J];科技信息;1996年04期
中国重要报纸全文数据库 前6条
1 翁坚超 胡静 陈金周;绍兴车辆数据库进行清理[N];中国交通报;2001年
2 吴进宇;高效执行货币信贷政策[N];金融时报;2003年
3 郭洪锋;分布式的统一体[N];计算机世界;2003年
4 本报记者 余戈;沙尘预警系统为北京“放哨”[N];北京科技报;2004年
5 梁艳明 向王旬玮 周龙 眭吉吉;电厂运营SIS来管[N];计算机世界;2004年
6 郎花;中科院生地所开发出预测塔河流域地下水变化软件[N];新疆科技报(汉);2009年
中国博士学位论文全文数据库 前2条
1 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年
2 黄琦;基于产品风格认知模型的计算机辅助概念设计技术的研究[D];浙江大学;2005年
中国硕士学位论文全文数据库 前10条
1 蔡艳园;过程企业MIS中的历史数据库的研究与开发[D];清华大学;2002年
2 陈利剑;基于USDP的成本/进度量化管理研究[D];重庆大学;2003年
3 王峥瀛;电力生产企业历史数据库构造及展示研究[D];中国水利水电科学研究院;2004年
4 何熠;监控组态软件实时数据库的研究[D];天津大学;2004年
5 江勇;流程工业历史数据库的研究[D];浙江大学;2005年
6 肖宇;企业知识与资源一体化管理系统的研究与开发[D];华中科技大学;2004年
7 季玲莉;监控组态软件数据库的研究[D];武汉理工大学;2006年
8 陆丽莉;基于状态监测数据的地下矿运卡车工作管理信息系统研发[D];电子科技大学;2006年
9 张崇军;攀钢电力调度自动化系统扩展[D];电子科技大学;2006年
10 邵帅;一种数据库时态中间件的设计与实现[D];哈尔滨工程大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026