论文部分内容阅读
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域.
时间符号迁移图上的可达性分析
【摘 要】
：
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议验证等领域.
【机 构】
：
中国科学民计算机科学重点实验室
【出 处】
：
计算机学报
【发表日期】
：
2003年1期
其他文献
基于组织的概念设计了一种新的进化算法--求解SAT问题的组织进化算法(Organizational Evolutionary Algorithm for SAT problem,OEASAT).OEASAT将SAT问题分解成若干子问题,然
分布估计算法由于其较强的理论基础已成为进化计算研究的新热点.从卡尔曼滤波的角度来看,它的作用实际上是一个递归滤波器,但作用在一个种群上的分布估计算法相当于只有一个
作者提出三类新的来自双线性配对的涉及多个签名人的代理签名体制.第一类称为代理多签名体制,它允许一组原始签名人授权给一个代理签名人来代表他们;第二类称为多代理签名体
提出隐式曲面的光顺问题 .针对该问题 ,给出刻画隐式曲面光顺程度的能量模型 ,并将能量解释为关于隐函数的泛函 .基于变分原理 ,构造出隐函数关于时间的偏微分方程 ,通过求解该方程得到隐函数序列 ,使得光顺能量逐渐变小 ,从而达到光顺隐式曲面的目的 .另外 ,针对光顺问题提出的其它约束条件 ,如尽可能保持面积不变 ,保持原有的形状特征等 ,对模型进行修正 .最后 ,给出方程的实用解法及实验结果 ,并
互联网资源的利用率无论在时间上,还是空间上都存在极度的不均.在不干扰用户工作的前提下,充分利用互联网上闲置的资源,解决大规模的科学计算,具有极其重要的意义.文章在前期
网络服务器过载问题已经成为日益关注的问题,过载会引起服务器系统性能急剧下降,客户请求长时间得不到响应.国内外已经提出很多有关网络服务器过载的解决方案,其中,比较有效