一种蕴涵算子下FMP模型的新型反向三I算法

针对Fuzzy推理中提出的"过半可信"原则,证明了RG蕴涵算子满足这一原则,并讨论了RG蕴涵算子下FMP模型的新型反向三I支持算法,新型α-反向三I支持算法,新型α-反向三I约束算法的计算公式,且给予证明。

基于扩展对象模型的界面自动生成

根据界面工程设计和自动化的需要 ,本文提出了基于FMP模型中的扩展对象模型的自动生成方法。界面自动生成是根据扩展对象模型中的对象描述信息 ,通过指定不同的布局策略在界面的特定区域中实现的不同界面布局。

支持界面生成的扩展对象模型和交互模型

基于模型的用户界面分析和表达是实现界面工程设计的出路所在。FMP是一个涵盖需求、结构和实现的界面模型。该文重点讨论了FMP的内在模型Model部分和对界面实现的作用。指出内在模型由参与界面操作的扩充对象模型和它们的交互模型构成。对象模型给出了界面的局部布局。交互模型给出了界面的功能和对象构成以及它们之间的交互关系,在界面模板的支持下,可以给出界面的宏观布局并支持界面的自动生成。

支持界面描述的扩展对象模型

根据界面工程设计和自动化的需要 ,给出一种支持界面自动生成的扩展对象模型 .在一般对象描述的基础上 ,该模型扩展了对象的属性和特征 ,提出了诸如属性取值范围、方式、来源、分组等 ,以及导出、联动和导航关系等 .该模型从界面的领域建模出发 。

基于XML的界面模板技术

从一种支持用户界面自动生成的界面模型FMP出发,阐述了界面模板的基本概念并讨论了其各种形式表示。在此基础上,详细探讨了有关界面模板表示形式的转换以及界面模板的检索等技术,最后给出了一个界面模板库系统的体系结构。