论文部分内容阅读
围绕解决图文法中的主要问题——嵌入问题，提出了一种基于边的上下文相关图文法形式化框架，并对由此定义的文法的一些性质及相应的归约算法进行了讨论．对所提出的图文法与已有的文法进行了比较．同时，展望了今后值得进一步研究的一些问题和方向．
一种基于边的上下文相关图文法形式化框架
【摘 要】
：
围绕解决图文法中的主要问题——嵌入问题，提出了一种基于边的上下文相关图文法形式化框架，并对由此定义的文法的一些性质及相应的归约算法进行了讨论．对所提出的图文法与已有的
【机 构】
：
河海大学计算机及信息工程学院
【出 处】
：
软件学报
【发表日期】
：
2008年8期
【基金项目】
：
Supported by the National Natural Science Foundation of China under Grant Nos.60571048, 60673186（国家自然科学基金）
其他文献
通过对复杂管网系统的研究分析，总结了利用图论和矩阵知识对任意复杂管网系统进行数学表示的方法，编制了相应的计算机程序，为计算机求解复杂管网系统问题提供的有利手段。
目的对糖尿病自我管理方法在城乡社区运用的效果进行评价。方法采用小组集中授课和专业人员随访的方式对教育对象进行2型糖尿病防治知识教育．帮助其掌握自我管理的技能，提高自
提出了无线传感器网络基于两跳邻居信息的实时路由．包的截止期要求映射为速率要求的路由决策方法在SPEED中首先提出，而本文提出的路由决策是基于两跳速率．如果没有节点能够满足
在全球经济一体化、市场竞争日益激烈的大趋势下,国内各保险公司都已意识到原来只注重扩大规模、抢占市场的弊端,而纷纷寻求走效益型道路,向内涵式集约化发展。内控制度是企
新技术革命使社会日趋信息化,社会经济结构向知识型转变,人们只有终生学习才能作为知识型人才适应社会的发展,远程教育是最快捷的方式.信息化社会对现代远程教育提出了挑战,
为了解睢宁县麻疹流行病学特征．进一步做好麻疹的预防控制工作．现将睢宁县2000--2005年麻疹的流行病学特征分析报告如下。
针对构件组合的状态爆炸问题，改进了反例引导的抽象精化框架，提出了组合式的抽象精化方法，使构件组合的模型检验转化为各成分构件的局部抽象精化，降低了分析的复杂度，提出了在构件
地址用来标识节点，使能网络通信协议，在无线传感器网络中扮演重要角色．由于无线传感器网络中节点众多，再考虑其网络动态性，手动地为每个节点分配地址是一件繁琐甚至无法完成的工作
市场经济法律是市场经济的构成性规则。它不应该也不可能外生于主权者的主观意志，只能内生于客观的市场经济规律，前者意味着限制市场的作用，后者则让市场充分发挥作用。市场经济
提出了一种传感器网络中分布式多分辨率数据压缩算法在分布式域剖分模型DDPM（distributed domain partition model）基础上，提出了一种多分辨率的数据压缩模型MDCM（multiscale dat