论非对称选择网的活性

来源 :软件学报 | 被引量 : 0次 | 上传用户:Chrys0721
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文给出了非对称选择网AC网活性单调性的充分必要条件,并在此了证明了一类AC网系统的活性的单调性和此类网结构活的充要条件。
其他文献
高职旅游管理专业是实践性很强的专业,学生在学习旅游管理专业知识的过程中,通过情境教学,可以把旅游管理专业的理论知识融合到实践活动中,从而培养和提高学生运用旅游管理专
本文提出了使用选择函数的亚蕴涵询问求值方法以及依据此方法建立的询问求值算法IVAL。这种方法比Bossu和Siegal的算法VAL简便,效率高。IVAL和VAL同时在SUN-4上用C-Prolog语言实现。本文给邮了IVAL的理论依据,并把两种算法
培养人才是高等学校的根本任务,提高教学质量是高等学校永恒的主题。2007年,教育部启动了"高等学校教学质量工程",其目的是促进高校不断明确办学指导思想,改善办学条件,加强教