基于线性时序逻辑的制卡流水线控制系统建模研究

1

作者 沈阳 齐德昱 《数字技术与应用》 2017年第5期83-85,共3页

多工位制卡流水线设备控制系统是一种相当复杂的计算机控制软件,要求能够使用工业控制机或PC机等一般计算机设备控制流水型设备的各工位的生产和协作,保证产品在各工位间传送、加工过程流畅,出错率低。本文采用形式语义及方法对金融领... 多工位制卡流水线设备控制系统是一种相当复杂的计算机控制软件,要求能够使用工业控制机或PC机等一般计算机设备控制流水型设备的各工位的生产和协作,保证产品在各工位间传送、加工过程流畅,出错率低。本文采用形式语义及方法对金融领域卡片生产设备的通用系统服务框架进行研究和建模,以确保建立一个稳定、可移植性强的通用开发框架,通过这个通用开发框架,可以迅速高效地开发出针对某一特定机型的计算机控制软件。本文将使用线性时序逻辑语法对多工位制卡设备控制系统进行形式化语义描述和建模,主要针对整个制卡流程以及在卡片在一个模块中的状态这两个方面进行建模。通过形式语义的动作推理,验证了本模型是动作是可实现的,状态是可达的,为进一步的全面建模研究工作奠定了基础。 展开更多

关键词 形式语义 多工位 建模 线性时序逻辑

在线阅读 下载PDF 职称材料

无线通信系统MAC层通用安全协处理器的实现 被引量：1

2

作者 封斌 齐德昱 韩海雯 《微电子学与计算机》 CSCD 北大核心 2013年第10期33-37,共5页

IEEE802.11i和802.16e无线通信标准的媒体访问控制层(MAC)都使用了基于高级加密算法(AES)的计数器模式(CTR)和密码分组链接消息验证码(CBC-MAC)作为安全机制,其以AES算法为核心,采用CTR模式保证数据机密性,采用CBC-MAC模式对MAC帧头的... IEEE802.11i和802.16e无线通信标准的媒体访问控制层(MAC)都使用了基于高级加密算法(AES)的计数器模式(CTR)和密码分组链接消息验证码(CBC-MAC)作为安全机制,其以AES算法为核心,采用CTR模式保证数据机密性,采用CBC-MAC模式对MAC帧头的公开信息进行认证.设计了通用AES-CCM安全协议协处理器,给出高吞吐量的并行AES模块和低成本的复用AES模块两种实现方案,并遵循Avalon片内总线接口,在Altera公司EP1C4F324C6的FPGA上进行了验证.该安全协议协处理器的设计与实现,符合软件无线电技术采用通用模块化硬件平台满足多种无线空中接口标准的思想,对无线通信终端底层硬件平台的通用化具有一定的价值. 展开更多

关键词 无线通信标准 AES-CCM MAC协处理器 AVALON总线

在线阅读 下载PDF 职称材料

面向服务的云制造协同设计平台 被引量：35

3

作者 张倩 齐德昱 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第12期75-81,共7页

为支持复杂的、大规模的协同设计,实现制造资源、制造能力的高度共享,探讨了云制造的概念以及云制造模式下的协同设计平台的特点,基于面向服务架构理念以及Web服务技术,搭建了一个面向服务的、松散的、开放式的云制造协同设计平台框架,... 为支持复杂的、大规模的协同设计,实现制造资源、制造能力的高度共享,探讨了云制造的概念以及云制造模式下的协同设计平台的特点,基于面向服务架构理念以及Web服务技术,搭建了一个面向服务的、松散的、开放式的云制造协同设计平台框架,并采用五维视图对其进行描述与分析,还对平台所涉及的关键技术,如面向服务架构、资源管理、资源服务智能匹配与组合、虚拟化技术、动态监测及冲突消解进行了分析,最后通过云制造协同设计平台的运行模式和虚拟协同设计环境下的协同设计过程说明了平台的应用性. 展开更多

关键词 云制造 协同设计平台 面向服务架构 WEB服务

在线阅读 下载PDF 职称材料

基于C4.5决策树的嵌入型恶意代码检测方法 被引量：9

4

作者 张福勇 齐德昱 胡镜林 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第5期68-72,共5页

嵌入型恶意代码以其高隐蔽性和难检测性,成为计算机安全的新威胁.文中针对以往的统计分析法没有充分考虑嵌入型恶意代码所占字节数小、信息增益大的特点提出一种采用C4.5决策树的嵌入型恶意代码检测方法,即通过提取训练样本中信息增益... 嵌入型恶意代码以其高隐蔽性和难检测性,成为计算机安全的新威胁.文中针对以往的统计分析法没有充分考虑嵌入型恶意代码所占字节数小、信息增益大的特点提出一种采用C4.5决策树的嵌入型恶意代码检测方法,即通过提取训练样本中信息增益最大的500个3-gram作为属性特征,建立决策树,实现对未知嵌入型恶意代码的检测.实验结果表明,文中方法在检测率和分类准确率上均具有明显优势,对感染了嵌入型恶意代码的Word文档的检测率达99.80%. 展开更多

关键词 嵌入型恶意代码 恶意代码检测 C4.5决策树 BOOSTING算法

在线阅读 下载PDF 职称材料

基于IRP的未知恶意代码检测方法 被引量：3

5

作者 张福勇 齐德昱 胡镜林 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第4期15-20,共6页

目前采用的基于API的恶意代码检测方法只能检测运行在用户态的恶意代码,不能检测运行在内核态、采用内核API调用的恶意代码.为此,文中提出基于I/O请求包(IRP)的未知恶意代码检测方法.应用朴素贝叶斯、贝叶斯网络、支持向量机、C4.5决策... 目前采用的基于API的恶意代码检测方法只能检测运行在用户态的恶意代码,不能检测运行在内核态、采用内核API调用的恶意代码.为此,文中提出基于I/O请求包(IRP)的未知恶意代码检测方法.应用朴素贝叶斯、贝叶斯网络、支持向量机、C4.5决策树、Boosting、否定选择算法及针对IRP序列特点改进的人工免疫算法对捕获的IRP序列进行检测,并比较了各种算法在不同特征选择方法下的检测效果.结果表明:所提出的基于IRP的未知恶意代码检测方法是可行的;在所有方法中,采用Fisher score进行特征选择的Boosting决策树算法可获得最高的检测率(98.3%);采用改进的人工免疫算法,通过精选的少量仅在恶意代码中存在的IRP序列,可获得95.0%的检测率,且误检率为0. 展开更多

关键词 I/O请求包 人工免疫系统 数据挖掘 恶意代码检测 特征选择 检测率 误检率

在线阅读 下载PDF 职称材料

IEEE802．15．4中AES-CCM协议的扩展指令集实现 被引量：1

6

作者 封斌 齐德昱 韩海雯 《电子与信息学报》 EI CSCD 北大核心 2013年第2期335-340,共6页

该文在高级加密标准(AES)快速算法的基础上,设计了一组基于可配置处理器NiosII上的扩展指令,用于IEEE802.15.4标准媒体访问控制层中基于AES算法的计数器模式和密码分组链接消息验证码(AES-CCM)协议的硬件加速。该文首先推导出快速算法... 该文在高级加密标准(AES)快速算法的基础上,设计了一组基于可配置处理器NiosII上的扩展指令,用于IEEE802.15.4标准媒体访问控制层中基于AES算法的计数器模式和密码分组链接消息验证码(AES-CCM)协议的硬件加速。该文首先推导出快速算法中用于轮变换的查找表与S盒的逻辑关系,然后通过复合域变换方法用硬件电路实现S盒的计算,从而消除了支撑扩展指令集的硬件逻辑对片上存储空间的消耗。同时给出该协议基于查表法的扩展指令集和协处理器的设计方案,并在EP2C35芯片上进行实现和对比。该方案仅消耗223个逻辑单元(LE),吞吐量为668.7 kbps,时钟周期数比软件算法加速174.6倍,芯片面积仅为协处理器方案的9.5%,显著降低了无线传感网节点设备的成本和功耗。 展开更多

关键词 无线传感网 扩展指令集 IEEE802 15 4 高级加密标准的计数器模式和密码块链信息认证码(AES—CCM)协议 S盒 复合域

在线阅读 下载PDF 职称材料

云制造资源服务的组织与发现机制 被引量：2

7

作者 张倩 齐德昱 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第9期87-94,共8页

为有效地组织云制造资源服务和支持复杂的用户搜索,引入了云制造资源服务的关键属性,按照不同关键属性对云制造资源服务分别进行注册,提出了基于分布式哈希表和分层的云制造资源服务组织模型,设计了支持5种查询方式的云制造资源服务发... 为有效地组织云制造资源服务和支持复杂的用户搜索,引入了云制造资源服务的关键属性,按照不同关键属性对云制造资源服务分别进行注册,提出了基于分布式哈希表和分层的云制造资源服务组织模型,设计了支持5种查询方式的云制造资源服务发现算法,并分析了该算法的复杂度.仿真实验结果表明,文中提出的算法具有较好的性能,能够有效地解决分布式云制造资源服务的复杂搜索问题. 展开更多

关键词 云制造 资源服务 组织模型 发现算法 分布式哈希表

在线阅读 下载PDF 职称材料

基于IRP的运行时恶意代码检测方法 被引量：1

8

作者 张福勇 齐德昱 胡镜林 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第2期113-117,共5页

目前普遍采用API序列分析Windows系统下的程序行为,进行运行时恶意代码的检测.但API调用序列可以被篡改以逃避检测.为了解决这个问题,文中提出基于IRP(I/O请求包)的运行时恶意代码检测方法.该方法采用n-gram特征分析方法对IRP序列进行分... 目前普遍采用API序列分析Windows系统下的程序行为,进行运行时恶意代码的检测.但API调用序列可以被篡改以逃避检测.为了解决这个问题,文中提出基于IRP(I/O请求包)的运行时恶意代码检测方法.该方法采用n-gram特征分析方法对IRP序列进行分析,将人工免疫系统中的否定选择算法和肯定选择算法相结合,筛选出仅在恶意代码IRP序列中出现的n-gram作为检测器.实验结果表明,文中所提出的方法在误检率及检测效率上均优于否定选择算法和树突细胞算法. 展开更多

关键词 计算智能 人工免疫系统 否定选择算法 肯定选择算法 树突细胞算法 恶意代码检测

在线阅读 下载PDF 职称材料

AES快速算法的扩展指令集实现 被引量：1

9

作者 封斌 齐德昱 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第6期97-102,共6页

基于Daemen等提出的AES快速算法,给出了用可配置处理器NiosII扩展指令集实现硬件加速的两种方案——基于片内存储器存储快速算法查找表的方法、用硬件逻辑电路实现S盒并计算出快速算法查找表对应元素的方法,用对前向查找表的查表操作代... 基于Daemen等提出的AES快速算法,给出了用可配置处理器NiosII扩展指令集实现硬件加速的两种方案——基于片内存储器存储快速算法查找表的方法、用硬件逻辑电路实现S盒并计算出快速算法查找表对应元素的方法,用对前向查找表的查表操作代替了AES算法计算密集的轮变换操作.首先,将快速算法的前向查找表存放在片上内存中,并用12条扩展指令分别完成密钥扩展、轮变换和末轮操作,末轮变换所需的S盒采取对前向查找表的掩模得到;然后,对该方案进行优化以消除片上内存的占用,即推导出S盒与前向查找表的逻辑关系,并采取有限元素求逆的方法用逻辑电路实现S盒,增强了系统安全性并降低了功耗;最后,对扩展指令集和协处理器等多种实现方案进行了测试及性能对比.结果表明,相比于经过结构优化的纯软件快速AES算法,文中提出的方案在仅增加223个LE的条件下,达到了2.47倍的加速比. 展开更多

关键词 AES快速算法 扩展指令集 S盒 有限域 NIOSII处理器 加速比

在线阅读 下载PDF 职称材料

基于树型代理透明服务模型的流媒体复本放置

10

作者 郑伟平 范冰冰 +1 位作者 齐德昱 徐克付 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第8期76-81,87,共7页

针对树型网络的路由机制和流媒体数据访问的分布特点,建立了树型代理透明服务模型,提出该模型上的流媒体复本放置问题.分析了常用的前缀放置算法在树型代理模型上的局限性,提出了非定长、可非连续的放置策略,并给出两种贪婪式的复本放... 针对树型网络的路由机制和流媒体数据访问的分布特点,建立了树型代理透明服务模型,提出该模型上的流媒体复本放置问题.分析了常用的前缀放置算法在树型代理模型上的局限性,提出了非定长、可非连续的放置策略,并给出两种贪婪式的复本放置算法:自底向上逐层放置的层次型贪婪式复本放置算法(HGPA)和在全树范围逐块贪婪放置的全局贪婪式放置算法(GGPA).仿真实验结果表明:HGPA和GGPA算法均能有效降低服务器负荷,减少网络访问成本,性能均优于前缀放置算法;GGPA算法性能略优于HGPA算法,但时间代价过高;综合来看,HGPA是树型代理上较理想的放置方案. 展开更多

关键词 树型 代理 流媒体 复本放置 流行度

在线阅读 下载PDF 职称材料

基于参数化分解树的控制流二次平展混淆方法

11

作者 周娜琴 齐德昱 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2015年第5期132-138,共7页

针对软件白盒子安全问题,提出了一种基于参数化分解树的控制流二次平展混淆的改进方法.该方法首先根据设定的深度、广度及粒度的上界构建参数化分解树,然后用一个while-switch循环选择结构统筹整棵树,并对树中满足一定条件的节点进行二... 针对软件白盒子安全问题,提出了一种基于参数化分解树的控制流二次平展混淆的改进方法.该方法首先根据设定的深度、广度及粒度的上界构建参数化分解树,然后用一个while-switch循环选择结构统筹整棵树,并对树中满足一定条件的节点进行二次平展.实验结果表明:与基于参数化分解树的控制流平展混淆方法相比,文中方法减少了执行开销和解决深层不作为问题;与传统的控制流平展混淆方法相比,文中方法增加了反编译及逆向工程的难度. 展开更多

关键词 软件保护 控制流平展 代码混淆 逆向工程 分解树 安全

在线阅读 下载PDF 职称材料

基于大数据的激光光栅数据特征挖掘算法 被引量：15

12

作者 唐新宇 张新政 《激光杂志》 北大核心 2019年第7期107-111,共5页

在大数据环境下激光光栅数据的特征分布性能定量反映激光光栅传感器的运行状态,为了实现对激光光栅传感器阵列的有效监测,提出一种基于大数据的激光光栅数据特征挖掘算法。在激光光栅分布式传感器阵列中实现光栅数据采集,对采集的数据... 在大数据环境下激光光栅数据的特征分布性能定量反映激光光栅传感器的运行状态,为了实现对激光光栅传感器阵列的有效监测,提出一种基于大数据的激光光栅数据特征挖掘算法。在激光光栅分布式传感器阵列中实现光栅数据采集,对采集的数据采用多模融合方法构成光栅大数据序列,对激光光栅大数据采用广义最小二乘法进行线性拟合,构建大数据挖掘的统计分析模型,在大数据分布子空间中采用谱特征提取方法进行激光光栅数据的谱条纹特征提取,对提取的谱条纹特征采用深度学习算法进行自适应聚类和挖掘,实现激光光栅数据特征挖掘。仿真结果表明,采用该算法进行激光光栅特征挖掘的准确性较高,光栅条纹特征的分辨能力较强,在光栅高精度测量等方面具有很好应用价值。 展开更多

关键词 大数据 激光光栅 特征挖掘 融合 谱分析

在线阅读 下载PDF 职称材料

基于差异化数据集多层分类融合的用户感知反馈算法

13

作者 贝玉昌 吴栩欣 万海 《微电子学与计算机》 CSCD 北大核心 2012年第12期193-196,共4页

在用户感知反馈计算的过程中,传统的反馈算法在多层次用户感知不一致的情况下,数据的差异会使得感知结果产生分类摇摆,导致感知反馈结果不准.为解决这一问题,提出一种基于差异化数据集分层融合的用户感知反馈算法,通过QOE-KQI-KPI三层... 在用户感知反馈计算的过程中,传统的反馈算法在多层次用户感知不一致的情况下,数据的差异会使得感知结果产生分类摇摆,导致感知反馈结果不准.为解决这一问题,提出一种基于差异化数据集分层融合的用户感知反馈算法,通过QOE-KQI-KPI三层体系模型获取用户感知反馈结果并且进行分类,计算多层系统感知反馈聚类加权的均值,设定每个层次反馈的加权平均值,消除多层数据的差异性,解决由于数据差异过大带来的感知计算不准的问题.实验证明,这种方法能够有效融合多层用户感知结果,取得了满意的结果. 展开更多

关键词 用户感知 加权均值 数据差异

在线阅读 下载PDF 职称材料

一种面向片上众核处理器的虚拟核资源分配算法 被引量：1

14

作者 沈阳 齐德昱 +1 位作者 周娜琴 王新阳 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第1期112-121,130,共11页

基于高效能大任务和多任务计算需求以及芯片技术的高速发展,多核处理器进入片上众核处理器时代,但如何将这种硬件能力转变成计算性能的提升,充分利用MPSo C的并行计算能力是该领域亟待解决的问题.文中研究设计了面向片上众核处理器的物... 基于高效能大任务和多任务计算需求以及芯片技术的高速发展,多核处理器进入片上众核处理器时代,但如何将这种硬件能力转变成计算性能的提升,充分利用MPSo C的并行计算能力是该领域亟待解决的问题.文中研究设计了面向片上众核处理器的物理核到虚拟核分配算法(VPD),该算法通过识别任务执行时的阶段状态特征,动态重组物理核并配置成与任务计算需求相适应的虚拟核,在满足任务的计算资源需求的条件下,实现虚拟核最优分配.最后通过实验将VPD算法与不同的多核/众核处理器环境下的主流调度算法进行比较,结果表明:该算法可适用于多种环境,且效能比其他同类算法平均高5%~10%. 展开更多

关键词 片上众核处理器 任务状态识别 虚拟核 资源分配

在线阅读 下载PDF 职称材料