论文部分内容阅读
日前，东北大学“千人计划”特聘教授王义因在模型检验、嵌入式系统等领域的巨大贡献入选欧洲科学院院士。王义是本次欧洲科学院信息学部遴选的12名院士中唯一的华人。
王义入选欧洲科学院院士
【摘 要】
：
日前，东北大学“千人计划”特聘教授王义因在模型检验、嵌入式系统等领域的巨大贡献入选欧洲科学院院士。王义是本次欧洲科学院信息学部遴选的12名院士中唯一的华人。
【出 处】
：
中国科技奖励
【发表日期】
：
2015年10期
其他文献
数控车床如何加工非圆曲线零件，是数控车床手工编程的难题。我通过一个典型零件的宏程序编程实例，分析宏程序的加工方法，归纳出手工编程中应用宏程序解决复杂零件的数控加工编程
本文主要考虑当n×n矩阵K为M-矩阵时它的广义Perron余的一些性质。首先证明不可约K矩阵的广义Perron余也是M-矩阵,接着介绍此型矩阵最小特征值的一些性质。
针对开发航空薄壁件多点柔性工装系统的需求,研究了航空薄壁件多点柔性数控加工中的误差预测与控制问题,提出了基于预测的轨迹误差控制方法。对变形误差控制原理,视觉传感系
线性抽样方法是考虑一个第一类线性积分方程中的参数从区域内部趋近散射区域边界时，该方程的解趋近于无穷大。本文在此基础上就Dirichlet边界条件的声波反散射问题，利用积分方
本文从符号学的角度，揭示“二元结构”消费对品牌的决定性作用，指出品牌是“一个具有使用价值与符号价值的商品”的特质，并提出了通过广告这一中介“换挡加速”构建品牌并促成消
现阶段,Web服务应用的主流基本停留在企业内异构应用系统的整合及B2B电子商务,其跨地域、跨企业、跨平台的潜力尚未得到充分发挥。因此,基于Web服务技术构建支持制造企业间协
本文基于变分多尺度方法提出了非定常Navier—Stokes方程的一种稳定化方法，并利用一个与实际误差等价的后验误差估计子，结合自适应算法，得到了非定常Navier-Stokes方程的自适应
本文研究一个具有时滞，一般接触率，常数出生和疾病引起死亡的流行病模型。假设时滞表示暂时免疫期，即恢复者再次变成易感者所需要的时间，同时在模型中考虑了对易感者和恢复者的接
角点在机器视觉方面起着十分重要的作用。本文通过对曲线的协方差矩阵构建方向角函数,对该方向角函数在不同尺度下进行小波变换,最后根据小波变换的响应值,找到曲线上的角点。实验结果表明,该算法在一致性和准确性都有较好的表现。