External equality and absolute equality coincide in finite CCS and <Emphasis Type="Italic">π</Emphasis> calculus without summation

External equality and absolute equality are defined model independently by Fu. It is interesting and important to know whether these two equalities coincide or not. There are some results in Fu’s paper for this issue. It is relatively easy to prove the coincidence if the summation operator is in the language, otherwise it is harder. In fact Fu proposed it as an open problem whether the two equalities coincide in some languages without summation. In this paper, the proofs of the coincidence in finite CCS and π calculus without summation are given.     

Development and application of thermal mathematical model of iron ore pellet bed in grate

Based on the analysis of heat transfer mechanics, physical and chemical change of pellet drying and preheating process in grate, the mathematical model is established and solved by three-diagonal matrix algorithm. With Visual Basic 6.0 a simulation software is developed. The model is verified by measurements at a domestic pellet plant, and the temperature distribution of pellet bed is gained. Meanwhile, the influence of different operation parameters on the pellet thermal process is studied. The results can be taken as a basis of practical production control and the grate optimizing design.     

The precautionary principle in maritime affairs

Since the 1980s, the precautionary principle has been drawing more and more international attention. This became particularly clear during the series of Conferences on the Protection of the North Sea, which addressed marine environmental protection, and initiated the application of the principle into maritime affairs. Although a unified concept of the precautionary principle is lacking, some typical formulations have been concluded in regional treaties and international documents, and components of the principle can be summarised (Part I and Part II). The precautionary principle has been adopted by international documents involving different fields of law of the sea, and been addressed by international courts and tribunals (Part III). While the precautionary principle is still not part of customary international law (Part IV), its increasing level of worldwide acceptance suggests that it will become a customary international law in the future.     

Mathematical model validated by a crash test for studying the occupant’s kinematics and dynamics in a cars’ frontal collision

The aim of the paper was to determine the kinematic parameters that influence the occupant injury risk through a mathematical model. The developed model is a 2D model composed of 4 bodies (2 vehicles, thorax and head). The head and thorax are interconnected with a rotation joint and a torsion spring meant to stiffen the relative movement between the bodies. The thorax is connected with the vehicle body by a linear spring meant to simulate the seatbelt stiffness. The model was solved using Lagrange principle and the validation of the model was made through a crash test performed using the same initial conditions and comparing the obtained values of the displacement, velocity and acceleration parameters with the ones obtained with the mathematical model. The head and torso were chosen due to the fact that they are the common parts of the body that get injured, especially the head with the change of 80 % to cause fatal injury in car’s frontal collision. Once the model was validated, the stiffness of the seatbelt was modified in order to determine the behavior of the occupant in case of car frontal collisions. When the seatbelt stiffness was reduced, the occupant displacement and velocity increased, while by increasing the stiffness, these parameters decreased. The values of the developed model presented a high degree of similarity with the results obtained from the crash test with an error of 10 %. This model can be used by engineers to easily asses the occupant injury risk in case of vehicle frontal collisions.     

Application of the reverse 3D scanning method to evaluate the wear of forging tools divided on two selected areas

This study is focused on tools used in the industrial hot forging process of a front wheel forging (eventually–gear wheel) manufactured for the automotive industry. Four different variants were applied for the tools: 2 die inserts were coated with two different hybrid layers (GN + PVD type), i.e. AlCrTiN and AlCrTiSiN, one insert was only nitrided, and one was pad welded, to improve tool durability. The tool wear was analysed and represented by the material degradation on the working surface, based on the 3D scanning and the material growth of the periodically collected forgings. Additionally, the scanned tools were divided into two areas, in which it was found, based on the reliminary analysis, that various degradation mechanisms are predominant. Microstructural and hardness measurements of the analyzed tools were also performed. Based on the results, it was found that, in the central part of the die insert (area A), thermo-mechanical fatigue and wear occurred, while in the area of the bridge insert (area B), only abrasive wear could be observed. For these areas (A and B), the loss of material was determined separately. In area A for the inserts with hybrid layer GN+AlCrTiSiN and gas nitrided, an intensive increase of wear took place, which was not observed for the pad welded and GN+AlCrTiN layer insert, for which, together with the increase of the forging number, a proportional growth of the loss of material occurred. In area B the weakest results were obtained for the insert with GN+AlCrTiSiN layer, while wear of other die inserts grew similar and proportional.     

Lightweight mixture faults detection method for gasoline engine using on-line trend analysis

Mixture faults detection is meaningful for gasoline engines because proper mixture is the basic prerequisite for healthy running of a combustion engine. Among existing methods for faults detection, the data-driven trend analysis technique is widely used due to the simplicity and efficiency in time-domain. The CUSUM (Cumulative Sum Of Errors) algorithm is good at real-time trend extraction, but it’s easy to be costly on the fuel trim signal during the engine in normal working conditions, which will increase battery energy consumption because engine failure is rarely occurs. Hence, the conventional treatment methods of artifacts in the CUSUM algorithm are modified by means of decay function and detection time analysis. The thresholds are tuned according to the characteristics of artifacts instead of residual variability, which leads to better results of trend extraction and less computation. Then, the revised CUSUM algorithm is used for monitoring the mixture abnormal behaviors, and the mixture faults can be detected in real time through analyzing the variation features of fuel trim signal. The lightweight faults detector using the advanced CUSUM algorithm (FD-A-CUSUM) is evaluated on the experimental data collected from a Ford engine. The validation results show that while engine works under normal conditions, the computation of FD-A-CUSUM has decreased by 72.79 % in comparison with the detection method using the original CUSUM algorithm (FD-O-CUSUM), and the false alarm ratio of FD-A-CUSUM is 3.37 %. Futhermore, the detection results of FD-A-CUSUM for two leakage faults have achieved 91.18 % test accuracy.     

Numerical modeling of ground response during diaphragm wall construction

Construction of diaphragm wall panels may cause considerable stress changes in heavily overconsolidated soil deposits and can induce substantial ground movement. The 3D Lagrangian method was adopted to model the mechanical response of ground, including horizontal normal stress and shear stress, lateral ground displacement and vertical ground surface settlement, during the slurry trenching and concreting of diaphragm wall panels. Numerical results show that slurry trenching leads to horizontal stress relief of ground, reducing the horizontal stress of the ground from initial K0 pressure to hydrostatic betonite pressure. Wet concrete pressure lies between the hydrostatic bentonite pressure and the initial K0 pressure, so it can compensate partially the horizontal stress loss of the ground adjacent to the trench and thus reduce the lateral movement of the trench face as well as the vertical settlement of the ground surface.     

无支架缆索吊装锚碇锚索施工技术研究

介绍落布溪大桥钢管拱肋劲性骨架的无支架缆索吊主锚碇锚索施工技术。     

Efficient calculation of slamming pressures on ships in irregular seas

An efficient method for calculation of the slamming pressures on ship hulls in irregular waves is presented and validated for a 290-m cruise ship. Nonlinear strip theory was used to calculate the ship–wave relative motions. The relative vertical and roll velocities for a slamming event were input to the slamming calculation program, which used a two-dimensional boundary element method (BEM) based on the generalized 2D Wagner formulation presented by Zhao et al. To improve the calculation efficiency, the method was divided into two separate steps. In the first step, the velocity potentials were calculated for unit relative velocities between the section and the water. In the next step, these precalculated velocity potentials were used together with the real relative velocities experienced in a seaway to calculate the slamming pressure and total slamming force on the section. This saved considerable computer time for slamming calculations in irregular waves, without significant loss of accuracy. The calculated slamming pressures on the bow flare of the cruise ship agreed quite well with the measured values, at least for time windows in which the calculated and experimental ship motions agreed well. A simplified method for calculation of the instantaneous peak pressure on each ship section in irregular waves is also presented. The method was used to identify slamming events to be analyzed with the more refined 2D BEM method, but comparisons with measured values indicate that the method may also be used for a quick quantitative assessment of the maximum slamming pressures.     

港口在推动建立现代国际物流中心中的战略意义

分析了不同阶段物流及港口发展的关系表征,进而分析了港口推动现代物流方面的优势。随后,从四个方面阐述了建立物流中心的战略意义。