期刊文献+
共找到1,371篇文章
< 1 2 69 >
每页显示 20 50 100
Application of predictive control scheduling method to real-time periodic control tasks overrun 被引量:1
1
作者 沈青 桂卫华 +1 位作者 阳春华 杨铁军 《Journal of Central South University of Technology》 EI 2007年第2期266-270,共5页
Based on the abort strategy of fixed periods, a novel predictive control scheduling methodology was proposed to efficiently solve overrun problems. By applying the latest control value in the prediction sequences to t... Based on the abort strategy of fixed periods, a novel predictive control scheduling methodology was proposed to efficiently solve overrun problems. By applying the latest control value in the prediction sequences to the control objective, the new strategy was expected to optimize the control system for better performance and yet guarantee the schedulability of all tasks under overrun. The schedulability of the real-time systems with p-period overruns was analyzed, and the corresponding stability criteria was given as well. The simulation results show that the new approach can improve the performance of control system compared to that of conventional abort strategy, it can reduce the overshoot and adjust time as well as ensure the schedulability and stability. 展开更多
关键词 real-time system OVERRUN predictive control scheduling STABILITY
在线阅读 下载PDF
Long-release-interval-first real-time scheduling algorithm and its schedulability test
2
作者 沈卓炜 汪芸 《Journal of Southeast University(English Edition)》 EI CAS 2006年第4期484-489,共6页
To fulfill the requirements for hybrid real-time system scheduling, a long-release-interval-first (LRIF) real-time scheduling algorithm is proposed. The algorithm adopts both the fixed priority and the dynamic prior... To fulfill the requirements for hybrid real-time system scheduling, a long-release-interval-first (LRIF) real-time scheduling algorithm is proposed. The algorithm adopts both the fixed priority and the dynamic priority to assign priorities for tasks. By assigning higher priorities to the aperiodic soft real-time jobs with longer release intervals, it guarantees the executions for periodic hard real-time tasks and further probabilistically guarantees the executions for aperiodic soft real-time tasks. The schedulability test approach for the LRIF algorithm is presented. The implementation issues of the LRIF algorithm are also discussed. Simulation result shows that LRIF obtains better schedulable performance than the maximum urgency first (MUF) algorithm, the earliest deadline first (EDF) algorithm and EDF for hybrid tasks. LRIF has great capability to schedule both periodic hard real-time and aperiodic soft real-time tasks. 展开更多
关键词 real-time scheduling schedulability test earliest deadline first maximum urgency first long release interval first
在线阅读 下载PDF
Forecast uncertainties real-time data-driven compensation scheme for optimal storage control
3
作者 Arbel Yaniv Yuval Beck 《Data Science and Management》 2025年第1期59-71,共13页
This study introduces a real-time data-driven battery management scheme designed to address uncertainties in load and generation forecasts,which are integral to an optimal energy storage control system.By expanding on... This study introduces a real-time data-driven battery management scheme designed to address uncertainties in load and generation forecasts,which are integral to an optimal energy storage control system.By expanding on an existing algorithm,this study resolves issues discovered during implementation and addresses previously overlooked concerns,resulting in significant enhancements in both performance and reliability.The refined real-time control scheme is integrated with a day-ahead optimization engine and forecast model,which is utilized for illustrative simulations to highlight its potential efficacy on a real site.Furthermore,a comprehensive comparison with the original formulation was conducted to cover all possible scenarios.This analysis validated the operational effectiveness of the scheme and provided a detailed evaluation of the improvements and expected behavior of the control system.Incorrect or improper adjustments to mitigate forecast uncertainties can result in suboptimal energy management,significant financial losses and penalties,and potential contract violations.The revised algorithm optimizes the operation of the battery system in real time and safeguards its state of health by limiting the charging/discharging cycles and enforcing adherence to contractual agreements.These advancements yield a reliable and efficient real-time correction algorithm for optimal site management,designed as an independent white box that can be integrated with any day-ahead optimization control system. 展开更多
关键词 Storage optimal scheduling real-time storage control PV-plus-storage management Forecast uncertainty compensation
在线阅读 下载PDF
Global integration design method of acceleration and deceleration control schedule for variable cycle engine
4
作者 Ying CHEN Sangwei LU +1 位作者 Wenxiang ZHOU Jinquan HUANG 《Chinese Journal of Aeronautics》 2025年第5期248-261,共14页
Variable Cycle Engine(VCE)serves as the core system in achieving future advanced fighters with cross-generational performance and mission versatility.However,the resultant complex configuration and strong coupling of ... Variable Cycle Engine(VCE)serves as the core system in achieving future advanced fighters with cross-generational performance and mission versatility.However,the resultant complex configuration and strong coupling of control parameters present significant challenges in designing acceleration and deceleration control schedules.To thoroughly explore the performance potential of engine,a global integration design method for acceleration and deceleration control schedule based on inner and outer loop optimization is proposed.The outer loop optimization module employs Integrated Surrogate-Assisted Co-Differential Evolutionary(ISACDE)algorithm to optimize the variable geometry adjustment laws based on B-spline curve,and the inner loop optimization module adopts the fixed-state method to design the open-loop fuel–air ratio control schedules,which are aimed at minimizing the acceleration and deceleration time under multiple constraints.Simulation results demonstrate that the proposed global integration design method not only furthest shortens the acceleration and deceleration time,but also effectively safeguards the engine from overlimit. 展开更多
关键词 Control schedule design Acceleration and deceleration Variablecycle engine Fixed-states method Co-differential evolutionary algorithm
原文传递
A Q-Learning-Assisted Co-Evolutionary Algorithm for Distributed Assembly Flexible Job Shop Scheduling Problems
5
作者 Song Gao Shixin Liu 《Computers, Materials & Continua》 2025年第6期5623-5641,共19页
With the development of economic globalization,distributedmanufacturing is becomingmore andmore prevalent.Recently,integrated scheduling of distributed production and assembly has captured much concern.This research s... With the development of economic globalization,distributedmanufacturing is becomingmore andmore prevalent.Recently,integrated scheduling of distributed production and assembly has captured much concern.This research studies a distributed flexible job shop scheduling problem with assembly operations.Firstly,a mixed integer programming model is formulated to minimize the maximum completion time.Secondly,a Q-learning-assisted coevolutionary algorithmis presented to solve themodel:(1)Multiple populations are developed to seek required decisions simultaneously;(2)An encoding and decoding method based on problem features is applied to represent individuals;(3)A hybrid approach of heuristic rules and random methods is employed to acquire a high-quality population;(4)Three evolutionary strategies having crossover and mutation methods are adopted to enhance exploration capabilities;(5)Three neighborhood structures based on problem features are constructed,and a Q-learning-based iterative local search method is devised to improve exploitation abilities.The Q-learning approach is applied to intelligently select better neighborhood structures.Finally,a group of instances is constructed to perform comparison experiments.The effectiveness of the Q-learning approach is verified by comparing the developed algorithm with its variant without the Q-learning method.Three renowned meta-heuristic algorithms are used in comparison with the developed algorithm.The comparison results demonstrate that the designed method exhibits better performance in coping with the formulated problem. 展开更多
关键词 Distributed manufacturing flexible job shop scheduling problem assembly operation co-evolutionary algorithm Q-learning method
在线阅读 下载PDF
Real-time model updating and prediction of three-dimensional timevarying consolidation settlement using machine learning
6
作者 Huaming Tian Yu Wang Danni Zhang 《Journal of Rock Mechanics and Geotechnical Engineering》 2025年第9期5954-5969,共16页
The development of digital twins for geotechnical structures necessitates the real-time updates of threedimensional(3D)virtual models(e.g.numerical finite element method(FEM)model)to accurately predict time-varying ge... The development of digital twins for geotechnical structures necessitates the real-time updates of threedimensional(3D)virtual models(e.g.numerical finite element method(FEM)model)to accurately predict time-varying geotechnical responses(e.g.consolidation settlement)in a 3D spatial domain.However,traditional 3D numerical model updating approaches are computationally prohibitive and therefore difficult to update the 3D responses in real time.To address these challenges,this study proposes a novel machine learning framework called sparse dictionary learning(T-3D-SDL)for real-time updating of time-varying 3D geotechnical responses.In T-3D-SDL,a concerned dataset(e.g.time-varying 3D settlement)is approximated as a linear superposition of dictionary atoms generated from 3D random FEM analyses.Field monitoring data are then used to identify non-trivial atoms and estimate their weights within a Bayesian framework for model updating and prediction.The proposed approach enables the real-time update of temporally varying settlements with a high 3D spatial resolution and quantified uncertainty as field monitoring data evolve.The proposed approach is illustrated using an embankment construction project.The results show that the proposed approach effectively improves settlement predictions along temporal and 3D spatial dimensions,with minimal latency(e.g.within minutes),as monitoring data appear.In addition,the proposed approach requires only a reasonably small number of 3D FEM model evaluations,avoids the use of widely adopted yet often criticized surrogate models,and effectively addresses the limitations(e.g.computational inefficiency)of existing 3D model updating approaches. 展开更多
关键词 Digital twin Three-dimensional(3D)finite element method(FEM) Time-varying 3D settlement real-time model update Sparse dictionary learning(SDL)
在线阅读 下载PDF
Stability and accuracy of central difference method for real-time dynamic substructure testing considering mass participation coefficient
7
作者 Zheng Lichang Xu Guoshan +3 位作者 Yang Ge Wang Zhen Yang Kaibo Zheng Zhenyun 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2024年第3期625-636,共12页
For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study prop... For real-time dynamic substructure testing(RTDST),the influence of the inertia force of fluid specimens on the stability and accuracy of the integration algorithms has never been investigated.Therefore,this study proposes to investigate the stability and accuracy of the central difference method(CDM)for RTDST considering the specimen mass participation coefficient.First,the theory of the CDM for RTDST is presented.Next,the stability and accuracy of the CDM for RTDST considering the specimen mass participation coefficient are investigated.Finally,numerical simulations and experimental tests are conducted for verifying the effectiveness of the method.The study indicates that the stability of the algorithm is affected by the mass participation coefficient of the specimen,and the stability limit first increases and then decreases as the mass participation coefficient increases.In most cases,the mass participation coefficient will increase the stability limit of the algorithm,but in specific circumstances,the algorithm may lose its stability.The stability and accuracy of the CDM considering the mass participation coefficient are verified by numerical simulations and experimental tests on a three-story frame structure with a tuned liquid damper. 展开更多
关键词 real-time dynamic substructure testing central difference method STABILITY mass participation coefficient tuned liquid damper
在线阅读 下载PDF
Joint Probabilistic Scheduling and Resource Allocation for Wireless Networked Control Systems
8
作者 Meng Zheng Lei Zhang Wei Liang 《IEEE/CAA Journal of Automatica Sinica》 2025年第1期258-260,共3页
Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the... Dear Editor,This letter presents a joint probabilistic scheduling and resource allocation method(PSRA) for 5G-based wireless networked control systems(WNCSs). As a control-aware optimization method, PSRA minimizes the linear quadratic Gaussian(LQG) control cost of WNCSs by optimizing the activation probability of subsystems, the number of uplink repetitions, and the durations of uplink and downlink phases. Simulation results show that PSRA achieves smaller LQG control costs than existing works. 展开更多
关键词 subsystem activation probability linear quadratic gaussian control cost number uplink repetitions wireless networked control systems joint probabilistic scheduling resource allocation method psra linear quadratic gaussian lqg G based activation probability subsystems
在线阅读 下载PDF
Real-time scheduling strategy for microgrids considering operation interval division of DGs and batteries 被引量:7
9
作者 Chunyang Liu Yinghao Qin Hengxu Zhang 《Global Energy Interconnection》 2020年第5期442-452,共11页
Real-time scheduling as an on-line optimization process must output dispatch results in real time. However, the calculation time required and the economy have a trade-off relationship. In response to a real-time sched... Real-time scheduling as an on-line optimization process must output dispatch results in real time. However, the calculation time required and the economy have a trade-off relationship. In response to a real-time scheduling problem, this paper proposes a real-time scheduling strategy considering the operation interval division of distributed generators(DGs) and batteries in the microgrid. Rolling scheduling models, including day-ahead scheduling and hours-ahead scheduling, are established, where the latter considers the future state-of-charge deviations. For the real-time scheduling, the output powers of the DGs are divided into two intervals based on the ability to track the day-ahead and hours-ahead schedules. The day-ahead and hours-ahead scheduling ensure the economy, whereas the real-time scheduling overcomes the timeconsumption problem. Finally, a grid-connected microgrid example is studied, and the simulation results demonstrate the effectiveness of the proposed strategy in terms of economic and real-time requirements. 展开更多
关键词 MICROGRID real-time scheduling Rolling scheduling Interval division
在线阅读 下载PDF
SWARM INTELLIGENCE BASED DYNAMIC REAL-TIME SCHEDULING APPROACH FOR SEMICONDUCTOR WAFER FAB 被引量:4
10
作者 LiLi FeiQiao WuQidi 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2005年第1期71-74,共4页
Based on the analysis of collective activities of ant colonies, the typicalexample of swarm intelligence, a new approach to construct swarm intelligence basedmulti-agent-system (SMAS) for dynamic real-time scheduling ... Based on the analysis of collective activities of ant colonies, the typicalexample of swarm intelligence, a new approach to construct swarm intelligence basedmulti-agent-system (SMAS) for dynamic real-time scheduling for semiconductor wafer fab is proposed.The relevant algorithm, pheromone-based dynamic real-time scheduling algorithm (PBDR), is given.MIMAC test bed data set mini-fab is used to compare PBDR with FIFO (first in first out),SRPT(shortest remaining processing time) and CR(critical ratio) under three different release rules,i.e. deterministic rule, Poisson rule and CONWIP (constant WIP). It is shown that PBDR is prior toFIFO, SRPT and CR with better performance of cycle time, throughput, and on-time delivery,especially for on-time delivery performance. 展开更多
关键词 Swarm intelligence Ant colonies PHEROMONE Ant agents Semiconductor waferfab Dynamic real-time scheduling
在线阅读 下载PDF
A Model Predictive Scheduling Algorithm inReal-Time Control Systems 被引量:3
11
作者 Mengya Kang Chenglin Wen Chenxi Wu 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2018年第2期471-478,共8页
Abstract-The ineffective utilization of power resources has attracted much attention in current years. This paper proposes a real-time distributed load scheduling algorithm considering constraints of power supply. Fir... Abstract-The ineffective utilization of power resources has attracted much attention in current years. This paper proposes a real-time distributed load scheduling algorithm considering constraints of power supply. Firstly, an objective function is designed based on the constraint, and a base load forecasting model is established when aggregating renewable generation and non-deferrable load into a power system, which aims to transform the problem of deferrable loads scheduling into a distributed optimal control problem. Then, to optimize the objective function, a real-time scheduling algorithm is presented to solve the proposed control problem. At every time step, the purpose is to minimize the variance of differences between power supply and aggregate load, which can thus ensure the effective utilization of power resources. Finally, simulation examples are provided to illustrate the effectiveness of the proposed algorithm. 展开更多
关键词 Index Terms-Deferrable loads scheduling electric vehicles(EVs) optimal control power supply real-time distributed con-trol.
在线阅读 下载PDF
Fault-Tolerant Rate-Monotonic Compact-Factor-Driven Scheduling in Hard-Real-Time Systems 被引量:1
12
作者 ZHU Ping YANG Fumin TU Gang 《Wuhan University Journal of Natural Sciences》 CAS 2010年第3期217-221,共5页
Considering the disadvantage of first-fit strategy in fault-tolerant rate-monotonic first-fit (FTRMFF) algorithm, we analyze the slack time of processors and the schedulability of periodic tasks in rate-monotonic ... Considering the disadvantage of first-fit strategy in fault-tolerant rate-monotonic first-fit (FTRMFF) algorithm, we analyze the slack time of processors and the schedulability of periodic tasks in rate-monotonic (RM) algorithm. Then, the RM-based idleness factor and compact factor are presented to quantify the compact degree of tasks assigned to the same processor. In this paper, the novel fault-tolerant rate-monotonic compact-factor-driven (FTRMCFD) algorithm, which follows the principle of compact factor maximal when allocating the processors for tasks, is proposed. FTRMCFD algorithm makes every processor contain more tasks and get higher utilization to increase the schedulability performance of distributed systems. The simulation experiments reveal that FTRMCFD can reduce the number of required processors by up to 11.5% (with an average of 5.3%). 展开更多
关键词 FAULT-TOLERANT real-time rate-monotonic scheduling
原文传递
FEL-H Robust Control Real-Time Scheduling 被引量:1
13
作者 Bing Du Chun Ruan 《Journal of Software Engineering and Applications》 2009年第1期60-65,共6页
The existing scheduling algorithms cannot adequately support modern embedded real-time applications. An important challenge for future research is how to model and introduce control mechanisms to real-time systems to ... The existing scheduling algorithms cannot adequately support modern embedded real-time applications. An important challenge for future research is how to model and introduce control mechanisms to real-time systems to improve real-time performance, and to allow the system to adapt to changes in the environment, the workload, or to changes in the system architecture due to failures. In this paper, we pursue this goal by formulating and simulating new real-time scheduling models that enable us to easily analyse feedback scheduling with various constraints, overload and disturbance, and by designing a robust, adaptive scheduler that responds gracefully to overload with robust H∞ and feedback error learning control. 展开更多
关键词 ROBUST real-time scheduling Feedbacke Simulation FEEDBACK
暂未订购
Broadcast Scheduling Strategy Based on the Priority of Real-Time Data in a Mobile Environment
14
作者 Yang Jin-cai, Liu Yun-shengSchool of Computer Science and Technology, Huazhong University of Science and Technology , Wuhan 430074, Hu-bei, China 《Wuhan University Journal of Natural Sciences》 EI CAS 2003年第02A期368-372,共5页
Data broadcast is an important data dissemination approach in mobile environment. On broadcast channel, scalability and efficiency of data transmission are satisfied. In a mobile environment, there exists a kind of re... Data broadcast is an important data dissemination approach in mobile environment. On broadcast channel, scalability and efficiency of data transmission are satisfied. In a mobile environment, there exists a kind of real-time database application in which both the transactions and data can have their timing constraints and priorities of different levels. In order to meet the requirement of real-time data disseminating and retrieving, a broadcast scheduling strategy HPF-ED F (Highest Priority First with Earlier Deadline and Frequency) is proposed under the BoD (Broadcast on Demand) model. Using the strategy, data items are scheduled according to their priority the transaction imposed on them or system set for them. The strategy also considers other characteristics of data items such as deadline and popularity of data. The extensive simulation experiments have been conducted to evaluate the performance of the proposed algorithm. Results show that it can achieve excellent performance compared with existing strategies. 展开更多
关键词 mobile computing real-time timing constraint PRIORITY broadcast scheduling
在线阅读 下载PDF
SET-MRTS:An Empirical Experiment Tool for Real-Time Scheduling and Synchronization
15
作者 Ze-Wei Chen Hang Lei +1 位作者 Mao-Lin Yang Yong Liao 《Journal of Electronic Science and Technology》 CAS CSCD 2022年第1期30-42,共13页
In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of t... In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of the major methods to compare the performance of such analyses.However,since many sophisticated techniques have been adopted to improve the analytical accuracy,the implementation of such analyses and experiments is often time-consuming.This paper proposes a schedulability experiment toolkit for multiprocessor real-time systems(SET-MRTS),which provides a framework with infrastructures to implement the schedulability and synchronization analyses and the deployment of empirical synthesis experiments.Besides,with well-designed peripheral components for the input and output,experiments can be conducted easily and flexibly on SET-MRTS.This demonstration further proves the effectiveness of SET-MRTS in both functionality and availability. 展开更多
关键词 EXPERIMENT real-time system schedulABILITY software tools SYNCHRONIZATION
在线阅读 下载PDF
An Adaptive Genetic Algorithm for Multiprocessor Real-time Task Scheduling
16
作者 李亚军 杨宇航 《Journal of Donghua University(English Edition)》 EI CAS 2009年第2期111-118,共8页
Real-time task scheduling is of primary significance in multiprocessor systems.Meeting deadlines and achieving high system utilization are the two main objectives of task scheduling in such systems.In this paper,we re... Real-time task scheduling is of primary significance in multiprocessor systems.Meeting deadlines and achieving high system utilization are the two main objectives of task scheduling in such systems.In this paper,we represent those two goals as the minimization of the average response time and the average task laxity.To achieve this,we propose a genetic-based algorithm with problem-specific and efficient genetic operators.Adaptive control parameters are also employed in our work to improve the genetic algorithms' efficiency.The simulation results show that our proposed algorithm outperforms its counterpart considerably by up to 36% and 35% in terms of the average response time and the average task laxity,respectively. 展开更多
关键词 scheduling genetic algorithm real-time DEADLINE
在线阅读 下载PDF
Energy-Efficient Deterministic Fault-Tolerant Scheduling for Embedded Real-Time Systems
17
作者 李国徽 胡方晓 +1 位作者 杜小坤 唐向红 《Journal of Southwest Jiaotong University(English Edition)》 2009年第4期283-291,共9页
By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability ... By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability of the system was analyzed through checkpointing and the energy saving was considered via dynamic voltage and frequency scaling. Simulation results showed that the proposed algorithm had better performance compared with the existing voltage allocation techniques. The proposed technique saves 51.5% energy over FT-Only and 19.9% over FT + EC on average. Therefore, the proposed method was more appropriate for aperiodic tasks in embedded real-time systems. 展开更多
关键词 Embedded real-time systems Aperiodic tasks Fault tolerance Power management Task scheduling and voltageallocation
在线阅读 下载PDF
Packet Scheduling Algorithm for Real-Time Services in Broadband WMAN
18
作者 Zhang Hanyi, Su Xin (Wireless and Mobile Communication Technology R&D Center of Tsinghua University, Tsinghua National Laboratory for Information Science and Technology, Beijing 100084 , China ) 《ZTE Communications》 2009年第4期45-48,共4页
Packet scheduling algorithm is the key technology to guarantee Quality of Service (QoS) and balance the fairness between users in broadband Wireless Metropolitan Area Network (WMAN). Based on the research of Proportio... Packet scheduling algorithm is the key technology to guarantee Quality of Service (QoS) and balance the fairness between users in broadband Wireless Metropolitan Area Network (WMAN). Based on the research of Proportional Fairness (PF) algorithm and Modified Largest Weighted Delay First (M-LWDF) algorithm, a new packet scheduling algorithm for real-time services in broadband WMAN, called Enhanced M-LWDF (EM-LWDF), was proposed. The algorithm phases in new information to measure the load of service queues and updates the state parameters in real-time way, which remarkably improves system performance.Simulation results show that comparing with M-LWDF algorithm, the proposed algorithm is advantageous in performances of queuing delay and fairness while guaranteeing system throughput. 展开更多
关键词 Packet scheduling Algorithm for real-time Services in Broadband WMAN QoS OFDMA Simulation real WIMAX IEEE EM
在线阅读 下载PDF
Real-time embedded software testing method based on extended finite state machine 被引量:6
19
作者 Yongfeng Yin Bin Liu Hongying Ni 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第2期276-285,共10页
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab... The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively. 展开更多
关键词 real-time system real-time embedded software for- mal method extended finite state machine (EFSM) testing se- quence test case.
在线阅读 下载PDF
Comparison of delay compensation methods for real-time hybrid simulation using frequency-domain evaluation index 被引量:3
20
作者 Xu Weijie Guo Tong Chen Cheng 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2016年第1期129-143,共15页
The delay compensation method plays an essential role in maintaining the stability and achieving accurate real-time hybrid simulation results. The effectiveness of various compensation methods in different test scenar... The delay compensation method plays an essential role in maintaining the stability and achieving accurate real-time hybrid simulation results. The effectiveness of various compensation methods in different test scenarios, however, needs to be quantitatively evaluated. In this study, four compensation methods (i.e., the polynomial extrapolation, the linear acceleration extrapolation, the inverse compensation and the adaptive inverse compensation) are selected and compared experimentally using a frequency evaluation index (FEI) method. The effectiveness of the FEI method is first verified through comparison with the discrete transfer fimction approach for compensation methods assuming constant delay. Incomparable advantage is further demonstrated for the FEI method when applied to adaptive compensation methods, where the discrete transfer function approach is difficult to implement. Both numerical simulation and laboratory tests with predefined displacements are conducted using sinusoidal signals and random signals as inputs. Findings from numerical simulation and experimental results demonstrate that the FEI method is an efficient and effective approach to compare the performance of different compensation methods, especially for those requiring adaptation of compensation parameters. 展开更多
关键词 real-time hybrid simulation frequency domain evaluation index delay compensation methods
在线阅读 下载PDF
上一页 1 2 69 下一页 到第
使用帮助 返回顶部