关于线性规划最优解唯一的几点注释

文章改进了线性规划问题最优解唯一存在的充分必要条件，同时也修正和弥补一些教材或专著在此问题上的错误和不足．     

广义V-I型多目标规划ε-有效解的充分性

利用对称梯度，定义了一类非光滑多目标规划的V-Is,ε型、拟V-Is,ε型和伪V-Is,ε型等几个广义向量，型不变凸性概念，得到了涉及这些新广义弘，型不变凸性的多目标规划的一些最优性充分条件。     

对Talmy运动事件类型学的纠偏

从Talmy运动事件类型学的缺陷入手,认为现有修补方案并未触及其症结,即对概念化主体的识解维度的忽视,因而未能对主观性语义特征给予类型学上的重视,导致对指示范畴的处理不当。作为言者主观性在运动事件中的编码,运动指示理应被视为运动事件语义学的核心要素之一。因此,主张将指示范畴从原有类型学参数中析出,作为运动的主观识解维度。探讨不同语言中运动指示的编码差异,有利于纠正Tamly运动事件类型学的偏颇之处。     

一类带Neumann边界条件的半线性椭圆方程最小能量解的唯一性

研究了一类带Neumann边界条件的半线性椭圆方程,利用伸缩变换和RN上的椭圆方程解的性质,得到了此类方程当d充分小时最小能量解的唯一性.     

一类非线性偏微分方程的对称研究

利用待定系数法研究了一类任意阶偏微分方程的对称，并将此方法应用到Rosenau—Hyman方程，得到了该方程的对称，从而证明此方法对于一维偏微分方程的可行性。     

定积分的三角Hermite插值小波算法

本文给出了一种求一般函数的定积分的小波方法.首先介绍了三角Hermite插值小波及其相关性质,利用三角Hermite型插值小波算子定义,推导出了求一般函数的定积分的计算公式,给出算例,结果表明此算法具有较高的精确度.     

VANET运动模型解析解与数值解的比照分析

依据车载自组织网络(VANET)的高移动性特征分别建立VANET运动解析模型与运动仿真模型.通过两种运动模型得到VANET度分布的解析解与数值解.对它们进行比照分析,发现两种度分布曲线均呈现出小度值的节点个数众多、大度值节点个数较少的特点,符合幂律函数分布,由此证明VANET是一个无标度网络.另外,从理论分析与仿真实验两个角度证明,VANET对随机性攻击具有较高的鲁棒性,但对针对性攻击则表现出网络的脆弱性.     

基于惯性测量器件的无线步态分析平台

步态定量测量方法应用于许多领域,如临床医学、双足机器人控制等.采用惯性测量单元结合无线传感器网络建立了一个步态分析平台,将两个无线惯性测量单元传感器节点分别绑定在左右双侧脚踝,以同时采集双脚运动过程中的加速度和角速度信号,并将其通过无线方式发送到远程终端.通过模式识别、时间序列分析、阈值检测和零速修正等多种数据融合方法计算步态参数,并通过融合双足传感器数据得到双支撑相、双脚步行周期等重要的双足步态参数,其中双支撑相参数对人体日常动作的识别有重要意义.实验结果显示该研究具有较高的计算精度.     

不对称内存计算平台OLAP查询处理技术研究

给出了一种面向当前和未来不对称内存计算平台的OLAP查询处理技术.不对称内存计算平台是指配置有不同计算类型的处理器、不同存储访问设备的计算机,因此需要对OLAP查询处理模型按不同的计算特点进行优化存储配置和实现算法设计,从而使OLAP查询处理的不同阶段更好地适应相应的存储与计算设备的硬件特点,提高硬件设备的利用率,更好地发挥硬件的性能.提出了3阶段OLAP计算模型,将传统基于迭代处理模型的OLAP查询处理过程分解为计算密集型和数据密集型负载,分别由功能完备的通用处理器和并行计算能力强大的协处理器分而治之地完成,并最小化不同存储与计算设备之间的数据传输代价.实验结果表明基于负载划分的3阶段OLAP计算模型能够较好地适应CPU-Phi不对称计算平台,实现通过计算型硬件加速计算密集型负载,从而加速整个OLAP查询处理性能的目标.