论文部分内容阅读
本文给出了２ＤＲｏｅｓｓｅｒ模型的一种新的能达性定义，并证明了这一新概念与Ｂｉｓｉａｃｃｏ在１９８５年提出了因果能观性是对偶的，从而最终完善了现有２Ｄ离散系统性能达（能现）性与能控（可重构）性理论，最后本文还将结果推广到２Ｄ一般离散模型，并利用陈文德在１９８４年的结果给出了这种新的能达性的一类应用。