露天矿生产的车辆安排

本文以总运量最小为目标建立整数规划模型,求解中用连续松弛把该问题转化为线性规划模型,使解题难度降低。在满足约束条件的情况,使总运量增加最小的前提下,通过变量的取整改进,使逐渐逼近最优解,本文采用装箱问题来解决此问题,即车辆的调度。模型二在模型一的基础上。对矿石产量最大,总产量最大,总运量最小按优先级高低进行排序,运用目标规划方法建立模型,然后对目标规划进行线性转换,利用Lindo软件求解。     

可逆线性变换的整型化研究

对可逆的线性变换进行了改造，使之成为整数到整数的变换。首先介绍了三类基本的整数可逆变换。在此基础之上，通过对给定线性变换的矩阵分解。给出了一个可逆线性变换整数数可逆变换，在此基础之上，通过对给定线性变换的矩阵分解，给出了一个可逆线性变换整型化的充要条件及其构造方法。变换本身是可逆的，因此非常适合于无失真的数据处理，如语音或图像的无损压缩。     

基于整型小波变换的彩色图像盲水印算法*

针对多数图像水印算法将灰度图像嵌入宿主图像的研究现状,提出了一种基于整型小波变换将彩色数字水印嵌入到彩色宿主图像中的算法。本算法结合人眼的视觉掩蔽特性, 实现了数字水印嵌入位置的自适应确定,同时采用量化小波系数的方法将彩色水印嵌入到彩色图像YCrCb模式的Y分量中去,彩色水印的提取不需要原始水印和原始宿主图像。实验证明,水印具有良好的不可见性,并且对常见的图像处理操作具有很强的鲁棒性。     

基于整型小波变换和嵌入式零树编码的医学图像压缩*

对给定的医学图像采用基于“提升”算法的整型小波变换,对变换后的小波域图像编码。编码时,针对医学DICOM标准的数据结构,在小波零树编码的基础上,根据不同频率子带的小波系数对恢复图像的重要程度进行不同处理。实验证明,该方法视觉效果良好,实现了医学图像的无损压缩,有较好的压缩比和压缩效果。     

基于整型小波变换和嵌入式零树编码的医学图像压缩

对给定的医学图像采用基于“提升”算法的整型小波变换,对变换后的小波域图像编码。编码时,针对医学DICOM标准的数据结构,在小波零树编码的基础上,根据不同频率子带的小波系数对恢复图像的重要程度进行不同处理。实验证明,该方法视觉效果良好,实现了医学图像的无损压缩,有较好的压缩比和压缩效果。     

△∑调制器在分数分频频率综合器中的分析与设计

提出了一种适用于分数分频锁相环频率综合器的全数字噪声整型△∑调制器电路结构新的设计方法,并将其最终实现.采用了流水线技术和新的CST算法优化多位输入加法器结构,从而降低了整体的复杂度和功耗.这种电路结构通过了Matlab的行为级仿真,ASIC全定制实现并流片,该结构也通过VHDL综合实现验证,最后给出的测试结果表明该电路具有良好的性能,可应用于单片千兆赫兹级低功耗CMOS频率综合器中.     

计及整型控制变量的电压-无功功率优化

现有的电压-无功功率优化软件尚不能有效地处理诸如并联补偿装置和 联络变压器附加电势相位角等离散的整型变量，由此导致在实际应用中不能获 得最优的控制效果。本文提出了一种求解计及整型控制变量的电压-无功功率 混合整数优化方法。对一实际电力系统的计算表明：准确地模拟整型控制变量 在电压-无功功率优化中的控制作用，可提供更为理想的和符合实际的控制结 果。     

整型推理量化CNN的SAR图像跨域变化检测

目的 合成孔径雷达（synthetic aperture radar,SAR）特有的成像优势使得SAR图像变化检测在民用和军事领域有着广泛的应用场景,但实际应用中对SAR图像的变化区域进行标注既耗时又昂贵,而且现有的变化检测方法复杂度较高,无法满足实时、快速检测的需求。对此,提出了一种基于整型推理量化卷积神经网络的SAR图像跨域变化检测方法（integer inference-based quantization convolutional neural network,IIQ-CNN）。方法 该方法研究了不同场景之间的跨域变化检测问题,即利用已有标记的源域数据对未知的目标域数据进行检测;设计了同时使用时相图和差异图的样本构建方法,既避免了检测结果对差异图的过分依赖,又能充分利用差异信息和时相图与差异图之间的共享信息,提高检测精度;并且在变化检测任务中首次引入整型推理量化技术,对深度网络模型进行模拟量化,减小模型复杂度并加速推理时间。结果 在４组真实的SAR图像数据集上进行实验,从检测性能上看,IIQ-CNN与其他CNN方法相比,Kappa系数提高了4.23%～9.07%;从量化能力上看,对IIQ-CNN分别进行16、8和4位量化,仅在4位量化时检测结果有较明显下降,在16和8位量化时,模型都保持了较好的检测性能,并且推理时间明显减少。结论 本文方法有效解决了伪标签质量对变化检测性能的影响,实现了加速推理的同时较好地保持模型检测精度的目的,促进了变化检测算法在嵌入式设备中的应用。     

C＋＋中超长整型类型的构造与实现

在C 中对整型类型进行扩展,使该种类型定义的数据在操作上不受数据范围的限制.采用的原理是面向对象技术,用字符串存放数据,运算符重载来提供运算,并将数据和操作进行封装,以标准的接口提供服务,最终用户可以像使用基本类型一样地使用它.这种类型可广泛用于计算机代数中.     

返老还童

在每个当下我们的心都在追求不属于当时的感觉,勇于面对年龄真相的女人们,只要不放弃追求新知的热情,加上适宜的时尚装扮绝不可马虎,就算不能返老还童,但仍是魅力万丈。