基于整数小波变换的高质量视频压缩技术

在分析MPEG4中精细可分级编码方案的基础上，提出了一种基于整数小波变换的准精细可分级编码算法，试验结果表明该算法能够满足高质量视频压缩的需要。     

关于丢番图方程x^3±1=2Dy^2

给出了当Ｄ含６ｋ＋１型素因子时，方程ｘ＾３±１＝２Ｄｙ＾２无正整数解的充分性条件。     

关于丢番图方程 x~3 ± 512 = Dy~2

用初等方法研究了丢番图方程ｘ３±５１２＝Ｄｙ２，并给出了无非平凡整数解的充分性条件．     

Capacitated facility location problem with general setup cost

This paper presents an extension of the capacitated facility location problem (CFLP), in which the general setup cost functions and multiple facilities in one site are considered. The setup costs consist of a fixed term (site setup cost) plus a second term (facility setup costs). The facility setup cost functions are generally non-linear functions of the size of the facility in the same site. Two equivalent mixed integer linear programming (MIP) models are formulated for the problem and solved by general MIP solver. A Lagrangian heuristic algorithm (LHA) is also developed to find approximate solutions for this NP-hard problem. Extensive computational experiments are taken on randomly generated data and also well-known existing data (with some necessary modifications). The detailed results are provided and the heuristic algorithm is shown to be efficient.     

基于利润最大化的奥运商业网点分布微观经济模型

本文首先通过多元统计分析发现了统计数据中的一般规律,并讨论了数据中所反映出的某些与常识不一致之处。在通过图论的有关知识确定观众进出体育场馆的模式之后,我们建立了一个简单实用的基于成本利润分析的整数规划模型。通过Lingo、Matlab软件的模拟,该模型与现实环境和有关经济理论拟合较好,可以为2008年奥运会迷你超市的设置提供一定的参考。     

质量屋优化的混合整数规划模型

利用QFD(Quality Function Deployment)进行产品规划决策时,根据已建立的质量屋中的信息,帮助设计人员确定满足顾客需求的技术特征目标值,用于指导新产品开发,是质量屋决策的最终目标。已有的规划模型大多不能直接给出技术特征目标值,且在建立模型中没有分开考虑离散型技术特征,而是把离散型技术特征和连续型技术特征等同考虑,从而使得规划结果不能很好反映实际情况。笔者充分利用质量屋中的信息,同时考虑离散型技术特征,提出了一个质量屋优化的混合整数规划模型,并给出了实例。     

用广义上界算法解大型供应链问题

信息技术和生产率的发展以及全球经济一体化的发展趋势，使供应链成为全世界管理科学的热点.本文在阐述供应链基本数学模型的基础上，系统论述了用改进的广义上界(GUB)算法求解大型供应链问题的计算方法．     

水利水电工程投资方案排序与选择的模型研究

水利水电工程投资项目优选包括方案排序与选择两个相关联的部分,根据该类问题特点,将其概化为“无约束方案排队问题”和“有约束方案选择问题”,并相应提出了基于层次分析和熵权的逼近于理想解排序模型与多目标模糊整数规划模型.实例研究表明,将方案选择的多目标决策问题分为两个步骤来研究是非常必要的,对方案优选进行多目标定量分析更是今后的发展方向.     

一种基于GPS单差模型的姿态解算算法

针对采用双差模型无法克服双差观测量的强相关性这一问题,以观测量不相关的单差模型为基础,提出一种可递归处理的定姿算法.该方法用码观测量辅助载波相位观测值,增加了信息量,通过递归估计模糊度浮点解及其方差协方差矩阵,从而可以利用LAMBDA算法估计整周模糊度.该算法计算量较小,且具有数值稳定性.实验结果表明,该算法的初始化时...     

二进制代码中整数型漏洞挖掘和利用技术

通过对以往二进制挖掘模型的研究,提出了一种新的二进制代码整数型漏洞挖掘方法模型,该模型综合运用了Fuzzing、逆向工程和符号执行等相关技术。首先利用逆向分析锁定与整数漏洞相关的代码部分,获得数据相关类型操作,检测敏感函数,构建函数结构流图,确定整数漏洞相关的代码部分;其次通过对汇编代码的符号执行,获得代码的输入输出关系和路径约束条件,调整Fuzzing的输入,这些可以大大提高Fuzzing的路径覆盖和效率。本模型使得二进制整数型漏洞的挖掘准确性得到了一定程度的提高。