1) structure correctness
结构正确性
1.
The execution of transactions must satisfy not only the integrity and consistency of database but also the timing correctness and structure correctness among transactions.
传统的事务处理方法仅着眼于事务存取数据库的正确性 ,对于时间正确性与结构正确性无能为力 。
2) Validity and rationality of structure
结构的正确性与合理性
3) structural uncertainty
结构不确定性
1.
Robust state feedback stabilization of switched linear systems with structural uncertainty;
带有结构不确定性的线性切换系统的鲁棒状态反馈镇定
2.
Design of dynamic feedback control for a class of nonlinear systems with structural uncertainty;
一类结构不确定性非线性系统动态反馈控制器的设计
3.
Time-varying delays are regarded as the sum of the mean delays and uncertain delays,and networked control system with long time delays is modeled as a discrete-time model with structural uncertainty for its time-varying network-induced delays.
具有长时延的网络控制系统可以建模为具有结构不确定性的离散时间模型。
4) nonconstructed uncertainty
非结构不确定性
1.
Discussed the robust control problem for the linear systems with nonlinear uncertain parameters, obtained the conditions of robust stability and the robust controller design for the nonconstructed uncertainty respectively, by applying Lyapunov method and matrix inequality, given the results by linear matrix inequalities.
研究一类带有非线性不确定参数的线性系统的鲁棒控制问题 ,针对不确定矩阵满足非结构不确定性情形 ,利用Lyapunov方法 ,结合矩阵不等式 ,给出这类系统鲁棒稳定的判别条件和鲁棒控制器设计方
2.
Some sufficient conditions of asymptotic stability are obtained for nonconstructed uncertainty, high constructed uncertainty, matrix polytope type constructed uncertainty respectively, through applying Lyapunov method and inequality technique and linear matrix inequality.
研究一类带有非线性不确定参数的线性时滞系统的鲁棒稳定性问题,针对不确定矩阵满足非结构不确定性、强结构不确定性、矩阵多胞形结构不确定性等情形,利用Lyapunov方法、不等式技巧及线性矩阵不等式,获得该系统渐近稳定的一系列充分条件。
5) structured uncertainty
结构不确定性
1.
This paper is concerned with the problems of robust stability analysis and robust control for generalized systems with structured uncertainty.
该文考虑结构不确定性广义系统的鲁棒稳定性分析及鲁棒控制问题。
2.
The problem of model validation/invalidation pertaining to a linear fractional transformation(LFT) structured uncertainty model is studied.
研究了具有结构不确定性因素的系统线性分式变换（ＬＦＴ）的模型验证问题，考虑如何同时基于时域和频域数据对模型进行验证，利用有关时域和频域混合数据的插值理论，提出了模型验证的混合途径及判别模型是否无效的必要条件。
3.
Using the structured singular value μ, this paper discusses the μ method of robust con-trol for structured uncertainty systems and gives an example.
本文引入结构奇异值μ,讨论结构不确定性系统鲁棒控制的μ方法,并给出一个例子。
6) Structured uncertainty
结构式不确定性
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条