计算机安全技术在高校实验室改造中的应用 被引量：4

1

作者 刘利民 《工程抗震与加固改造》 北大核心 2023年第1期I0007-I0007,共1页

高校实验室一般存放有大量实验设备、数据资料,有些学校的实验室数据甚至事关我国国防安全,为了更好地管理、防护高校实验室的数据信息,建立实验室计算机与信息安全管理体系显得尤为必要。我国教育部多次强调要重视高校实验室安全改造... 高校实验室一般存放有大量实验设备、数据资料,有些学校的实验室数据甚至事关我国国防安全,为了更好地管理、防护高校实验室的数据信息,建立实验室计算机与信息安全管理体系显得尤为必要。我国教育部多次强调要重视高校实验室安全改造工作的推进,确保高校实验室安全工作。我国很多高校实验室的安全工作存在诸多问题,如安全责任体制不健全、计算机防火墙设置有漏洞以及安全教育与培训不到位等,这些问题都需要高校积极整改,因此高校利用计算机安全技术对其实验室进行改造,确保安全管理工作顺利展开。 展开更多

关键词 高校实验室 计算机安全技术 信息安全管理体系 实验设备 实验室计算机 数据资料 实验室数据 国防安全

在线阅读 下载PDF 职称材料

一种生成对抗网络半监督回归的废纺样品中羊毛含量的预测方法

2

作者 胡锦泉 杨辉华 +2 位作者 赵国樑 周瑞知 李灵巧 《光谱学与光谱分析》 SCIE EI CAS CSCD 北大核心 2024年第5期1417-1424,共8页

针对废旧纺织品回收在线分拣的需求,提出了一种基于生成对抗网络的半监督回归方法,使用少量标记样本和大量未标记样本来训练半监督回归器。半监督回归器由神经网络组成的生成器和由神经网络构成的判别器组成。生成器用于生成尽可能接近... 针对废旧纺织品回收在线分拣的需求,提出了一种基于生成对抗网络的半监督回归方法,使用少量标记样本和大量未标记样本来训练半监督回归器。半监督回归器由神经网络组成的生成器和由神经网络构成的判别器组成。生成器用于生成尽可能接近实际标记和未标记训练数据集内容的混合样本。鉴别器用于验证生成器生成的样本并预测这些样本的连续标记。生成的网络通过特征匹配损失进行训练,损失函数是鉴别器中间层真实样本的输出与生成样本之间的误差平均值。判别式有两个输出,一个用于预测序列标记,另一个用于确定生成的样本是真样本还是假样本的概率。通过使用传统的无监督生成对抗性网络损失函数和监督回归损失的组合来训练判别式。生成的网络通过特征匹配损失进行训练,损失函数是鉴别器中间层真实样本的输出与生成样本之间的误差平均值。先后收集了400个不同羊毛含量的混纺样品和3000个未知成分的混纺样品。70%的标记和未标记的混合样本被随机选择作为训练集,其余30%的标记样本被用作重复实验的测试集。开展了多个实验进行验证。第一个实验为混纺光谱生成实验,用于验证生成对抗网络能够根据内在规律有效生成混合样本光谱。第二个实验为半监督对抗网络定量分析性能对比实验,对羊毛成分分析模型训练与测试,并将本半监督对抗网络定量分析模型与其他定量模型进行性能对比。第三个实验为现场高羊毛含量混纺细分模型预测对比实验,用羊毛含量在80%到99%之间的混纺样品进行成分分析,并将本文的半监督对抗网络定量分析模型与其他定量模型进行性能对比。第四个实验为中高羊毛含量混纺细分综合模型现场预测实验,用羊毛含量在40%到99%之间的混纺样品训练半监督对抗网络定量分析模型并部署在分拣系统,由操作员进行现场测试数据进行准确率、分析时间等测试。实验结果表明,基于生成对抗网络的半监督回归方法优于PCR、PLSR、SVR、BPNN等模型,该模型的预测R2达到0.964。经过现场反复测试,该模型能快速提取出40%以上羊毛含量的混纺样品。 展开更多

关键词 生成对抗网络 废纺回收 近红外光谱 羊毛含量

在线阅读 下载PDF 职称材料

基于混杂Petri网的柔性制造系统免疫调度算法 被引量：8

3

作者 廖伟志 古天龙 +1 位作者 王汝凉 李文敬 《系统仿真学报》 CAS CSCD 北大核心 2010年第1期205-209,共5页

针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子... 针对具有混杂特征的柔性制造系统调度问题在柔性制造系统的一阶混杂Petri网模型的基础上提出了用于求解柔性制造系统调度最优解的免疫算法。给出了不变行为状态的编码、亲和力计算、抗体的浓度及抗体选择、记忆细胞更新、抗体生成算子等的具体实现方法。实例仿真结果表明,结合混杂Petri网模型和免疫算法能够有效地实现柔性制造系统调度最优解的求解。 展开更多

关键词 柔性制造系统 混杂PETRI网 调度 免疫算法

在线阅读 下载PDF 职称材料

基于免疫算法的装配序列规划问题求解 被引量：21

4

作者 宁黎华 古天龙 《计算机集成制造系统》 EI CSCD 北大核心 2007年第1期81-87,共7页

针对装配序列规划问题提出了一种模拟生物免疫系统的免疫算法,并给出了亲和力计算、抗体生成、免疫选择、记忆细胞更新等的具体实现方法。实例仿真结果表明,免疫算法在装配序列规划问题的求解中充分体现了免疫系统的多样性、免疫自我调... 针对装配序列规划问题提出了一种模拟生物免疫系统的免疫算法,并给出了亲和力计算、抗体生成、免疫选择、记忆细胞更新等的具体实现方法。实例仿真结果表明,免疫算法在装配序列规划问题的求解中充分体现了免疫系统的多样性、免疫自我调节、免疫记忆和分布式并行等特点。免疫算法较遗传算法具有更强的全局搜索能力和更快的收敛速度,有效地改善了全局收敛性能和收敛速度。 展开更多

关键词 免疫算法 装配序列规划 软计算 计算机辅助设计/计算机辅助制造

在线阅读 下载PDF 职称材料

Petri网的符号ZBDD可达树分析技术 被引量：8

5

作者 李凤英 古天龙 徐周波 《计算机学报》 EI CSCD 北大核心 2009年第12期2420-2428,共9页

Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decis... Petri网是一种适合于并发系统建模、分析和控制的图形工具.可达树是Petri网分析的典型技术之一,它通过标识向量集合表征系统的状态空间,组合复杂性严重制约了该分析技术可处理系统问题的规模.零压缩决策图(Zero-Suppressed Binary Decision Diagrams,ZBDD)是一种新型的数据结构,是表示和处理稀疏向量集合的一种有效技术.文章基于Petri网可达标识向量的稀疏特征,给出了Petri网分析的符号ZBDD技术,该技术通过对标识向量(状态)的布尔向量表示、可达标识向量(状态)的符号ZBDD生成,实现Petri网可达状态空间的高效符号操作和紧凑符号表示.实验表明,基于ZBDD的符号可达性分析算法能够有效处理较大规模Petri网问题. 展开更多

关键词 PETRI网 零压缩二叉决策图 可达树 状态空间

在线阅读 下载PDF 职称材料

装配序列生成的有序二叉决策图技术研究 被引量：4

6

作者 钟艳如 黄美发 古天龙 《计算机集成制造系统》 EI CSCD 北大核心 2008年第10期1996-2004,共9页

为提高装配序列规划求解效率,在图论割集法的基础上,引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利用装配优先约束关系,简化装配关联图,设计了基于符号有序二叉决策图技术的装配序列生成算法,分析了该... 为提高装配序列规划求解效率,在图论割集法的基础上,引入有序二叉决策图描述装配关联图、装配操作、装配几何可行性和装配稳定性。利用装配优先约束关系,简化装配关联图,设计了基于符号有序二叉决策图技术的装配序列生成算法,分析了该算法的时间复杂度。在每一次割集分解之后,检验子装配体的几何可行性和稳定性,实现装配序列生成过程中状态空间的隐式表示和搜索。研究实例验证了基于符号有序二叉决策图技术的装配序列生成算法的可行性和有效性。 展开更多

关键词 装配序列生成 有序二叉决策图 布尔函数 几何可行性 稳定性 割集

在线阅读 下载PDF 职称材料

基于SPIN的无线传感器网络安全协议建模与分析 被引量：4

7

作者 敬超 常亮 古天龙 《计算机科学》 CSCD 北大核心 2009年第10期132-136,共5页

模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求;与有线网相比,无线传感器网络在通信环境和网络节点等方面都更为脆弱,为相应的安全协议的分析和设计提出了挑战。提出了一... 模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求;与有线网相比,无线传感器网络在通信环境和网络节点等方面都更为脆弱,为相应的安全协议的分析和设计提出了挑战。提出了一种适用于无线传感器网络的安全协议形式化建模分析方法。它充分借鉴了传统有线网络安全协议的建模方法,在其基础上充分考察了无线传感器网络的通信环境以及网络节点,建立起一个全面并且直观的安全协议运行模型。以A.Perrig等人提出的SPINS安全协议为例,应用模型检验工具SPIN对其认证性和机密性等安全需求进行了分析验证,发现了该协议存在的漏洞。实例分析证实了模型检验方法在分析无线传感器网络安全协议时的有效性,从而推进了其在安全协议分析方面的应用范围。 展开更多

关键词 无线传感器网络 模型检验 SPINS协议 SPIN工具 PROMELA

在线阅读 下载PDF 职称材料

装配序列规划问题的CSP模型及其符号OBDD求解技术 被引量：8

8

作者 徐周波 古天龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第5期803-810,共8页

完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向... 完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性. 展开更多

关键词 装配序列生成 装配联接图 约束满足问题 有序二叉决策图

在线阅读 下载PDF 职称材料

基于符号有序二叉决策图的装配序列生成技术 被引量：6

9

作者 古天龙 刘华东 《计算机集成制造系统》 EI CSCD 北大核心 2008年第2期321-328,共8页

为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可... 为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可行装配序列生成技术的正确性和可行性。 展开更多

关键词 装配序列规划 装配体联结图 装配序列生成 有序二叉决策图

在线阅读 下载PDF 职称材料

基于有序二叉决策图的装配序列符号表示方法 被引量：4

10

作者 古天龙 杨志飞 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第10期1315-1320,共6页

通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明... 通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述. 展开更多

关键词 装配规划 装配序列表示 与或图 有序二叉决策图

在线阅读 下载PDF 职称材料

基于模型检验集成规划系统的机械装配序列规划 被引量：3

11

作者 古天龙 张勐 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1781-1790,共10页

为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配... 为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。 展开更多

关键词 装配序列规划 模型检验 规划领域定义语言 谓词逻辑 时态逻辑

在线阅读 下载PDF 职称材料

面向小波域的加权分数阶微积分图像数字水印新算法 被引量：2

12

作者 刘磊 苗启广 石程 《计算机应用》 CSCD 北大核心 2011年第11期3048-3052,共5页

针对现有加密技术易被破解,算法缺乏初值敏感性的问题,提出了一种采用分数阶微分和交换小波变换系数的图像数字水印的新算法。该算法充分利用了分数阶微分阶次具有极强的敏感性的特点,首先采用分数阶Cauchy公式对正弦信号做两个不同阶... 针对现有加密技术易被破解,算法缺乏初值敏感性的问题,提出了一种采用分数阶微分和交换小波变换系数的图像数字水印的新算法。该算法充分利用了分数阶微分阶次具有极强的敏感性的特点,首先采用分数阶Cauchy公式对正弦信号做两个不同阶次的微分,同时将微分信号分别采样后加权叠加成伪随机序列;然后用此伪随机序列置乱水印,通过交换Haar小波分解的载体图像的高频系数将置乱水印嵌入载体图像。实验结果表明,提出的新算法能经受多种常见图像处理的攻击,具有较强的鲁棒性和较好的不可见性,能够实现较好的图像数字水印效果。 展开更多

关键词 数字水印 分数阶微分 小波变换 微分阶次

在线阅读 下载PDF 职称材料

基于Petri网启发式搜索的装配序列规划

13

作者 李凤英 古天龙 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期152-155,共4页

Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Petri网模型表示可行装配序列,通过生成和搜索Petri网的局部可达图找到一个最优或接近最优的装配序列,该装... Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Petri网模型表示可行装配序列,通过生成和搜索Petri网的局部可达图找到一个最优或接近最优的装配序列,该装配序列通过Petri网的迁移引发序列来表示。结合实例验证了该方法的正确性和有效性。 展开更多

关键词 赋时PETRI网 装配序列规划 启发式搜索

在线阅读 下载PDF 职称材料

产生式知识的有序二叉决策图表示及其推理 被引量：1

14

作者 侯杰 王喜成 《计算机应用与软件》 CSCD 2010年第9期240-242,共3页

为了更完整地表示产生式规则构成的知识库及更有效地进行知识推理,给出了基于有序二叉决策图OBDD(Ordered Bi-nary Decision Diagram)的产生式知识表示模型。在此基础上实现了基于OBDD的知识推理规则及相关算法,并结合实例对OBDD模型及... 为了更完整地表示产生式规则构成的知识库及更有效地进行知识推理,给出了基于有序二叉决策图OBDD(Ordered Bi-nary Decision Diagram)的产生式知识表示模型。在此基础上实现了基于OBDD的知识推理规则及相关算法,并结合实例对OBDD模型及其推理规则的可行性进行了分析。 展开更多

关键词 有序二叉决策图 产生式规则 推理

在线阅读 下载PDF 职称材料

三方认证协议BNV的分析及改进

15

作者 高三海 董荣胜 吴光伟 《计算机工程与应用》 CSCD 北大核心 2008年第4期155-158,共4页

多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型,分析了三方认证协议BNV的安全性,结果表明该协议存在一致性和同步性缺陷。为此,修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后... 多个主体之间的安全会话需要有可靠的多方认证协议来保证。基于安全协议的操作语义模型,分析了三方认证协议BNV的安全性,结果表明该协议存在一致性和同步性缺陷。为此,修改了协议的消息结构并添加了标识协议主体身份的消息项。对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议参与主体满足一致性与同步性要求。最后,基于改进后协议,提出了一个n方认证协议的协议原型。 展开更多

关键词 三方认证协议BNV 操作语义 同步性 一致性

在线阅读 下载PDF 职称材料

基于C3000过程控制器的麦汁充氧装置

16

作者 叶腾芳 赵滔 陈浩 《控制工程》 CSCD 2007年第S2期20-21,26,共3页

结合工程改造实例,构建了一种基于C3000过程控制器的麦汁充氧自动控制装置。介绍了如何利用C3000过程控制器的方便组态和强大的控制功能来实现充氧装置,总结了组态中技术细节及技巧,改造后的系统控制精度及可靠性得到很大提高,整个系统... 结合工程改造实例,构建了一种基于C3000过程控制器的麦汁充氧自动控制装置。介绍了如何利用C3000过程控制器的方便组态和强大的控制功能来实现充氧装置,总结了组态中技术细节及技巧,改造后的系统控制精度及可靠性得到很大提高,整个系统从操作、维护及性价比上都得到了大幅度提升。 展开更多

关键词 麦汁充氧 C3000 过程控制器 PID控制 组态

在线阅读 下载PDF 职称材料