XOR-MAC消息认证码的安全性新证明

消息认证码（Message Authentication Codes---MACs）是保证消息完整性的重要工具。Bellare 等人提出了称为XOR-MAC的消息认证码，界定了攻击者成功伪造的概率，从而证明了其安全性，但是他们给出的证明方法较为复杂。本文使用Game-Playing 技术采用新的安全性定义证明了XOR-MAC的安全性，证明方法简单明了；在底层所使用的分组密码是伪随机置换的假设下，量化了该消息认证码与随机函数之间区分的概率。     

《纠错码》课程教学中的新概念

纠错码是应用数学及通信工程专业的一门重要专业课,纠错码理论一直在不断地丰富和发展,并且纠错码的应用领域也在不断地扩展。本文根据我们多年来对纠错码课程教学实践的积累,重点介绍纠错码应用领域里两个新概念-纠缠辅助的量子纠错码和DNA纠错码。     

无需信源数目的声矢量阵相干源方位估计算法

针对相干源方位估计问题,本文在PVFS(Particle Velocity Field Smoothing)算法的基础上,提出一种新的算法。该算法通过对PVFS算法构造出的协方差矩阵进行特征值分解,利用得到的特征值及特征向量构造新的噪声子空间,然后运用子空间原理实现相干源的方位估计。该算法无需已知相干源的信源数目且不会损失阵列孔径,具有较好的相干源方位估计性能,计算机仿真结果验证了本文算法的有效性。     

网络环境下合作技术创新界面与信息状态研究

借鉴流体力学与热力学的研究成果,对企业合作技术创新过程中的界面问题产生的成因及其对信息流动状态的影响进行模拟分析,构造出信息流动判数Jm,对界面以及信息流动状态的定量研究提供新的思路。     

元极学结构与开放逻辑理论

对比西方数理科学数形语言框架的演变,说明元极图模型采用了基于整体性观点的象数语言框架,这种框架对于事物结构状态与演化的描述是统一的,且把类比逻辑做为一种基本的推理计算工具。由于整体性内涵的存在,元极学结构的逻辑构造是一种超越形式的动态逻辑,可以用刻画知识增长,认识进程的开放逻辑理论来理解,它代表了一种不同于西方数理科学的学科范式,且对于未来科学是极有价值的,对于元极学逻辑体系来说,一个根本性的难点     

基于边缘逆理论的辨识系统并行查询扩展算法

多源数据辨识系统广泛应用在机载数据辨识控制、大型机械设备故障诊断和云存储系统数据库集成等领域。对多源数据的辨识系统并行查询和数据调度中,因数据的静态非线性测量过程影响了查询效益,需要对辨识系统并行查询链路进行扩展。提出一种基于振幅调节Fourier变换边缘逆理论的辨识系统并行查询扩展算法。进行多源数据辨识系统基本构造和模型设计,提取查询特征信息,采用RBF神经网络系统进行多源数据输入自适应学习,构建神经网络辨识系统的边缘逆向量,采用边缘逆理论进行振幅调节Fourier变换实现多源查询数据的状态重组,实现查询链路扩展设计改进。仿真结果表明,该算法提高了辨识系统的查询通道的链路相位,多源数据调度的时间成本及空间成本大幅降低,加速比提高,算法将在系统状态识别、机械故障智能诊断等领域具有较高的应用价值。     

浙江淳安潘家铜钨多金属矿S、Pb同位素地球化学研究

浙江淳安潘家铜钨多金属矿是浙西新近发现的大-中型地层-构造-岩浆综合控制型矿床,矿体主要产于大铜坑岩体与震旦系蓝田组中及其接触带。本文尝试运用黄铁矿S、Pb同位素示踪的方法探讨矿床成矿物质来源。矿区黄铁矿硫同位素组成δ34S值集中在3.7%~5.3%,且花岗闪长斑岩-蚀变花岗闪长斑岩-角岩化围岩中δ34S值有逐渐增加,反映了硫质应为侵入岩体与沉积地层两个端元的有效混合,且以岩浆源为主的地幔源区特征;Pb同位素组成为高放射成因的Th-型异常铅,同位素组成μ(238U/204Pb)值特征、Zartman构造模式图、Δγ-Δβ成因分类图解显示,矿区铅具沉积成因和岩浆成因两种形成机制,前者为壳源,后者为幔-壳混源。综合研究显示,蓝田组地层和大铜坑岩体均为成矿母岩,且以后者为主,成矿物质为幔-壳混合源区。     

一个关于MAC伪随机性与不可伪造性的注记

文献[1]证明了XOR-MAC的伪随机性,即XOR-MAC的标签生成算法和随机函数不可区分,进而宣称给出了XOR-MAC的安全性新证明.本文通过对Wegman-Carter MAC的研究, 说明了随机的或者带状态的MAC的伪随机性并不意味着MAC的安全性,即不可伪造性.     

基于业务量化模型的电网对标联动管控研究与实现

随着社会的发展,企业之间的竞争日益剧烈,对标管控有着十分重要的意义。对标管理中"指标数据与相应业务源数据对接"、"指标状态变化预警阈值"等问题成为实施闭环管理,推动公司对标工作规范、高效、有序开展的重要组成部分。本文通过构建层次化分析模型,业务源与指标数据之间构造数学模型,分析指标变化状态级别,建立指标与业务之间的紧密联系,并引入粒子群算法进行优化,求解预警触发值,构建省市一体的指标预警改进提升管控体系,提出对标联动管控体系,确定联动管控目标机制,切实与公司对标水平和管理水平的提升相辅相成。     

天下万象

地震趣谈南北极从没发生过地震在地震史上,地球的南、北极地区还从未发生过任何级别的地震,这一奇异的地质现象一直是地质学界的一个未解之谜。美国的科学家经过30多年的观测研究认为,巨大的冰层是造成南极大陆和北极的格陵兰岛内陆地区没有发生过任何地震的主要原因。据多年观测统计,南极大陆和格陵兰岛的冰雪覆盖面分别达到90%和80%,且冰层厚度大。由于冰层的压力,其底部几乎处于“熔融”状态,同时由于冰层面积大且份量重,在垂直方向产生强烈的压缩,而这种冰层形成的巨大压力,与地层构造的挤压力达到了平衡,因而不会发生倾斜和弯曲,所以分…     

软土压缩曲线特征

室内土工测试技术发展迅速,利用三轴仪可以模拟更普遍的应力状态和排水条件,但是,压缩仪因其构造简单、操作方便,且能满足一般工程设计需要,故至今仍然是应用最广泛的一种测试仪器。     

密码算法在智能卡上的应用发展综述

本文论述了近年来与智能卡应用相关的各种密码算法的发展情况,主要内容包括：消息认证码、各种分组密码和流密码的发展概述,以及RSA算法的发展和椭圆曲线密码的发展现状。     

物探技术在煤矿地质工作中的应用

<正>为解决淮南煤田新集片区构造复杂程度普遍偏高,伴生构造较发育,造成矿井生产效率低且安全风险较大的问题,采用先进的物探技术对煤岩层、构造进行对比分析,能够准确的查明影响煤矿开采的地质构造因素,从而达到保障了煤矿安全高效生产的目的。     

基于非线性系统的控制律设计

微分几何理论为非线性系统反馈设计提供了强有力的工具。本文将系统地推导一类零动态不稳定系统的镇定方法。这个方法构造出关于系统线性部分二次型的Lyapunov函数,通过该构造抵消非线性项来设计本文新的控制律,这个控制律使该非线性系统状态空间模型的外部动态和内部动态达到稳定。最终该控制律使整个系统稳定。     

内蒙古巴根黑格其尔铅锌矿矿体特征及成因探讨

内蒙古巴根黑格其尔铅锌矿经过几轮勘查目前已达到中型矿床规模,该矿床赋矿围岩为侏罗系白音高老组安山质凝灰岩,主要控矿构造为断裂构造。燕山期中酸性岩浆岩为主要的成矿物质来源和热源。目前矿山已发现3条矿体,其中45号矿体为主矿体,49号矿体与主矿体平行位于45号矿体下盘。51号矿体位于45号矿体南侧,与45号矿体同处于一个断裂构造带内。通过分析矿体特征,探讨其控矿因素,并对未来矿山未来找矿方向进行预测。     

论构造对数学思维发展的支撑作用

本文就数学思维活动中的构造问题提出探讨。通过对构造与函数和极数、构造与行列式、构造与几何等关系的具体分析入手,考察论题条件与结论之间的关系,并结合思维活动中的类比、联想和问题意识等,阐述构造对于数学思维发展的支撑作用。     

通过构造函数推得积分不等式

如果一函数在某一区间上连续且单调递减,能够构造辅助函数,通过对其进行严格的数学推导,于是得到该函数的单调性,然后进一步推得一个积分不等式,并对该结论进行了推论及进一步推广。     

柴北缘沉积相特征分析——鄂博梁地区新近系为例

为了分析柴北缘鄂博梁地区沉积相展布特征,根据野外露头剖面和岩心观察,结合钻井录井等资料,研究柴达木盆地北缘新近系的沉积相类型和沉积平面展布特征。距离物源区较近的鄂博梁Ⅰ和Ⅱ号构造带发育冲积扇-扇三角洲-湖泊沉积体系;远离物源的鄂博梁Ⅲ号构造带发育冲积扇-辫状河-辫状河三角洲-湖泊沉积体系。     

浅谈发电厂AVC系统在网源协调中的应用

“网源协调”是指发电机组与电网的协调管理,通过对发电机组、升压站等与电网密切相关的设备管理,保证发电机组和电网的安全稳定运行。AVC通过励磁调节器(AVR)调节发电机机端电压/无功达到主站控制目标,进行实时最优闭环控制,满足全网安全电压约束条件下的优化无功潮流,从而使电网尽可能地保持在最优无功运行状态或附近,以达到提高电压合格率,降低电网能量损耗的目的。     

基于粗糙集的BP神经网络设计

传统的神经网络对于简单、具有明确分类界限的数据,可以有较好的计算结果,但是在输入属性集合较大、分类界限不明确的情况下,会出现收敛效率和分类准确率较低,甚至会出现不收敛状态。本文利用Rough集的理论,对输入数据不停地进行样本检测,对输入特征不停地进行筛检,以此达到删减输入特征数的目的,从而提高对输入数据的拟合。通过对采集到的脑电信号进行验证,达到删减特征数和提高分类准确度的目的。