期刊文献+
共找到11,476篇文章
< 1 2 250 >
每页显示 20 50 100
Modeling load distribution for rural photovoltaic grid areas using image recognition
1
作者 Ning Zhou Bowen Shang +1 位作者 Jinshuai Zhang Mingming Xu 《Global Energy Interconnection》 EI CSCD 2024年第3期270-283,共14页
Expanding photovoltaic(PV)resources in rural-grid areas is an essential means to augment the share of solar energy in the energy landscape,aligning with the“carbon peaking and carbon neutrality”objectives.However,ru... Expanding photovoltaic(PV)resources in rural-grid areas is an essential means to augment the share of solar energy in the energy landscape,aligning with the“carbon peaking and carbon neutrality”objectives.However,rural power grids often lack digitalization;thus,the load distribution within these areas is not fully known.This hinders the calculation of the available PV capacity and deduction of node voltages.This study proposes a load-distribution modeling approach based on remote-sensing image recognition in pursuit of a scientific framework for developing distributed PV resources in rural grid areas.First,houses in remote-sensing images are accurately recognized using deep-learning techniques based on the YOLOv5 model.The distribution of the houses is then used to estimate the load distribution in the grid area.Next,equally spaced and clustered distribution models are used to adaptively determine the location of the nodes and load power in the distribution lines.Finally,by calculating the connectivity matrix of the nodes,a minimum spanning tree is extracted,the topology of the network is constructed,and the node parameters of the load-distribution model are calculated.The proposed scheme is implemented in a software package and its efficacy is demonstrated by analyzing typical remote-sensing images of rural grid areas.The results underscore the ability of the proposed approach to effectively discern the distribution-line structure and compute the node parameters,thereby offering vital support for determining PV access capability. 展开更多
关键词 Deep learning Remote sensing image recognition Photovoltaic development load distribution modeling Power flow calculation
下载PDF
Real-Time Prediction Algorithm for Intelligent Edge Networks with Federated Learning-Based Modeling
2
作者 Seungwoo Kang Seyha Ros +3 位作者 Inseok Song Prohim Tam Sa Math Seokhoon Kim 《Computers, Materials & Continua》 SCIE EI 2023年第11期1967-1983,共17页
Intelligent healthcare networks represent a significant component in digital applications,where the requirements hold within quality-of-service(QoS)reliability and safeguarding privacy.This paper addresses these requi... Intelligent healthcare networks represent a significant component in digital applications,where the requirements hold within quality-of-service(QoS)reliability and safeguarding privacy.This paper addresses these requirements through the integration of enabler paradigms,including federated learning(FL),cloud/edge computing,softwaredefined/virtualized networking infrastructure,and converged prediction algorithms.The study focuses on achieving reliability and efficiency in real-time prediction models,which depend on the interaction flows and network topology.In response to these challenges,we introduce a modified version of federated logistic regression(FLR)that takes into account convergence latencies and the accuracy of the final FL model within healthcare networks.To establish the FLR framework for mission-critical healthcare applications,we provide a comprehensive workflow in this paper,introducing framework setup,iterative round communications,and model evaluation/deployment.Our optimization process delves into the formulation of loss functions and gradients within the domain of federated optimization,which concludes with the generation of service experience batches for model deployment.To assess the practicality of our approach,we conducted experiments using a hypertension prediction model with data sourced from the 2019 annual dataset(Version 2.0.1)of the Korea Medical Panel Survey.Performance metrics,including end-to-end execution delays,model drop/delivery ratios,and final model accuracies,are captured and compared between the proposed FLR framework and other baseline schemes.Our study offers an FLR framework setup for the enhancement of real-time prediction modeling within intelligent healthcare networks,addressing the critical demands of QoS reliability and privacy preservation. 展开更多
关键词 Edge computing federated logistic regression intelligent healthcare networks prediction modeling privacy-aware and real-time learning
下载PDF
A novel approach to the dynamic response analysis of Euler-Bernoulli beams resting on a Winkler soil model and subjected to impact loads
3
作者 Adolfo Foriero Filippo Santucci de Magistris Giovanni Fabbrocino 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2024年第2期389-401,共13页
This work presents a novel approach to the dynamic response analysis of a Euler-Bernoulli beam resting on a Winkler soil model and subjected to an impact loading.The approach considers that damping has much less impor... This work presents a novel approach to the dynamic response analysis of a Euler-Bernoulli beam resting on a Winkler soil model and subjected to an impact loading.The approach considers that damping has much less importance in controlling the maximum response to impulsive loadings because the maximum response is reached in a very short time,before the damping forces can dissipate a significant portion of the energy input into the system.The development of two sine series solutions,relating to different types of impulsive loadings,one involving a single concentrated force and the other a distributed line load,are presented.This study revealed that when a simply supported Euler-Bernoulli beam,resting on a Winkler soil model,is subject to an impact load,the resulting vertical displacements,bending moments and shear forces produced along the span of the beam are considerably affected.In particular,the quantification of this effect is best observed,relative to the corresponding static solution,via an amplification factor.The computed impact amplification factors,for the sub-grade moduli used in this study,were in magnitude greater than 2,thus confirming the multiple-degree-of-freedom nature of the problem. 展开更多
关键词 beam-Winkler-soil model sub-grade moduli impact load impact distributed line load dynamic solution impact amplification factor
下载PDF
Pore-pressure and stress-coupled creep behavior in deep coal:Insights from real-time NMR analysis
4
作者 Wenhao Jia Hongwei Zhou +3 位作者 Senlin Xie Yimeng Wang Xinfeng Hu Lei Zhang 《International Journal of Mining Science and Technology》 SCIE EI CAS CSCD 2024年第1期77-90,共14页
Understanding the variations in microscopic pore-fracture structures(MPFS) during coal creep under pore pressure and stress coupling is crucial for coal mining and effective gas treatment. In this manuscript, a triaxi... Understanding the variations in microscopic pore-fracture structures(MPFS) during coal creep under pore pressure and stress coupling is crucial for coal mining and effective gas treatment. In this manuscript, a triaxial creep test on deep coal at various pore pressures using a test system that combines in-situ mechanical loading with real-time nuclear magnetic resonance(NMR) detection was conducted.Full-scale quantitative characterization, online real-time detection, and visualization of MPFS during coal creep influenced by pore pressure and stress coupling were performed using NMR and NMR imaging(NMRI) techniques. The results revealed that seepage pores and microfractures(SPM) undergo the most significant changes during coal creep, with creep failure gradually expanding from dense primary pore fractures. Pore pressure presence promotes MPFS development primarily by inhibiting SPM compression and encouraging adsorption pores(AP) to evolve into SPM. Coal enters the accelerated creep stage earlier at lower stress levels, resulting in more pronounced creep deformation. The connection between the micro and macro values was established, demonstrating that increased porosity at different pore pressures leads to a negative exponential decay of the viscosity coefficient. The Newton dashpot in the ideal viscoplastic body and the Burgers model was improved using NMR experimental results, and a creep model that considers pore pressure and stress coupling using variable-order fractional operators was developed. The model’s reasonableness was confirmed using creep experimental data. The damagestate adjustment factors ω and β were identified through a parameter sensitivity analysis to characterize the effect of pore pressure and stress coupling on the creep damage characteristics(size and degree of difficulty) of coal. 展开更多
关键词 real-time monitoring Pore pressure-stress coupling Microscopic pore-fracture structure Variable-order fractional creep model Deep coal
下载PDF
Computational Fluid Dynamics Approach for Predicting Pipeline Response to Various Blast Scenarios: A Numerical Modeling Study
5
作者 Farman Saifi Mohd Javaid +1 位作者 Abid Haleem S.M.Anas 《Computer Modeling in Engineering & Sciences》 SCIE EI 2024年第9期2747-2777,共31页
Recent industrial explosions globally have intensified the focus in mechanical engineering on designing infras-tructure systems and networks capable of withstanding blast loading.Initially centered on high-profile fac... Recent industrial explosions globally have intensified the focus in mechanical engineering on designing infras-tructure systems and networks capable of withstanding blast loading.Initially centered on high-profile facilities such as embassies and petrochemical plants,this concern now extends to a wider array of infrastructures and facilities.Engineers and scholars increasingly prioritize structural safety against explosions,particularly to prevent disproportionate collapse and damage to nearby structures.Urbanization has further amplified the reliance on oil and gas pipelines,making them vital for urban life and prime targets for terrorist activities.Consequently,there is a growing imperative for computational engineering solutions to tackle blast loading on pipelines and mitigate associated risks to avert disasters.In this study,an empty pipe model was successfully validated under contact blast conditions using Abaqus software,a powerful tool in mechanical engineering for simulating blast effects on buried pipelines.Employing a Eulerian-Lagrangian computational fluid dynamics approach,the investigation extended to above-surface and below-surface blasts at standoff distances of 25 and 50 mm.Material descriptions in the numerical model relied on Abaqus’default mechanical models.Comparative analysis revealed varying pipe performance,with deformation decreasing as explosion-to-pipe distance increased.The explosion’s location relative to the pipe surface notably influenced deformation levels,a key finding highlighted in the study.Moreover,quantitative findings indicated varying ratios of plastic dissipation energy(PDE)for different blast scenarios compared to the contact blast(P0).Specifically,P1(25 mm subsurface blast)and P2(50 mm subsurface blast)showed approximately 24.07%and 14.77%of P0’s PDE,respectively,while P3(25 mm above-surface blast)and P4(50 mm above-surface blast)exhibited lower PDE values,accounting for about 18.08%and 9.67%of P0’s PDE,respectively.Utilising energy-absorbing materials such as thin coatings of ultra-high-strength concrete,metallic foams,carbon fiber-reinforced polymer wraps,and others on the pipeline to effectively mitigate blast damage is recommended.This research contributes to the advancement of mechanical engineering by providing insights and solutions crucial for enhancing the resilience and safety of underground pipelines in the face of blast events. 展开更多
关键词 Blast loading computational fluid dynamics computer modeling pipe networks response prediction structural safety
下载PDF
A discussion about the limitations of the Eurocode’s high-speed load model for railway bridges
6
作者 Gonçalo Ferreira Pedro Montenegro +2 位作者 JoséRui Pinto António Abel Henriques Rui Calçada 《Railway Engineering Science》 EI 2024年第2期211-228,共18页
High-speed railway bridges are subjected to normative limitations concerning maximum permissible deck accelerations.For the design of these structures,the European norm EN 1991-2 introduces the high-speed load model(H... High-speed railway bridges are subjected to normative limitations concerning maximum permissible deck accelerations.For the design of these structures,the European norm EN 1991-2 introduces the high-speed load model(HSLM)—a set of point loads intended to include the effects of existing high-speed trains.Yet,the evolution of current trains and the recent development of new load models motivate a discussion regarding the limits of validity of the HSLM.For this study,a large number of randomly generated load models of articulated,conventional,and regular trains are tested and compared with the envelope of HSLM effects.For each type of train,two sets of 100,000 load models are considered:one abiding by the limits of the EN 1991-2 and another considering wider limits.This comparison is achieved using both a bridge-independent metric(train signatures)and dynamic analyses on a case study bridge(the Canelas bridge of the Portuguese Railway Network).For the latter,a methodology to decrease the computational cost of moving loads analysis is introduced.Results show that some theoretical load models constructed within the stipulated limits of the norm can lead to effects not covered by the HSLM.This is especially noted in conventional trains,where there is a relation with larger distances between centres of adjacent vehicle bogies. 展开更多
关键词 High-speed load model Dynamic analysis High-speed railways Train signature Railway bridges Deck acceleration
下载PDF
Real-Time Monitoring Method for Cow Rumination Behavior Based on Edge Computing and Improved MobileNet v3
7
作者 ZHANG Yu LI Xiangting +4 位作者 SUN Yalin XUE Aidi ZHANG Yi JIANG Hailong SHEN Weizheng 《智慧农业(中英文)》 CSCD 2024年第4期29-41,共13页
[Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been propo... [Objective]Real-time monitoring of cow ruminant behavior is of paramount importance for promptly obtaining relevant information about cow health and predicting cow diseases.Currently,various strategies have been proposed for monitoring cow ruminant behavior,including video surveillance,sound recognition,and sensor monitoring methods.How‐ever,the application of edge device gives rise to the issue of inadequate real-time performance.To reduce the volume of data transmission and cloud computing workload while achieving real-time monitoring of dairy cow rumination behavior,a real-time monitoring method was proposed for cow ruminant behavior based on edge computing.[Methods]Autono‐mously designed edge devices were utilized to collect and process six-axis acceleration signals from cows in real-time.Based on these six-axis data,two distinct strategies,federated edge intelligence and split edge intelligence,were investigat‐ed for the real-time recognition of cow ruminant behavior.Focused on the real-time recognition method for cow ruminant behavior leveraging federated edge intelligence,the CA-MobileNet v3 network was proposed by enhancing the MobileNet v3 network with a collaborative attention mechanism.Additionally,a federated edge intelligence model was designed uti‐lizing the CA-MobileNet v3 network and the FedAvg federated aggregation algorithm.In the study on split edge intelli‐gence,a split edge intelligence model named MobileNet-LSTM was designed by integrating the MobileNet v3 network with a fusion collaborative attention mechanism and the Bi-LSTM network.[Results and Discussions]Through compara‐tive experiments with MobileNet v3 and MobileNet-LSTM,the federated edge intelligence model based on CA-Mo‐bileNet v3 achieved an average Precision rate,Recall rate,F1-Score,Specificity,and Accuracy of 97.1%,97.9%,97.5%,98.3%,and 98.2%,respectively,yielding the best recognition performance.[Conclusions]It is provided a real-time and effective method for monitoring cow ruminant behavior,and the proposed federated edge intelligence model can be ap‐plied in practical settings. 展开更多
关键词 cow rumination behavior real-time monitoring edge computing improved MobileNet v3 edge intelligence model Bi-LSTM
下载PDF
R-Factor Analysis of Data Based on Population Models Comprising R- and Q-Factors Leads to Biased Loading Estimates
8
作者 André Beauducel 《Open Journal of Statistics》 2024年第1期38-54,共17页
Effects of performing an R-factor analysis of observed variables based on population models comprising R- and Q-factors were investigated. Although R-factor analysis of data based on a population model comprising R- a... Effects of performing an R-factor analysis of observed variables based on population models comprising R- and Q-factors were investigated. Although R-factor analysis of data based on a population model comprising R- and Q-factors is possible, this may lead to model error. Accordingly, loading estimates resulting from R-factor analysis of sample data drawn from a population based on a combination of R- and Q-factors will be biased. It was shown in a simulation study that a large amount of Q-factor variance induces an increase in the variation of R-factor loading estimates beyond the chance level. Tests of the multivariate kurtosis of observed variables are proposed as an indicator of possible Q-factor variance in observed variables as a prerequisite for R-factor analysis. 展开更多
关键词 R-Factor Analysis Q-Factor Analysis loading Bias model Error Multivariate Kurtosis
下载PDF
Modeling the blast load induced by a close-in explosion considering cylindrical charge parameters 被引量:1
9
作者 Yi Fan Li Chen +2 位作者 Zhan Li Heng-bo Xiang Qin Fang 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2023年第6期83-108,共26页
Structural damage is significantly influenced by the various parameters of a close-in explosion.To establish a close-in blast loading model for cylindrical charges according to these parameters,a series of field exper... Structural damage is significantly influenced by the various parameters of a close-in explosion.To establish a close-in blast loading model for cylindrical charges according to these parameters,a series of field experiments and a systematic numerical analysis were conducted.A high-fidelity finite element model developed using AUTODYN was first validated using blast data collected from field tests conducted in this and previous studies.A quantitative analysis was then performed to determine the influence of the charge shape,aspect ratio(length to diameter),orientation,and detonation configuration on the characteristics and distributions of the blast loading(incident peak overpressure and impulse)according to scaled distance.The results revealed that the secondary peak overpressure generated by a cylindrical charge was mainly distributed along the axial direction and was smaller than the overpressure generated by an equivalent spherical charge.The effects of charge shape on the blast loading at 45°and 67.5°in the axial plane could be neglected at scaled distances greater than 2 m/kg^(1/3);the effect of aspect ratios greater than 2 on the peak overpressure in the 90°(radial)direction could be neglected at all scaled distances;and double-end detonation increased the radial blast loading by up to 60%compared to singleend detonation.Finally,an empirical cylindrical charge blast loading model was developed considering the influences of charge aspect ratio,orientation,and detonation configuration.The results obtained in this study can serve as a reference for the design of blast tests using cylindrical charges and aid engineers in the design of blast-resistant structures. 展开更多
关键词 Cylindrical charge Secondary peak overpressure Aspect ratio ORIENTATION Detonation initiation point Blast loading model
下载PDF
Cyber Resilience through Real-Time Threat Analysis in Information Security
10
作者 Aparna Gadhi Ragha Madhavi Gondu +1 位作者 Hitendra Chaudhary Olatunde Abiona 《International Journal of Communications, Network and System Sciences》 2024年第4期51-67,共17页
This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends t... This paper examines how cybersecurity is developing and how it relates to more conventional information security. Although information security and cyber security are sometimes used synonymously, this study contends that they are not the same. The concept of cyber security is explored, which goes beyond protecting information resources to include a wider variety of assets, including people [1]. Protecting information assets is the main goal of traditional information security, with consideration to the human element and how people fit into the security process. On the other hand, cyber security adds a new level of complexity, as people might unintentionally contribute to or become targets of cyberattacks. This aspect presents moral questions since it is becoming more widely accepted that society has a duty to protect weaker members of society, including children [1]. The study emphasizes how important cyber security is on a larger scale, with many countries creating plans and laws to counteract cyberattacks. Nevertheless, a lot of these sources frequently neglect to define the differences or the relationship between information security and cyber security [1]. The paper focus on differentiating between cybersecurity and information security on a larger scale. The study also highlights other areas of cybersecurity which includes defending people, social norms, and vital infrastructure from threats that arise from online in addition to information and technology protection. It contends that ethical issues and the human factor are becoming more and more important in protecting assets in the digital age, and that cyber security is a paradigm shift in this regard [1]. 展开更多
关键词 Cybersecurity Information Security Network Security Cyber Resilience real-time Threat Analysis Cyber Threats Cyberattacks Threat Intelligence Machine Learning Artificial Intelligence Threat Detection Threat Mitigation Risk Assessment Vulnerability Management Incident Response Security Orchestration Automation Threat Landscape Cyber-Physical Systems Critical Infrastructure Data Protection Privacy Compliance Regulations Policy Ethics CYBERCRIME Threat Actors Threat modeling Security Architecture
下载PDF
Machine Learning for Hybrid Line Stability Ranking Index in Polynomial Load Modeling under Contingency Conditions
11
作者 P.Venkatesh N.Visali 《Intelligent Automation & Soft Computing》 SCIE 2023年第7期1001-1012,共12页
In the conventional technique,in the evaluation of the severity index,clustering and loading suffer from more iteration leading to more com-putational delay.Hence this research article identifies,a novel progression f... In the conventional technique,in the evaluation of the severity index,clustering and loading suffer from more iteration leading to more com-putational delay.Hence this research article identifies,a novel progression for fast predicting the severity of the line and clustering by incorporating machine learning aspects.The polynomial load modelling or ZIP(constant impedances(Z),Constant Current(I)and Constant active power(P))is developed in the IEEE-14 and Indian 118 bus systems considered for analysis of power system security.The process of finding the severity of the line using a Hybrid Line Stability Ranking Index(HLSRI)is used for assisting the concepts of machine learning with J48 algorithm,infers the superior affected lines by adopting the IEEE standards in concern to be compensated in maintaining the power system stability.The simulation is performed in the WEKA environment and deals with the supervisor learning in order based on severity to ensure the safety of power system.The Unified Power Flow Controller(UPFC),facts devices for the purpose of compensating the losses by maintaining the voltage characteristics.The finite element analysis findings are compared with the existing procedures and numerical equations for authentications. 展开更多
关键词 CONTINGENCY hybrid line stability ranking index(HLSRI) machine learning(ML) unified power flow controller(UPFC) ZIP load modelling
下载PDF
A Study on the Load Modeling of Railway Vehicles Using PSCAD/EMTDC Based on MVDC
12
作者 Hyun-Soo Jeong Hanmin Lee Jong-Young Park 《Journal of Energy and Power Engineering》 2023年第2期43-50,共8页
This paper,the kinetic equation,traction force,and braking force for railway trains are reviewed.In addition,the driving characteristics are interpreted as to how the power of the electric vehicle relates to the weigh... This paper,the kinetic equation,traction force,and braking force for railway trains are reviewed.In addition,the driving characteristics are interpreted as to how the power of the electric vehicle relates to the weight,speed,track curve,and track gradient of the electric vehicle.The driving characteristics of these trains are analyzed through PSCAD/EMTDC(power systems computer aided design/electromagnetic transients including DC)modeling. 展开更多
关键词 MVDC(medium voltage direct current) RAILWAY load modeling PSCAD/EMTDC
下载PDF
On modeling approach for embedded real-time software simulation testing 被引量:6
13
作者 Yin Yongfeng Liu Bin Zhong Deming Jiang Tongmin 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第2期420-426,共7页
Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb... Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing (SUT), test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software. 展开更多
关键词 embedded real-time software software testing testing modeling SIMULATION
下载PDF
Real-time forward modeling and inversion of logging-while-drilling electromagnetic measurements in horizontal wells 被引量:1
14
作者 WANG Lei LIU Yingming +2 位作者 WANG Caizhi FAN Yiren WU Zhenguan 《Petroleum Exploration and Development》 CSCD 2021年第1期159-168,共10页
Based on the pseudo-analytical equation of electromagnetic log for layered formation,an optimal boundary match method is proposed to adaptively truncate the encountered formation structures.An efficient integral metho... Based on the pseudo-analytical equation of electromagnetic log for layered formation,an optimal boundary match method is proposed to adaptively truncate the encountered formation structures.An efficient integral method is put forward to significantly accelerate the convergence of Sommerfeld integral.By asymptotically approximating and subtracting the first reflection/transmission waves from the scattered field,the new Sommerfeld integral method has addressed difficulties encountered by the traditional digital filtering method,such as low computational precision and limited operating range,and realized the acceleration of the computation speed of logging-while-drilling electromagnetic measurements(LWD EM).By making use of the priori information from the offset/pilot wells and interactively adjusting the formation model,the optimum initial guesses of the inversion model is determined in order to predict the nearby formation boundaries.The gradient optimization algorithm is developed and an interactive inversion system for the LWD EM data from the horizontal wells is established.The inverted results of field data demonstrated that the real-time interactive inversion method is capable of providing the accurate boundaries of layers around the wellbore from the LWD EM,and it will benefit the wellbore trajectory optimization and reservoir interpretation. 展开更多
关键词 logging-while-drilling electromagnetic measurement horizontal well real-time forward modeling interactive inversion bed boundary
下载PDF
The Design of a Three-Dimensional Physical Modeling System for Real-Time Groundwater Flows 被引量:1
15
作者 SHI Feng ZHANG Fawang +5 位作者 CHEN Li HAN Zhantao YAO Hongchao QIAN Long CHEN Liang JIANG Chengchao 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2015年第6期2103-2103,共1页
In the past decades,physical modeling has been widely used in hydrogeology for teaching,studying and exhibition purposes.Most of these models are used to illustrate hydrogeological profiles,but few can depict three-di... In the past decades,physical modeling has been widely used in hydrogeology for teaching,studying and exhibition purposes.Most of these models are used to illustrate hydrogeological profiles,but few can depict three-dimensional groundwater flows,making it impossible to validate groundwater flows simulated by numerical methods with physical modeling. 展开更多
关键词 The Design of a Three-Dimensional Physical modeling System for real-time Groundwater Flows
下载PDF
UML statechart based rigorous modeling of real-time system
16
作者 赖明志 尤晋元 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2005年第1期74-80,共7页
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a... Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper. 展开更多
关键词 embedded real-time system UML statechart PVS timed automata model checking
下载PDF
Rigorous Modeling of Real-time System Based on UML and PVS
17
作者 赖明志 尤晋元 《Journal of Donghua University(English Edition)》 EI CAS 2005年第1期16-21,共6页
Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an ind... Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in forma-lization and verification content, and better performance. Time constraints are modeled and verified and it’s a highlight of this paper. 展开更多
关键词 Embedded real-time System UML Statechart PVS Timed Automata model Checking.
下载PDF
Modeling footing resting on anisotropic sand using material point method 被引量:1
18
作者 Liu Gao Dong Liao Pin-Qiang Mo 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2023年第12期3271-3290,共20页
Sand typically exhibits anisotropic internal structure which may significantly influence its mechanical behavior. The material point method (MPM) can eliminate mesh distortion and thus is suitable for investigating ge... Sand typically exhibits anisotropic internal structure which may significantly influence its mechanical behavior. The material point method (MPM) can eliminate mesh distortion and thus is suitable for investigating geotechnical problems with large deformation. In this study, an advanced anisotropic critical state theory (ACST)-based soil model is implemented in MPM to study the response of strip footing resting on anisotropic sand. The capability of the model is verified by simulating several element tests and strip footing tests with different soil densities and fabric bedding plane orientations. For the footing problem with a vertical load, as the fabric bedding plane orientation increases, the bearing capacity decreases and its corresponding settlement increases. The failure pattern becomes asymmetrical when the bedding plane orientation or the loading direction is inclined. A comparison between the simulation results predicted by the anisotropic and isotropic models is made, which demonstrates that neglecting the fabric anisotropy may lead to the overestimation of the bearing capacity. 展开更多
关键词 Material point method(MPM) FOOTING Constitutive model ANISOTROPY Inclined loading
下载PDF
A robust optimization model for demand response management with source-grid-load collaboration to consume wind-power 被引量:1
19
作者 Xiangfeng Zhou Chunyuan Cai +3 位作者 Yongjian Li Jiekang Wu Yaoguo Zhan Yehua Sun 《Global Energy Interconnection》 EI CSCD 2023年第6期738-750,共13页
To accommodate wind power as safely as possible and deal with the uncertainties of the output power of winddriven generators,a min-max-min two-stage robust optimization model is presented,considering the unit commitme... To accommodate wind power as safely as possible and deal with the uncertainties of the output power of winddriven generators,a min-max-min two-stage robust optimization model is presented,considering the unit commitment,source-network load collaboration,and control of the load demand response.After the constraint functions are linearized,the original problem is decomposed into the main problem and subproblem as a matrix using the strong dual method.The minimum-maximum of the original problem was continuously maximized using the iterative method,and the optimal solution was finally obtained.The constraint conditions expressed by the matrix may reduce the calculation time,and the upper and lower boundaries of the original problem may rapidly converge.The results of the example show that the injected nodes of the wind farms in the power grid should be selected appropriately;otherwise,it is easy to cause excessive accommodation of wind power at some nodes,leading to a surge in reserve costs and the load demand response is continuously optimized to reduce the inverse peak regulation characteristics of wind power.Thus,the most economical optimization scheme for the worst scenario of the output power of the generators is obtained,which proves the economy and reliability of the two-stage robust optimization method. 展开更多
关键词 Renewable power system Optimal dispatching Wind-power consumption Source-grid-load collaboration load demand response Two-stage robust optimization model
下载PDF
Dynamic stability analysis of porous functionally graded beams under hygro-thermal loading using nonlocal strain gradient integral model 被引量:1
20
作者 Pei ZHANG P.SCHIAVONE Hai QING 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI CSCD 2023年第12期2071-2092,共22页
We present a study on the dynamic stability of porous functionally graded(PFG)beams under hygro-thermal loading.The variations of the properties of the beams across the beam thicknesses are described by the power-law ... We present a study on the dynamic stability of porous functionally graded(PFG)beams under hygro-thermal loading.The variations of the properties of the beams across the beam thicknesses are described by the power-law model.Unlike most studies on this topic,we consider both the bending deformation of the beams and the hygro-thermal load as size-dependent,simultaneously,by adopting the equivalent differential forms of the well-posed nonlocal strain gradient integral theory(NSGIT)which are strictly equipped with a set of constitutive boundary conditions(CBCs),and through which both the stiffness-hardening and stiffness-softening effects of the structures can be observed with the length-scale parameters changed.All the variables presented in the differential problem formulation are discretized.The numerical solution of the dynamic instability region(DIR)of various bounded beams is then developed via the generalized differential quadrature method(GDQM).After verifying the present formulation and results,we examine the effects of different parameters such as the nonlocal/gradient length-scale parameters,the static force factor,the functionally graded(FG)parameter,and the porosity parameter on the DIR.Furthermore,the influence of considering the size-dependent hygro-thermal load is also presented. 展开更多
关键词 nonlocal strain gradient integral model dynamic stability porous functionally graded(PFG)shear deformation beam size-dependent hygro-thermal load generalized differential quadrature method(GDQM)
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部