期刊文献+
共找到40,054篇文章
< 1 2 250 >
每页显示 20 50 100
A high output power 340 GHz balanced frequency doubler designed based on linear optimization method
1
作者 LIU Zhi-Cheng ZHOU Jing-Tao +5 位作者 MENG Jin WEI Hao-Miao YANG Cheng-Yue SU Yong-Bo JIN Zhi JIA Rui 《红外与毫米波学报》 北大核心 2025年第2期184-191,共8页
In this paper,a linear optimization method(LOM)for the design of terahertz circuits is presented,aimed at enhancing the simulation efficacy and reducing the time of the circuit design workflow.This method enables the ... In this paper,a linear optimization method(LOM)for the design of terahertz circuits is presented,aimed at enhancing the simulation efficacy and reducing the time of the circuit design workflow.This method enables the rapid determination of optimal embedding impedance for diodes across a specific bandwidth to achieve maximum efficiency through harmonic balance simulations.By optimizing the linear matching circuit with the optimal embedding impedance,the method effectively segregates the simulation of the linear segments from the nonlinear segments in the frequency multiplier circuit,substantially improving the speed of simulations.The design of on-chip linear matching circuits adopts a modular circuit design strategy,incorporating fixed load resistors to simplify the matching challenge.Utilizing this approach,a 340 GHz frequency doubler was developed and measured.The results demonstrate that,across a bandwidth of 330 GHz to 342 GHz,the efficiency of the doubler remains above 10%,with an input power ranging from 98 mW to 141mW and an output power exceeding 13 mW.Notably,at an input power of 141 mW,a peak output power of 21.8 mW was achieved at 334 GHz,corresponding to an efficiency of 15.8%. 展开更多
关键词 linear optimization method(LOM) three-dimensional electromagnetic model(3D-EM) Harmonic impedance optimization Schottky planar diode Terahertz frequency doubler
在线阅读 下载PDF
A novel asymptotic linear method for micro-pressure wave mitigation at high-speed maglev tunnel exit:A case study with various open ratios on tunnel hoods
2
作者 ZHANG Jie ZHANG Mo-lin +2 位作者 HAN Shuai LIU Tang-hong GAO Guang-jun 《Journal of Central South University》 2025年第5期1955-1972,共18页
A high-speed train travelling from the open air into a narrow tunnel will cause the“sonic boom”at tunnel exit.When the maglev train’s speed reaches 600 km/h,the train-tunnel aerodynamic effect is intensified,so a n... A high-speed train travelling from the open air into a narrow tunnel will cause the“sonic boom”at tunnel exit.When the maglev train’s speed reaches 600 km/h,the train-tunnel aerodynamic effect is intensified,so a new mitigation method is urgently expected to be explored.This study proposed a novel asymptotic linear method(ALM)for micro pressure wave(MPW)mitigation to achieve a constant gradient of initial c ompression waves(ICWs),via a study with various open ratios on hoods.The properties of ICWs and MPWs under various open ratios of hoods were analyzed.The results show that as the open ratio increases,the MPW amplitude at the tunnel exit initially decreases before rising.At the open ratio of 2.28%,the slope of the ICW curve is linearly coincident with a supposed straight line in the ALM,which further reduces the MPW amplitude by 26.9%at 20 m and 20.0%at 50 m from the exit,as compared to the unvented hood.Therefore,the proposed method effectively mitigates MPW and quickly determines the upper limit of alleviation for the MPW amplitude at a fixed train-tunnel operation condition.All achievements provide a ne w potential measure for the adaptive design of tunnel hoods. 展开更多
关键词 novel asymptotic linear method high-speed maglev train micro-pressure wave tunnel hood with various open ratios
在线阅读 下载PDF
Underdetermined direction of arrival estimation with nonuniform linear motion sampling based on a small unmanned aerial vehicle platform
3
作者 Xinwei Wang Xiaopeng Yan +2 位作者 Tai An Qile Chen Dingkun Huang 《Defence Technology(防务技术)》 SCIE EI CAS CSCD 2024年第3期352-363,共12页
Uniform linear array(ULA)radars are widely used in the collision-avoidance radar systems of small unmanned aerial vehicles(UAVs).In practice,a ULA's multi-target direction of arrival(DOA)estimation performance suf... Uniform linear array(ULA)radars are widely used in the collision-avoidance radar systems of small unmanned aerial vehicles(UAVs).In practice,a ULA's multi-target direction of arrival(DOA)estimation performance suffers from significant performance degradation owing to the limited number of physical elements.To improve the underdetermined DOA estimation performance of a ULA radar mounted on a small UAV platform,we propose a nonuniform linear motion sampling underdetermined DOA estimation method.Using the motion of the UAV platform,the echo signal is sampled at different positions.Then,according to the concept of difference co-array,a virtual ULA with multiple array elements and a large aperture is synthesized to increase the degrees of freedom(DOFs).Through position analysis of the original and motion arrays,we propose a nonuniform linear motion sampling method based on ULA for determining the optimal DOFs.Under the condition of no increase in the aperture of the physical array,the proposed method obtains a high DOF with fewer sampling runs and greatly improves the underdetermined DOA estimation performance of ULA.The results of numerical simulations conducted herein verify the superior performance of the proposed method. 展开更多
关键词 Unmanned aerial vehicle(UAV) Uniform linear array(ULA) Direction of arrival(DOA) Difference co-array Nonuniform linear motion sampling method
在线阅读 下载PDF
On stability analysis of nonlinear ADRC-based control system with application to inverted pendulum problems
4
作者 LI Jie XIA Yuanqing 《Journal of Systems Engineering and Electronics》 CSCD 2024年第6期1563-1573,共11页
This paper mainly focuses on stability analysis of the nonlinear active disturbance rejection control(ADRC)-based control system and its applicability to real world engineering problems.Firstly,the nonlinear ADRC(NLAD... This paper mainly focuses on stability analysis of the nonlinear active disturbance rejection control(ADRC)-based control system and its applicability to real world engineering problems.Firstly,the nonlinear ADRC(NLADRC)-based control system is transformed into a multi-input multi-output(MIMO)Lurie-like system,then sufficient condition for absolute stability based on linear matrix inequality(LMI)is proposed.Since the absolute stability is a kind of global stability,Lyapunov stability is further considered.The local asymptotical stability can be deter-mined by whether a matrix is Hurwitz or not.Using the inverted pendulum as an example,the proposed methods are verified by simulation and experiment,which show the valuable guidance for engineers to design and analyze the NL ADRC-based control system. 展开更多
关键词 active disturbance rejection control(ADRC) stabi-lity analysis linear matrix inequality(LMI) inverted pendulum system
在线阅读 下载PDF
Robust H_∞ Control for Uncertain Markovian Jump Linear Time-Delay Systems 被引量:2
5
作者 Zhong Maiying, Zhu Kunping & Tang Bingyong Business and Management School of Donghua University, Shanghai 200051, P. R. China 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2002年第1期13-20,共8页
This paper studies the robust stochastic stabilization and robust H∞ control for linear time-delay systems with both Markovian jump parameters and unknown norm-bounded parameter uncertainties. This problem can be sol... This paper studies the robust stochastic stabilization and robust H∞ control for linear time-delay systems with both Markovian jump parameters and unknown norm-bounded parameter uncertainties. This problem can be solved on the basis of stochastic Lyapunov approach and linear matrix inequality (LMI) technique. Sufficient conditions for the existence of stochastic stabilization and robust H∞ state feedback controller are presented in terms of a set of solutions of coupled LMIs. Finally, a numerical example is included to demonstrate the practicability of the proposed methods. 展开更多
关键词 Feedback control linear algebra linear equations linear systems Lyapunov methods Markov processes Robustness (control systems)
在线阅读 下载PDF
Model predictive control synthesis algorithm based on polytopic terminal region for Hammerstein-Wiener nonlinear systems 被引量:2
6
作者 李妍 陈雪原 毛志忠 《Journal of Central South University》 SCIE EI CAS CSCD 2017年第9期2028-2034,共7页
An improved model predictive control algorithm is proposed for Hammerstein-Wiener nonlinear systems.The proposed synthesis algorithm contains two parts:offline design the polytopic invariant sets,and online solve the ... An improved model predictive control algorithm is proposed for Hammerstein-Wiener nonlinear systems.The proposed synthesis algorithm contains two parts:offline design the polytopic invariant sets,and online solve the min-max optimization problem.The polytopic invariant set is adopted to replace the traditional ellipsoid invariant set.And the parameter-correlation nonlinear control law is designed to replace the traditional linear control law.Consequently,the terminal region is enlarged and the control effect is improved.Simulation and experiment are used to verify the validity of the wind tunnel flow field control algorithm. 展开更多
关键词 Hammerstein-Wiener nonlinear systems model predictive control polytopic terminal constraint set parameter-correlation nonlinear control stability linear matrix inequalities (LMIs)
在线阅读 下载PDF
Static Output Feedback Control for Discrete-time Piecewise Linear Systems: an LMI Approach 被引量:7
7
作者 DING Da-Wei YANG Guang-Hong 《自动化学报》 EI CSCD 北大核心 2009年第4期337-344,共8页
关键词 Piecewise linear systems piecewise quadratic Lyapunov function Finsler's lemma static output feedback (SOF) linear matrix inequality (LMI)
在线阅读 下载PDF
Tracking control for air-breathing hypersonic cruise vehicle based on tangent linearization approach 被引量:7
8
作者 Guangbin Cai Guangren Duan +1 位作者 Changhua Hu Bin Zhou 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2010年第3期469-475,共7页
This paper is focused on developing a tracking controller for a hypersonic cruise vehicle using tangent linearization approach.The design of flight control systems for air-breathing hypersonic vehicles is a highly cha... This paper is focused on developing a tracking controller for a hypersonic cruise vehicle using tangent linearization approach.The design of flight control systems for air-breathing hypersonic vehicles is a highly challenging task due to the unique characteristics of the vehicle dynamics.Motivated by recent results on tangent linearization control,the tracking control problem for the hypersonic cruise vehicle is reduced to that of a feedback stabilizing controller design for a linear time-varying system which can be accomplished by a standard design method of frozen-time control.Through a proper model transformation,it can be proven that the tracking error of the designed closed-loop system decays exponentially.Simulation studies are conducted for trimmed cruise conditions of 110000 ft and Mach 15 where the responses of the vehicle to step changes in altitude and velocity are evaluated.The effectiveness of the controller is demonstrated by simulation results. 展开更多
关键词 hypersonic cruise vehicles tangent linearization tracking control nonlinear control.
在线阅读 下载PDF
Robust entry guidance using multi-segment linear pseudospectral model predictive control 被引量:4
9
作者 Liang Yang Wanchun Chen +1 位作者 Xiaoming Liu Hao Zhou 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2017年第1期103-125,共23页
This paper presents a robust entry guidance algorithm for the high lift-to-drag ratio entry vehicle that employs the recently developed pseudospectral model predict control in a segmented manner. Here, the guidance co... This paper presents a robust entry guidance algorithm for the high lift-to-drag ratio entry vehicle that employs the recently developed pseudospectral model predict control in a segmented manner. Here, the guidance commands are the longitudinal lift-to-drag (L/D) and bank reversal commands, which are calculated by successively solving multiple segment linear algebraic equations. These equations are derived using the linear pseudospectral method, control parametrization and calculus of variations. The method uses orthogonal polynomials and computes the updates through a series of analytical formulae, which makes it accurate and computationally effective. Moreover, it is able to adjust the number of bank reversals by providing the precise bank reversal point so as to fully exploit the potential of lateral maneuver. The method also employs proportional navigation and polynomial guidance after the last bank reversal to meet multiple terminal constraints. High-fidelity numerical simulations with various destinations are carried out to demonstrate its applicability. Furthermore, Monte Carlo simulations are also conducted to show that the proposed algorithm consistently offers very stable and robust performances and has superior performances in computational efficiency, guidance accuracy and lateral trajectory shaping capability in comparison with other typical methods. © 1990-2011 Beijing Institute of Aerospace Information. 展开更多
关键词 CALCULATIONS Computational efficiency Drag Electronic guidance systems Intelligent systems Lift drag ratio linear algebra linear equations Monte Carlo methods
在线阅读 下载PDF
Global robust optimal sliding mode control for uncertain affine nonlinear systems 被引量:5
10
作者 Pang Haiping Chen Xia 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第4期838-843,共6页
The problem of robustifying linear quadratic regulators (LQRs) for a class of uncertain affine nonlinear systems is considered. First, the exact linearization technique is used to transform an uncertain nonlinear sy... The problem of robustifying linear quadratic regulators (LQRs) for a class of uncertain affine nonlinear systems is considered. First, the exact linearization technique is used to transform an uncertain nonlinear system into a linear one and an optimal LQR is designed for the corresponding nominal system. Then, based on the integral sliding mode, a design approach to robustifying the optimal regulator is studied. As a result, the system exhibits global robustness to uncertainties and the ideal sliding mode dynamics is the same as that of the optimal LQR for the nominal system. A global robust optimal sliding mode control (GROSMC) is realized. Finally, a numerical simulation is demonstrated to show the effectiveness and superiority of the proposed algorithm compared with the conventional optimal LQR. 展开更多
关键词 robust control optimal control sliding mode control nonlinear systems uncertain systems exact linearization.
在线阅读 下载PDF
Robust fault detection for a class of nonlinear network control system with communication delay 被引量:5
11
作者 Ai Qiangyu Liu Chunsheng Jiang Bin 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第5期1024-1030,共7页
To investigate a class of nonlinear network control system, a robust fault diagnosis method is presented based on the robust state observer. To access the objective that the designed robust filter is maximally toleran... To investigate a class of nonlinear network control system, a robust fault diagnosis method is presented based on the robust state observer. To access the objective that the designed robust filter is maximally tolerant to disturbances and sensitive to fault, the robustness and stability properties of the fault diagnosis scheme are established rigorously. Using the residual vector, a fault tolerant controller is established in order to guarantee the stability of the closed-loop system, and the controller law can be obtained by solving a set of linear matrix inequalities. Then, some relevant sufficient conditions for the existence of a solution are given by applying Lyapunov stability theory. Finally, a simulation example is performed to show the effectiveness of the proposed approach. 展开更多
关键词 nonlinear network control systems robust fault detection OBSERVER linear matrix inequality.
在线阅读 下载PDF
Developments of numerical methods for linear and nonlinear fluid-solid interaction dynamics with applications 被引量:9
12
作者 Jing Tang XING 《力学进展》 EI CSCD 北大核心 2016年第1期95-139,共45页
关键词 linear and nonlinear fluid-solid interactions MIXED FE-substructuremethod MIXED FE-BE METHOD MIXED FE-FD METHOD MIXED FE-SP METHOD fluidsloshing acoustic volume—structure coupling breaking WAVE simulations pressurewaves in fluids LNG ship VLFS-water interaction WAVE energy harvesting
在线阅读 下载PDF
Sliding mode H_∞ control for a class of uncertain nonlinear state-delayed systems 被引量:4
13
作者 Wu Ligang Wang Changhong Gao Huijun Zhang Lixian 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2006年第3期576-585,共10页
A new proportional-integral (PI) sliding surface is designed for a class of uncertain nonlinear state-delayed systems. Based on this, an adaptive sliding mode controller (ASMC) is synthesized, which guarantees the... A new proportional-integral (PI) sliding surface is designed for a class of uncertain nonlinear state-delayed systems. Based on this, an adaptive sliding mode controller (ASMC) is synthesized, which guarantees the occurrence of sliding mode even when the system is undergoing parameter uncertainties and external disturbance. The resulting sliding mode has the same order as the original system, so that it becomes easy to solve the H∞ control problem by designing a memoryless H∞ state feedback controller. A delay-dependent sufficient condition is proposed in terms of linear matrix inequalities (LMIs), which guarantees the sliding mode robust asymptotically stable and has a noise attenuation level γ in an H∞ sense. The admissible state feedback controller can be found by solving a sequential minimization problem subject to LMI constraints by applying the cone complementary linearization method. This design scheme combines the strong robustness of the sliding mode control with the H∞ norm performance. A numerical example is given to illustrate the effectiveness of the proposed scheme. 展开更多
关键词 sliding mode control H∞ control NONlinearITY state-delayed system linear matrix inequality (LMIs)
在线阅读 下载PDF
Exponential passive filtering for a class of nonlinear jump systems 被引量:3
14
作者 He Shuping Liu Fei 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第4期829-837,共9页
The exponential passive filtering problem for a class of nonlinear Markov jump systems with uncertainties and time-delays is studied. The uncertain parameters are assumed unknown but norm bounded, and the nonlineariti... The exponential passive filtering problem for a class of nonlinear Markov jump systems with uncertainties and time-delays is studied. The uncertain parameters are assumed unknown but norm bounded, and the nonlinearities satisfy the quadratic condition. Based on the passive filtering theory, the sufficient condition for the existence of the mode-dependent passive filter is given by analyzing the reconstructed observer system. By using the appropriate Lyapnnov-Krasovskii function and applying linear matrix inequalities, the design scheme of the passive filter is derived and described as an optimization one. The presented exponential passive filter makes the error dynamic systems exponentially stochastically stable for all the admissible uncertainties, time-delays and nonlinearities, has the better abilities of state tracking and satisfies the given passive norm index. Simulation results demonstrate the validity of the proposed approach. 展开更多
关键词 nonlinear Markov jump systems UNCERTAINTIES TIME-DELAYS passive filter exponentially stochastically stable linear matrix inequalities.
在线阅读 下载PDF
Research of robust adaptive trajectory linearization control based on T-S fuzzy system 被引量:3
15
作者 Jiang Changsheng Zhang Chunyu Zhu Liang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2008年第3期537-545,共9页
A robust adaptive trajectory linearization control (RATLC) algorithm for a class of nonlinear systems with uncertainty and disturbance based on the T-S fuzzy system is presented. The unknown disturbance and uncertai... A robust adaptive trajectory linearization control (RATLC) algorithm for a class of nonlinear systems with uncertainty and disturbance based on the T-S fuzzy system is presented. The unknown disturbance and uncertainty are estimated by the T-S fuzzy system, and a robust adaptive control law is designed by the Lyapunov theory. Irrespective of whether the dimensions of the system and the rules of the fuzzy system are large or small, there is only one parameter adjusting on line. Uniformly ultimately boundedness of all signals of the composite closed-loop system are proved by theory analysis. Finally, a numerical example is studied based on the proposed method. The simulation results demonstrate the effectiveness and robustness of the control scheme. 展开更多
关键词 nonlinear system trajectory linearization control robust adaptive control T-S fuzzy system.
在线阅读 下载PDF
μ ANALYSIS AND μ SYNTHESIS FOR NONLINEAR ROBUST CONTROL SYSTEMS 被引量:2
16
作者 Wu Min Peng Zhihong Tang Chaohui Gui Weihua(College of Information Engineering, Central South University of Technology, Changsha 410083, China) 《Journal of Central South University》 SCIE EI CAS 1998年第1期69-74,共6页
A μ analysis and μ synthesis method for nonlinear robust control systems was presented. The nonlinear robust contrl problem using μ method was described. By means of the nonlinear state feedback and state coordin... A μ analysis and μ synthesis method for nonlinear robust control systems was presented. The nonlinear robust contrl problem using μ method was described. By means of the nonlinear state feedback and state coordinates transformation, many uncertain nonlinear systems can be transformed as a linear fractional transformation (LFT) on the generalized plant and the uncertainty. Based on the LFT, a linear robust controller can be obtained by the DK iteration and then a corresponding nonlinear robust control law is constructed. An example was given in the paper. 展开更多
关键词 NONlinear SYSTEMS uncertainty ROBUST CONTROL μ analysis μ synthesis linear FRACTIONAL transformation DK ITERATION
在线阅读 下载PDF
Static output feedback control for discrete-time fuzzy bilinear system 被引量:4
17
作者 Guo Zhang Mingli Song 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2010年第2期296-299,共4页
The problem of designing fuzzy static output feedback controller for T-S discrete-time fuzzy bilinear system (DFBS) is presented. Based on parallel distribution compensation method, some sufficient conditions are de... The problem of designing fuzzy static output feedback controller for T-S discrete-time fuzzy bilinear system (DFBS) is presented. Based on parallel distribution compensation method, some sufficient conditions are derived to guarantee the stability of the overall fuzzy system. The stabilization conditions are further formulated into linear matrix inequality (LMI) so that the desired controller can be easily obtained by using the Matlab LMI toolbox. In comparison with the existing results, the drawbacks, such as coordinate transformation, same output matrices, have been elim- inated. Finally, a simulation example shows that the approach is effective. 展开更多
关键词 discrete-time fuzzy bilinear system (DFBS) static out- put feedback control fuzzy control linear matrix inequality (LMI).
在线阅读 下载PDF
Design of performance robustness for uncertain nonlinear time-delay systems via neural network 被引量:2
18
作者 Luan Xiaoli Liu Fei 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2007年第4期852-857,884,共7页
Performance robustness problems via the state feedback controller are investigated for a class of uncertain nonlinear systems with time-delay in both state and control, in which the neural networks are used to model t... Performance robustness problems via the state feedback controller are investigated for a class of uncertain nonlinear systems with time-delay in both state and control, in which the neural networks are used to model the nonlinearities. By using an appropriate uncertainty description and the linear difference inclusion technique, sufficient conditions for existence of such controller are derived based on the linear matrix inequalities (LMIs). Using solutions of LMIs, a state feedback control law is proposed to stabilize the perturbed system and guarantee an upper bound of system performance, which is applicable to arbitrary time-delays. 展开更多
关键词 nonlinear system TIME-DELAY UNCERTAINTIES neural network linear matrix inequality
在线阅读 下载PDF
Suppression of thermal postbuckling and nonlinear panel flutter motions of variable stiffness composite laminates using piezoelectric actuators 被引量:2
19
作者 TAO Ji-xiao YI Sheng-hui +1 位作者 DENG Ya-jie HE Xiao-qiao 《Journal of Central South University》 SCIE EI CAS CSCD 2021年第12期3757-3777,共21页
Variable stiffness composite laminates(VSCLs)are promising in aerospace engineering due to their designable material properties through changing fiber angles and stacking sequences.Aiming to control the thermal postbu... Variable stiffness composite laminates(VSCLs)are promising in aerospace engineering due to their designable material properties through changing fiber angles and stacking sequences.Aiming to control the thermal postbuckling and nonlinear panel flutter motions of VSCLs,a full-order numerical model is developed based on the linear quadratic regulator(LQR)algorithm in control theory,the classical laminate plate theory(CLPT)considering von Kármán geometrical nonlinearity,and the first-order Piston theory.The critical buckling temperature and the critical aerodynamic pressure of VSCLs are parametrically investigated.The location and shape of piezoelectric actuators for optimal control of the dynamic responses of VSCLs are determined through comparing the norms of feedback control gain(NFCG).Numerical simulations show that the temperature field has a great effect on aeroelastic tailoring of VSCLs;the curvilinear fiber path of VSCLs can significantly affect the optimal location and shape of piezoelectric actuator for flutter suppression;the unstable panel flutter and the thermal postbuckling deflection can be suppressed effectively through optimal design of piezoelectric patches. 展开更多
关键词 active control finite element method linear quadratic regulator algorithm nonlinear flutter thermal postbuckling variable stiffness composite laminates
在线阅读 下载PDF
无线认证协议Linear MAKEP的模型检验
20
作者 刘霞 陈维 彭军 《计算机工程》 CAS CSCD 北大核心 2008年第3期186-188,212,共4页
模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协... 模型检验是一种自动化程度很高的形式化分析技术。用有限状态机对无线认证协议LinearMAKEP建模,并对该协议的认证性用CTL公式进行形式化描述,将得到的模型和公式输入模型检验工具SMV进行检验。对检验结果进行分析发现:在Linear MAKEP协议中,入侵者可以冒充服务器与客户进行通信,不满足认证性。给出了协议的一种改进,使其满足认证性。 展开更多
关键词 linear MAKEP协议 模型检验 认证性 形式化
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部