论文部分内容阅读
提出Datalog逻辑程序调用语义和调用谓词，说明包含程序调用谓词的可更新U—Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下UDatalog程序的通用评价（evaluation）算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。
Datalog逻辑程序调用语义及其应用研究
【摘 要】
：
提出Datalog逻辑程序调用语义和调用谓词，说明包含程序调用谓词的可更新U—Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下UDatalog程序的通用评价（evaluatio
【机 构】
：
南京理工大学计算机科学与技术博士后流动站,佛山科学技术学院信息与教育技术中心,南京理工大学计算机科学与技术学院,佛山市泰达安全生产事务有限公司
【出 处】
：
计算机科学
【发表日期】
：
2010年1期
【基金项目】
：
本文受中国博士后科学基金（20070421015）,广东省自然科学基金（8452800001001086）,江苏省博士后科研资助计划（0801045B）,佛山市科技发展专项资金（200701002）,国家自然科学基金（60673127）,国家863计划（2007AA012404）资助.
其他文献
基于计算机类企业招聘需求调研结果,分析校企共建高职计算机应用计算专业模式,并提出提升校企合作水平的对策建议,以期推动高职计算机应用技术专业的建设和发展。
为适应国际化发展需求,在通信原理慕课建设中营造双语教学环境,对线下课堂中出现的问题进行针对性解决,满足随时随地的个性化学习需求。
学校管理是学校领导和全体教师的共同责任，教师在教学过程中应充分发挥教师的主导作用，体现学生的主体作用，把升学率提高，对学生负责，对家长负责，对社会负责。
在计算机网络的广域网连接中，为保证网络之间通信的不间断和可靠性，通常采用两个不同数据通信营运商的通信线路，以主备线路方式，对两个局域网之间的路由器进行联接。当一条通信线
以计算机绘图课程为例,分析资源建设和混合式教学的需求,提出品牌课程建设的对策,具体论述资源建设和混合式教学的效果,以期为本课程教学改革提供借鉴和参考,促进课程“线上
纹理分析中往往将彩色图像转换为灰度图以降低计算复杂度,这样就忽略了颜色信息。而利用主成分分析的方法来降维彩色纹理,则可以尽可能地保留颜色和纹理信息。高斯图模型(Gaussian Graphical Models,GGM)可以很好地描述有交互作用的高维数据,因此可用来建立图像纹理模型。根据局部马尔可夫性和高斯变量的条件回归之间的关系,可将复杂的模型选择转变为较简单的变量选择。通过惩罚正则化方法,其邻
提出了一种基于最小联合互信息亏损的最优特征选择算法。该算法首先通过一种动态渐增策略搜索一个特征全集的无差异特征子集，并基于最小条件互信息原则在保证每一步中联合互信
计算环境的异构性以及应用任务的复杂多样性导致异构计算的必要性。异构计算的目的是重视并行处理系统和计算任务的差异,寻求系统和任务的有效匹配,从而获得并行任务在系统上
针对常见的中和过程建模仅限于单一反应池的问题,提出中和池、调节池和事故池相结合处理的建模方法。根据中和反应过程机理建立数学模型,设定初始条件后,运用数值计算方法中