数字化交付中三维配管设计软件的应用

随着科技、经济的发展，我国化工领域中与计算机的结合也越来越紧密，尤为特殊的是数字化转型，它已经成为企业提升竞争力的必然选择。同时在化工行业出现了各种不同功能的软件，其中全真模拟的三维配管设计软件在工艺设计、数字化工厂及交付、管道施工安装等领域都有了很大的发展。探讨全真模拟的三维配管设计软件在数字化交付过程中的应用，先介绍了数字化交付和三维配管软件的概念，再分析了建立数字化交付中三维配管设计软件应用的优点和缺点。     

轨道交通设计成果数字化交付方式研究

在轨道交通设计过程中,数字化交付具有较大应用价值,本文通过对于轨道交通设计成果移交工作特点、成果交付难点痛点的分析,提出轨道交通设计成果数字化交付的设计要点。     

智能自动化技术推动石油化工企业数字化转型升级

通过分析我国石化工业在未来5～15年的发展趋势与挑战,聚焦石化企业对数字化转型升级的重大需求。剖析了当前石化企业在信息感知和集成、数据挖掘与分析、生产运行、经营决策和安全环保能效等层面存在的主要问题。首先,提出了基于新一代信息通信技术、物联网、大数据、云计算和人工智能等前沿发展技术,并结合过程自动化技术而产生的"智能自动化"新概念。其次,从工程角度出发,提出了如何利用智能自动化技术,从工程、生产、管理以及营销全过程,优化推进以集约化、高效化、绿色化和智能化为目的的石化企业数字化转型升级的愿景目标、特征和路径。第三,采用需求驱动、应用驱动、问题导向的分析思路,进一步论述了当前亟须研究解决的五大核心工程技术问题,即:①以工业大数据平台为基础的智能工程数字化交付——数字孪生工厂;②生产与运营全过程信息智能感知与集成;③生产过程全流程协同控制与操作优化;④知识驱动的生产过程计划调度优化与经营管理决策;⑤基于自主感知与融合知识的过程风险智能化管理。最后,对智能自动化技术的应用与发展趋势提出了建设性意见。     

工厂数字化交付平台应具备的基本功能探究

数字化交付包括交付方移交和接收方接收两个过程,交付内容为数据、文档、三维模型及其之间的关联信息,从根本上都表现为数据。交付平台是工程项目建设阶段的大数据信息管理系统,本文总结了它应具备的八项基本功能,并对其发展趋势进行了预测。     

煤矿安全监控系统联网软件的架构设计研究

软件架构是降低成本,改进质量,按时交付产品和按需交付产品的关键因素。通过对软件分层架构技术的介绍及分析,结合煤矿安全监控系统联网软件的实际需求,选择了适合该系统的三层架构方案,并详细介绍了表示层、业务逻辑层、数据访问层在系统中的设计和实现过程。     

实时数据采集技术在生产制造执行中的应用

以公司生产制造执行系统实施为背景,针对生产制造执行在钢铁企业的实际需求情况,结合数据采集系统在制造企业的运用现状,阐述了实时数据采集系统在生产制造执行中建设的必要性。根据运用实时数据库、OPC、CORBA等技术,以新建实时数据库系统为基础,实现工业现场基础和过程自动化系统的数据采集、实时数据存储和信息系统关系数据库转换等功能的实时数据采集系统的实施内容,对系统建设过程中的体系构建、软件结构和接口框架作了简要阐述,对系统开发过程中的信息技术和应用后的主要功能和效果作了概要说明。     

基于MBD的产品工艺协同设计关键技术应用

一、引言 随着数字化设计技术的逐步应用和推广,越来越多企业认识到产品工艺协同设计在推广数字化设计模式中的重要性.数字化设计过程中的设计工具、建模过程、模型质量、装配质量以及数字化产品数据命名、管理、审签、归档和更改等方面都迫切需要进行规范和约束.这些标准与规范必须能够系统和全面地协调整个工程机械装备的数字化设计活动,并在体系框架层面进行规范和约束.     

中厚板轧制制造执行系统的设计与实现

中厚板轧制过程计算机控制系统通常采用三级结构设计,一级为基础自动化级,二级为过程控制级,三级为生产管理级。在建立中厚板轧制制造执行系统（Manufacturing Execution System,MES）过程处理模型的基础上,基于工业以太网构建系统的体系结构,分析了所建立系统的架构特点、数据管理方式,研究了中厚板轧制MES系统与基础自动化级以及生产管理级之间以报文的形式实现实时、高效、稳定的数据通信的技术。该系统的设计目标是提升中厚板轧制过程控制的自动化程度,提高钢铁企业中厚板生产的精度和效率。系统在天津某钢厂已经投产运行,效果良好。     

大数据技术在电力调控中的应用研究

随着信息技术的不断发展,社会迎来大数据时代,电力建设和管理也向着数字化和自动化的方向不断发展。基于此,本文就大数据技术在电力调控中的应用进行研究,首先就大数据技术应用于电力调控中的必要性进行分析,然后着重分析电力大数据的核心技术,并且对大数据技术在电力调控中的具体应用进行探讨,从而进一步提升电力调控工作的自动化水平和智能化水平。     

基于图像识别的智能检化验采样系统研究与应用

大型钢铁企业一般包括烧结、炼铁、炼钢、轧钢等工艺环节。各工序需要品种繁杂、数量众多的原辅料来维持生产。检化验是钢铁企业生产过程中的一个重要环节,包括生产物料入厂检验、生产过程管理、过程产品及最终产品的检验放行管理、不合格品及异议管理、质量体系建设等环节。主要以本钢集团火车运输入厂的煤的采样及制样为研究对象,基于OpenCvSharp图像识别及自动化技术,解决采样、制样过程中人为因素引起的问题,实现全过程智能化、自动化,通过技术手段对外进煤进行质量把关,为企业生产提供真实、准确的数据。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.