排序方式: 共有35条查询结果,搜索用时 15 毫秒
1.
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。 相似文献
2.
随着新时期中国改革开放的深入,中国与西方欧美列国在经济、文化、科技、政治、军事等综合领域产生了越来越多的联系,中西方的交往接触也日益紧密。在中国与西方各国日常交往过程中,社交礼仪在期间发挥着不可或缺的作用,并因此得到了人们越来越多的关注。中西方人员在交往中所使用的社交礼仪是否恰当、完备、得体,不仅反映着交往者个人的文化道德修养,更是代表着自己国家的对外形象,能从中透析出一个国家的文明教化程度。当然,中西方之间在社交礼仪方面存在着很多文化差异。 相似文献
3.
礼仪是文明的象征,作为古老的文明之邦,我国传统文化对礼仪的讲究和应用渗透在政治和社会生活的各个层面。礼仪既是外在的礼节,又与个人的道德修养相关。自古以来,对一个人内在修养的考察,往往体现在此人的外在礼仪方面。在今天的社会,随着生活水平的提高,人们对于社交中的礼仪也越来越重视。 相似文献
4.
5.
对9根方钢管珊瑚混凝土短柱进行了轴压试验研究,以试件高度、方钢管壁厚及截面边长为变量,探究了含钢率、长细比对极限承载力的影响。通过引入核心珊瑚混凝土强度提高系数,分析了套箍增强作用。将核心珊瑚混凝土分为有效约束区和非有效约束区,并分别进行了受力分析,提出了承载力计算公式,并比较了计算结果与试验结果,以验证其合理性。 相似文献
6.
7.
8.
基于UKF的MEMS传感器姿态测量系统 总被引:1,自引:0,他引:1
针对工业和民用领域对姿态测量的需求,提出了基于MEMS加速度计、陀螺仪和磁强计的姿态测量系统,并采用无先导卡尔曼滤波(Unscented Kalman Filter,UKF)方法处理传感器数据.针对基于加速度计和磁强计的姿态测量方式在动态测量时不准确的问题和单独采用陀螺仪测量角度产生漂移的问题,设计了基于方向旋转矩阵的... 相似文献
9.
BP神经网络PID控制的永磁真空开关储能电容恒流充电特性分析 总被引:1,自引:0,他引:1
针对永磁真空开关分合闸储能电容充电问题提出一种BP神经网络PID控制技术,实现分合闸储能电容的智能恒流充电,使分合闸储能电容和永磁真空开关本体性能达到了良好配合。构建了4-5-3的BP神经网络结构,建立了BP神经网络PID控制的数学模型,搭建了恒流充电控制系统的整体仿真模型并仿真了整个恒流充电过程,仿真与实验结果比较吻合。实验结果表明,采用BP神经网络PID充电控制技术可动态调整充电电流以实现分合闸储能电容恒流充电效果,有效地提高了储能电容的工作寿命与可靠性。 相似文献
10.
我国的形象设计行业与国外相比起步比较晚,自19世纪80年代起,许多从事形象设计的人员从美容、美发、化妆、服装、饰品设计中分流出来。这些人员从业余到专业,从擅长一门到注重整体。但真正意义上的形象设计还是在20世纪初逐渐发展起来的。但由于形象设计从业人员的良莠不齐,设计师整体缺乏综合能力,缺乏专业的学习和训练,缺乏基础设计能力。因此,在20世纪初开设了形象设计本科院校,开始进行了一些形象设计师培养方面的探讨。具有规范性、系绕陛的训练学习体系由此诞生。 相似文献