论文部分内容阅读
该文研究了约束演绎的面向对象数据库语言－ＣＤＯＬ程序中对否定问题的处理，即采用层迭化的程序对否定问题做出一定限制。层迭化的ＣＤＯＬ程序具有最小不动点语义。
CDOL程序的层迭化
【摘 要】
：
该文研究了约束演绎的面向对象数据库语言－ＣＤＯＬ程序中对否定问题的处理，即采用层迭化的程序对否定问题做出一定限制。层迭化的ＣＤＯＬ程序具有最小不动点语义。
【机 构】
：
工业大学计算机与信息系(合肥)
【出 处】
：
第十六届全国数据库学术会议
【发表日期】
：
1999年期
其他文献
该文对一维周期链模型，用数值模拟方法，进行了系综统计演化的研究，初步阐明了固体损伤破坏的一种共性特征，即演化诱致突变。其要点为：损伤演化诱发灾变性破坏；宏观破坏的样本个性行
亚运会闭幕了,它在人们心中留下了许多美好的记忆。怎样继续弘扬亚运精神,已经成了人们的一个重要话题。亚运盛会为人们所津津乐道的事情很多,其中有一方面是很令人“刮目相
该文将演化算法引入到农业病虫害预测中，并对其作用进行了分析，然后以甘肃省的小麦条锈病为例将演化算法应用于具体预测过程，最后通过测试实验，对采用传统的最小二乘回归算法与采
记者日前从南京市规划局获悉,该市将对其城市总体规划做出调整,首次将长江以北地区列入城市发展规划,一个以长江为主轴、江南江北协同发展的新南京呼之欲出.rn
目前演化硬件的设计面临着一个很重要的问题是如何在演化速度和硬件结构的硬件结构的复杂度之间寻求平衡，为此该文提出：第一，对个体的编码采用接近问题描述，并且可以简单映射到物
传统的函数优化方法对求解函数的性质有诸多限制，只能对可析处理、不复杂的函数取得较满意的结果，而使用自适应演化算法来进行函数优化，实验结果表明，该算法具有较好的性能。
最近，美国的Longeveron公司在Joumals of Gerontology期刊上发表了一项临床研究报告，报告显示：老年衰弱综合征患者回输年轻的间充质干细胞（来源于发育早期的中胚层，属于多能干细胞）后，许多症状得到了改善，并且未出现不良反应。这项研究结果证明了间充质干细胞的安全性和有效性，同时也表示让老年人老而不衰或许真的可行。 再生源头“干细胞” 细胞生长繁殖的源头在干细胞，它有两个明
期刊