论文部分内容阅读
本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征。文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础。
ECA规则的模型和行为特定理论
【摘 要】
：
本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征。文中给出的形式化定义和判定方法可作为规则静态
【机 构】
：
复旦大学计算机系,山东大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1997年3期
【基金项目】
：
国家自然科学基金
其他文献
本文阐述了高等职业技术院校开展工学交替,校企合作办学的教学模式。以本校模具设计与制造专业为例,论述了两轮顶岗工学交替的人才培养模式、管理模式、实施过程、考核评价等
术后尿潴留是指膀胱内充满尿液但不能自行排出的症状，是手术后常见的并发症，如手术撤除尿管后8h内患者不能排尿而膀胱尿量〉600ml，或者患者不能自行有效排空膀胱而残余尿量〉100
甘的：探讨新疆哈萨克族高中生成就动机的现状。方法；采用《成就动机量表》（AMS）对289名哈族高中生进行了测量。结果：①哈族高中生成就动机年级差异显著（P〈0．05），性别差异不显著（P〉0．05
思想政治工作是中国共产党一切工作的生命线。抗日战争时期，中国共产党充分发挥思想政治工作的作用，巩固了全民族的抗日统一战线，奠定了中共在抗战中中流砥柱的地位，对持久抗战和
30岁以下青年乳腺癌往往病期晚，复发转移率高，预后很差。我院1990-1999年的10年间收治该年龄段患者73例，其中66例术后随访资料完整，死亡28例。本文对其死亡因素进行了分子生物学
本文阐述了高校创建学习型校园的重要性、基本原则和需要把握的几个重要问题,重点从树立理念、强化意识、搭建模式、突出重点等不同角度、层次就如何创建高校学习型校园作了
随着城市化进程的不断加快,村规民约侵犯农村妇女土地等合法权益的问题不断涌现,有悖男女平等基本国策要求,影响妇女的经济收入。本文综合运用卡比尔社会性别分析法和科尔曼
采用讲座式、研讨式与教学活动渗透式相结合的方法,对非英语专业学生进行了学习策略培训,旨在分析英语学习策略培训与语言教学的关系。通过实验班与控制班培训前后策略使用及
1病历报告患者,女,26岁.因手足皮肤起红色斑疹半年余,于2003年4月7日来我科就诊.患者半年前无明显诱因,双侧手足皮肤开始起红色斑片,无自觉症状,随时间推移皮损渐扩大,遂来我