AVS-P3音频解码器的算法优化

基于嵌入式系统应用中实时解码对速度和存储空间的要求，通过分析AVS—P3解码器原理及其技术特点，以AV3 release version1为蓝本对AVS音频解码器进行结构和算法上的优化．其中时频变换模块对intIMDCT算法进行分析与处理，量化模块定点化处理和AVS解码器熵解码模块的实现算法提出了新的方法．经过ARM9平台测试，在音乐质量没有受到损害的前提下，解码速度比原来提高10倍以上，存储空间也减少了一半以上．     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

我国粮油检验方法标准已与国际接轨

从国家粮食局获悉，我国粮油产品质量安全限量标准和检验方法标准与国际标准及发达国家标准已基本一致，采标率接近100％。 近年来，国家粮食局结合我国粮食生产和流通的实际情况，提出了“粮油产品标准尽量采标，粮油安全与检验方法标准全面采标”的工作目标，加强了采标的研究和验证，扎实推进我国粮油标准与国际标准的接轨。     

星体几何不等式的一种抽象形式

本文研究了拓广型星体的对偶Minkowski不等式.利用星体族的径向乘法、径向幂运算和多元型对偶混合体积的概念和积分的方法,得到了对偶Minkowski不等式的多元抽象形式,并将所得结果应用到积分几何学,得到了一个正数列非任意凸体的弦幂积分列的判定条件.     

一个新的线性规划无人工变量算法

本文研究了线性规划的求解问题.利用对偶转化的方法,获得了一个计算效率高的新的无人工变量通用算法.该新算法比最近提出的无人工变量算法push-to-pull算法效率更高.     

圆锥曲线中几类典型问题的求解方法

圆锥曲线是解析几何的主要内容，也是高考考查的重点，圆锥曲线所涉及的问题很多，但主要有以下几个典型问题：弦长问题，垂直问题，范围问题，向量问题，我们应该掌握求解这些问题的基本方法和基本策略。     

特殊化方法在数学解题中的应用

辩证唯物主义认为:矛盾的普遍性寓于矛盾的特殊性之中,即共性寓于个性之中,共性通过个性来表现,没有脱离共性的个性,也没有脱离个性的共性.人类的认识活动,总是先认识个别的、特殊的事物,通过概括和推理来认识一般事物的.很多数学问题,其特殊情况与一般情况存在共性,     

Existence of multiple fixed points for nonlinear operators and applications

In this paper, by the fixed point index theory, the number of fixed points for sublinear and asymptotically linear operators via two coupled parallel sub-super solutions is studied. Under suitable conditions, the existence of at least nine or seven distinct fixed points for sublinear and asymptotically linear operators is proved. Finally, the theoretical results are applied to a nonlinear system of Hammerstein integral equations.     

半导体表面气体分子吸附机理的光伏研究

通过对p型和n型的同一硅单晶样品分别置于大气、氧气、氮气的不同氛围中所进行的各有关表面参量的光伏测算，分析了同一样品处于不同氛围中，以及不同导电类型的样品处于同一氛围中的测算结果的变化规律，探讨了出现这一规律的内在机理，解释了各有关的物理现象. 关键词： 半导体表面 气体分子 吸附机理 光伏方法