Important features of Iris OSQL

OSQL is the object-oriented database language developed for the Iris object-oriented database management system at Hewlett-Packard Laboratories. Its three fundamental constructs are objects, types, and functions. This paper provides an overview of the underlying concepts and some important features of OSQL.     

2300mm三辊中板轧机的加宽改造及维修性设计

本文就三辊轧机的改造要点及“维修性设计”在三辊轧机改造中的应用做了技术分析和论述。     

PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．     

基于模糊匹配的平面连杆机构反求设计研究

对平面连杆机构曲线进行了分析,提出了用一组特征参数来描述连杆曲线,建立了连杆曲线图谱库,并将模糊论应用于连杆机构的曲线匹配,从而获取所求的机构参数.最后给出了应用实例,证实了该方法的可行性与有效性.     

开滦集团公司煤层间配采模型的建立

运用线性规划建立了数学模型，解决了开栾集团公司煤层间的配采问题，提高了煤炭企业的经济效益，有利于企业实现可持续发展。     

水源涵养内涵及估算方法综述

水源涵养和生态系统过程与人类生产生活紧密相关,深入研究水源涵养对维持生态系统健康和人类社会可持续发展至关重要,对促进人与水和谐共生具有指导意义。随着对水源涵养研究与应用的深入,水源涵养内涵逐渐丰富,评估方法愈加多样,但以往的研究中水源涵养定义模糊,缺乏对各种评估方法的综合性对比分析,因此急需明确界定水源涵养内涵,分析各种估算方法的适用性。采用文献分析法系统梳理水源涵养研究历程,将其划分为认识与萌芽期、理论发展期、定量计算和模型综合评估等4个阶段;从定义、水量与功能等3个方面明确界定水源涵养内涵,从原理、时空尺度、适用范围及优缺点方面对已有水源涵养量估算方法进行对比和分析,并展望水源涵养研究的未来发展方向。     

Digital twin modeling method based on biomimicry for machining aerospace components

High-performance aerospace component manufacturing requires stringent in-process geometrical and performance-based quality control. Real-time observation, understanding and control of machining processes are integral to optimizing the machining strategies of aerospace component manufacturing. Digital Twin can be used to model, monitor and control the machining process by fusing multi-dimensional in-context machining process data, such as changes in geometry, material properties and machining parameters. However, there is a lack of systematic and efficient Digital Twin modeling method that can adaptively develop high-fidelity multi-scale and multi-dimensional Digital Twins of machining processes. Aiming at addressing this challenge, we proposed a Digital Twin modeling method based on biomimicry principles that can adaptively construct a multi-physics digital twin of the machining process. With this approach, we developed multiple Digital Twin sub-models, e.g., geometry model, behavior model and process model. These Digital Twin sub-models can interact with each other and compose an integrated true representation of the physical machining process. To demonstrate the effectiveness of the proposed biomimicry-based Digital Twin modeling method, we tested the method in monitoring and controlling the machining process of an air rudder.     

Routing with multiple quality-of-services constraints: An approximation perspective

Finding a path that satisfies multiple Quality-of-Service (QoS) constraints is vital to the deployment of current emerged services. However, existing algorithms are not very efficient and effective at finding such a path. Moreover, few works focus on three or more QoS constraints. In this paper, we present an enhanced version of fully polynomial time approximation scheme (EFPTAS) for multiconstrainted path optimal (MCOP) problem. Specifically, we make four major contributions. We first allow the proposed algorithm to construct an auxiliary graph, through which the QoS parameters on each of the finding path can be guaranteed not to exceed the given constraints. Then we adopt a concept, called nonlinear definition of path constraints in EFPTAS for reducing both time and space complexity. Also, we enable EFPTAS to run iteratively to facilitate a progressive refinement of the finding result. In addition to these, we identify some “deployment” issues for proposed algorithm, the essential steps that how and when the EFPTAS takes place are presented. By analyzing the proposed algorithm theoretically, we find that the presented EFPTAS can find a (1+ε)-approximation path in the network with time complexity O(|E||V|/ε) (where |E| is the number of edges and |V| is the number of nodes), which outperforms the previous best-known algorithm for MCOP. We conduct an extensive comparison between the algorithm presented in this paper and previous best-known study experimentally, our results indicate that EFPTAS can find a path with low complexity and preferable quality.     

激光焊接对接拼缝测量的微景深方法

对于复杂微细、错边量小的激光焊接拼缝测量,现有的视觉传感器方法不能稳定、可靠地提取出拼缝的中心位置、拼缝宽度等信息。为此,提出了基于微景深的激光焊接对接拼缝测量方法,该方法采用高倍光学放大镜头、工业CCD(Charge Coupled Device)/CMOS(Complementary Metal-Oxide-Semiconductor Transistor)相机和LED(Light-Emitting Diode)外部照明装置,以光学成像光轴与被测表面法矢呈45°的方式,组成的对接拼缝的非接触测量系统,既解决了显微放大时景深很小、测量范围小的问题,又解决了狭窄拼缝高光学放大倍数拼缝检测的难题。实验结果表明,该系统可快速准确地提取出拼缝中心坐标、拼缝宽度以及拼缝局部表面法矢。拼缝宽度测量精度优于5 μm,拼缝中心测量精度优于6 μm,可识别的最小拼缝宽度为0.02 mm,完全满足激光焊接对接狭窄拼缝的检测与自动跟踪的要求。