论文部分内容阅读
利用叠代计算μ-演算公式时的单调特性，提出了一个分块计算嵌套μ-演算公式的全局算法，算法时间复杂度为O（n^d/2），空间复杂度为O（d×n）。由于算法的空间复杂度低，使得不动点算子嵌套深度很大的μ-演算公式的求解成为可能，这在模型检测方面有着非常重要的意义。
μ-演算嵌套不动点表达式分块计算算法
【摘 要】
：
利用叠代计算μ-演算公式时的单调特性，提出了一个分块计算嵌套μ-演算公式的全局算法，算法时间复杂度为O（n^d/2），空间复杂度为O（d×n）。由于算法的空间复杂度低，使得不动点算子
【机 构】
：
贵州大学计算机理论与软件研究所,广东韶关学院计算机系
【出 处】
：
计算机工程
【发表日期】
：
2008年2期
【基金项目】
：
贵州省科学基金资助项目（GGY2004002）
其他文献
关于澳门半岛开埠早期的葡人居留地问题,目前学术界众说纷纭,其中沙梨头一带说的证据显然更为充实。《利玛窦中国札记》所记早期葡人居住区的"岩石",不在现在的妈祖阁一带,而
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
颈肌劳损综合症是颈椎病的前趋病症，其发病及临床表现与颈椎病有相似之处，但在病程，病理上有明显差别。在诊断上应注意鉴别，治疗上区别对待。用手法推拿配合ＴＤＰ特定电磁波照射治疗颈
一、“我不想高考了!”小A,高三理科班的学生,曾两次获得省数学竞赛一等奖,高考目标是清华大学。但在自主招生考试中,他的强项数学考得非常糟糕,报考名牌大学一再失利。随后
去年11月，笔者曾在《青年记者》发表过一篇文章《对鸡年春晚的期待》。文中说：“人们有理由期待，鸡年春晚能办成一台正能量满满，充盈温暖，赏心悦目的联欢会，让春晚重新赢得众多民众
期刊
翻开南中国大陆的版图，有一颗镶嵌在南海之滨的港口明珠——湛江市，位于中国大陆最南端雷州半岛上，地处粤桂琼三省区交汇处，旧称“广州湾”。她是近现代有名的“港城”，在历史上以
文章结合我校大学生志愿服务工作的现状,针对存在的问题,提出了以社会需求为导向、与专业相结合、制度化管理的志愿服务品牌的构建与培育方法。另外还从依托校园、走进社区、