共查询到20条相似文献，搜索用时 15 毫秒
1.
带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ~）是ＤＡＴＡＬＯＧ的一种扩充．本文研究ＤＡＴＡＬＯＧ~语义的良基模型的不动点特性．首先，重新考察了稳定性变换，定义了新算子及其不动点．在此基础上，定义了振荡不动点模型论语义．然后，本文证明了振荡不动点模型和良基模型是等同的，说明前者可以看作是后者的构造性定义． 相似文献
2.
知识库系统KBASE＋的数据模型,语言及实现 总被引：1，自引：0，他引：1
本文讨论具有面向对象特征的知识库系统ＫＢＡＳＥ＋的数据模型，语言及实现，ＫＢＡＳＥ＋的数据模型可以方便地支持对象标识，类层次，多继承等面向对象概念。描述性查询语言ＫＢＬ是扩充的ＤＡＴＡＬＯＧ。本文重构了ＫＢＬ语义理论框架，提出了解决属性继承和实例继承的方案，说明了ＫＢＬ程序可以转换成语义等价的ＤＡＴＡＬＯＧ程序。 相似文献
3.
ＣＡＤ系统二次开发语言的设计与实现王建民，孙家广（清华大学计算机科学与技术系北京１０００８４）ＤＥＳＩＧＮＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＴＨＥＦＵＲＴＨＥＲＤＥＶＥＬＯＰＭＥＮＴＬＡＮＧＵＡＧＥＯＦＣＡＤＳＹＳＴＥＭＳ￥ＷａｎｇＪｉａｎｍｉｎ... 相似文献
4.
5.
复平面上超越函数零点的数值计算 总被引：5，自引：0，他引：5
复平面上超越函数零点的数值计算龙云亮，文希理，谢处方（成都电子科技大学）ＡＮＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＡＲＯＯＴＦＩＮＤＩＮＧＡＬＧＯＲＩＴＨＭＦＯＲＴＲＡＮＳＣＥＮＤＥＮＴＡＬＦＵＮＣＴＩＯＮＳＩＮＡＣＯＭＰＬＥＸＰＬＡＮＥ￥ＬｏｎｇＹｕｎ－... 相似文献
6.
内点方法下线性规划分解算法及其并行计算魏紫銮，吴力（中国科学院计算中心）ＡＤＥＣＯＭＰＯＳＩＴＩＯＮＡＬＧＯＲＩＴＨＭＡＮＤＩＴＳＰＡＲＡＬＬＥＬＣＯＭＰＵＴＡＴＩＯＮＦＯＲＬＩＮＥＡＲＰＲＯＧＲＡＭＭＩＮＧＵＮＤＥＲＴＨＥＩＮＴＥＲＩＯＲＰＯＩＮＴ... 相似文献
7.
并行计算模型及其算法设计 总被引：1，自引：0，他引：1
并行计算模型及其算法设计李晓梅，窦勇（国防科技大学计算机系）ＰＡＲＡＬＬＥＬＣＯＭＰＵＴＡＴＩＯＮＭＯＤＥＬＳＡＮＤＬＧＯＲＩＴＨＭＤＥＳＩＧＮ￥ＬｉＸｉａｏｍｅｉ；ＤｏｎＹｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅＣｈａｎｇｓｈ... 相似文献
8.
具有面向对象特征和知识库系统 总被引：1，自引：0，他引：1
本文讨论了具有面向对象特征的知识库系统ＫＢＡＳＥ＾＋的数据模型，语言及实现。ＫＢＡＳＥ＾＋的数据模型可可以方便地支持对象标识，类层次，多继承等面和对象概念。描述性查询语言ＫＢＬ是ＤＡＴＡＬＯＧ针对于非一范式关系模型的扩充。本文重构了ＫＢＬ的语义理论框架，提出了通过计算相关的下确界来解决属性继承中的冲突问题，通过在ＫＢＬ程序中添加规则来实现实例继承的方案。本文说明了ＫＢＬ程序可以转换成语义等价的ＤＡ 相似文献
9.
Ruibin Qu 《计算机辅助绘图.设计与制造(英文版)》1995,(2)
ＴＨＥＡＰＰＬＩＣＡＴＩＯＮＯＦＧ￣１ＪＯＩＮＯＦＲＥＣＴＡＮＧＵＬＡＲＡＮＤＴＲＩＡＮＧＵＬＡＲＢＥＺＩＥＲＰＡＴＣＨＥＳＩＮＳＵＲＦＡＣＥＭＯＤＥＬＩＮＧＷａｎｇＴｉａｎｊｕｎ；ＴａｎｇＲｏｎｇｘｉＳＭＯＯＴＨＳＵＲＦＡＣＥＩＮＴＥＲＰＯＬＡＴＩ... 相似文献
10.
ＰＲＯＴＥＬ电子ＣＡＤ软件包汉字输入的实现及其绘图功能的开发应用邢观峰福州大学１２９０１信箱（３５０００２）１引言ＰＲＯＴＥＬ（简称ＰＴ）电子ＣＡＤ软件包是澳大利亚ＰＲＯＴＥＬＴＥＣＨＮＯＬＯＧＹ公司推出的多层印制板辅助设计软件，它保持了对ＴＡＮＧＯ... 相似文献
11.
A COUNTER－EXAMPLE TO A FAST ALGORITHM FOR FINDING THE CONVEX HULL OF A SIMPLE POLYGON 总被引：1，自引：0，他引：1
ＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＴＯＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＦＩＮＤＩＮＧＴＨＥＣＯＮＶＥＸＨＵＬＬＯＦＡＳＩＭＰＬＥＰＯＬＹＧＯＮＧｏｄｆｒｉｅｄＴｏｕｓｓａｉｎｔＡＣＯＵＮＴＥＲ－ＥＸＡＭＰＬＥＴＯＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＦＩ... 相似文献
12.
一种快速的贴体网格生成技术及其应用刘仪，曹春丽，刘斌，向一敏（西安交通大学热动力工程系叶轮机械研究所）ＡＦＡＳＴＡＬＧＯＲＩＴＨＭＦＯＲＢＯＵＮＤＡＲＹ－ＦＩＴＴＥＤＧＲＩＤＧＥＮＥＲＡＴＩＯＮＡＮＤＮＵＭＥＲＩＣＡＬＡＮＡＬＹＳＩＳ￥ＬｉｕＹｉ；Ｃ... 相似文献
13.
矩形板动力响应计算的迁移子结构法杜国君，陈继荣（东北重型机械学院，齐齐哈尔）ＴＨＥＴＲＡＮＳＦＥＲＳＵＢＳＴＲＵＣＴＵＲＥＭＥＴＨＯＤＡＢＯＵＴＤＹＮＡＭＩＣＲＥＳＰＯＮＳＥＣＡＬＣＵＬＡＴＩＯＮＯＦＲＥＣＴＡＮＧＵＬＡＲＰＬＡＴＥＳ￥ＤｕＧｕｏ－ｊ... 相似文献
14.
任意形状容器装液不定常晃动的边界元模型冯振兴，李正秀（武汉大学）ＬＡＧＲＡＮＧＩＡＮＢＥＭＦＯＲＡＮＵＮＳＴＥＡＤＹＳＬＯＳＨＩＮＧＭＯＤＥＬＳＵＩＴＡＢＬＥＴＯＡＲＢＩＴＲＡＲＹＴＡＮＫＳ￥ＦｅｎｇＺｈｅｎ－ｘｉｎｇ；ＬｉＺｈｅｎ－ｘｉｕ（Ｗｕｈａ... 相似文献
15.
沈耀辉 《CAD/CAM与制造业信息化》1995,(5)
最新版汉化ＴＡＮＧＯ（ＰＲＯＴＥＬ）软件包北京宏势电子技术信息公司沈耀辉ＴＡＮＧＯ软件是一个功能强大。使用非常方便的电子ＣＡＤ软件系统，在我国应用的普及率高达９０％以上。最新版的ＰＲＯＴＥＬ（ＴＡＮＧＯＶ３．１６）功能更是趋于强大，其综合性能指标接近... 相似文献
16.
一类并行多步Ｒｕｎｇｅ－Ｋｕｔｔａ预校算法李寿佛，甘四清（湘潭大学数学系）ＡＣＬＡＳＳＯＦＰＡＲＡＬＬＥＬＭＵＬＴＩＳＴＥＰＲＵＮＧＥ－ＫＵＴＴＡＰＲＥＤＩＣＴＯＲ－ＣＯＲＲＥＣＴＯＲＡＬＧＯＲＩＴＨＭＳ￥ＬｉＳｈｏｕ－ｆｏ；ＧａｎＳｉ－ｑｉｎｇ（Ｄ... 相似文献
17.
用快速自适应组合网格方法（ＦＡＣ）求解二阶椭圆型偏微分方程彭志健，林振宝，石济民（香港理工学院应用数学系）ＯＮＴＨＥＣＯＭＰＵＴＡＴＩＯＮＡＬＡＳＰＥＣＴＳＯＦＴＨＥＦＡＳＴＡＤＡＰＴＩＶＥＣＯＭＰＯＳＩＴＥＧＲＩＤＭＥＴＨＯＤＦＯＲＳＯＬＶＩＮＧＳ... 相似文献
18.
Ｌ型域上散乱数据的样条插值和光顺逼近’胡日章，毛明志（中山大学）Ｌ－ＳＨＡＰＥＡＲＥＡＳＰＬＩＮＥＩＮＴＥＲＰＯＬＡＴＩＯＮＡＮＤＳＭＯＯＴＨＩＮＧＡＰＰＲＯＸＩＭＡＴＩＯＮＴＯＳＣＡＴＴＥＲＥＤＤＡＴＡ￥ＨｕＲｉ－ｚｈａｎｇ；ＭａｏＭｉｎｇ－ｚｈｉ... 相似文献
19.
遗传算法在自动确定分形标度不变区中的应用 总被引：3，自引：0，他引：3
陈遵德 《数值计算与计算机应用》1996,(4)
遗传算法在自动确定分形标度不变区中的应用陈遵德（江汉石油学院物探系，湖北荆州）ＴＨＥＡＰＰＬＩＣＡＴＩＯＮＯＦＧＥＮＥＴＩＣＡＬＧＯＲＩＴＨＭＴＯＴＨＥＤＥＴＥＲＭＩＮＡＴＩＯＮＯＦＦＲＡＣＴＡＬＳＣＡＬＥＩＮＶＡＲＩＡＮＴＲＥＧＩＯＮ￥ＣｈｅｎＺｕ... 相似文献
20.
运输问题的Ａｌｐｈａｂｅｔａ算法的分析刘诚，杨承恩（长沙铁道学院）ＡＮＡＮＡＬＹＳＩＳＯＦＴＨＥＡＬＰＨＡＢＥＴＡＡＬＧＯＲＩＴＨＭＦＯＲＴＨＥＴＲＡＮＳＰＯＲＴＡＴＩＯＮＰＲＯＢＬＥＭ￥ＬｉｕＣｈｅｎｇ；ＹａｎｇＣｈｅｎｇ－ｅｎ（ＲｅｓｅａｒｃｈＤ... 相似文献