齐德昱
- 作品数:219 被引量:858H指数:13
- 供职机构:华南理工大学更多>>
- 发文基金:广东省粤港关键领域重点突破项目广东省自然科学基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信机械工程经济管理更多>>
- 面向流水型设备的组件行为协同自动化被引量:1
- 2018年
- 现有的面向自动化设备的建模工具不能完全具备直接描述设备行为、行为可推导以及领域友好性等3个基本特征,业界亟待出现一种面向组件行为协同的自动化代码生成工具.为此,基于实体流模型和自动规划技术,文中提出了一种面向流水型设备的组件行为协同自动化方法,并证明了所生成的协同组件行为的操作序列满足物料安全加工条件,展示了一个中型银行卡个人化设备中的组件行为协同自动化的案例.由示例可见,生成的序列既可便于映射物理操作指令,又可观察系统状态变化以利于调试,有效地提高了流水型设备的控制系统的开发效率和可靠性.
- 余敏聪齐德昱王新阳周娜琴郑志硕郭靖
- 关键词:规划方法
- 网格计算环境下分布并行计算的一种实现方法被引量:7
- 2005年
- 网格计算为人们处理很多复杂问题提供了新方法。文章利用GlobusToolkit来构建网格计算环境,并把它扩展为分布并行计算的支撑环境,为实现分布并行计算提供了新方法。讨论了任务分布、系统通信和容错机制等关键问题。最后给出了基于网格计算环境下的一个分布并行计算实例,取得了令人满意的实验结果。
- 林伟伟齐德昱王振宇
- 关键词:分布并行计算网格计算网格服务GLOBUS
- 基于数字证书的自助服务终端身份认证研究
- 2007年
- 针对基于Brows/Server模式下的自助服务终端和通信服务器间网络通信的安全问题,提出基于数字证书的安全体系。用数字证书标识自助服务平台以及自助服务终端,并用数字证书验证双方的身份,对传送的数据进行加密,实现系统的单点登录,保证网络通信的安全,并且为自助服务终端管理系统提供高效的管理平台。
- 邓峰齐德昱
- 关键词:身份认证安全套接层
- 集群的软件体系结构分析及实践被引量:1
- 2004年
- 分析了集群的软件体系结构,并采用主从接口软件体系结构构建了一个集群实验平台,从而为下一步构建复杂集群以实现高性能计算提供实践经验.
- 刘波齐德昱段丽艳张艳青
- 关键词:集群系统软件体系结构消息传递接口多计算机系统
- IRT题库系统的分布式体系结构研究被引量:5
- 2005年
- 结合题库系统的结构设计,采用分布式体系结构的多种设计模式和应用架构,介绍了三层结构J2EE应用程序在题库系统中的实现过程。实践表明,这是一个易于实现,方便维护,低耦合性,并且具有分布式部署能力的多层应用结构,是基于Web的IRT题库系统的一种新的尝试。
- 董敏齐德昱王晓蒲
- 关键词:J2EE
- 利用Spaces搭建网格计算框架
- 2005年
- 利用Spaces模型的时间和空间透明性,将Spaces用作网格计算中共享数据和分配任务的“黑板”,设计了一个基于Spaces的网格计算构架——GCFS,为网格计算的框架设计提供了一种新方法。
- 谢景明齐德昱林伟伟
- 关键词:网格计算异步通信共享数据透明性S模型
- 基于资源融合的FuseGrid研究
- 2009年
- 指出现有网格基础理论研究中的不足和网格应用技术存在的问题,提出基于资源融合的树型网格,它支持面向主题的资源共享/融合、高性能计算以及自相似的网格应用构造模式。能利用已有分布式网络环境中大量的网格资源快速地开发出适应用户不断变化需求的新型网格应用。通过介绍网格资源融合的基本思想和基于资源融合的树型网格体系结构,给出树型网格的系统实现结构、关键类和接口的规范。
- 林伟伟齐德昱董敏
- 关键词:资源融合网格资源共享
- 一种基于区块链的可信日志记录方法及系统
- 本发明公开了一种基于区块链的可信日志记录方法,给出了一种适用于基于区块链的分布式日志系统的总体架构,并给出了该总体架构中的各个模块和各个分层的具体设计;特别是在分布式记账模块的共识层中,结合了多版本并发控制方法、随机算法...
- 齐德昱邹敏艳熊炼叶敏浩
- 文献传递
- 基于网格的支持合预约与合分配的Globus体系结构研究
- 2005年
- 提出了一个Globus提前预约与分配的体系结构(即GARA) ,一个由应用程序、合预约代理和合分配代理、资源分配管理器(即GRAM )、资源层四层构成的体系结构,使用目录服务访问协议(LDAP)来实现资源信息服务.最后在UNIX环境下运行了GARA模型.
- 张志立唐德玉齐德昱
- 关键词:QOSLDAPGRAM
- 命题公式的一种演绎判定方法
- 2008年
- 目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而演绎过程是许多推理性应用的重要依据.文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法.首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的O(n5).
- 齐德昱李小薪
- 关键词:命题逻辑自动定理证明