-
题名可更新Datalog的分布式时态逻辑扩展及应用
- 1
-
-
作者
霍颖瑜
马莉
胡敬文
钟勇
-
机构
佛山科学技术学院电子信息工程学院
佛山广播电视大学理工教研室
-
出处
《计算机工程与应用》
CSCD
北大核心
2017年第15期101-105,共5页
-
基金
国家自然科学基金(No.61373015)
广东省自然科学基金(No.2015A030313638)
+1 种基金
广东省前沿与关键技术创新专项资金(No.2016B010113004)
佛山科学技术学院科研项目
-
文摘
针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。
-
关键词
TU-Datalog语言
分布式时态逻辑
社交网络
访问控制
-
Keywords
TU-Datalog
distributed temporal logic
social network
access control
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于光流技术和滤波器方法的多尺度微运动测量
- 2
-
-
作者
冷汹涛
-
机构
佛山广播电视大学理工教研室
-
出处
《西安科技大学学报》
CAS
北大核心
2009年第3期364-368,共5页
-
基金
广东省自然科学基金项目(8452800001000023)
-
文摘
将光流技术和多尺度方法相结合,提出了一种基于光流技术和梯度滤波器的多尺度高精度微运动测量方法。该方法将微运动测量看成是光流的计算,采用滤波器方法计算图像的梯度,并利用多尺度方法将较大像素的图像运动转化为多个小像素的图像运动进行估计,从而提高运动估计精度。该方法用于测量2个像素附近的微陀螺图像运动时,最大测量偏差小于0.008个像素。实验模拟结果表明,这种采用光流技术和多尺度相结合的方法能够实现高精度的微运动测量。
-
关键词
微运动测量
光流
滤波器
多尺度
-
Keywords
micro-motion measurement
optical flow
filter
multiscale
-
分类号
TG801
[金属学及工艺—公差测量技术]
-
-
题名一种社交网络环境下的数字权利保护模型
被引量：3
- 3
-
-
作者
霍颖瑜
马莉
刘英
钟勇
-
机构
佛山科学技术学院电子信息工程学院
佛山广播电视大学理工教研室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2018年第5期133-139,共7页
-
基金
广东省自然科学基金(2015A030313638)
广东省前沿与关键技术创新专项(2016B010113004)
+2 种基金
广东省教育厅青年创新人才类项目(2015KQNCX179)
广东省教育厅特色创新项目(2016KTSCX147)
佛山科学技术学院科研项目
-
文摘
现有的数字权利保护语言在表达力、灵活性、更新和交互能力方面存在不足。为此,建立基于社交网络的数字权利保护模型SociDRM。在分布式逻辑语言Active-DU-Datalog的基础上构建SociDRM模型并说明其权利保护机制,探讨模型中实现数字内容的使用、转移、重用和合理使用模式,同时解释模型在社交网络中的实现方法,并与基于XML语言的模型等进行对比,结果表明,该模型在语义完整性、版权保护表达力等方面,与社交网络结构更匹配。
-
关键词
数字权利保护
社交网络
访问控制
分布式逻辑
逻辑许可证
-
Keywords
Digital Rights Management（DRM）
social network
access control
distributed logic
logic license
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
