检索结果-内蒙古大学图书馆

工业控制计算机 2022年第4期35卷 1-3,6页

作者：郝文涛鲁晔水永莉西安航空学院网络信息中心陕西西安710077 宝鸡文理学院计算机学院陕西宝鸡721013 航空工业西安航空计算机技术研究所凯翔公司陕西西安710065

随着工业化和信息化融合发展的不断深入,越来越多的互联网技术被应用到了工业控制网络中,其安全问题也随着各类病毒攻击事件的增加而成为人们关注的焦点。入侵检测技术作为主动安全防护措施,可以有效弥补传统安全防护技术的不足。因此,... 详细信息

随着工业化和信息化融合发展的不断深入,越来越多的互联网技术被应用到了工业控制网络中,其安全问题也随着各类病毒攻击事件的增加而成为人们关注的焦点。入侵检测技术作为主动安全防护措施,可以有效弥补传统安全防护技术的不足。因此,面向工业控制网络的入侵检测技术成为了工控安全领域研究的热点。以基于工业控制网络的入侵检测技术为研究目标,分析了该领域中面临的问题;首先,介绍了工业控制系统的具体结构及其特点;其次,对基于工业控制网络的入侵检测关键技术和方法进行详细解释;最后,对基于工业控制网络的入侵检测技术方法进行总结和展望。

关键词：工业控制网络入侵检测机器学习深度学习

来源：评论

学校读者我要写书评

暂无评论

基于可提取哈希证明系统的多策略加密方案

引用

电子学报 2019年第2期47卷 337-343页

作者：张丽娜杨波黄梅娟贾艳艳陕西师范大学计算机科学学院西安科技大学计算机科学与技术学院中国科学院信息工程研究所信息安全国家重点实验室宝鸡文理学院数学与信息科学学院

哈希证明系统由Cramer-Shoup在2002年首次提出,到目前为止仍是密码工作者的研究热点之一.进而,Wee在2010年提出可提取哈希证明系统的概念,其可用来构造基于查找性困难假设的公钥加密方案.本文在可提取哈希证明系统之上,通过重新定义系... 详细信息

哈希证明系统由Cramer-Shoup在2002年首次提出,到目前为止仍是密码工作者的研究热点之一.进而,Wee在2010年提出可提取哈希证明系统的概念,其可用来构造基于查找性困难假设的公钥加密方案.本文在可提取哈希证明系统之上,通过重新定义系统参数的意义,扩大了可提取哈希证明系统的密码学应用范围.我们利用可提取哈希证明系统的框架构造了一个基本的基于Diffie-Hellman关系的All-But-One可提取哈希证明系统.在此基础上细粒度了辅助输入,引入权重计算,给出了一个基于标签和可变策略的CCA加密方案,并进行了详细的安全性证明.特别的,该方案比可提取具有更丰富的抽象表达,即是All-But-N的,也即在提取模式中由标签决定的分支数量可以有n个.同时,该方案是基于困难性可搜索问题,本质上是基于计算性的Diffie-Hellman问题.

关键词： Diffie-Hellman关系选择密文攻击哈希证明系统可提取哈希证明系统多策略

来源：评论

学校读者我要写书评

暂无评论

融合PLSA和随机游走模型的自动图像标注

引用

小型微型计算机系统 2017年第8期38卷 1899-1905页

作者：田东平宝鸡文理学院计算机软件研究所山西宝鸡721007 宝鸡文理学院计算信息科学研究所山西宝鸡721007

为了有效克服语义鸿沟问题,提出一种融合概率潜语义分析(PLSA)和随机游走(random walk,RW)模型的图像语义标注方法.从已标注图像的文本信息出发构建一个非对等模态的PLSA模型,以此计算未知图像的初始语义标注;,基于初始标注的语义信息... 详细信息

为了有效克服语义鸿沟问题,提出一种融合概率潜语义分析(PLSA)和随机游走(random walk,RW)模型的图像语义标注方法.从已标注图像的文本信息出发构建一个非对等模态的PLSA模型,以此计算未知图像的初始语义标注;,基于初始标注的语义信息和与之关联的图像的视觉信息构造标签相似性图,以有效避免图像标注过程中因多义词而引入的噪声数据;在所构造的相似性图上执行随机游走过程,进一步挖掘和分析初始标注之间的潜在语义关联,从而获得未知图像的精确化语义标注.通过在Corel5k图像集上的实验表明,本文方法(PLSA-RW)的性能明显优于若干经典的自动图像标注方法,而且具有更好的检索性能.

关键词：图像语义标注概率潜语义分析随机游走语义鸿沟图像检索

来源：评论

学校读者我要写书评

暂无评论

基于上下文相关模型的图像语义标注

引用

小型微型计算机系统 2016年第4期37卷 855-860页

作者：田东平李乃乾宝鸡文理学院计算机软件研究所陕西宝鸡721007 宝鸡文理学院计算信息科学研究所陕西宝鸡721007

针对现有标注算法精度不高的问题,提出一种基于上下文相关模型的图像语义标注方法.首先,根据语义概念在训练数据集中的共现频率,对每个概念构造马尔科夫随机场图结构;其次,从已标注图像的文本信息出发构建一个非对等模态的概率潜语义分... 详细信息

针对现有标注算法精度不高的问题,提出一种基于上下文相关模型的图像语义标注方法.首先,根据语义概念在训练数据集中的共现频率,对每个概念构造马尔科夫随机场图结构;其次,从已标注图像的文本信息出发构建一个非对等模态的概率潜语义分析(PLSA)模型,计算图像和语义概念的联合概率,并将其作为马尔科夫随机场(MRF)中点的观察值.与此同时,基于PLSA设计马尔科夫随机场模型的点势函数和边势函数;最后,通过正则化最大伪似然估计学习MRF的模型参数,利用迭代条件模式进行模型推理,从而获得未知图像的精确化语义标注结果.实验表明,所提出方法的性能明显优于若干经典的自动图像标注方法,而且具有更好的检索性能.

关键词：图像语义标注马尔科夫随机场概率潜语义分析图像检索

来源：评论

学校读者我要写书评

暂无评论

柴油机控制软件自动测试方法研究

柴油机控制软件自动测试方法研究

引用

中国内燃机学会第九届学术年会

作者：杨薇曹春芳张丽娜赵玲玲中国北方发动机研究所天津300400 宝鸡文理学院计算机学院陕西宝鸡 721016

分析柴油机电子控制软件的特点,针对控制软件测试工作对硬件依赖性大、实时性强、工作周期长等问题,研究软件自动测试方法,通过部署自动测试平台,进行控制软件自动测试序列的设计,使软件测试执行过程自动化,大大减少软件测试人员投入,... 详细信息

分析柴油机电子控制软件的特点,针对控制软件测试工作对硬件依赖性大、实时性强、工作周期长等问题,研究软件自动测试方法,通过部署自动测试平台,进行控制软件自动测试序列的设计,使软件测试执行过程自动化,大大减少软件测试人员投入,有效降低因人员操作不同对测试结果造成的差异,提高软件测试的效率,缩短软件开发周期.

关键词：柴油机电子控制软件自动测试

来源：评论

学校读者我要写书评

暂无评论

极速控制技术在烟支重量控制及质量检测系统中的应用

引用

自动化仪表 2016年第2期37卷 30-32,40页

作者：郭锐吴小娥杨旭中国科学院沈阳自动化研究所第五研究室辽宁沈阳110179 宝鸡文理学院计算机科学系陕西宝鸡721007

PASSIM卷接机组烟支重量控制及质量检测系统一般采用电路板设计方式,因其故障率高,而不易检修维护和备件组织,不适应现代烟厂发展的需求。为解决以上问题,详细分析了设备的工作原理,并设计了基于Beckhoff XFC极速控制技术的新型控制系... 详细信息

PASSIM卷接机组烟支重量控制及质量检测系统一般采用电路板设计方式,因其故障率高,而不易检修维护和备件组织,不适应现代烟厂发展的需求。为解决以上问题,详细分析了设备的工作原理,并设计了基于Beckhoff XFC极速控制技术的新型控制系统。系统使用PLC为控制器,通过超采样技术实现了控制系统对信号微秒级的采样周期,保证了控制系统的实时性;PLC控制器与上位机使用Twin CAT ADS方式进行通信。该控制系统将新技术引入老机型,实现了PASSIM机型控制系统器件全部通用化。

关键词：卷烟厂现场总线伺服驱动 PLC 质量检测控制系统逻辑控制 TCP/IP技术

来源：评论

学校读者我要写书评

暂无评论

混沌粒子群优化算法研究

引用

计算机工程与应用 2013年第17期49卷 43-46,138页

作者：田东平宝鸡文理学院计算机软件研究所陕西宝鸡721007 宝鸡文理学院计算信息科学研究所陕西宝鸡721007

针对粒子群优化算法稳定性较差和易陷入局部极值的缺点,提出了一种新颖的混沌粒子群优化算法。一方面,在可行域中应用逻辑自映射函数初始化生成均匀分布的粒群,提高了初始解的质量和增加了算法的稳定性;另一方面,采用两组速度-位移更新... 详细信息

针对粒子群优化算法稳定性较差和易陷入局部极值的缺点,提出了一种新颖的混沌粒子群优化算法。一方面,在可行域中应用逻辑自映射函数初始化生成均匀分布的粒群,提高了初始解的质量和增加了算法的稳定性;另一方面,采用两组速度-位移更新策略,即对全局最优粒子单独使用特定的速度-位移策略更新,而对其余粒子则使用常规的速度-位移进行更新,从而有效避免了算法陷入局部收敛的缺点。将该算法应用在4个基准测试函数优化中,仿真结果表明其能有效提高全局寻优的性能,且稳定性好。

关键词：粒子群优化逻辑自映射局部收敛稳定性群体智能

来源：评论

学校读者我要写书评

暂无评论

自然和自然观——兼论哲理,数理和物理——认识论逐级发展的三个层次

引用

宝鸡文理学院学报（自然科学版） 2013年第2期33卷 78-84页

作者：郭巍郭应焕郭振华犹他大学计算机系中国科学院高能物理研究所北京100049 宝鸡文理学院物理与信息技术系陕西宝鸡721016

目的揭示认识论中不同认识层次的哲理,数理和物理之间的正确关系。指出把作为认识论基础的哲学(理)看成是"对自然知识与社会知识的概括与总结"(《现代汉语词典》,等)的观点是完全错误的。方法以认识发展史为基础,利用历史的,... 详细信息

目的揭示认识论中不同认识层次的哲理,数理和物理之间的正确关系。指出把作为认识论基础的哲学(理)看成是"对自然知识与社会知识的概括与总结"(《现代汉语词典》,等)的观点是完全错误的。方法以认识发展史为基础,利用历史的,分析与综合的,演绎与归纳的,逻辑与历史相统一的方法进行了论述。结果哲理是自然观形成的初级阶段。数理是自然观发展中思维成熟阶段,数理是认识论的中级层次。数理对思维过程的应用形成数理逻辑。数理应用于自然过程就发展为物理。因此,物理是认识论的最高层次。结论认识论的哲理,数理,物理这3个层次并不是在时序上分阶段建立的。它们在历史过程中,随着人类认识能力的提高,是互相影响,互相关联着发展的,从而形成了三位一体的螺旋上升的发展模式。

关键词：自然观认识论哲理数理物理

来源：评论

学校读者我要写书评

暂无评论

引力的Weyl-U(1)规范场理论及其宇宙

引用

前沿科学 2012年第1期21卷 49-64页

作者：郭巍郭应焕郭振华犹他大学计算机系中国科学院高能物理研究所西京学院宝鸡文理学院物理与信息技术系

通过分析认为广义相对论不能自然地给出引力场(作为物质)的能量、动量这些重要的物理量。广义相对论体系是欠定问题,在自系统无定解。它和其他相互作用的理论形式较独立,有碍四种相互作用的统一。为了克服这些困难,本文提出了引力的Weyl... 详细信息

通过分析认为广义相对论不能自然地给出引力场(作为物质)的能量、动量这些重要的物理量。广义相对论体系是欠定问题,在自系统无定解。它和其他相互作用的理论形式较独立,有碍四种相互作用的统一。为了克服这些困难,本文提出了引力的Weyl-U(1)规范场理论。在相同近似下给出的结果和广义相对论一致,而表达方式更简明。文中得到一个宇宙模型,对时空有一些新观点。还提出了本理论对自然界一些解释不了的神秘现象的可能应用。

关键词：广义相对论物质引力场 Weyl-U(1)规范理论宇宙模型水星近日点进动光线在引力场中弯曲

来源：评论

学校读者我要写书评

暂无评论

地图染色定理的证明

引用

前沿科学 2011年第2期5卷 53-58页

作者：郭巍郭应焕郭振华朱玉兰犹他大学计算机系宝鸡文理学院物理与信息技术系中关村一小中国科学院高能物理研究所

[目的]证明155年前提出的球面地图染色的四色猜想。[方法]根据公理给出证明四色猜想的分析证明方法。[结果]给出球面上一般地图的染色定理。证明四色猜想严格成立。还证明了最一般的2维定向和非定向闭曲面上地图的染色定理。[结论]对球... 详细信息

[目的]证明155年前提出的球面地图染色的四色猜想。[方法]根据公理给出证明四色猜想的分析证明方法。[结果]给出球面上一般地图的染色定理。证明四色猜想严格成立。还证明了最一般的2维定向和非定向闭曲面上地图的染色定理。[结论]对球面地图给出三色定理和二色定理。确定了一切真实地图的必需染色数。并给出球面上任意地图用最少色的染色程序。

关键词： 2维球面 2维定向-无定向闭曲面地图染色数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：