鞋涉水问题的多体动力学与 流-固耦合系统建模及仿真分析

工程应用问题分析常涉及多体动力学与流-固耦合联合仿真，行人在湿路行走时的鞋涉水问题正是此类问题之典型，多系统联合仿真建模及完整的鞋“涉水-出水”过程模拟分析，对工程应用中类似复杂耦合问题的仿真分析具有良好的参考价值. 本文基于Adams/View建立人体下肢多体动力学模型以模拟行人步态，将之作为鞋运动的边界条件；而后建立鞋涉水过程的流-固耦合模型，采用耦合欧拉-拉格朗日方法（CEL）以可视化的方式分析鞋详细的“涉水-出水”过程，确定整个过程可分为排水、推水、水膜生成、水膜破裂和完全出水5个阶段. 最后，对运动鞋、平底鞋进行涉水仿真，对比各个阶段的体积分数云图、水域速度云图和系统动能变化，采用涉水时间和消耗能量大小为涉水性能评价指标，发现平底鞋的涉水性能弱于运动鞋.     

非线性光机械系统中的弱力探测

从理论上研究了包含光学参量放大器的非线性腔光机械系统的弱力探测性能.一方面,发现通过调节光学参量放大器的非线性增益以及输入光场与腔场之间的有效失谐,可以减小压缩正交中约14 dB的量子噪声,从而将弱力探测灵敏度提高2倍以上.另一方面,分析了非线性腔结合零差测量产生的反作用噪声相消现象并且实现量子非破坏测量的方法.     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra

Some techniques using linear algebra was introduced by Faugère in F4 to speed up the reduction process during Gr?bner basis computations.These techniques can also be used in fast implementations of F5 and some other signature-based Gr?bner basis algorithms.When these techniques are applied,a very important step is constructing matrices from critical pairs and existing polynomials by the Symbolic Preprocessing function(given in F4).Since multiplications of monomials and polynomials are involved in the Symbolic Preprocessing function,this step can be very costly when the number of involved polynomials/monomials is huge.In this paper,multiplications of monomials and polynomials for a Boolean polynomial ring are investigated and a specific method of implementing the Symbolic Preprocessing function over Boolean polynomial rings is reported.Many examples have been tested by using this method,and the experimental data shows that the new method is very efficient.     

Facile synthesis of flake-like dihydrate zinc oxalate particles

Monodispersed dihydrated zinc oxalate(ZnC_2O_4·2H_2O) particles with characteristic morphology were synthesized by aging a mixed solution of zinc nitrate(Zn(NO_3)_2) and sodium oxalate(Na_2C_2O_4) in the presence of a citrate ligand, with an average flat size of approximately 10–15 μm. The important parameters, including the solution pH values and the concentration of the zinc ions and citrate ligand, were investigated using a series of experiments. It is verified that the citrate ligand significantly affects the morphology of zinc oxalate particles, probably via its multiple roles of chelating, dispersing, and selective absorption. Thermodynamic equilibrium of the distribution of zinc species in an aqueous solution of Zn(Ⅱ)-citrate-oxalate-H_2O was estimated to explain the experimental results and to clarify the size and morphological evolution mechanism of the precipitated particles.     

Secure Two-Party Distance Computation Protocol Based on Privacy Homomorphism and Scalar Product in Wireless Sensor Networks

Numerous privacy-preserving issues have emerged along with the fast development of the Internet of Things. In addressing privacy protection problems in Wireless Sensor Networks(WSN), secure multi-party computation is considered vital, where obtaining the Euclidian distance between two nodes with no disclosure of either side’s secrets has become the focus of location-privacy-related applications. This paper proposes a novel Privacy-Preserving Scalar Product Protocol(PPSPP) for wireless sensor networks. Based on PPSPP, we then propose a Homomorphic-Encryption-based Euclidean Distance Protocol(HEEDP) without third parties. This protocol can achieve secure distance computation between two sensor nodes. Correctness proofs of PPSPP and HEEDP are provided, followed by security validation and analysis. Performance evaluations via comparisons among similar protocols demonstrate that HEEDP is superior; it is most efficient in terms of both communication and computation on a wide range of data types, especially in wireless sensor networks.