机器人加工中角度转换的研究

描述机构姿态的旋转变换可以使用不同的方法,为了从多个角度使用不同的手段研究旋转变换问题,采用了一种非常直观、简捷的计算方法,即利用“矩阵等价”的方法建立了欧拉角与传统角度旋转变换参数间的转换关系。     

面向程序可达性验证的数组处理循环压缩方法

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。     

容错控制在浓硝酸高压反应釜中的应用研究

介绍了直硝法生产浓硝酸工艺的关键工序,并分析了对高压反应釜生产进程的质量与产量影响较大的"管道化配料新工艺".针对浓硝生产系统的变参数、强耦合、多变量、高腐蚀、非线性等工艺特征,利用"动态系统故障检测与诊断技术"与"PSBE算法",建立了高压反应釜运行的数学模型,并提出了多个传感器同时发生故障时的容错控制策略,给出了高压反应釜管道化混合装置容错控制方法.     

多因素波动影响下事件状态的联系数表示研究

为研究在因素波动影响下事件状态变化和不同状态出现的可能性,本文将语义划分与集对分析联系数的多级状态对应,建立因素波动影响下的事件状态联系数表示方法。制定了单因素波动情况下事件状态联系数的构建方法,以单位因素区间对因素平面进行离散,分别计算各离散区域的联系数,综合所有联系数形成事件状态联系数。根据数值逻辑的或关系和联系数运算法则耦合单因素事件状态联系数得到2因素事件状态联系数。多因素通过切片法降维至2因素才可使用上述方法。本文证明了离散求解与整体求解的等价性,使用各语义划分面积比例计算联系数较离散法更为方便。实例中使用整体求解法计算了2因素事件状态联系数。最后说明了本文方法面临的问题、原因和解决方法。     

基于多重线性回归模型的翻译等价对获取

翻译等价对在词典编纂、机器翻译和跨语言信息检索中有着广泛的应用。文章从双语句对的译文等价树中抽取翻译等价对。使用译文直译率、短语对齐概率和目标语-源语言短语长度差异等特征对自动获取的等价对进行评价。提出了一种基于多重线性回归模型的等价对评价方法,并结合N-Best策略对候选翻译等价对进行过滤。实验结果表明:在开放测试中,基于多重线性回归模型的等价对评价及过滤方法其性能要优于其它方法。     

基于神经网络区分器的SIMON-like算法参数安全性评估

神经网络区分器作为一种新的可被应用于密码算法安全性分析的工具,一经提出便被应用于多种密码算法的安全性分析。对于SIMON-like算法,其循环移位参数的选择有多种。利用神经网络区分器对分组长度为32bit的SIMON-like算法的循环移位参数(a,b,c)的安全性进行了研究,并给出了好的循环移位参数选择。利用K?lbl等在CRYPTO2015中提出的SIMON-like算法仿射等价类思想,将分组长度为32bit的SIMON-like算法的循环移位参数划分至509个等价类,并选择其中使gcd(a-b, 2)=1成立的240个等价类进行研究。针对240个等价类的代表元构建了自动化搜索差分路径的SAT/SMT模型,并利用SAT/SMT求解器搜索了不同代表元的多轮最佳差分路径。利用搜索得到的最佳差分路径的输入差分训练了神经网络区分器,选择其中准确率最高的神经网络区分器作为代表元的神经网络区分器,统计了不同代表元的神经网络区分器准确率。发现K?lbl等给出的20个最佳循环参数并不能使神经网络区分器的准确率最低,而且其中4个循环移位参数对应的神经网络区分器的准确率超过了80%,这意味着这4个循环...     

几个著名积分不等式的等价性

在研究著名的Diaz-Metcalf推广积分不等式、Cauchy-Schwarz加强积分不等式和Kantorovich加强积分不等式的基础上，通过类比和归纳，用构造性方法证明了它们之间的等价性．     

夹具定位误差分析的机构学建模方法

将工件-夹具系统用机构模型表示。夹具是机构的机架,夹具和工件的接触副构成了连架杆与机架连接的运动副,定位基准到定位接触点之间的尺寸线为机构的连架杆,工序基准与定位基准之间的联系尺寸是机构中间连杆或机构的结构杆件,工件加工表面与工序基准之间的工序尺寸为机构的最终目标构件。通过计算目标构件的长度变化或角度变化获得工序系统的定位误差。研究建立工件和夹具定位元件接触副与机构构件之间的映射关系,研究建立加工表面与工序基准的工序尺寸关系、工序基准和定位基准之间的联系尺寸关系转化为等价机构的转换规则。根据以上映射关系和转换规则,实现等价机构模型的自动建立,利用机构学的各种精度分析方法实现定位误差求解的自动化。     

协同商务环境中的主观信任模型研究

针对开放网络环境中协同商务的动态、多域、异构等特点,提出了适用于开放式协作环境的基于云模型的主观信任评价方法,给出了基于云模型的信任更新算法.通过源实体与恶意推荐实体交互的仿真实验证明,应用该算法不仅可以有效抑制恶意实体的推荐行为,还可以激发实体的积极推荐.