核算前移在冶炼企业优化成本控制中的应用

针对国际黄金价格的走低,黄金冶炼企业如何在激烈的市场竞争中寻求更大的利润空间,优化成本控制显得尤为重要。以某冶炼厂为例,阐述核算前移在优化企业成本控制中的应用,以达到降本增效的目的,实现企业利润的最大化。     

Validation of performance of real-time kinematic PPP. A possible tool for deformation monitoring

Structural failures (bridge or building collapses) and geohazards (landslides, ground subsidence or earthquakes) are worldwide problems that often lead to significant economic and loss of life. Monitoring the deformation of both natural phenomena and man-made structures is a major key to assessing structural dynamic responses. Actually, this monitoring process is under real-time demand for developing warning and alert systems.One of the most used techniques for real-time deformation monitoring is the Global Navigation Satellite System (GNSS) real-time procedure, where the relative positioning approach, using a well-known reference station, has been applied.This study was conducted to evaluate the actual quality of the real-time kinematic Precise Point Positioning (PPP) GNSS solution for deformation monitoring, where it can be concluded that a promise tool is under development and should be taken into account on actual and near future real-time deformation monitoring studies and applications.     

The concept of smartness in cyber–physical systems and connection to urban environment

The next-generation systems are expected to be largely cyber–physical systems (CPSs) that autonomously control physical processes, through sensors and actuators typically in real-time feedback and cooperative control loops distributed among physical and cyber environments. The rapid technological advancements enhance the smartness of these CPSs, pushing their boundaries of performance and efficiency by embedding new information and communication technologies. However, to what extent CPSs should be smarter so that they do not compromise safety and security of safety critical systems? is an open research question. Towards this goal, the purpose of this study is to establish a grounded theory to analyse what makes these systems smart? and eventually, how to find a balance between smartness and safety risks? In this precinct, this article aims to develop a conceptual framework, define the dimensions and derive the characteristics that make CPSs smart. The proposed approach combines an automated informetric and systematic analysis of literature pertinent to the topic of smartness across anthropology, science, engineering and technology. The analysis of a case study building and the discussions presented herein support the connection between the existing understanding of CPSs and smartness offered by the building design approach in urban environment.     

Controllability and observability of multi-agent systems with heterogeneous and switching topologies

ABSTRACT

This paper focuses on controllability and observability of multi-agent systems with heterogeneous and switching topologies, where the first- and the second-order information interaction topologies are different and switching. First, based on the controllable state set, a controllability criterion is obtained in terms of the controllability matrix corresponding to the switching sequence. Next, by virtue of the subspace sequence, two necessary and sufficient algebraic conditions are established for controllability in terms of the system matrices corresponding to all the possible topologies. Furthermore, controllability is considered from the graphic perspective. It is proved that the system is controllable if the union graph of all the possible topologies is controllable. With respect to observability, two sufficient and necessary conditions are derived by taking advantage of the system matrices and the corresponding invariant subspace, respectively. Finally, some simulation examples are worked out to illustrate the theoretical results.     

A Global Maximum Error Controller Based Nonlinearity Aware TPWL Method for Reducing Nonlinear Systems

Abstract

Model order reduction is a common practice to reduce large order systems so that their simulation and control become easy. Nonlinearity aware trajectory piecewise linear is a variation of trajectory piecewise linearization technique of order reduction that is used to reduce nonlinear systems. With this scheme, the reduced approximation of the system is generated by weighted sum of the linearized and reduced sub-models obtained at certain linearization points on the system trajectory. This scheme uses dynamically inspired weight assignment that makes the approximation nonlinearity aware. Just as weight assignment, the process of linearization points selection is also important for generating faithful approximations. This article uses a global maximum error controller based linearization points selection scheme according to which a state is chosen as a linearization point if the error between a current reduced model and the full order nonlinear system reaches a maximum value. A combination that not only selects linearization points based on an error controller but also assigns dynamic inspired weights is shown in this article. The proposed scheme generates approximations with higher accuracies. This is demonstrated by applying the proposed method to some benchmark nonlinear circuits including RC ladder network and inverter chain circuit and comparing the results with the conventional schemes.     

门架式堆取料机在铜冶炼中的生产实践

针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。     

A review on some classes of algebraic systems

ABSTRACT

In this paper, we review some algebraic control system. Precisely, linear and bilinear systems on Euclidean spaces and invariant and linear systems on Lie groups. The fourth classes of systems have a common issue: to any class, there exists an associated subgroup. From this object, we survey the controllability property. Especially, from those coming from our contribution to the theory.     

倾斜摄影测量技术在古建筑测绘中的运用研究——以郴州市汝城县朱氏宗祠建筑测绘为例

为测试倾斜摄影测量技术路线,并通过实际项目的应用,解决传统古建筑建模过程中存在的时间成本高、难以还原复杂场景等问题。按照倾斜摄影技术的技术路线,进行朱氏宗祠建筑测绘试验,并通过基于altizure软件建立三维模型来展现倾斜摄影测量技术流程。验证无人机倾斜摄影应用于古建筑三维建模的可行性和可操作性。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Calorimetric study and thermodynamic description of Ga-Ge-Li liquid alloys

This publication contains the thermodynamic results received by the drop calorimetry method. The experiments were conducted for four different cross sections, at the temperature of 1080 K. The investigated alloys were as follows: (Ga_0.75Li_0.25)_1-xGe_x, (Ge_0.50Li_0.50)_1-xGa_x, (Ga_0.50Li_0.50)_1-xGe_x, (Ga_0.25Li_0.75)_1-xGe_x. The mixing enthalpy changes measured for all four cross sections of the Ga-Ge-Li system are characterized by negative deviations from the ideal solutions. The Muggianu model with the ternary interaction parameters was applied to elaborate the experimental data of the mixing enthalpy change with the use of the optimized thermodynamic parameters of the binary systems available in the literature.