一种程序推导与验证方法研究

随着软件规模越来越大,软件正确性问题也随之而来,基于Hoare公理系统的程序形式化验证方法,能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题,利用最弱前置变换法求出前置谓词作为公理化方法的前置条件。     

一种三维直角坐标转换7参数模型的改进方法

直接从同一线段在两个三维直角坐标系下的长度比出发,在最小二乘条件下,首先求出尺度缩放因子m,然后将m作为已知真值代入以往七参数坐标转换模型,得到含有六参数的坐标转换模型。结果表明,该方法避免了以往模型旋转矩阵线性化对求解尺度缩放因子精度的影响,从而提高了三维坐标转换精度。     

基于SVPWM的无速度传感器矢量控制的研究

通过介绍空间电压矢量脉宽调制(SVPWM)控制策略在无速度传感器矢量控制系统中的实现,在此基础上给出了基于DSP的全数字化调速系统,并分别建立了改进的电压型转子磁链观测模型和PI自适应速度估算模型。实验结果表明:所采用的控制方法正确可行,控制系统具有良好的性能。     

中点箝位式三电平逆变器SVPWM的一种改进算法研究

这里论述了中点箝位式三电平逆变器的工作原理及实现方法,研究了一种三电平参考电压分解的空间矢量调制改进算法,可避免传统开关时间的繁琐计算.实验研究结果验证了调制算法是正确且有效的.     

一种新型的基于SVPWM的感应电机矢量控制方法

本文介绍了采用SVPWM调制的矢量控制系统的原理,并在Matlab/Simulink环境下建立了系统的仿真模型,给出了仿真结果。仿真结果证明了该模型的有效性,并验证了其他控制算法,为感应电机系统的设计和调试提供了思路。     

改变维度的一种可能方法

我们知道,在零维里,物质只是一个点,没有表达式,或者象征性地表达为v=0;在一维里,物质存在于一条直线,表达式为l=a;二维里,物质是存在于一个平面内,表达为s=ab;三维里,物质存在于一个立体空间内,表达式为v=abh。可见,各维度空间似乎没有任何联系,但是,仔细想想就会发现:如果将无数个零维空间排列起来,可以得到一条直线,即从零维到一维;将无数个一维空间排列起来,可以得到一个面,即从一维到二维;将无数个平面重叠起来,可以得到一个立体空间,即二维到三维。可见,各个维度空间之间是有一定的联系的,也就是说,如果将一种维度的空间高度压缩起来,…     

善良的另一种方式

小区旁边新搬来一户人家,女儿正上高中,儿子从小患脑瘫,夫妻俩双双下岗,靠卖菜维持生计,日子过得非常拮据。母亲知道这些情况后,不但尽量买这夫妻俩的菜,还整理了家里的一些好的衣服,打算送给这他们,但又不知道这样是否合适。     

一种基于DSP的双馈电机的矢量控制方法

本文给出了一个主电路为交-交变频器,以TMS320LF2407A型DSP芯片为控制核心的双馈调速系统,介绍了其结构组成,给出了调速系统控制框图和其控制部分主程序流程图,并分析了该调速系统矢量控制的实现方法.     

一种简单测算馈线速度系数的方法

提出了一种利用频谱仪进行馈线速度系数测量的新方法。利用频谱仪对天馈系统进行测量,应用公式,实现对馈线速度系数的测量,该方法具有测量速度快、方法简单、快捷等优点,能广泛应用于电视系统馈线的测量中。     

一种基于位置距离和属性特征结合的聚类方法

利用空间坐标和属性特征的有机结合,定义了3种曼哈顿空间距离,用matlab编程给出了基于该空间距离的ACA—Cluster聚类算法,并对山东省生态环境质量进行了聚类分析和类型分区。实验表明,该方法可以较好地反映出空间位置邻近和属性特征相似的空间聚类要求。     

另一个布鲁诺

布鲁诺一直被看作是为科学真理献身的殉道士,但在国外主流的科学史研究中以耶兹的布鲁诺研究为典型代表站在反辉格式历史研究的视角对此提出了质疑,而国内科学史界中的相关研究在鲜有专门研究的情况下仍坚持这一传统说法,在一定程度上说明了欠缺反辉格式历史研究的思考。     

基于知识管理视角的非常规突发事件模糊案例推理应急决策方法

对非常规突发事件的应急知识管理分析,提出了基于案例推理的应急决策方法。针对案例库中知识的多元性、不确定性提出新的知识表达方式(二维信息表示)构建案例库,给出基于二维信息的模糊相似度的案例匹配模型,从理论上构建一类基于模糊案例推理的应急决策方法。     

基于多重镜像法的球型接地模型接地电阻计算

采用电磁场理论中的多重镜像法,并结合数学中的级数与差分方程理论,分析了球型接地模型的接地电阻。同时指出教材中推导接地电阻公式时的一个疏漏,并予以一定的修正,对已有的一个多重镜像法算例加以推广。这是镜像法在实际应用中的一个实例。     

坐标轮换法在电液位置伺服系统PID参数优化中的应用

针对数控机床工作台的电液位置伺服系统的组成与工作原理,建立了系统的数学模型,利用坐标轮换法原理对控制系统的PID参数进行优化。仿真结果表明对于不同的初始PID参数,采用坐标轮换法优化PID参数后,系统响应速度快,稳态误差小,控制效果良好。