多用炉处理圆锥外圈的畸变分析

研究了影响多用炉处理全淬透钢圆锥外圈畸变的因素，并对淬火后工件的锥度变化进行了分析，采用热油淬火和低速搅拌等措施，减少了圆锥外圈的淬火畸变。     

异型薄壁零件淬火畸变的控制

分析了异型薄壁零件淬火废品率高的主要原因。采取改进工艺、工装设计及淬火后校正3方面措施，有效控制了该零件的淬火畸变，显著降低了零件淬火的废品率。     

Process parameter optimization of lap joint fillet weld based on FEM–RSM–GA integration technique

This study introduces a welding process design tool to determine optimal arc welding process parameters based on Finite Element Method (FEM), Response Surface Method (RSM) and Genetic Algorithms (GA). Here, a sequentially integrated FEM–RSM–GA framework has been developed and implemented to reduce the weld induced distortion in the final welded structure. It efficiently incorporates finite element based numerical welding simulations to investigate the desired responses and the effect of design variables without expensive trial experiments. To demonstrate the effectiveness of the proposed methodology, a lap joint fillet weld specimen has been used in this paper. Four process parameters namely arc voltage, input current, welding speed and welding direction have been optimized to minimize the distortion of the structure. The optimization results revealed the effectiveness of the methodology for welding process design with reduced cost and time.     

投票理论研究现状及其展望

社会选择理论是研究如何表达和聚合个体选择的一门学问.而社会选择理论与计算机科学的融合产生了称为计算社会选择的交叉学科,该学科成为社会计算的重要研究内容之一,在人工智能、经济和计算性理论领域引起了轰动.其一方面引入了复杂性分析和算法设计等计算机学科中常用的技术来对社会选择机制进行研究;另一方面也通过引入社会选择理论中的概念来推动计算机技术的发展,特别是在多智能体系统研究中有着成功的应用.投票理论是计算社会选择中最重要的研究主题之一.首先介绍常见的投票方法以及投票理论的形式化框架;再对投票理论中所关心的操纵问题做分析;然后介绍在组合域上的投票;最后对其他相关问题作简要介绍,并对该领域未来的发展与应用做出展望.     

GNSS工程控制网坐标系挂靠问题探讨

分析了工程测绘中出现投影变形的原因及消除投影变形的常用方法。论述了挂靠坐标系的建立方法和应用条件,挂靠坐标系既能有效抵偿基线投影变形,又能解决两种坐标系统的衔接问题,为控制网计算、地形图测绘、工程图与万分图拼接、施工测绘提供了极大的便利。     

Towards high accuracy calibration of electron backscatter diffraction systems

For precise orientation and strain measurements, advanced Electron Backscatter Diffraction (EBSD) techniques require both accurate calibration and reproducible measurement of the system geometry. In many cases the pattern centre (PC) needs to be determined to sub-pixel accuracy. The mechanical insertion/retraction, through the Scanning Electron Microscope (SEM) chamber wall, of the electron sensitive part of modern EBSD detectors also causes alignment and positioning problems and requires frequent monitoring of the PC. Optical alignment and lens distortion issues within the scintillator, lens and charge-coupled device (CCD) camera combination of an EBSD detector need accurate measurement for each individual EBSD system.This paper highlights and quantifies these issues and demonstrates the determination of the pattern centre using a novel shadow-casting technique with a precision of ∼10 μm or ∼1/3 CCD pixel.     

3D靶标的摄像机三步标定算法与实现

摄像机标定是计算机视觉中的一个必不可少的重要环节,其标定精度影响着三维重建结果的精度。利用摄像机对一个三维正交的棋盘格拍摄一幅有效靶标图像,提取角点,第一步通过透视变换矩阵算法线性求解各内外参数;第二步引入径向和切向畸变,将第一步求得的内外参数作为初始值,求得畸变系数的解;第三步对内参数进行线性优化,得到更为精确的内参数值;最后求解反投影后图像坐标的绝对误差。实验结果表明,该方法具有较高的精度,且简单有效。     

Automatic Construction and Verification of Isotopy Invariants

We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Isotopism is an important generalisation of isomorphism, and is studied by mathematicians in domains such as loop theory. This extension was not straightforward, and we had to solve two major technical problems, namely, generating and verifying isotopy invariants. Concentrating on the domain of loop theory, we have developed three novel techniques for generating isotopic invariants, by using the notion of universal identities and by using constructions based on subblocks. In addition, given the complexity of the theorems that verify that a conjunction of the invariants form an isotopy class, we have developed ways of simplifying the problem of proving these theorems. Our techniques employ an interplay of computer algebra, model generation, theorem proving, and satisfiability-solving methods. To demonstrate the power of the approach, we generate isotopic classification theorems for loops of size 6 and 7, which extend the previously known enumeration results. This work was previously beyond the capabilities of automated reasoning techniques. The author’s work was supported by EPSRC MathFIT grant GR/S31099.     

The solution and duality of imprecise network problems

Duality properties have been investigated by many researchers in the recent literature. They are introduced in this paper for a fully fuzzified version of the minimal cost flow problem, which is a basic model in network flow theory. This model illustrates the least cost of the shipment of a commodity through a capacitated network in terms of the imprecisely known available supplies at certain nodes which should be transmitted to fulfil uncertain demands at other nodes. First, we review on the most valuable results on fuzzy duality concepts to facilitate the discussion of this paper. By applying Hukuhara’s difference, approximated and exact multiplication and Wu’s scalar production, we exhibit the flow in network models. Then, we use combinatorial algorithms on a reduced problem which is derived from fully fuzzified MCFP to acquire fuzzy optimal flows. To give duality theorems, we utilize a total order on fuzzy numbers due to the level of risk and realize optimality conditions for providing some efficient combinatorial algorithms. Finally, we compare our results with the previous worthwhile works to demonstrate the efficiency and power of our scheme and the reasonability of our solutions in actual decision-making problems.     

虚拟膝关节镜手术中保持单元质量的体网格形变方法

在虚拟膝关节手术中,需要对膝关节进行大范围形变的实时模拟。本文针对四面体网格的膝关节模型,提出了采用LSD度量建立形变能量,然后将带约束的最优化问题转化为不带约束的最优化问题,最后通过带Armijo线性查找的非精确牛顿法求解最优化问题。在求解过程中,通过预估未知点的位置,减少迭代步数,提高了算法的效率。这种方法具有较好的保体积性,同时保证形变后的四面体网格不出现体元翻转和退化。该方法也能推广应用于其它类似的关节弯曲运动的变形中。