完美模型的充要条件及其结构分析

黄东斌; 李磊

首页> 中文期刊> 《软件学报》 >完美模型的充要条件及其结构分析

完美模型的充要条件及其结构分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

纯Ｄａｔａｌｏｇ的唯一模型中定理在Ｄａｔａｌｏｇ－Ｎｏｔ程序中不成立，因此，在Ｄｔａｌｏｇ－Ｎｏｔ程序的的有Ｈｅｒｂｒａｎｄ模型中，必须有一种模型的选择标准来确定程序的语义，完美模型关系是一种合理的选择标准，然而，由于完美模型的复杂性阻止子它的发展，本文分析了完美模型，通过有向图，给出了完美模型的充要条件，并且给出构造算法及其正确性证明，本文得到的结果是，对任一自反有向图Ｇ，都能构造一个Ｄａｔａｌ

著录项

来源
《软件学报》 |1996年第12期|728-734|共7页
作者
黄东斌; 李磊;
展开▼
作者单位

广州市电信局科技处;

中山大学岭南学院软件研究所;

展开▼
原文格式 PDF
正文语种 CHI
中图分类程序设计、软件工程;
关键词
逻辑程序; Herbrand模型; 完美模型; 程序设计;

相似文献

中文文献
外文文献
专利

1. 完美地运用并不完美的手段——《道连·葛雷的画像》的叙事结构分析 [J] . 张琪 ,韩丹 . 外国语文（四川外语学院学报） . 2011,第001期
2. 供热计量的充要条件——完美的水力平衡 [J] . 杨丹 . 暖通空调 . 2011,第8期
3. 3D模流与2.5D结构分析完美整合薄件产品设计更精密 [J] . . 塑料制造 . 2016,第007期
4. 完美的音乐建筑巴托克《第二钢琴协奏曲》拱形结构分析 [J] . 常沁怡 . 音乐创作 . 2012,第011期
5. 诗、歌、乐完美结合的艺术歌曲——谈艺术歌曲的结构分析 [J] . 李春琪 ,王立和 . 艺术研究 . 2010,第003期
6. 中心对称与黄金分割的完美结合——拉威尔钢琴组曲《镜子》第四乐章《忧郁鸟》的结构分析 [C] . 盘万芳 . 全国高等学校理论作曲课程改革与发展学术研讨会 . 2006
7. 基于SICAS模型的美妆品牌营销传播策略研究--以完美日记为例 [A] . 郑子艺 . 2021

完美模型的充要条件及其结构分析

摘要

著录项

相似文献

相关主题

期刊订阅