共查询到20条相似文献,搜索用时 15 毫秒
1.
带否定子目标的DATALOG(称为DATALOG~)是DATALOG的一种扩充.本文研究DATALOG~语义的良基模型的不动点特性.首先,重新考察了稳定性变换,定义了新算子及其不动点.在此基础上,定义了振荡不动点模型论语义.然后,本文证明了振荡不动点模型和良基模型是等同的,说明前者可以看作是后者的构造性定义. 相似文献
2.
知识库系统KBASE+的数据模型,语言及实现 总被引:1,自引:0,他引:1
本文讨论具有面向对象特征的知识库系统KBASE+的数据模型,语言及实现,KBASE+的数据模型可以方便地支持对象标识,类层次,多继承等面向对象概念。描述性查询语言KBL是扩充的DATALOG。本文重构了KBL语义理论框架,提出了解决属性继承和实例继承的方案,说明了KBL程序可以转换成语义等价的DATALOG程序。 相似文献
3.
CAD系统二次开发语言的设计与实现王建民,孙家广(清华大学计算机科学与技术系北京100084)DESIGNANDIMPLEMENTATIONOFTHEFURTHERDEVELOPMENTLANGUAGEOFCADSYSTEMS¥WangJianmin... 相似文献
4.
5.
复平面上超越函数零点的数值计算 总被引:5,自引:0,他引:5
复平面上超越函数零点的数值计算龙云亮,文希理,谢处方(成都电子科技大学)ANIMPLEMENTATIONOFAROOTFINDINGALGORITHMFORTRANSCENDENTALFUNCTIONSINACOMPLEXPLANE¥LongYun-... 相似文献
6.
内点方法下线性规划分解算法及其并行计算魏紫銮,吴力(中国科学院计算中心)ADECOMPOSITIONALGORITHMANDITSPARALLELCOMPUTATIONFORLINEARPROGRAMMINGUNDERTHEINTERIORPOINT... 相似文献
7.
并行计算模型及其算法设计 总被引:1,自引:0,他引:1
并行计算模型及其算法设计李晓梅,窦勇(国防科技大学计算机系)PARALLELCOMPUTATIONMODELSANDLGORITHMDESIGN¥LiXiaomei;DonYong(DepartmentofComputerScienceChangsh... 相似文献
8.
具有面向对象特征和知识库系统 总被引:1,自引:0,他引:1
本文讨论了具有面向对象特征的知识库系统KBASE^+的数据模型,语言及实现。KBASE^+的数据模型可可以方便地支持对象标识,类层次,多继承等面和对象概念。描述性查询语言KBL是DATALOG针对于非一范式关系模型的扩充。本文重构了KBL的语义理论框架,提出了通过计算相关的下确界来解决属性继承中的冲突问题,通过在KBL程序中添加规则来实现实例继承的方案。本文说明了KBL程序可以转换成语义等价的DA 相似文献
9.
Ruibin Qu 《计算机辅助绘图.设计与制造(英文版)》1995,(2)
THEAPPLICATIONOFG ̄1JOINOFRECTANGULARANDTRIANGULARBEZIERPATCHESINSURFACEMODELINGWangTianjun;TangRongxiSMOOTHSURFACEINTERPOLATI... 相似文献
10.
PROTEL电子CAD软件包汉字输入的实现及其绘图功能的开发应用邢观峰福州大学12901信箱(350002)1引言PROTEL(简称PT)电子CAD软件包是澳大利亚PROTELTECHNOLOGY公司推出的多层印制板辅助设计软件,它保持了对TANGO... 相似文献
11.
A COUNTER-EXAMPLE TO A FAST ALGORITHM FOR FINDING THE CONVEX HULL OF A SIMPLE POLYGON 总被引:1,自引:0,他引:1
ACOUNTER-EXAMPLETOAFASTALGORITHMFORFINDINGTHECONVEXHULLOFASIMPLEPOLYGONGodfriedToussaintACOUNTER-EXAMPLETOAFASTALGORITHMFORFI... 相似文献
12.
一种快速的贴体网格生成技术及其应用刘仪,曹春丽,刘斌,向一敏(西安交通大学热动力工程系叶轮机械研究所)AFASTALGORITHMFORBOUNDARY-FITTEDGRIDGENERATIONANDNUMERICALANALYSIS¥LiuYi;C... 相似文献
13.
矩形板动力响应计算的迁移子结构法杜国君,陈继荣(东北重型机械学院,齐齐哈尔)THETRANSFERSUBSTRUCTUREMETHODABOUTDYNAMICRESPONSECALCULATIONOFRECTANGULARPLATES¥DuGuo-j... 相似文献
14.
任意形状容器装液不定常晃动的边界元模型冯振兴,李正秀(武汉大学)LAGRANGIANBEMFORANUNSTEADYSLOSHINGMODELSUITABLETOARBITRARYTANKS¥FengZhen-xing;LiZhen-xiu(Wuha... 相似文献
15.
沈耀辉 《CAD/CAM与制造业信息化》1995,(5)
最新版汉化TANGO(PROTEL)软件包北京宏势电子技术信息公司沈耀辉TANGO软件是一个功能强大。使用非常方便的电子CAD软件系统,在我国应用的普及率高达90%以上。最新版的PROTEL(TANGOV3.16)功能更是趋于强大,其综合性能指标接近... 相似文献
16.
一类并行多步Runge-Kutta预校算法李寿佛,甘四清(湘潭大学数学系)ACLASSOFPARALLELMULTISTEPRUNGE-KUTTAPREDICTOR-CORRECTORALGORITHMS¥LiShou-fo;GanSi-qing(D... 相似文献
17.
用快速自适应组合网格方法(FAC)求解二阶椭圆型偏微分方程彭志健,林振宝,石济民(香港理工学院应用数学系)ONTHECOMPUTATIONALASPECTSOFTHEFASTADAPTIVECOMPOSITEGRIDMETHODFORSOLVINGS... 相似文献
18.
L型域上散乱数据的样条插值和光顺逼近’胡日章,毛明志(中山大学)L-SHAPEAREASPLINEINTERPOLATIONANDSMOOTHINGAPPROXIMATIONTOSCATTEREDDATA¥HuRi-zhang;MaoMing-zhi... 相似文献
19.
遗传算法在自动确定分形标度不变区中的应用 总被引:3,自引:0,他引:3
陈遵德 《数值计算与计算机应用》1996,(4)
遗传算法在自动确定分形标度不变区中的应用陈遵德(江汉石油学院物探系,湖北荆州)THEAPPLICATIONOFGENETICALGORITHMTOTHEDETERMINATIONOFFRACTALSCALEINVARIANTREGION¥ChenZu... 相似文献
20.
运输问题的Alphabeta算法的分析刘诚,杨承恩(长沙铁道学院)ANANALYSISOFTHEALPHABETAALGORITHMFORTHETRANSPORTATIONPROBLEM¥LiuCheng;YangCheng-en(ResearchD... 相似文献