论文部分内容阅读
MFTA软件为分析多状态系统提供一种计算机辅助分析工具。设计了友好的Win-dows95用户交互界面,采用树视图组件用于输入逻辑树结构框架,采用字符串表格组件用于直接输入判定表,实现了多态单调关联典型结构函数到立方体形式判定表的转化。以标准反库为基础,采用面向对象程序设计方法构建了立方体类库,实现以立方体理论为核心的MFTA定性定量分析算法,完成了软件的研制。