随着互联网技术的高速发展,控制系统与通讯网络基础设施交互频繁,导致机密信息容易受到入侵者和其他恶意实体的攻击。作为离散事件系统中重要的机密属性,不透明性能够描述信息系统对任何外部观察者隐藏其机密信息的能力。因此,不透明性的分析和控制是离散事件系统相关领域研究的一个重要课题。现有不透明性的研究大多基于形式方法,该方法主要采用形式语言对系统属性进行形式化规范和描述,并给出了许多深刻且重要的理论。在矩阵半张量积框架下,可将不透明性的验证扩展到在问题描述和求解方面具有优势的代数机制。此外,现有不透明性的研究主要集中在逻辑系统,默认情况下未指定状态转移所需的时间消耗或成本。然而,在不同的工程应用背景下,系统的转移路径被赋予了相应的权重。因此,将不透明性的研究扩展到更复杂的加权系统中。论文主要研究内容和创新性结果概括如下:1)针对离散事件系统当前状态不透明性的验证问题,在矩阵半张量积框架下,将状态和输入变量表示为逻辑向量,提出了离散事件系统动力学的代数表达式,通过迭代运算和布尔逻辑运算,提出了验证系统是当前状态不透明性的充要代数条件。2)针对离散事件系统K步不透明性的验证问题,研究了如何将非确定有限自动机建模的离散事件系统的K步不透明性验证转化为多项式矩阵的构造。该矩阵描述了恶意入侵者K步观测值内窃听的状态估计。最后,给出了系统K步不透明性的充分必要条件。3)针对传统逻辑系统无法定量地描述系统转移信息的限制,研究了由加权自动机建模的加权离散事件系统的K步（无限步）不透明性。通过构建系统K步（无限步）加权观测状态集,建立了具有K步（无限步）延迟的加权状态估计和加权双向观测器,提出了验证K步（无限步）加权不透明性的充要条件。