Gauge积分在HOL4中的形式化

积分是许多数学理论的基础,如实数分析、信号与系统中微分方程的求解等等。Gauge积分是黎曼积分在闭 区间上的推广,应用更加方便。将Gauge积分的运算性质在HOL4 (Higher-Order Logic 4)中形式化,包括积分的线 性运算性质、积分不等式、分部积分、积分分裂定理、子区间的可积性、对特殊函数的积分的形式化及积分极限定理、柯 西可积准则,并根据相关性质对反相积分器进行了验证。     

基于辅助函数积分不等式的不确定转移率的Markov跳变神经网络的稳定性分析

研究具有区间时变分布时滞和不确定转移率的Markov跳变区间时变时滞神经网络的稳定性问题.通过充分考虑转移概率的性质和不确定区域的特性,用一个有效的技术代替传统的Young''s不等式来约束转移率中的不确定项.同时,利用增广的李雅普诺夫泛函和具有较小保守性的辅助函数积分不等式,给出新的时滞依赖的稳定条件.仿真结果验证了所提出方法的有效性.     

带有时变时滞和不确定性拓扑的双积分系统的一致性

研究带有不确定性拓扑的双积分系统在有时滞的情况下的一致性问题,通过线性矩阵不等式的方法,得到一致性的充分条件。本文最大的贡献是考虑双积分系统,在有不确定性信息和时变时滞的情况下,找出控制协议使其一致。最大合适的时变时滞和不确定性可以由线性矩阵不等式得到。最后给出仿真,证明定理的有效性。     

基于进化策略的广义积分计算方法研究

提出了一种基于进化策略算法的广义积分计算新方法,该方法根据被积函数的变量区间任意选取分割点,作为进化策略的初始的群体,通过进化策略算法来优化这些分割点,最终可得到一些最优的分割点,然后再求和,再根据和函数定义适应度函数,在给定的终止条件下,可获的精度较高的积分值.最后,以广义积分(无穷积分),二重广义积分(瑕积分)为例,仿真结果表明,该算法相比传统的一些方法,具有计算精度高,自适应性强等特点.     

粗积分与函数粗集的粗糙度

在函数粗集的基础上给出了下近似积分、上近似积分与粗积分的概念,利用这些概念不仅给出了粗积分的可分辨关系、不可分辨关系、有限萎缩性和有限扩张性定理,还定义了函数粗集的精度与粗糙度及二者之间的一些关系,并给出函数粗集的筛选-剩余原则。     

K-积分模意义下折线模糊神经网络的泛逼近性

为克服模糊数运算的复杂性引入折线模糊数的定义,利用折线模糊数的优良性质获得了两个重要不等式,并给出实例说明折线模糊数的逼近能力有效.其次,引进K-拟可加积分和K-积分模概念,在折线模糊数空间满足可分性的基础上,借助于模糊值简单函数和模糊值Bernstein多项式研究了若干函数空间的稠密性问题,获得了可积有界模糊值函数类依K-积分模构成完备可分的度量空间.最后,在K-积分模意义下讨论了四层正则折线模糊神经网络对模糊值简单函数的泛逼近性,进而得到该网络对可积有界函数类也具有泛逼近性.该结果表明正则折线模糊神经网络对连续模糊系统的逼近能力可以推广为对一般可积系统的逼近能力.     

求解定积分的概率算法

设计了一种计算定积分的概率算法,该算法对复杂的定积分计算,特别是被积函数是分段函数或存在有限个间断点的情形十分有效.算法依据概率论的强大数定理,通过向某一固定区域随机投点的方法产生随机数,统计其分布规律,并引入了遗传算法进行辅助计算.基于该算法中的样本的随机特性,可充分利用网络环境进行并行计算.数据实验结果表明,算法是可行的和鲁棒的.     

连续等距区间上积分值的二次样条插值

目的 在现实中,某些插值问题结点处的函数值往往是未知的,而仅仅已知一些区间上的积分值。为此提出一种给定已知函数在连续等距区间上的积分值构造二次样条插值函数的方法。方法 首先,利用二次B样条基函数的线性组合去满足给定的积分值和两个端点插值条件,该插值问题等价于求解n+2个方程带宽为3的线性方程组。然后,运用算子理论给出二次样条插值函数的误差估计,继而得到二次样条函数逼近结点处的函数值时具有超收敛性。最后,通过等距区间上积分值的线性组合逼近两个端点的函数值方法实现了不带任何边界条件的积分型二次样条插值问题。结果 选取低频率函数,对积分型二次样条插值方法和改进方法分别进行数值测试,发现这两种方法逼近效果都是良好的。同样,选取高频率函数对积分型二次样条插值方法进行数值实验,得到数值收敛阶与理论值相一致。结论 实验结果表明,本文算法相比已有的方法更简单有效,对改进前后的二次样条插值函数在逼近结点处的函数值时的超收敛性得到了验证。该方法对连续等距区间上积分值的函数重构具有普适性。     

非线性系统在乘积空间中的实用稳定性：直接方法

本文研究非线性系统的乘积空间中的实用稳定性,利用向量辅助函数和适当的单调函数类,提出一种以微分比较原理和基本的单调性准则为基础的直接方法,它将问题归结为一组微分或积分（特殊地,代数）不等式条件,可以直接根据系统方程进行检验而无须引入并求解任何形式的比较系统,便于实际应用,文中给出了示例。     

多层积分值三次样条拟插值

目的 在实际问题中,某些插值问题结点处的函数值往往是未知的,而仅仅知道一些连续等距区间上的积分值。为此提出了一种基于未知函数在连续等距区间上的积分值和多层样条拟插值技术来解决函数重构。该方法称之为多层积分值三次样条拟插值方法。方法 首先,利用积分值的线性组合来逼近结点处的函数值;然后,利用传统的三次B-样条拟插值和相应的误差函数来实现多层三次样条拟插值;最后,给出两层积分值三次样条拟插值算子的多项式再生性和误差估计。结果 选取无穷次可微函数对多层积分值三次样条拟插值方法和已有的积分值三次样条拟插值方法进行对比分析。数值实验印证了本文方法在逼近误差和数值收敛阶均稍占优。结论本文多层三次样条拟插值函数能够在整体上很好的逼近原始函数,一阶和二阶导函数。本文方法较之于已有的积分值三次样条拟插值方法具有更好的逼近误差和数值收敛阶。该方法对连续等距区间上积分值的函数重构具有普适性。     

Zodiac算法的零相关-积分攻击

Zodiac算法是一种由一批韩国学者设计的分组密码算法,它是16轮平衡Feistel型的分组密码。首次从零相关-积分分析的角度评价了Zodiac算法的安全性,构造出算法的两类13轮零相关线性逼近,并据此给出了13轮零相关-积分区分器,对全轮Zodiac算法进行了零相关-积分分析,成功恢复出了144bit轮子密钥信息。结果显示:完整16 轮Zodiac-128/192/256算法的零相关-积分攻击的数据复杂度为2¹²⁰个选择明文,时间复杂度大约为2⁸²次16轮Zodiac算法加密,时间复杂度明显优于已有的积分攻击结果。     

计算机编程求解定积分及其在经济中的应用

定积分在经济学中有着广泛的应用,而且内容十分丰富,利用计算机语言编制通用的求解定积分等运算程序来解决了这一问题。给出实用的Demo．c程序并计算了经济活动中的消费者剩余和生产者剩余这方面的具体问题。     

整数变换在VLIW DSP上的优化与仿真

支持超长指令字（Very Long Instruction Word，VLIW）DSP的应用越来越广泛，而H．264视频压缩算法在向此类DSP平台上移植时，由于程序结构设计不合理、数据结构冗余等原因，导致缓存命中率下降，DSP的利用率降低。因此研究最新的视频压缩算法H．264／AVC在此类DSP上的优化就显得越发重要。文中介绍了VLIW DSP的体系结构特点，并研究分析了基于这些特点而提高H．264中整数变换模块运行速度的优化方法，最后在VLIW DSP平台上利用这些方法对H．264的整数变换模块进行了优化与仿真。优化后的整数变换速度为优化前的2倍以上。     

网上国网积分中心的设计与实现

为缓解公司供电服务矛盾转变为“客户日益增长的优质服务需要与服务方式发展不平衡、不充分发展的矛盾”的现象,本文通过对网上国网积分中心的设计,基于制定积分规则下实现对积分生成、转化的管理以及对外输出统一的电费积分的派发、扣减、查询等服务,进而有效的对电费积分的从生成到耗尽的全生命周期的管理,实现客户聚合、业务融通、数据共享的统一积分中心,助推公司从电力供应商向综合能源服务商转型升级的发展模式转变。     

Integral minimum variance control and benchmarking

A minimum-variance control problem is defined that involves the minimisation of the integral of estimation error. This introduces integral action into the controller. It is believed that the resulting solution is more valuable for closed-loop performance assessment and benchmarking, than the usual minimum-variance results. This is because most industrial controllers need to have integral action and hence the proposed benchmark, which is based on a controller that includes an integrator, will often be more appropriate. The advantage over many other benchmarking methods lies in the simplicity of the results. The situation where the controller structure has a limited, or restricted structure, is also considered. That is, a method is presented where the controller structure may be prespecified, and the coefficients obtained by direct parameter optimisation. This provides a more direct basis for comparison with controllers implemented in existing plants, that may only include, say PID, restricted structures.     

基于PLC的仿人智能积分控制器

仿人智能积分控制算法,对系统的参数不敏感,具有较强的鲁棒性和抗十扰能力.文章将目前广泛应用的PLC与仿人智能控制相结合,形成一种先进智能PID控制算法.仿真结果显示,对大时滞、非线性等难以建立精确数学模型的复杂系统,该算法达到满意的控制效果.     

计算机生成三维全景图像研究现状与发展

三位全景图像Integral Imaging(Ⅱ)是一种采用微透镜阵列来记录和显示全真三维场景的图像技术,它的一些突出特点使其在三维电视(3DTV)和可视化领域有着广泛的应用前景.但由于受硬件设备及光学成像本身的限制,目前使用计算机生成三维全景图像(CGⅡ)已成为三维全景图像研究的一个重要手段.本文从三维全景图像技术的原理出发,系统地整理分析了CGⅡ的研究文献,对计算机生成三维全景图像的研究现状和关键问题进行了详细的分析,提出了计算机生成三维全景图像技术未来的发展趋势.     

一种基于双极工艺的积分型单稳态结构设计

经过对积分型单稳态原理的分析,设计了一种基于双极工艺的积分型单稳态结构。spectre仿真结果表明,该种单稳态结构只有一个稳态和一个0.5μs的暂稳态。并且暂稳态的时间与触发脉冲时间无关,只与电路结构有关。     

误差积分准则下PID近似最优控制参数的整定方法

介绍了一个求误差积分性能准则下PID近似最优控制参数的简单方法，该方法具有计算量小、实现容易的特点，可以方便地用于单片机为基础的数字PID调节器控制参数的在线整定，具有比较高的实用价值。     

Integral distinguishers for reduced-round Stribog

In January 2013, the Stribog hash function officially replaced GOST R 34.11-94 as the new Russian cryptographic hash standard GOST R 34.11-2012. In this paper we investigate the structural integral properties of reduced-round versions of the Stribog compression function and its internal permutation. Specifically, we present forward and backward higher order integrals that can be used to distinguish 4 and 3.5 rounds, respectively. Using the start from the middle approach, we combine the two proposed integrals to get 6.5-round and 7.5-round distinguishers for the internal permutation and 6-round and 7-round distinguishers for the compression function.