Research on secure buyer-seller watermarking protocol

A new buyer-seller watermarking protocol is proposed by applying a double encryption method and a novel mechanism of embedding a buyer＇s watermark. The protocol can effectively prevent against collusion attacks and the man in the middle attack if the third party is not trusted. Also, based on the proposed scheme for the first-hand transaction, a new buyer-reseller watermarking protocol and a formal multi-party watermarking protocol are also proposed. The proposed buyer-resell watermarking protocol only needs the original seller to provide transfer certificate and encryption-decryption service to support the second-hand transaction, and the multi-party watermarking protocol with distributed certificate authorities can overcome the difficulty in the combination of multicast mechanism with multiple unique watermarks and allow a seller to multicast the watermarked digital contents and key transaction information to n buyers. Furthermore, the idea of zero knowledge proof is also applied into the proposed scheme to allow the seller to take an effective control on the task performed by the third party.     

Exploration of TCM Masters Knowledge Mining

Traditional Chinese medicine （TCM） has a rich knowledge about human health and disease by its special way evolved along a very long history. As modern medicine is achieving much progress, arguments and disputes toward TCM never end. To avoid losing precious knowledge of living TCM masters, endeavors have been engaged to systematic collection of those knowledge of TCM masters, such as their growth experiences, effective practical cases toward diseases and typical therapeutic principles and methods. Knowledge mining methods have been expected to explore some useful or hidden patterns to unveil some mysteries of the TCM system. In the paper, some computerized methods are applied toward those collected materials about some living TCM masters in China mainland to show a different way of exposing essential ideas of those TCM masters by correspondence visualization which aims to help people understand TCM holistic views toward disease and body, and facilitate tacit knowledge transfer and sense-making of the essence of TCM. The work is one kind of qualitative meta-synthesis of TCM masters＇ knowledge.     

含有铁磁迟滞非线性系统的反步控制及仿真

铁磁迟滞特性反映的是磁性材料中的迟滞作用.研究一类含有铁磁迟滞特性的不确定非线性系统的跟踪控制问题.将铁磁迟滞模型近似处理成线性输入项和有界的非线性扰动项,使得控制器设计易于实现.将迟滞模型融入控制器的设计过程中有效地消除了迟滞作用对系统的影响,避免了构造复杂迟滞逆模型需要精确迟滞模型表达式的限制.采用自适应反步控制方法,所设计的控制器使系统的输出快速跟踪上给定信号,跟踪误差在一个很小的范围内波动,保证了闭环系统的全局稳定.仿真研究验证了该设计方法的有效性.     

窄带相参雷达调制谱超分辨处理方法

针对采用时分体制下窄带相参雷达对单个目标的连续跟踪时间变短,导致频谱分辨率降低的问题,提出了一种连接不同时间段回波信号的方法。该方法利用MUSIC算法估计窄带雷达时域回波的模型参数,然后用该模型连接不同时间段信号。通过该方法,可以提高窄带相参雷达时分多目标跟踪时的频谱分辨率,有利于调制谱特征的提取。对仿真和实测数据的分析处理验证了该方法的有效性。     

2000-2006年松嫩平原农田生产力时空特征与影响因素研究

利用MOD17A3数据集2000-2006年年均NPP（净初级生产力）数据,对松嫩平原农田生产力时空特征与影响因素进行分析。主要结论如下：①松嫩平原旱田空间分布梯度特征明显,由西向东生产力呈递增趋势。旱田占农田总面积的90.17%,低、中、高产旱田面积分别为93170km2、23963km2和18866km2,占旱田总面积比例分别为68.51%、17.62%和13.87%。低、中、高产水田面积分别为1567km2、12171km2和1091km2,占水田总面积比例分别为10.57%、82.08%和7.35%。②2000-2006年,松嫩平原旱田和水田NPP变化趋势基本一致,总体均呈微弱的下降趋势,2000-2003年和2004-2006年为两个相似的NPP增加阶段。③气温与旱田和水田均呈极微弱的负相关关系,对旱田和水田生长存在微弱的抑制作用。降水与旱田和水田平均NPP相关系数分别为0.371和0.285,对旱田和水田生长的影响比气温明显,是影响松嫩平原农作物生产的主要因素。     

基于缺货损失的配送中心调度在线策略

为改变零售业缺货的现状,供应商管理库存(VMI)被广泛应用,同时配送中心的配送与调度效率就成为影响零售商缺货与否的关键。本文在考虑销售损失的基础上,研究了配送中心配送时的调度策略。假设由缺货引起的销售损失与缺货时间平方成正比,首先给出了完全信息下的最优离线策略。然后,引入占线方法,研究各销售点需求序列未知情况下,提出了权衡销售损失最大的优先处理策略,并将其竞争比m+2M/3m与先来先处理、按销售损失最大处理两个传统策略进行了对比。     

曲面薄壳有限元离散误差分析和修正方法研究

基于曲面薄壳几何/物理方程和有限元离散原理推导,揭示了壳单元离散方法特点、刚度矩阵误差产生机理和范数表示方法。以航空涡轮发动机测压探针为例,深入研究了利用协调平板壳单元、非协调平板壳单元、一次和二次实体退化壳单元等不同类型单元离散曲面薄壳时,应力计算误差影响因素及变化规律,综述了单元的适用条件。基于Boltzmann模型提出了应力计算结果修正通式,通过FORTRAN语言编程修正应力仿真结果和ANSYS二次开发语言APDL命令实现应力修正结果的读取和后处理,应力修正结果与理论解相对误差小于5%,满足曲面薄壳设计和稳定性分析应用要求。

Abstract：

Based on the geometric physical equations and deduction of discrete process of finite element for curved thin-walled structure,characteristics of shell elements for discretion and discrete error for element stiffness matrix were analyzed theoretically,and the norm expression of discrete error for element stiffness matrix was put forward.Then,as an illustration,a probe for detecting the pressure inside turboprops was meshed by curved thin-walled shell element,compatible flat shell element,incompatible flat shell element and 3D degenerated shell element,respectively,and the stress of the probe was numerically calculated by FEM.On the basis of solved results,the stress error was analyzed thoroughly,the influence factors on the error and the applying situations for different elements were determined.Finally,the general form of correctional function was put forward according to the Boltzmann model.The program developed with FORTRAN was used to correct the numerical results and the APDL commands inside ANSYS software were utilized to read and plot the correctional stress results.Through the correction,the discrete error can be reduced within 5% that satisfies the requirement of application for structural design and stability analysis.     

Runge-Kutta方法求解结构动力学方程

将几种具有不同稳定性的Runge-Kutta方法应用到结构动力学方程的数值求解中。针对增量形式的动力学方程,使用改进的Newton-Raphson迭代,研究了减少计算量的两种方法：（1）使用单对角隐式Runge-Kutta方法,（2）应用转化矩阵。采用逼近算子的谱半径分析了稳定性与数值阻尼特性,解释了L-稳定方法抑制高频振荡的原因。数值算例表明在精确解上较小的物理阻尼能有效的抑制高频振荡,但对各种直接积分方法的影响很小,高精度的L-稳定Runge-Kutta方法能在有效抑制高频振荡的同时高精度的求解低频振动。

Abstract：

Several Runge-Kutta methods with the different stability were applied to solve the equations of motion in structural dynamics. For incremental dynamical equations,using the modified Newton-Raphson iteration,two methods to reduce the amount of work were proposed. The first one is the singly diagonally implicit Runge-Kutta methods,and the second one is to apply the transform matrix. Using the spectral radii of approximation operators,the stability analysis and the numerical damping property were studied,and the reason why the L-stability methods could wipe out the high oscillations was explained. Numerical example was solved by several direct integration methods,the result show that the small physical damping can wipe out high oscillations effectively on exact solution,but it has little effect on numerical solution,and the high order L-stability Runge-Kutta methods can wipe out the high oscillation effectively,at the same time,solve the vibration of low frequencies with high accuracy.     

求解约束优化问题的动量粒子群算法

为解决约束优化问题,提出使用双可行域吸引子策略改进动量粒子群算法。该算法只需初始种群中有一个粒子位于可行域内,随着搜索过程的进行,整个种群自动进入可行域内搜索。一方面,在搜索过程早期,由于可行域内粒子少,所有粒子移向相同的吸引子,整个种群迅速进入可行域内。另一方面,随着进入可行域粒子的增多,由于每个粒子使用距本身最近的可行域吸引子,较好地维持了种种群的多样性,避免早熟现象的发生,使算法具有较好的寻优性能。与国际上当前解决约束优化问题的粒子群算法在4个标准约束优化函数上测试比较,实验结果表明本算法取得的最优值要优于其它粒子群算法。

Abstract：

The strategy that two good positions in feasible region worked as attractors was incorporated into momentum particle swarm optimization algorithm in order to resolve constrained optimization problems. The resulting algorithm only requires that one of the initial particles is in the feasible region, and then all particles in the swam automatically move into the feasible region. On the one hand, in the early iterations few particles appear in the feasible region and hence all particles move toward the same attractors, so the particles soon enter into the feasible region. On the other hand, as the number of particles in the feasible region increases, each particle adopts the most near attractor so that each particle has different attractor. Therefore, the algorithm maintains the diversity of the population, alleviates the premature, and hence achieves good performance. The algorithm is compared with other particle swarm optimization algorithms on four benchmark functions. The experimental results show that the solution of the algorithm is better than that of others.     

一种截窗查询的多障碍物快速碰撞检测算法

依赖于地理信息系统的越野路径规划,由于存在大量分布不规律的环境障碍物,严重影响路径规划的计算速度,借鉴截窗查询的思想,给出了基于一维数据结构的矩形截窗查询算法,该算法有效减少了规划过程所需碰撞检测的障碍物个数,大幅提高规划速度,在环境障碍物动态更新的情况下,其性能优于区间树的截窗查询方法。

Abstract：

Path planning based on GIS is a fundamental problem in many applications. It is the main problem affecting the planning time because of the multi-obstacles in field environment. A novel rectangle windowing query method was proposed in order to improve the compute efficiency of collision free test. The method reduces the numbers of obstacles needed to test and speeds the planning process, and is more suitable with the dynamic environment of obstacles changing than the interval tree method.