期刊文献+
共找到15,556篇文章
< 1 2 250 >
每页显示 20 50 100
Exploring Digital Visualization Methods in Urban Public Building Space Design
1
作者 Pan Liang Sharul Azim Sharudin 《Journal of Architectural Research and Development》 2024年第2期55-61,共7页
Digital technology has driven the innovation of architectural design methods and tools,applying digital techniques to allow greater possibilities for more innovative and scientific design of public building spaces.Thi... Digital technology has driven the innovation of architectural design methods and tools,applying digital techniques to allow greater possibilities for more innovative and scientific design of public building spaces.This article first analyzes the characteristics of digital visualization and its advantages in the design of urban public building spaces,including aspects such as visualizing three-dimensional expression,rational analysis of building space,Virtual Reality Experience,and integration of design and construction processes.Subsequently,by introducing digital design methods such as parametric design,algorithmic generation,nonlinear design,and artificial intelligence-assisted design,it explores the methods and implementation approaches of digital visualization in the design of public building spaces.The aim is to offer insights and references for the deeper integration of digital technology into architectural design practices. 展开更多
关键词 Public building space design Digital visualization methodS
下载PDF
Remaining Useful Life Model and Assessment of Mechanical Products: A Brief Review and a Note on the State Space Model Method 被引量:7
2
作者 Yawei Hu Shujie Liu +1 位作者 Huitian Lu Hongchao Zhang 《Chinese Journal of Mechanical Engineering》 SCIE EI CAS CSCD 2019年第1期11-30,共20页
The remaining useful life(RUL) prediction of mechanical products has been widely studied for online system performance reliability, device remanufacturing, and product safety(safety awareness and safety improvement). ... The remaining useful life(RUL) prediction of mechanical products has been widely studied for online system performance reliability, device remanufacturing, and product safety(safety awareness and safety improvement). These studies incorporated many di erent models, algorithms, and techniques for modeling and assessment. In this paper, methods of RUL assessment are summarized and expounded upon using two major methods: physics model based and data driven based methods. The advantages and disadvantages of each of these methods are deliberated and compared as well. Due to the intricacy of failure mechanism in system, and di culty in physics degradation observation, RUL assessment based on observations of performance variables turns into a science in evaluating the degradation. A modeling method from control systems, the state space model(SSM), as a first order hidden Markov, is presented. In the context of non-linear and non-Gaussian systems, the SSM methodology is capable of performing remaining life assessment by using Bayesian estimation(sequential Monte Carlo). Being e ective for non-linear and non-Gaussian dynamics, the methodology can perform the assessment recursively online for applications in CBM(condition based maintenance), PHM(prognostics and health management), remanufacturing, and system performance reliability. Finally, the discussion raises concerns regarding online sensing data for SSM modeling and assessment of RUL. 展开更多
关键词 REMAINING useful life state space MODEL Online ASSESSMENT BAYESIAN estimation Particle filter REMANUFACTURING
下载PDF
Application of the state space model to the system of wave energy conversion Analytical method for wave forces on singleoscillating rectangular buoy 被引量:1
3
作者 ZHENGYonghong SUNXiaoyan +2 位作者 YOUYage SHENYongming WUBijun 《Acta Oceanologica Sinica》 SCIE CAS CSCD 2004年第4期757-765,共9页
A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first ... A new analytical method is proposed to analyze the force acting on a rectangular oscillating buoy due to linear waves.In the method a new analytical expression for the diffraction velocity potential is obtained first by use of theeigenfunction expansion method and then the wave excitation force is calculated by use of the known incident wavepotential and the diffraction potential. Compared with the classical analytical method, it can be seen that the presentmethod is simpler for a two-dimensional problem due to the comparable effort needed for the computation ofdiffraction potential and for that of radiated potential. To verify the correctness of the method, a classical example inthe reference is recomputed and the obtained results are in good accordance with those by use of other methods,which shows that the present method is correct. 展开更多
关键词 state space model oscillating buoy device HEAVE wave force analytical method
下载PDF
A Fixed-Point Fast Sweeping WENO Method with Inverse Lax-Wendroff Boundary Treatment for Steady State of Hyperbolic Conservation Laws
4
作者 Liang Li Jun Zhu +1 位作者 Chi-Wang Shu Yong-Tao Zhang 《Communications on Applied Mathematics and Computation》 2023年第1期403-427,共25页
Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternati... Fixed-point fast sweeping WENO methods are a class of efficient high-order numerical methods to solve steady-state solutions of hyperbolic partial differential equations(PDEs).The Gauss-Seidel iterations and alternating sweeping strategy are used to cover characteristics of hyperbolic PDEs in each sweeping order to achieve fast convergence rate to steady-state solutions.A nice property of fixed-point fast sweeping WENO methods which distinguishes them from other fast sweeping methods is that they are explicit and do not require inverse operation of nonlinear local systems.Hence,they are easy to be applied to a general hyperbolic system.To deal with the difficulties associated with numerical boundary treatment when high-order finite difference methods on a Cartesian mesh are used to solve hyperbolic PDEs on complex domains,inverse Lax-Wendroff(ILW)procedures were developed as a very effective approach in the literature.In this paper,we combine a fifthorder fixed-point fast sweeping WENO method with an ILW procedure to solve steadystate solution of hyperbolic conservation laws on complex computing regions.Numerical experiments are performed to test the method in solving various problems including the cases with the physical boundary not aligned with the grids.Numerical results show highorder accuracy and good performance of the method.Furthermore,the method is compared with the popular third-order total variation diminishing Runge-Kutta(TVD-RK3)time-marching method for steady-state computations.Numerical examples show that for most of examples,the fixed-point fast sweeping method saves more than half CPU time costs than TVD-RK3 to converge to steady-state solutions. 展开更多
关键词 Fixed-point fast sweeping methods Multi-resolution WENO schemes Steady state ILW procedure Convergence
下载PDF
An improved data space inversion method to predict reservoir state fields via observed production data 被引量:1
5
作者 Deng Liu Xiang Rao +2 位作者 Hui Zhao Yun-Feng Xu Ru-Xiang Gong 《Petroleum Science》 SCIE CAS CSCD 2021年第4期1127-1142,共16页
A data-space inversion(DSI)method has been recently proposed and successfully applied to the history matching and production prediction of reservoirs.Based on Bayesian theory,DSI can directly and effectively obtain go... A data-space inversion(DSI)method has been recently proposed and successfully applied to the history matching and production prediction of reservoirs.Based on Bayesian theory,DSI can directly and effectively obtain good posterior flow predictions without inversion of geological parameters of reservoir model.This paper presents an improved DSI method to fast predict reservoir state fields(e.g.saturation and pressure profiles)via observed production data.Firstly,a large number of production curves and state data are generated by reservoir model simulation to expand the data space of original DSI.Then,efficient history matching only on the observed production data is carried out via the original DSI to obtain related parameters which reflects the weight of the real reservoir model relative to prior reservoir models.Finally,those parameters are used to predict the oil saturation and pressure profiles of the real reservoir model by combining large amounts of state data of prior reservoir models.Two examples including conventional heterogeneous and unconventional fractured reservoir are implemented to test the performances of predicting saturation and pressure profiles of this improved DSI method.Besides,this method is also tested in a real field and the obtained results show the high computational efficiency and high accuracy of the practical application of this method. 展开更多
关键词 Fossil fuels Oil and gas reservoirs Reservoir state fields Production data Data inversion method
下载PDF
STATE SPACE METHODS FOR DECENTRALIZED H_∞ CONTROL
6
作者 Wu Min Gut Weihua Chen Ning(Department of Automatic Control Engineering, Central South University of Technology, Changsha, 410083, China) 《Journal of Central South University》 SCIE EI CAS 1994年第1期91-96,共6页
STATESPACEMETHODSFORDECENTRALIZEDH_∞CONTROLSTATESPACEMETHODSFORDECENTRALIZEDH_∞CONTROL¥WuMin;GutWeihua;ChenN... STATESPACEMETHODSFORDECENTRALIZEDH_∞CONTROLSTATESPACEMETHODSFORDECENTRALIZEDH_∞CONTROL¥WuMin;GutWeihua;ChenNing(DepartmentofA... 展开更多
关键词 DECENTRALIZED CONTROL state space method H_∞ CONTROL
下载PDF
Extended finite element-based cohesive zone method for modeling simultaneous hydraulic fracture height growth in layered reservoirs
7
作者 Lei Yang Baixi Chen 《Journal of Rock Mechanics and Geotechnical Engineering》 SCIE CSCD 2024年第8期2960-2981,共22页
In this study,a fully coupled hydromechanical model within the extended finite element method(XFEM)-based cohesive zone method(CZM)is employed to investigate the simultaneous height growth behavior of multi-cluster hy... In this study,a fully coupled hydromechanical model within the extended finite element method(XFEM)-based cohesive zone method(CZM)is employed to investigate the simultaneous height growth behavior of multi-cluster hydraulic fractures in layered porous reservoirs with modulus contrast.The coupled hydromechanical model is first verified against an analytical solution and a laboratory experiment.Then,the fracture geometry(e.g.height,aperture,and area)and fluid pressure evolutions of multiple hydraulic fractures placed in a porous reservoir interbedded with alternating stiff and soft layers are investigated using the model.The stress and pore pressure distributions within the layered reservoir during fluid injection are also presented.The simulation results reveal that stress umbrellas are easily to form among multiple hydraulic fractures’tips when propagating in soft layers,which impedes the simultaneous height growth.It is also observed that the impediment effect of soft layer is much more significant in the fractures suppressed by the preferential growth of adjoining fractures.After that,the combined effect of in situ stress ratio and fracturing spacing on the multi-fracture height growth is presented,and the results elucidate the influence of in situ stress ratio on the height growth behavior depending on the fracture spacing.Finally,it is found that the inclusion of soft layers changes the aperture distribution of outmost and interior hydraulic fractures.The results obtained from this study may provide some insights on the understanding of hydraulic fracture height containment observed in filed. 展开更多
关键词 Hydraulic fracturing Layered reservoir Simultaneous height growth In situ stress Fracture spacing Extended finite element method(XFEM) Cohesive zone method(CZM)
下载PDF
Methods for Derivation of Density Matrix of Arbitrary Multi-Mode Gaussian States from Its Phase Space Representation
8
作者 张胜利 杨颂 《Chinese Physics Letters》 SCIE CAS CSCD 2019年第9期5-9,共5页
We present a method for derivation of the density matrix of an arbitrary multi-mode continuous variable Gaussian entangled state from its phase space representation.An explicit computer algorithm is given to reconstru... We present a method for derivation of the density matrix of an arbitrary multi-mode continuous variable Gaussian entangled state from its phase space representation.An explicit computer algorithm is given to reconstruct the density matrix from Gaussian covariance matrix and quadrature average values.As an example,we apply our method to the derivation of three-mode symmetric continuous variable entangled state.Our method can be used to analyze the entanglement and correlation in continuous variable quantum network with multi-mode quantum entanglement states. 展开更多
关键词 GAUSSIAN MATRIX methodS for DERIVATION of Density MATRIX of ARBITRARY MULTI-MODE GAUSSIAN states from Its Phase space Representation
下载PDF
State space solution to 3D multilayered elastic soils based on order reduction method
9
作者 艾智勇 成怡冲 刘鹏 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2012年第11期1371-1380,共10页
Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform a... Starting with the governing equations in terms of displacements of 3D elastic media, the solutions to displacement components and their first derivatives are obtained by the application of a double Fourier transform and an order reduction method based on the Cayley-Hamilton theorem. Combining the solutions and the constitutive equations which connect the displacements and stresses, the transfer matrix of a single soil layer is acquired. Then, the state space solution to multilayered elastic soils is further obtained by introducing the boundary conditions and continuity conditions between adjacent soil layers. The numerical analysis based on the present theory is carried out, and the vertical displacements of multilayered foundation with a weak and a hard underlying stratums are compared and discussed. 展开更多
关键词 state space solution multilayered elastic soil double Fourier transform order reduction method
下载PDF
Discrete state space method and modal extension method based impact sound synthesis model
10
作者 田旭华 陈克安 +2 位作者 张燕妮 李晗 胥健 《Chinese Physics B》 SCIE EI CAS CSCD 2018年第11期270-277,共8页
The efficient and accurate synthesis of physical parameter-controllable impact sounds is essential for sound source identification. In this study, an impact sound synthesis model of a cylinder is proposed based on dis... The efficient and accurate synthesis of physical parameter-controllable impact sounds is essential for sound source identification. In this study, an impact sound synthesis model of a cylinder is proposed based on discrete state space(DSS) method and modal extension method(MEM). This model is comprised of the whole three processes of the physical interaction, i.e., the Hertz contact process, the transient structural response process, and the sound radiation process. Firstly,the modal expanded DSS equations of the contact system are constructed and the transient structural response of the cylinder is obtained. Then the impact sound of the cylinder is acquired using improved discrete Raleigh integral. Finally, the proposed model is verified by comparing with existing models. The results show that the proposed impact sound synthesis model is more accurate and efficient than the existing methods and easy to be extended to the impact sound synthesis of other structures. 展开更多
关键词 impact sound synthesis discrete state space contact force
下载PDF
STATE SPACE TREE METHOD AND EXACT DECOMPOSITION ALGORITHM FOR FINDING NETWORK OVERALL RELIABILITY
11
作者 黄汝激 《Journal of Electronics(China)》 1990年第4期296-305,共10页
First,the state space tree method for finding communication network overall re-liability is presented.It directly generates one disjoint tree multilevel polynomial of a networkgraph.Its advantages are smaller computat... First,the state space tree method for finding communication network overall re-liability is presented.It directly generates one disjoint tree multilevel polynomial of a networkgraph.Its advantages are smaller computational effort(its computing time complexity is O(en_l),where e is the number of edges and n_l is the number of leaves)and shorter resulting expression.Second,based on it an exact decomposition algorithm for finding communication network overallreliability is presented by applying the hypergraph theory.If we use it to carry out the m-timedecomposition of a network graph,the communication network scale which can be analyzed by acomputer can be extended to m-fold. 展开更多
关键词 Communication NETWORK Overall RELIABILITY GRAPH HYPERGRAPH state space TREE EXACT decomposition algorithm
下载PDF
Research on Optimal Design of Campus Space Based on POE Concept: A Case Study of Anhui Xinhua College
12
作者 XU Huaxue ZHAO Zhiyan +1 位作者 ZHU Rong NIU Song 《Journal of Landscape Research》 2024年第2期15-17,24,共4页
Through the analysis of the overall landscape,revetments and roads and plant landscape,10 evaluation factors were determined.The comprehensive evaluation model for the campus space of Anhui Xinhua University was const... Through the analysis of the overall landscape,revetments and roads and plant landscape,10 evaluation factors were determined.The comprehensive evaluation model for the campus space of Anhui Xinhua University was constructed by analytic hierarchy process(AHP).The results showed that revetment safety,road convenience,plant disease resistance and campus activity space were important factors affecting the spatial form planning of campus.Through the comparative analysis of the collected data,optimization suggestions were put forward to provide a basis for the establishment of“people-oriented”campus open space system. 展开更多
关键词 Post occupancy evaluation Analytic hierarchy process method CAMPUS space optimization
下载PDF
Study on Factors Influencing Urban-rural Dual Economic Structure of Chongqing Based on the State Space Variable Parameter Method
13
作者 Xiuchuan XU Yuqing WANG Xiang HE 《Asian Agricultural Research》 2013年第11期9-13,共5页
Firstly,this paper reviews and analyzes historic background of urban-rural integration of Chongqing,and the evolution and trend of urban and rural dual economic structure.On the basis of previous researches,it selects... Firstly,this paper reviews and analyzes historic background of urban-rural integration of Chongqing,and the evolution and trend of urban and rural dual economic structure.On the basis of previous researches,it selects factors and variables influencing urban and rural dual economic structure,and establishes an econometric model.By state space Kalman filtering method,it analyzes dynamic influence of factors upon urban-rural dual economic intensity.According to empirical conclusion,it puts forward corresponding policy recommendations for promoting integrated urban and rural economic development of Chongqing. 展开更多
关键词 URBAN and RURAL dual ECONOMIC structure state SPAC
下载PDF
基于state-space-split法的滞回非线性系统随机动力响应分析 被引量:1
14
作者 徐严钢 朱海涛 +1 位作者 柳国环 刘治国 《计算力学学报》 CAS CSCD 北大核心 2021年第1期1-7,共7页
采用SSS(state-space-split)法,建立了引入Bouc-Wen滞回模型的杜芬非线性系统在高斯白噪声激励下的概率密度函数(PDF)的近似求解方法,分析了其随机动力响应变化规律。首先,将Bouc-Wen滞回模型引入杜芬非线性系统,分别考虑非线性系统中... 采用SSS(state-space-split)法,建立了引入Bouc-Wen滞回模型的杜芬非线性系统在高斯白噪声激励下的概率密度函数(PDF)的近似求解方法,分析了其随机动力响应变化规律。首先,将Bouc-Wen滞回模型引入杜芬非线性系统,分别考虑非线性系统中的几何非线性和材料非线性对动力响应的影响。随后,对该模型进行了等效线性化(EQL)处理,基于等效线性化法结果,介绍了SSS法的简化方法和计算原理,并通过该方法求解了三维FPK方程的近似联合概率密度函数。最后,将该方法应用于三个案例和一个工程实例,通过求解其概率密度函数分布及动力可靠度验证了提出方法的适用性、可行性和优越性。 展开更多
关键词 state-space-split法 非线性系统 高斯白噪声 概率密度函数 随机振动
下载PDF
PARAMETRIC EQUATIONS OF NONHOLONOMIC NONCONSERVATIVE SYSTEMS IN THE EVENT SPACE AND THE METHOD OF THEIR INTEGRATION 被引量:10
15
作者 Mei Fengxiang (Beijing Institute of Technology) 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 1990年第2期160-168,共9页
In this paper,the parametric equations with multipliers of nonholonomic nonconservative sys- tems in the event space are established,their properties are studied,and their explicit formulation is obtained. And then th... In this paper,the parametric equations with multipliers of nonholonomic nonconservative sys- tems in the event space are established,their properties are studied,and their explicit formulation is obtained. And then the field method for integrating these equations is given.Finally,an example illustrating the appli- cation of the integration method is given. 展开更多
关键词 event space nonholonomic nonconservative system parametric equation integration method
下载PDF
Surplus Space Method: A New Numerical Model for Prediction of Shallow-seated Magmatic Bodies 被引量:8
16
作者 DENGJun HUANGDinghua +4 位作者 WANGQingfeit WANLi YAOLingqing GAOBangfei LiuYan 《Acta Geologica Sinica(English Edition)》 SCIE CAS CSCD 2004年第6期1245-1249,共5页
Based on the data of field measurement and drilling in the Tongling area, a series of numerical simulations are carried out by using the 'Surplus Space Method' (SSM), which is first put forward in this paper a... Based on the data of field measurement and drilling in the Tongling area, a series of numerical simulations are carried out by using the 'Surplus Space Method' (SSM), which is first put forward in this paper and applied to predict the shallow-seated magmatic bodies. The results of the numerical simulations show the existence and the 3-D shape of a conical magmatic structure at a depth of-1000 m beneath the center of the area: its top offsets southwards and bifurcates to several branches, while its lower part stretches northeastwards and contracts rapidly to a point at about -1000 m depth. This point is reckoned to be a 'sink' of magma system, transferring ore materials and heat energy from the deep magma chamber to the sub-surface apophyses. The preliminary application of the SSM proves that it may be developed as a new detection means for determining the existence of shallow-seated magmatic bodies and analyzing their three-dimensional features. 展开更多
关键词 Tongling area shallow-seated magmatic bodies surplus space method numerical simulation
下载PDF
THE STATE SPACE RECONSTRUCTION TECHNOLOGY OF DIFFERENT KINDS OF CHAOTIC DATA OBTAINED FROM DYNAMICAL SYSTEM 被引量:4
17
作者 陈予恕 马军海 刘曾荣 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 1999年第1期82-92,共11页
Certain deterministic nonlinear systems may show chaotic behavior. We consider the motion of qualitative information and the practicalities of extracting a part from chaotic experimental data. Our approach based on a ... Certain deterministic nonlinear systems may show chaotic behavior. We consider the motion of qualitative information and the practicalities of extracting a part from chaotic experimental data. Our approach based on a theorem of Takens draws on the ideas from the generalized theory of information known as singular system analysis. We illustrate this technique by numerical data from the chaotic region of the chaotic experimental data. The method of the singular-value decomposition is used to calculate the eigenvalues of embedding space matrix. The corresponding concrete algorithm to calculate eigenvectors and to obtain the basis of embedding vector space is proposed in this paper. The projection on the orthogonal basis generated by eigenvectors of timeseries data and concrete paradigm are also provided here. Meanwhile the state space reconstruction technology of different kinds of chaotic data obtained from dynamical system has also been discussed in detail. 展开更多
关键词 nonlinear chaotic data embedding space matrix eigenvalue and eigenvector state space reconstruction
下载PDF
Poisson theory and integration method of Birkhoffian systems in the event space 被引量:6
18
作者 张毅 《Chinese Physics B》 SCIE EI CAS CSCD 2010年第8期80-84,共5页
This paper focuses on studying the Poisson theory and the integration method of a Birkhoffian system in the event space. The Birkhoff's equations in the event space are given. The Poisson theory of the Birkhoffian sy... This paper focuses on studying the Poisson theory and the integration method of a Birkhoffian system in the event space. The Birkhoff's equations in the event space are given. The Poisson theory of the Birkhoffian system in the event space is established. The definition of the Jacobi last multiplier of the system is given, and the relation between the Jacobi last multiplier and the first integrals of the system is discussed. The researches show that for a Birkhoffian system in the event space, whose configuration is determined by (2n + 1) Birkhoff's variables, the solution of the system can be found by the Jacobi last multiplier if 2n first integrals are known. An example is given to illustrate the application of the results. 展开更多
关键词 Birkhoffian system event space method of integration Jacobi last multiplier
下载PDF
MLP training in a self-organizing state space model using unscented Kalman particle filter 被引量:3
19
作者 Yanhui Xi Hui Peng 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2013年第1期141-146,共6页
Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF... Many Bayesian learning approaches to the multi-layer perceptron (MLP) parameter optimization have been proposed such as the extended Kalman filter (EKF). This paper uses the unscented Kalman particle filter (UPF) to train the MLP in a self- organizing state space (SOSS) model. This involves forming augmented state vectors consisting of all parameters (the weights of the MLP) and outputs. The UPF is used to sequentially update the true system states and high dimensional parameters that are inherent to the SOSS moder for the MLP simultaneously. Simulation results show that the new method performs better than traditional optimization methods. 展开更多
关键词 multi-layer perceptron (MLP) Bayesian method self-organizing state space (SOSS) unscented Kalman particle filter(UPF).
下载PDF
Real-time embedded software testing method based on extended finite state machine 被引量:6
20
作者 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
上一页 1 2 250 下一页 到第
使用帮助 返回顶部