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

1

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

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

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

在线阅读 下载PDF 职称材料

互联网时代高校关于大学生心理健康工作策略探析 被引量：2

2

作者 廖燕萍 《青年与社会》 2019年第19期205-206,共2页

面对现代科技高速发展的社会,互联网迅速覆盖全球,的确在查询资讯、搜寻资料、了解时政、休闲娱乐、在线学习等各方面给人们提供了高效率、便捷且低成本的平台优势。但是由于互联网时代出现的信息大爆炸,网络信息繁杂、形式多样,各种新... 面对现代科技高速发展的社会,互联网迅速覆盖全球,的确在查询资讯、搜寻资料、了解时政、休闲娱乐、在线学习等各方面给人们提供了高效率、便捷且低成本的平台优势。但是由于互联网时代出现的信息大爆炸,网络信息繁杂、形式多样,各种新媒体的出现取代了传统媒体,各类社交平台、娱乐平台如雨后春笋般快速发展,部分高校大学生在网络平台中快速获取学习信息的同时,不免受到大量消极、负面信息的影响。加之当代95后甚至00后大学生心理发展未成熟的特点,互联网时代给大学生心理健康造成巨大冲击,近十年各大高校因学生心理问题所引发的事故愈加突出,引起了人们与社会的高度关注。文章旨在分析当下大学生心理健康现状,客观阐述互联网时代对大学生思想和心理的影响,从而探析高校如何改进和完善大学生心理健康教育工作,为高校辅导员提出可参考的新思路及工作策略。 展开更多

关键词 互联网时代 新媒体 大学生心理健康 工作策略

在线阅读 下载PDF 职称材料

新媒体环境下大学生网络活动规律及关切重点分析 被引量：1

3

作者 郭庆嫩 《科教导刊》 2019年第24期16-17,共2页

在信息化快速发展的今天,大学生无时不刻不受到网络的影响,而作为新媒体时代的主要群体,大学生也慢慢把网络发展为信息传播的主要媒介、休闲娱乐的主打阵地和知识获取的最新途径。文章通过分析当前大学生上网目的、网络活跃平台以及主... 在信息化快速发展的今天,大学生无时不刻不受到网络的影响,而作为新媒体时代的主要群体,大学生也慢慢把网络发展为信息传播的主要媒介、休闲娱乐的主打阵地和知识获取的最新途径。文章通过分析当前大学生上网目的、网络活跃平台以及主要社会关注点等方面的内容,总结出大学生网络活动规律及关切重点,进而找出大学生网络行为存在的主要风险,并提出相关解决对策。 展开更多

关键词 大学生 网络 风险 对策

在线阅读 下载PDF 职称材料

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

4

作者 胡锦泉 杨辉华 +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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

作者 李凤英 古天龙 徐周波 《计算机学报》 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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

基于AD7656的旋变角度测量设计 被引量：1

15

作者 崔更申 吴鹏 +1 位作者 洪志鹏 刘青松 《计算机测量与控制》 2015年第2期371-373,共3页

介绍了旋转变压器功能和特点以及应用的背景,为了求出旋转变压器的角度位置信号,采用高精度电压采集芯片AD7656,通过测量旋转变压器的两路路输出电压和一路激励电压,计算其电压的比值,提出了一种求解旋变角度的反正切算法;重点介绍了模... 介绍了旋转变压器功能和特点以及应用的背景,为了求出旋转变压器的角度位置信号,采用高精度电压采集芯片AD7656,通过测量旋转变压器的两路路输出电压和一路激励电压,计算其电压的比值,提出了一种求解旋变角度的反正切算法;重点介绍了模数转换芯片AD7656以及其硬件设计电路,和求解反正切函数的具体的算法流程图,该算法具有简单,可靠的特点;实验结果表明该系统设计合理,简单,可靠,旋变角度测量算法能够满足一般要求,对出现的误差结果进行了分析,为下次研究工作做了准备。 展开更多

关键词 AD7656旋转变压器 反正切函数 角度测量

在线阅读 下载PDF 职称材料

基于组合设计方法的安全支付协议的设计与验证 被引量：2

16

作者 李晓乐 董荣胜 吴光伟 《广西科学院学报》 2007年第4期287-291,共5页

针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目... 针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。 展开更多

关键词 组合设计方法 协议原语 支付协议 原子性

在线阅读 下载PDF 职称材料

普通高校篮球课程网络化教学的数据库设计研究 被引量：2

17

作者 胡峻榕 陆宇亮 温佩芝 《当代体育科技》 2015年第5期120-121,共2页

根据普通高校篮球课程网络化教学的需要,解决网络化教学过程各种问题,提高课堂与课外联系和师生交流。设计了一个较为完整的数据库,比较完善的数据库需求分析,全面地定义数据字典(数据元素条目、数据结构条目、数据流条目、数据储存条... 根据普通高校篮球课程网络化教学的需要,解决网络化教学过程各种问题,提高课堂与课外联系和师生交流。设计了一个较为完整的数据库,比较完善的数据库需求分析,全面地定义数据字典(数据元素条目、数据结构条目、数据流条目、数据储存条目、数据处理条目、外部实体条目),数据库概念结果设计比较完善。为普通高校其他体育课程网络化教学数据库设计提供了参考。 展开更多

关键词 数据库需求分析 定义数据字典 数据库概念结果 数据库逻辑

在线阅读 下载PDF 职称材料

面向高素质软件人才培养的C语言教学体会 被引量：1

18

作者 何倩 强保华 +1 位作者 李德明 陈致威 《计算机光盘软件与应用》 2012年第24期48-49,共2页

C语言是最为广泛的一门程序设计课程,针对高素质软件人才培养的需求,论文总结了C语言教学的若干心得体会。首先提出在教学中增强学生道德修养教育是必要的;然后说明加强背景知识及学习方法教育是有效的;进一步提出加强课堂演示和引导学... C语言是最为广泛的一门程序设计课程,针对高素质软件人才培养的需求,论文总结了C语言教学的若干心得体会。首先提出在教学中增强学生道德修养教育是必要的;然后说明加强背景知识及学习方法教育是有效的;进一步提出加强课堂演示和引导学生参加ACM竞赛是非常有意义的。 展开更多

关键词 C语言 软件人才培养 道德修养 ACM竞赛

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

中间件技术中的RMI探讨

20

作者 唐文龙 黄文明 陆月然 《思茅师范高等专科学校学报》 2006年第6期22-24,共3页

介绍了中间件和RMI的关系,并对RMI结构进行简要分析,提出Java RMI分布式应用程序的实现步骤并给出了一个Java RMI分布式应用程序实例。

关键词 RMI JAVA RMI 中间件 分布式系统

在线阅读 下载PDF 职称材料