房地产企业网络营销的策略分析

随着电子商务对新经济的巨大推动,促使房地产行业的网络营销势在必行。本文通过研究中国电子商务环境下消费者特征,分析得出电子商务环境下消费者心理变化,并根据中国房地产行业现状,结合长尾理论,给出房地产企业进行网络营销的一些策略。     

自组网环境下基于组合公钥的分布式密钥管理

结合组合公钥密码体制和秘密共享思想,针对移动自组网环境,提出了一种分布式密钥管理方案.从系统初始化、管理平台构建、节点公私钥生成、私钥矩阵份额更新等4个方面进行了详细描述,并给出了具体实施方法.分析表明,该方案具有安全性高、扩展性强、计算量小、适用性好的特点,特别适合移动自组网环境.     

Comparison of two novel MRAS based strategies for identifying parameters in permanent magnet synchronous motors

Two model reference adaptive system (MRAS) estimators are developed for identifying the parameters of permanent magnet synchronous motors (PMSM) based on the Lyapunov stability theorem and the Popov stability criterion, respectively. The proposed estimators only need online measurement of currents, voltages, and rotor speed to effectively estimate stator resistance, inductance, and rotor flux-linkage simultaneously. The performance of the estimators is compared and verified through simulations and experiments, which show that the two estimators are simple, have good robustness against parameter variation, and are accurate in parameter tracking. However, the estimator based on the Popov stability criterion, which can overcome parameter variation in a practical system, is superior in terms of response speed and convergence speed since there are both proportional and integral units in the estimator, in contrast to only one integral unit in the estimator based on the Lyapunov stability theorem. In addition, the estimator based on the Popov stability criterion does not need the expertise that is required in designing a Lyapunov function.     

Rate of convergence for the Legendre pseudospectral optimal control of feedback linearizable systems

Pseudospectral (PS) computational methods for nonlinear constrained optimal control have been applied to many industrial-strength problems, notably, the recent zero-propellant-maneuvering of the international space station performed by NASA. In this paper, we prove a theorem on the rate of convergence for the optimal cost computed using a Legendre PS method. In addition to the high-order convergence rate, two theorems are proved for the existence and convergence of the approximate solutions. Relative to existing work on PS optimal control as well as some other direct computational methods, the proofs do not use necessary conditions of optimal control. Furthermore, we do not make coercivity type of assumptions. As a result, the theory does not require the local uniqueness of optimal solutions. In addition, a restrictive assumption on the cluster points of discrete solutions made in existing convergence theorems is removed.     

多频率超声衍射CT图像重建的研究

根据傅里叶衍射投影定理,不同频率的超声波得到的投影数据的傅里叶变换对应着复平面上不同半径的圆弧.文中对多频率衍射层析成像原理进行深入探讨,提出了多频率超声CT模型,并对多频率超声CT进行实验研究.重建步骤如下:首先,根据标准的体模算出重建数据点的值;然后运用网格插值法将非笛卡分布的重建数据点插值到笛卡网格内;最后用二维的傅里叶逆变换完成图像的重建.多频率超声衍射CT的成像速度要快于单频率CT的成像速度.     

出具证明编译器中线性整数命题证明的自动生成

近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明.     

针对RSA算法软件应用的故障攻击研究

原有的RSA故障攻击针对的都是运行在智能卡等硬件上的算法,为研究针对RSA软件实现方式的故障攻击,剖析中国剩余定理软件实现算法,提出针对OpenSSL密码库的RSA算法软件实现的故障攻击算法,给出一种只需要一次错误签名的改进攻击方案。通过仿真实验验证算法的可行性,并给出抵御此类攻击的有效措施。     

An efficient ranging method based on Chinese remainder theorem for RIPS measurement

The radio interferometric positioning system(RIPS) measures the phase difference of the interference signal to provide high accuracy and at the same time maintain simple hardware configuration for wireless sensor networks.However, it suffers from phase ambiguity problem because of the periodicity of phase, which makes it hard to determine the actual distance difference only from a single phase measurement.To solve the problem, RIPS makes multiple measurements at different frequencies so as to determine the ...     

基于中国剩余定理的群签名改进方案

自陈泽文首次提出基于中国剩余定理的群签名后,已出现不少对其改进的方案,但仍未有方案在不使用第三方辅助签名或验证的情况下实现非关联性。针对这一问题,提出了一个基于中国剩余定理的群签名改进方案,通过结合子集覆盖框架中完备子树的方法来实现上述非关联性,以满足群成员安全、快速的加入和撤销,而无需改变其他成员私钥。该方案还实现了防权威陷害攻击。最后对其安全性和效率进行分析,并与现有方案进行对比,结果表明,所提方案具有一定的优势。     

分数阶微积分定义的一致性在HOL4中的验证

分数阶微积分有3种常用的定义:Grunwald-Letnikov定义、Riemann-Liouville定义以及Caputo定义,3种定义之间存在着一定的联系,在一定条件下,它们可以相互转换。首先在高阶逻辑定理证明器HOL4中使用实数、积分、极限、超越函数等定理建立了基于Caputo定义的分数阶微积分形式化模型;然后验证了该定义与Grunwald-Letni-kov定义、Riemann-Liouville定义之间的关系,实现了这3种常用定义在HOL4中的转换,在一定程度上使这3种定义达到了统一,完善了高阶逻辑定理库。