An Extension of Gröbner Basis Theory to Indexed Polynomials Without Eliminations

Journal of Systems Science and Complexity - In computer algebra, it remains to be challenging to establish general computational theories for determining the equivalence of indexed polynomials. In...     

In situ backscattered electron imaging study of the effect of annealing on the deformation behaviors of Ni electroformed from additive-free and saccharin-containing sulfamate solutions

The Ni samples were electroformed from additive-free(AF) and saccharin-containing(SC) sulfamate solutions, respectively. In situ backscattered electron(BSE) imaging, electron backscatter diffraction(EBSD), and electron-probe microanalysis(EPMA) were used to investigate the effect of annealing on the deformation behaviors of the AF and SC samples. The results indicate that columnar grains of the as-deposited AF sample had an approximated average width of 3 μm and an approximated aspect ratio of 8. The average width of columnar grains of the as-deposited SC sample was reduced to approximately 400 nm by the addition of saccharin to the electrolyte. A few very-large grains distributed in the matrix of the SC sample after annealing. No direct evidence indicated that S segregated at the grain boundaries before or after annealing. The average value of the total elongations of the SC samples decreased from 16% to 6% after annealing, whereas that of the AF samples increased from 18% to 50%. The dislocation recovery in grain-boundary areas of the annealed AF sample was reduced, which contributed to the appearance of microvoids at the triple junctions. The incompatibility deformation between very-large grains and fine grains contributed to the brittle fracture behavior of the annealed SC Ni.     

用数字波束形成技术测量干扰环境中目标的方向

本文讨论了在干扰环境中利用数字波束形成技术确定目标方向的方法,给出了计算机模拟结果。测量目标角度是基于单脉冲技术中的和差波束的方法。由于各路接收机幅相误差和算法本身的影响,差波束指向零点将产生漂移且零深不够理想,影响了测角精度。本文提出了在差波束的理想指向零点方向用正交化算法产生一零点的办法来校正零点漂移和加深零深,又不影响差方向图的其它性能,从而为用数字波束形成技术精密测角提出了一条路径。另外,本文给出了为消除主瓣干扰而对和差方向图影响的模拟结果。     

基于价值的实验室评估体系构建

现代化实验室的价值取向在于能更好地为教学、科研、生产服务。实验室在长期的教学、科研、生产活动中是否体现了其应有的价值，是衡量实验室建设、管理成败的关键。文中构建了一种基于价值的实验室评估体系模型，以对实验室的价值进行科学的评判。     

一种新型的空调系统空气处理方法及其节能分析

针对现有空调系统空气处理方法存在的不足,提出一种热湿分段的空调系统空气处理方法.分析了热湿分段处理方法的原理和过程,通过建立热湿分段处理方法的节能数学模型,研究并得出了表冷器结构、空调回风状态对热湿分段处理方法节能效果的影响规律.结果表明:相对于常规空气处理方法,热湿分段处理方法在表冷器设计换热温差7 ℃、出风温度为16 ℃时,冷水机组COP提高达9.14%以上;在回风干球温度为25 ℃、湿球温度为21 ℃时,冷水机组COP提高达8%以上.     

普通铁路填石路堤施工工艺参数选定

文章介绍了铜九铁路填石路堤试验段试验,通过对路堤填料粒径、松铺厚度、压实机械及压实遍数等工艺参数分析,制定了填石路基填筑质量控制施工参数,作为控制施工质量的重要指标.     

我经历的高分子学科五十年

高分子是由小分子结构单元通过化学键联结而成的,最大特点是具有长链的结构,这使其获得了与小分子化合物不同的特性.人类使用天然高分子已有数千年的历史,但高分子学科的建立还是近几十年的事情.1920-1930年代化学家研究的对象大都还是小分子.     

浅谈变压器的安装及调试运行

变压器的安装调试运行必须遵循施工顺序和操作方法,达到现行的国家标准和验收规范的规定,方可运行生产.本文主要探讨变压器安装和调试应注意的问题.     

建立绘制轴测图数学模型的研究

在分析轴测投影形成条件，把握轴测投影规律的基础上，建立了依据空间形体的三维坐标绘制轴测图的数学模型，解决了以解析方式或利用计算机绘制轴测图的问题。     

Inferring requirement goals from model implemented in UML

UML is used widely in many software development processes. However, it does not make explicit requirement goals. Here is a method tending to establish the semantic relationship between requirements goals and UML models. Before the method is introduced, some relevant concepts are described.