Reliability Modelling and Analysis of Satellite Propulsion System Based on Reliability Block Diagram and Extended Object-Oriented Petri Net

Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.

CONSTRAINT MODELLING IN AN OBJECT-ORIENTED DATA MODEL FOR THE CAPP

The Object-Attribute-Relationship(OAR)model provides a single model tocapture data structure,behavior properties and knowledge rules in the CAPP application.This paper focuses on how to integrate a variety of different knowledge rules into the OARmodel and how to form transactions against the data structure with these rules in order toimplement intelligent process planning for designed components.The mapping from theOAR to Smalltalk can be directly carried out.It makes the implementation an entirely Ob-ject-Oriented approach.

STOCHASTIC OBJECT-ORIENTED PETRI NETS (SOPNS) AND ITS APPLICATION IN MODELING OF MANUFACTURING SYSTEM RELIABILITY

Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.

Geostatistical seismic inversion and 3D modelling of metric flow units,porosity and permeability in Brazilian presalt reservoir

Flow units(FU)rock typing is a common technique for characterizing reservoir flow behavior,producing reliable porosity and permeability estimation even in complex geological settings.However,the lateral extrapolation of FU away from the well into the whole reservoir grid is commonly a difficult task and using the seismic data as constraints is rarely a subject of study.This paper proposes a workflow to generate numerous possible 3D volumes of flow units,porosity and permeability below the seismic resolution limit,respecting the available seismic data at larger scales.The methodology is used in the Mero Field,a Brazilian presalt carbonate reservoir located in the Santos Basin,who presents a complex and heterogenic geological setting with different sedimentological processes and diagenetic history.We generated metric flow units using the conventional core analysis and transposed to the well log data.Then,given a Markov chain Monte Carlo algorithm,the seismic data and the well log statistics,we simulated acoustic impedance,decametric flow units(DFU),metric flow units(MFU),porosity and permeability volumes in the metric scale.The aim is to estimate a minimum amount of MFU able to calculate realistic scenarios porosity and permeability scenarios,without losing the seismic lateral control.In other words,every porosity and permeability volume simulated produces a synthetic seismic that match the real seismic of the area,even in the metric scale.The achieved 3D results represent a high-resolution fluid flow reservoir modelling considering the lateral control of the seismic during the process and can be directly incorporated in the dynamic characterization workflow.

Modeling Method of Automotive Body CAN/LIN Nets Application Protocol Based on Object-oriented Colored Petri Net

Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.

Implication of community-level ecophysiological parameterization to modelling ecosystem productivity:a case study across nine contrasting forest sites in eastern China

Parameterization is a critical step in modelling ecosystem dynamics.However,assigning parameter values can be a technical challenge for structurally complex natural plant communities;uncertainties in model simulations often arise from inappropriate model parameterization.Here we compared five methods for defining community-level specific leaf area(SLA)and leaf C:N across nine contrasting forest sites along the North-South Transect of Eastern China,including biomass-weighted average for the entire plant community(AP_BW)and four simplified selective sampling(biomass-weighted average over five dominant tree species[5DT_BW],basal area weighted average over five dominant tree species[5DT_AW],biomass-weighted average over all tree species[AT_BW]and basal area weighted average over all tree species[AT_AW]).We found that the default values for SLA and leaf C:N embedded in the Biome-BGC v4.2 were higher than the five computational methods produced across the nine sites,with deviations ranging from 28.0 to 73.3%.In addition,there were only slight deviations(<10%)between the whole plant community sampling(AP_BW)predicted NPP and the four simplified selective sampling methods,and no significant difference between the predictions of AT_BW and AP_BW except the Shennongjia site.The findings in this study highlights the critical importance of computational strategies for community-level parameterization in ecosystem process modelling,and will support the choice of parameterization methods.

A Rice Growth Models (RGM) System by Object-Oriented Programming with Visual C++

Object-oriented programming divides the crop production into subsystems and simulates their behaviors. Many classes were designed to simulate the behaviors of different parts or different physiological processes in crop production system. At the same time, many classes have to be employed for bettering user's interface. But how to manage these classes on a higher level to cooperate them into a perfect system is another problem to study. The Rice Growth Models (RGM) system represents an effort to define and implement a framework to manage these classes. In RGM system, the classes were organized into the model-document-view architecture to separate the domain models, data management and user interface. A single document with multiple views interface frame window was adopted in RGM. In the architectures, the simulation models only exchange data with documents while documents act as intermediacies between simulation models and interfaces. Views get data from documents and show the results to users. The classes for the different functions can be grouped into different architectures. Different architectures communicate with each other through documents. The classes for the different functions can be grouped into different architectures. By using the architecture, communication between classes is more efficient. Modeler can add classes in architectures or other architectures to extend the system without having to change system structure, which is useful for construction and maintenance of agricultural system models.

Effect of dry-wet cycles on dynamic properties and microstructures of sandstone:Experiments and modelling

Underground pumped storage power plant(UPSP)is an innovative concept for space recycling of abandoned mines.Its realization requires better understanding of the dynamic performance and durability of reservoir rock.This paper conducted ultrasonic detection,split Hopkinson pressure bar(SHPB)impact,mercury intrusion porosimetry(MIP),and backscatter electron observation(BSE)tests to investigate the dynamical behaviour and microstructure of sandstone with cyclical dry-wet damage.A coupling FEM-DEM model was constructed for reappearing mesoscopic structure damage.The results show that dry-wet cycles decrease the dynamic compressive strength(DCS)with a maximum reduction of 39.40%,the elastic limit strength is reduced from 41.75 to 25.62 MPa.The sieved fragments obtain the highest crack growth rate during the 23rd dry-wet cycle with a predictable life of 25 cycles for each rock particle.The pore fractal features of the macropores and micro-meso pores show great differences between the early and late cycles,which verifies the computational statistics analysis of particle deterioration.The numerical results show that the failure patterns are governed by the strain in pre-peak stage and the shear cracks are dominant.The dry-wet cycles reduce the energy transfer efficiency and lead to the discretization of force chain and crack fields.

Modelling of internal ballistics of gun systems:A review

A deep understanding of the internal ballistic process and the factors affecting it is of primary importance to efficiently design a gun system and ensure its safe management. One of the main goals of internal ballistics is to estimate the gas pressure into the combustion chamber and the projectile muzzle velocity in order to use the propellant to its higher efficiency while avoiding over-pressure phenomena. Dealing with the internal ballistic problem is a complex undertaking since it requires handling the interaction between different constituents during a transient time lapse with very steep rise of pressure and temperature. Several approaches have been proposed in the literature, based on different assumptions and techniques. Generally, depending on the used mathematical framework, they can be classified into two categories: computational fluid dynamics-based models and lumped-parameter ones. By focusing on gun systems, this paper offers a review of the main contributions in the field by mentioning their advantages and drawbacks. An insight into the limitations of the currently available modelling strategies is provided,as well as some considerations on the choice of one model over another. Lumped-parameter models, for example, are a good candidate for performing parametric analysis and optimisation processes of gun systems, given their minimum requirements of computer resources. Conversely, CFD-based models have a better capacity to address more sophisticated phenomena like pressure waves and turbulent flow effects. The performed review also reveals that too little attention has been given to small calibre guns since the majority of currently available models are conceived for medium and large calibre gun systems.Similarly, aspects like wear phenomena, bore deformations or projectile-barrel interactions still need to be adequately addressed and our suggestion is to dedicate more effort on it.

An Approach to Detect Structural Development Defects in Object-Oriented Programs

Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detection approaches, ranging from traditional heuristic algorithms to machine learning methods, are used to identify these defects. Ensemble learning methods have strengthened the detection of these defects. However, existing approaches do not simultaneously exploit the capabilities of extracting relevant features from pre-trained models and the performance of neural networks for the classification task. Therefore, our goal has been to design a model that combines a pre-trained model to extract relevant features from code excerpts through transfer learning and a bagging method with a base estimator, a dense neural network, for defect classification. To achieve this, we composed multiple samples of the same size with replacements from the imbalanced dataset MLCQ1. For all the samples, we used the CodeT5-small variant to extract features and trained a bagging method with the neural network Roberta Classification Head to classify defects based on these features. We then compared this model to RandomForest, one of the ensemble methods that yields good results. Our experiments showed that the number of base estimators to use for bagging depends on the defect to be detected. Next, we observed that it was not necessary to use a data balancing technique with our model when the imbalance rate was 23%. Finally, for blob detection, RandomForest had a median MCC value of 0.36 compared to 0.12 for our method. However, our method was predominant in Long Method detection with a median MCC value of 0.53 compared to 0.42 for RandomForest. These results suggest that the performance of ensemble methods in detecting structural development defects is dependent on specific defects.

DEVELOPMENT OF A GIS DATA MODEL WITH SPATIAL,TEMPORAL AND ATTRIBUTE COMPONENTS BASED ON OBJECT-ORIENTED APPROACH

This paper presents a conceptual data model, the STA-model, for handling spatial, temporal and attribute aspects of objects in GIS. The model is developed on the basis of object-oriented modeling approach. This model includes two major parts: (a) modeling the signal objects by STA-object elements, and (b) modeling relationships between STA-objects. As an example, the STA-model is applied for modeling land cover change data with spatial, temporal and attribute components.

Hydrological Modelling of the Casamance River in Its Upstream Section (Basin at Kolda Level) to Predict Its Future States as a Function of Different Stresses

Flow records for stations in the Casamance basin are incomplete. Several gaps were noted over the 1980-2021 study period, making this study tedious. The aim of this study is to assess the potential impact of climate change on the flow of the Casamance watershed at Kolda. To this end, hydrological series are simulated and then extended using the GR2M rainfall-runoff model, with a monthly time step. Projected climate data are derived from a multi-model ensemble under scenarios SSP2-4.5 (scenario with additional radiative forcing of 4.5 W/m2 by 2099) and SSP5-8.5 (scenario with additional radiative forcing of 8.5 W/m2 by 2099). An analysis of the homogeneity of the rainfall data series from the Kolda station was carried out using KhronoStat software. The Casamance watershed was then delimited using ArcGIS to determine the morphometric parameters of the basin, which will be decisive for the rest of the work. Next, monthly evapotranspiration was calculated using the formula proposed by Oudin et al. This, together with rainfall and runoff, forms the input data for the model. The GR2M model was then calibrated and cross-validated using various simulations to assess its performance and robustness in the Casamance watershed. The version of the model with the calibrated parameters will make it possible to extend Casamance river flows to 2099. This simulation of future flows with GR2M shows a decrease in the flow of the Casamance at Kolda with the two scenarios SSP2-4.5 and SSP5-8.5 during the rainy period, and almost zero flows during the dry season from the period 2040-2059.

Modelling Land Use/Land Cover Change of River Rwizi Catchment, South-Western Uganda Using GIS and Markov Chain Model

Analysis of catchment Land use/Land cover (LULC) change is a vital tool in ensuring sustainable catchment management. The study analyzed land use/land cover changes in the Rwizi catchment, south western Uganda from 1989-2019 and projected the trend by 2040. Landsat images, field observations, key informant interviews and focus group discussions were used to collect data. Changes in cropland, forestland, built up area, grazing land, wetland and open water bodies were analyzed in ArcGIS version 10.2.2 and ERDAS IMAGINE 14 software and a Markov chain model. All the LULC classes increased in area except grazing land. Forest land and builtup area between 2009-2019 increased by 370.03% and 229.53% respectively. Projections revealed an increase in forest land and builtup area by 2030 and only built up area by 2040. LULCC in the catchment results from population pressure, reduced soil fertility and high value of agricultural products.

Numerical analysis of high‑speed railway slab tracks using calibrated and validated 3D time‑domain modelling

Concrete slabs are widely used in modern railways to increase the inherent resilient quality of the tracks,provide safe and smooth rides,and reduce the maintenance frequency.In this paper,the elastic performance of a novel slab trackform for high-speed railways is investigated using three-dimensional finite element modelling in Abaqus.It is then compared to the performance of a ballasted track.First,slab and ballasted track models are developed to replicate the full-scale testing of track sections.Once the models are calibrated with the experimental results,the novel slab model is developed and compared against the calibrated slab track results.The slab and ballasted track models are then extended to create linear dynamic models,considering the track geodynamics,and simulating train passages at various speeds,for which the Ledsgard documented case was used to validate the models.Trains travelling at low and high speeds are analysed to investigate the track deflections and the wave propagation in the soil,considering the issues associated with critical speeds.Various train loading methods are discussed,and the most practical approach is retained and described.Moreover,correlations are made between the geotechnical parameters of modern high-speed rail and conventional standards.It is found that considering the same ground condition,the slab track deflections are considerably smaller than those of the ballasted track at high speeds,while they show similar behaviour at low speeds.

Artificial Intelligence Embedded Object-Oriented Methodology For Model Based Decision Support

The paper presents the coupling of artificial intelligence-AI and Object-oriented methodology applied for the construction of the model-based decision support system MBDSS.The MBDSS is designed for support the strategic decision making lead to the achievemellt of optimal path towardsmarket economy from the central planning situation in China. To meet user's various requirements,a series of innovations in software development have been carried out, such as system formalization with OBFRAMEs in an object-oriented paradigm for problem solving automation and techniques of modules intelligent cooperation, hybrid system of reasoning, connectionist framework utilization,etc. Integration technology has been highly emphasized and discussed in this article and an outlook to future software engineering is given in the conclusion section.

Object-Oriented Modeling of the Variation of Acceleration and Deceleration Characteristics in Relation to Speed Bands for Railway Vehicles

Automated operation and artificial intelligence technology have become essential for ensuring the safety, efficiency, and punctuality of railways, with applications such as ATO (Automatic Train Operation). In this study, the authors propose a method to efficiently simulate the kinematic characteristics of railroad vehicles depending on their speed zone. They utilized the function overloading function supported by a programming language and applied the fourth-order Lunge-Kutta method for dynamic simulation. By constructing an object model, the authors calculated vehicle characteristics and TPS and compared them with actual values, verifying that the developed model represents the real-life vehicle characteristics accurately. The study highlights potential improvements in automated driving and energy consumption optimization in the railway industry.

Prospect Theory Based Individual Irrationality Modelling and Behavior Inducement in Pandemic Control

Understanding and modeling individuals’behaviors during epidemics is crucial for effective epidemic control.However,existing research ignores the impact of users’irrationality on decision-making in the epidemic.Meanwhile,existing disease control methods often assume users’full compliance with measures like mandatory isolation,which does not align with the actual situation.To address these issues,this paper proposes a prospect theorybased framework to model users’decision-making process in epidemics and analyzes how irrationality affects individuals’behaviors and epidemic dynamics.According to the analysis results,irrationality tends to prompt conservative behaviors when the infection risk is low but encourages risk-seeking behaviors when the risk is high.Then,this paper proposes a behavior inducement algorithm to guide individuals’behaviors and control the spread of disease.Simulations and real user tests validate our analysis,and simulation results show that the proposed behavior inducement algorithm can effectively guide individuals’behavior.

Hypergraph-based Object-oriented Model and Hypergraph Theory for GIS

This paper discusses the features and relevant theories of GIS spatial data model based on hypergraph,etc.The integrated concept model based on hypergraph and object_oriented model (HOOM) is proposed by the authors.The principal contribution of this paper is that we study the K_section and other theories of hypergraph.An application example using HOOM is given at the end of the paper.

Experiment and constitutive modelling of creep deformation in the frozen silt-concrete interface

To ensure the long-term safety and stability of bridge pile foundations in permafrost regions,it is necessary to investigate the rheological effects on the pile tip and pile side bearing capacities.The creep characteristics of the pile-frozen soil interface are critical for determining the long-term stability of permafrost pile foundations.This study utilized a self-developed large stress-controlled shear apparatus to investigate the shear creep characteristics of the frozen silt-concrete interface,and examined the influence of freezing temperatures(−1,−2,and−5°C),contact surface roughness(0,0.60,0.75,and 1.15 mm),normal stress(50,100,and 150 kPa),and shear stress on the creep characteristics of the contact surface.By incorporating the contact surface’s creep behavior and development trends,we established a creep constitutive model for the frozen silt-concrete interface based on the Nishihara model,introducing nonlinear elements and a damage factor.The results revealed significant creep effects on the frozen silt-concrete interface under constant load,with creep displacement at approximately 2-15 times the instantaneous displacement and a failure creep displacement ranging from 6 to 8 mm.Under different experimental conditions,the creep characteristics of the frozen silt-concrete interface varied.A larger roughness,lower freezing temperatures,and higher normal stresses resulted in a longer sample attenuation creep time,a lower steady-state creep rate,higher long-term creep strength,and stronger creep stability.Building upon the Nishihara model,we considered the influence of shear stress and time on the viscoelastic viscosity coefficient and introduced a damage factor to the viscoplasticity.The improved model effectively described the entire creep process of the frozen silt-concrete interface.The results provide theoretical support for the interaction between pile and soil in permafrost regions.

Modelling analysis embodies drastic transition among global potential natural vegetations in face of changing climate

Potential natural vegetation(PNV)is a valuable reference for ecosystem renovation and has garnered increasing attention worldwide.However,there is limited knowledge on the spatio-temporal distributions,transitional processes,and underlying mechanisms of global natural vegetation,particularly in the case of ongoing climate warming.In this study,we visualize the spatio-temporal pattern and inter-transition procedure of global PNV,analyse the shifting distances and directions of global PNV under the influence of climatic disturbance,and explore the mechanisms of global PNV in response to temperature and precipitation fluctuations.To achieve this,we utilize meteorological data,mainly temperature and precipitation,from six phases:the Last Inter-Glacial(LIG),the Last Glacial Maximum(LGM),the Mid Holocene(MH),the Present Day(PD),2030(20212040)and 2090(2081–2100),and employ a widely-accepted comprehensive and sequential classification sy–stem(CSCS)for global PNV classification.We find that the spatial patterns of five PNV groups(forest,shrubland,savanna,grassland and tundra)generally align with their respective ecotopes,although their distributions have shifted due to fluctuating temperature and precipitation.Notably,we observe an unexpected transition between tundra and savanna despite their geographical distance.The shifts in distance and direction of five PNV groups are mainly driven by temperature and precipitation,although there is heterogeneity among these shifts for each group.Indeed,the heterogeneity observed among different global PNV groups suggests that they may possess varying capacities to adjust to and withstand the impacts of changing climate.The spatio-temporal distributions,mutual transitions and shift tendencies of global PNV and its underlying mechanism in face of changing climate,as revealed in this study,can significantly contribute to the development of strategies for mitigating warming and promoting re-vegetation in degraded regions worldwide.