论文部分内容阅读
提出了布尔表达式匹配问题,并给出了它的形式化定义;提出了一个解决布尔表达式匹配问题的通用算法框架,并在此框架上给出了一种算法及其改进;通过理论分析和实验数据给出了影响布尔表达式匹配算法性能的因素和它们之间的关系。
布尔表达式匹配问题研究
【摘 要】
：
提出了布尔表达式匹配问题,并给出了它的形式化定义;提出了一个解决布尔表达式匹配问题的通用算法框架,并在此框架上给出了一种算法及其改进;通过理论分析和实验数据给出了影
【机 构】
：
中国科学院计算技术研究所软件室,中国科学院研究生院
【出 处】
：
计算机应用研究
【发表日期】
：
2007年09期
【基金项目】
：
国家“242”信息安全计划资助项目(2005C39)
其他文献
老年单纯收缩期高血压(OISH)是高血压的一个特殊类型,发病率高,临床表现比较复杂,血压容易波动,合并并发症多,临床治疗率、控制率都很低。目前西医治疗OISH强调小剂量、多品
苞苴礼是上古礼仪生活中献礼方式的一种,主要承担着鲜蔬、肉类等食物的赠予,在古礼中广泛运用,但不被重视。它含而不露的献礼方式,改变了上古以挚礼为主导的象征性礼物系统,
当突发的丧葬变故使主丧家遭受重大危机时,白族村民集全村之人力、物力、财力给予帮助,赠与"礼物",共度难关。"礼物"指记录在礼簿的礼金和实物,还包括未被载入礼簿的"礼物"。
赠答行为,在现代社会交往中具有重要作用。中日两国文化交流源远流长,在赠答行为方面有相同之处,也存在很大的差异。本文从义理人情和内外意识两个方面入手,并就"义理"和"人
城市墓园是埋葬逝者亡魂和寄托生者哀思的场所,同时也是城市绿地的重要组成部分,城市墓园景观有其区别于其他城市景观的功能,具有社会功能、生态功能与精神价值,墓园不仅仅是
从通辽市科尔沁左翼中旗花吐古拉镇西蒙古屯嘎查的田野调查所搜集到的第一手资料来看,婚俗中礼物的变化是随着经济的发展与社会转型下的该地区的社会文化变迁而变化的,传统礼
实验研究了嵊泗三个海域的贻贝中大肠杆菌、菌落总数、铅和镉的含量情况,并对贻贝的生长环境的水质进行了检测。结果表明,抽检的贻贝大肠杆菌、菌落总数符合农业部一类贝类生
绿色混凝土是建筑材料绿色化的一个重要分支,这是社会可持续发展的必然要求,是人类和环境和谐发展的必由之路。本文根据作者多年工作经验,从绿色混凝土的概念、绿色混凝土的