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

中国科学:物理学、力学、天文学 2025年第4期55卷 16-29页

作者：林达高飞邹剑黄震宇孙思维孙兵国防科技大学理学院长沙410073 北京邮电大学网络与交换技术国家重点实验室北京100876 福州大学计算机与大数据学院福州350108 福州大学网络系统信息安全福建省高校重点实验室福州350108 中国科学院信息工程研究所网络空间安全防御重点实验室北京100085 中国科学院大学网络空间安全学院北京100049 中国科学院大学密码学院北京100049 密码科学技术全国重点实验室北京100878 国防科技大学密码研究中心长沙410073

随着量子技术的不断发展和量子计算机的逐步推进,现代密码面临的挑战愈加多元化.在分析密码算法抵抗量子攻击的安全性强度时,量子实现电路的构造是其中的重要一环.对称密码是现代密码的重要组成部分.本文综述了近年来在量子计算模型下... 详细信息

随着量子技术的不断发展和量子计算机的逐步推进,现代密码面临的挑战愈加多元化.在分析密码算法抵抗量子攻击的安全性强度时,量子实现电路的构造是其中的重要一环.对称密码是现代密码的重要组成部分.本文综述了近年来在量子计算模型下优化对称密码实现电路的研究成果.具体地,归纳了线性层、S盒以及各类加法操作等的可逆电路构造的相关研究,还总结了AES算法、SM4算法、Camellia算法等对称密码的量子实现研究.

关键词：量子技术量子实现对称密码

来源：评论

学校读者我要写书评

暂无评论

基于二阶离散变分方法的非线性映射参数估计

引用

物理学报 2013年第8期62卷 42-52页

作者：曹小群国防科学技术大学计算机学院长沙410073

提出一种估计非线性映射未知参数的二阶离散变分方法.首先针对非线性离散混沌系统,利用变分方法导出了伴随方程和目标泛函梯度,以此为基础利用二阶离散变分方法给出了二阶伴随方程和精确计算Hessian矩阵-向量乘积的显式表达式;其次设计... 详细信息

提出一种估计非线性映射未知参数的二阶离散变分方法.首先针对非线性离散混沌系统,利用变分方法导出了伴随方程和目标泛函梯度,以此为基础利用二阶离散变分方法给出了二阶伴随方程和精确计算Hessian矩阵-向量乘积的显式表达式;其次设计了估计非线性映射未知参数的新算法,并以此对Hyperhenón映射和二维抛物映射中的未知参数进行了精确的估计.数值仿真结果表明了该方法的有效性和优点.

关键词：非线性映射参数估计二阶离散变分方法伴随方程

来源：评论

学校读者我要写书评

暂无评论

GPS掩星一维弯曲角算子在四维变分资料同化系统中的实现方法研究

引用

物理学报 2013年第18期62卷 538-545页

作者：朱孟斌张卫民曹小群国防科学技术大学计算机学院长沙410073

GPS无线电掩星资料的良好特性使其作为十分重要的观测资料在欧洲及美国数值天气预报中效果明显.本文设计了一维弯曲角算子在四维变分资料同化系统中的实现方法和质量控制策略.详细阐述了一维弯曲角正演算子及其切线性/伴随算子在全球四... 详细信息

GPS无线电掩星资料的良好特性使其作为十分重要的观测资料在欧洲及美国数值天气预报中效果明显.本文设计了一维弯曲角算子在四维变分资料同化系统中的实现方法和质量控制策略.详细阐述了一维弯曲角正演算子及其切线性/伴随算子在全球四维变分资料同化系统中的实现步骤和过程,其中折射率计算中采用Rüeger的折射率最佳平均因子的三项表达式,计算出更加精确的折射率值.对2012年8月份的GPS无线电掩星资料进行了观测误差统计,引入了更加符合四维变分资料同化系统实际情况的一维弯曲角观测误差模型和质量控制策略.同时,对比了观测误差统计试验中同化GPS无线电掩星资料的模式背景场和未同化GPS无线电掩星资料的背景场的观测误差统计结果,发现同化GPS无线电掩星资料之后的观测误差统计结果在全球区域正作用十分明显,尤其是在中低纬度地区,高度在10 km以上的区域观测误差减小十分明显.

关键词： GPS无线电掩星一维弯曲角算子四维变分同化系统质量控制

来源：评论

学校读者我要写书评

暂无评论

面向交互的主体能力描述和推理方法研究

引用

计算机研究与发展 2006年第8期43卷 1439-1444页

作者：张会李思昆国防科学技术大学计算机学院

主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素·给出了一个面向交互的主体能力描述和推理框架·该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来,可以显式地描述主体之间的交互... 详细信息

主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素·给出了一个面向交互的主体能力描述和推理框架·该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来,可以显式地描述主体之间的交互关系对主体能力的影响并可提供可判定的推理服务·建立了一个用于任务可完成性判定的逻辑系统DTL,并证明了它是可靠、完备和可判定的·

关键词：主体能力描述任务语义描述逻辑

来源：评论

学校读者我要写书评

暂无评论

集合资料同化中方差滤波技术研究及试验

引用

地球物理学报 2015年第5期58卷 1526-1534页

作者：刘柏年张卫民曹小群赵延来皇群博罗雨国防科学技术大学计算机学院长沙410073

本文基于YH4DVAR业务系统构建了集合资料同化试验平台,利用10个集合样本统计得到的流依赖背景误差能显著改进业务应用中背景误差方差的结构和大小.但是受样本数的限制,背景误差方差的集合估计值中引入了大量的随机取样噪声.为了降低噪... 详细信息

本文基于YH4DVAR业务系统构建了集合资料同化试验平台,利用10个集合样本统计得到的流依赖背景误差能显著改进业务应用中背景误差方差的结构和大小.但是受样本数的限制,背景误差方差的集合估计值中引入了大量的随机取样噪声.为了降低噪声对估计值的影响,本文采用谱滤波方法,根据信号和噪声尺度的统计特征构造一个低通滤波器来滤除背景误差方差估计值中的大部分随机取样噪声.在2013年第九号台风"飞燕"的集合方差滤波试验中,10个样本的滤波结果优于30个样本的集合估计值.谱滤波方法的成功应用有效降低了集合资料同化系统对集合样本数的要求,将是集合资料同化系统未来业务化运行的一项不可或缺的关键技术.

关键词：集合资料同化谱滤波截断波数随机取样噪声

来源：评论

学校读者我要写书评

暂无评论

基于高斯伪谱方法的混沌系统最优控制

引用

物理学报 2013年第23期62卷 67-74页

作者：曹小群国防科学技术大学计算机学院长沙410073

针对混沌系统最优控制问题,提出一种基于高斯伪谱方法的数值求解新算法.首先在勒让德-高斯点上构造Lagrange插值多项式并近似表示混沌系统最优控制中的状态变量和控制变量;接着将连续空间的最优控制问题转化为非线性规划问题;然后通过... 详细信息

针对混沌系统最优控制问题,提出一种基于高斯伪谱方法的数值求解新算法.首先在勒让德-高斯点上构造Lagrange插值多项式并近似表示混沌系统最优控制中的状态变量和控制变量;接着将连续空间的最优控制问题转化为非线性规划问题;然后通过序列二次规划(SQP)算法获得最优解;最后对三个典型混沌系统的仿真实验结果表明,新方法能有效和快速地实现混沌系统的最优控制.

关键词：混沌系统最优控制高斯伪谱法非线性规划

来源：评论

学校读者我要写书评

暂无评论

一种基于复数域微分的资料同化新方法

引用

物理学报 2013年第17期62卷 80-88页

作者：曹小群宋君强张卫民赵延来刘柏年国防科学技术大学计算机学院长沙410073

提出了一种基于复数域微分的资料同化新方法.针对变分资料同化中目标泛函梯度计算复杂和精度不高的问题,首先利用复变量求导法把梯度分析过程转化为复变泛函的数值计算,进而高效和高精度地获得梯度值;然后结合经典的最优化方法,给出了... 详细信息

提出了一种基于复数域微分的资料同化新方法.针对变分资料同化中目标泛函梯度计算复杂和精度不高的问题,首先利用复变量求导法把梯度分析过程转化为复变泛函的数值计算,进而高效和高精度地获得梯度值;然后结合经典的最优化方法,给出了非线性物理系统资料同化问题的新求解算法;最后对典型混沌系统和包含"开关"现象的单格点比湿发展方程进行了资料同化数值实验,结果表明新方法能非常有效地估计出非线性动力预报模式的初始条件.

关键词：资料同化复数域微分非线性物理系统梯度分析

来源：评论

学校读者我要写书评

暂无评论

大规模移动自组网络安全技术综述

引用

计算机研究与发展 2007年第4期44卷 545-552页

作者：胡华平胡光明董攀陈新国防科学技术大学计算机学院

移动自组网络具有重要的军事价值和广阔的商业应用前景.其无中心控制、多跳等特征使移动自组网络安全问题更加严峻.特别是,当节点数增加时,网络的组成难度、可用性、安全性都会受到极大的影响.在对国内外有关移动自组网络研究现状综述... 详细信息

移动自组网络具有重要的军事价值和广阔的商业应用前景.其无中心控制、多跳等特征使移动自组网络安全问题更加严峻.特别是,当节点数增加时,网络的组成难度、可用性、安全性都会受到极大的影响.在对国内外有关移动自组网络研究现状综述的基础上,重点对大规模移动自组网络安全涉及的关键技术,如安全模型与安全方案、安全分簇技术、组密钥管理技术等方面的研究现状进行了深入分析与探讨;最后,指出了大规模移动自组网络安全技术的主要研究方向,即:大规模移动自组网络的安全组网技术、移动自组网络的协议安全证明技术、大规模移动自组网络的密钥管理技术、大规模移动自组网络模型模拟和安全性论证.

关键词：移动自组网(MANET) 安全组网技术密钥管理安全性评估

来源：评论

学校读者我要写书评

暂无评论

基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法

引用

计算机学报 2007年第7期30卷 1138-1144页

作者：李暾屈婉霞郭阳刘功杰李思昆国防科学技术大学计算机学院

利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较．首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解．该方法的... 详细信息

利用人工智能最新研究成果——约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较．首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解．该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束．实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高．

关键词：谓词抽象 Verilog约束逻辑编程模型检验符号模拟

来源：评论

学校读者我要写书评

暂无评论

适用于多种监督模型的特征选择方法研究

引用

计算机研究与发展 2010年第9期47卷 1548-1557页

作者：王博黄九鸣贾焰杨树强国防科学技术大学计算机学院

特征选择是模式识别、机器学习、数据挖掘等领域的重要问题之一,近年来已成为研究热点,并涌现出大量的用于选择特征的算法.现有的特征选择算法大多仅面向某一特定领域,其适用范围有限.采用基于Hilbert-Schmidt相关性标准的核方法衡量特... 详细信息

特征选择是模式识别、机器学习、数据挖掘等领域的重要问题之一,近年来已成为研究热点,并涌现出大量的用于选择特征的算法.现有的特征选择算法大多仅面向某一特定领域,其适用范围有限.采用基于Hilbert-Schmidt相关性标准的核方法衡量特征子集与目标对象间的相关程度,提出了一个适用性更广的特征选择方法FSM-HSIC,能较好地统一有监督、半监督和无监督3种模型下的特征选择过程,而且可从核方法的角度对整个过程进行抽象地描述,并深入理解现有的一些算法.同时以该方法为基础针对交互特征选择问题设计了新颖的FSI算法.理论分析和大量真实与仿真实验结果表明,与若干特征选择算法相比较,提出的算法具有良好的效率和稳定性,FSM-HSIC方法对新算法的产生具有重要的指导意义.

关键词：数据挖掘模式识别特征选择核函数方法交互特征稳定性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：