摘要：网络安全在信息时代非常重要 ,而网络安全的关键问题之一是安全协议 首先介绍了当前安全协议形式化验证的前沿方向———串空间理论 ,随后阐述了基于该理论设计的自动验证模型———t模型 ,给出了该模型的算法及描述 ,并通过验证改进前后的Needham

摘要：the shear-stress transport(SSt)turbulence model is incorporated into Navier-Stokes equations to simulate a turbomachinery flowfield.A staggered finite volume method is used to make the mean flow equations and turbulence model equations strongly coupled and enhance the stability of the numerical *** implicit treatment of the source terms is applied to the SSt model.A steady state solution is obtained using five-stage Runge-Kutta time-stepping scheme with local time stepping and residual smoothing to accelerate convergence. the wall distance d,a key parameter in the SSt model,is solved by a partial differential *** validations of the code are conducted on rotor 37,wp11 at design and off-design conditions by comparison with measurements and the Spalart-Allmaras(SA)turbulence *** flow within the tip is calculated with a multi-block grid.

摘要：也许，我是说也许，身为CEO的你依然对孩童时看过的《变形金刚》难以忘怀，夜深人静之时仍想动手DIY一个“汽车人”来挑战邪恶的“霸天虎”。没准新一代的LEGO Mindstorms NXt模拟机器人就能满足你的这个想法。Mindstorms NXt模拟机器人沿用的是LEGO经典的模块化设计思路，

摘要：1高速永磁电机模型的建立本文先建立的电机模型是RMxprt模型,然后在其中输入给定的额定参数,然后可以得到对应的定子槽型、定子模型、转子模型以及电机的总模型,并可以得到一系列曲线关系图其中包括转矩角与效率、输出功率等,最后一键就可以形成对应的2D模型,在2D模型中主要研究磁场的变化,在瞬态磁场中得到转矩、铁耗、电压、电流等随时间变化的图像,在模型中可以清晰看到磁力线走的路径,下文会有详细的介绍。

摘要：3月6日，国家广告研究院在北京召开“精众的力量”中国精众营销研究成果发布会，提出了前沿理论与本土实践结合的“精众营销”理论以及精众营销tRUSt模型，并发布了《中国精众营销发展报告201～2013》。

摘要：最新一代的LEGO Mindstorms NXt模型机器人发布啦！模块化设计的NXt总共可以实现18种各式各样的组合形态，完全就是一个超级变型金刚，新一代的NXt的大脑就是一个PPC大小的可编程处理模块。