1) generalized Kleene-dienes ternary logic syste
广义Kleene-Dienes三值系统
3) Kleene 3 valued logic
Kleene三值逻辑
4) boundary value descriptor systems
广义边值系统
1.
A class of continuous -time boundary value descriptor systems is described as Ex(t)= Ax(t)+Bu(t),with the boundary condition V0x(0)+Vrx(T)=v.
连续时间广义边值系统被描述为Ｅｘ（ｔ）＝Ａｘ（ｔ）＋Ｂｕ（ｔ），Ｖ０ｘ（０）＋Ｖｒｘ（Ｔ）＝ｖ，其中Ｅ是奇异方阵，ｕ（ｔ）满足任意次可微，本文讨论了一类连续时间广义边值系统的有关向内和向外边值过程的两个重要概念，并在此基础上给出了能控性和能观性定义和判别准则。
2.
A class of continuous-time boundary value descriptor systems is described as Ex(t) =Ax(t)+ Bu(t), with the boundary condition Mx(0)+Mx(T)=η, E is singular and u(t) is a function which can be differentiated for sufficiently many times.
连续时间广义边值系统被描述为:Ex(t)=Ax(t)+Bu(t),Mx(O)+Nx(T)=η,其中E是奇异方阵,u(t)满足任意次可微,本文讨论了这类系统的定义、可解性及其状态结构。
5) Kleene-Dienes implication operator
Kleene-Dienes蕴涵算子
6) Kleene Dienes Implication Operator
KleeneDienes蕴含算子
补充资料：广义特征值问题数值解法
见代数特征值问题数值解法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条