论文部分内容阅读
说明了HYTECH工具中所采用的参数分析方法对系统描述能力的限制;提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的界进行了分析.
线性混合系统符号模型验证中的参数分析方法
【摘 要】
：
说明了HYTECH工具中所采用的参数分析方法对系统描述能力的限制;提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的
【机 构】
：
华东理工大学计算机科学与工程系,上海,200237
【出 处】
：
华东理工大学学报（自然科学版）
【发表日期】
：
2000年5期
其他文献
对于中小企业融资难的问题，社会各界给予了广泛的关注。每逢全国和地方各级人大、政协召开会议，代表们的相关提案也总是接二连三。银行与中小企业，作为两个不同的实体，各自都是以
合成了 N,N -二苄基 -2 -甲氧羰基 -六氢 -1 H-1 ,4 -二氮 艹卓 (3 )。 3经还原、氯取代、胺取代、胺脱苄、单酰化及酰化反应后得到了 1 0个带有 (1 -芳乙酰胺基 -2 -叔氨基
在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略,介绍了基于此策略的完备化算法及其具体实现,初步探讨了策略的选择对于提高此类系统演算效率的重要作用.
合成正庚醛、正丁醛Resorcinarenes母体,经生成酯衍生物后同9-蒽甲醇反应,合成了带荧光基团蒽的正庚醛、正丁醛Resorcinarenes母体衍生物.考察了各种因素对产物产率的影响,并
在前人研究的基础上,进一步完善新超复结构意义下Clifford分析微分学的理论.首先给出偏导数的定义;进而研究Clifford分析中代数值函数的偏导数;讨论了偏导数与导数的关系;推
今年以来，中小企业频频成为关注热点。从珠三角到长三角，大部分中小企业正在遭遇严峻的生存困境，有分析称，中小企业主们现在所感受到的“寒意”，可能比2008年全球金融危机期间更严
目的:探讨太行山猕猴掌和蹠骨与颅长的相关关系.方法:对27例太行山猕猴的掌骨和蹠骨长度和27例颅骨长度进行测量,运用SPSS 13.0 统计软件进行相关性分析和线性回归分析.结果:
产业技术创新战略联盟建设正在国内如火如荼地展开。有媒体报道了“一些地方有多少多少产业联盟建成，形成一种‘遍地开花’的大好形势”。
一个n阶Boolean方阵A=[aij]n×n等价于顶点集是1,2,…,n的有向图D(A),所以Boolean方阵有rn很大实用价值.目前它已经成为工程技术和信息处理中不可缺少的数学工具,并逐渐渗透