【摘 要】
：
正规式相交判定问题在扩展标记语言（extensible markup language,XML）类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基
【基金项目】
：
The Natural Science Foundation of Beijing of China under Grant No. 4082003（北京市自然科学基金）.
论文部分内容阅读
正规式相交判定问题在扩展标记语言（extensible markup language,XML）类型检查中起着十分重要的作用。传统方法是将其转化为自动机的相交问题,在转化过程中会产生大量计算。基于XML模式语言的特点,提出了一种基于规则推导的正规式相交判定算法。该算法直接根据输入的正规式进行推导而无需进行任何转化计算。对于一般的正规式,尽管其仍然是指数级算法,但无需进行复杂的构造自动机的计算;而对于一些特殊的正规式,特别是在XML类型检查中广泛使用的One-Unambiguous正规式,该算法的时间复杂度
其他文献
针对大规模社交网络的聚类研究由来已久,谱聚类方法的可扩展性也一直是研究难点。近年来,基于代数图论发展出来的谱聚类方法,利用了特征值对应的谱结构,降低了计算复杂度且保
摘 要：辽宁省作为一个农业大省，如何在城镇化高速发展过程中合理做好农村劳动力的转移问题是影响辽宁省长期发展的重要问题之一。本文通过对辽宁省农村劳动力转移特点、优势、劣势及存在问题等研究，提出关于辽宁省农村劳动力转移的合理对策与建议。 关键词：城镇化 农村劳动力 转移 辽宁省是众所周知的农业大省之一，凭借着得天独厚的地理位置，成为我国农产品的主要生产基地之一，因此农业人口比较多，农村劳动力资源比
目的回顾性分析青海高原地区各族妇女宫颈癌发病情况.方法1990年以来,对40例高原地区宫颈癌患者进行临床分析发现,汉族妇女发病20例,占50%;藏族妇女发病15例,占37.5%;回族妇
Acer并不是第一个推出Net Book的厂商,Aspire One出现的时候市场中已经开始涌现众多厂商的产品,因此有许多人会觉得Acer的脚步未免有些偏缓了。其实这种做法完全符合Acer推出
近年来,内蒙古社会事业发展虽然取得了明显的成绩,但与人民群众过上更加美好生活期待相比,社会事业发展仍然滞后,发展不平衡、不充分问题突出。所以,我们要深入学习贯彻党的
LG豪门系列冰箱采用现今最流行的镜面式面板,在时尚的彩色钢化玻璃面板上,盛开着以牡丹花为设计灵感的绚丽花朵—盛唐纹,花心部分镶嵌施华洛世奇水晶。把手上共有施华洛世奇
摘 要：党的十九大指出，“建设现代化经济体系，必须把发展经济的着力点放在实体经济上”。制造业是实体经济的主力军，是技术创新的主战场，是供给侧结构性改革的重要领域，是实现地区经济高质量发展的重要支撑。加强对制造业发展的再认识，加快推进内蒙古制造业发展，对推动内蒙古高质量发展具有战略意义。本文针对内蒙古制造业面临的突出问题与困难，从思想认识、规划制订、优化布局、改善环境、营造生态等五个方面探讨了推动内
大数据作为重要的基础性战略资源，正日益对全球生产、流通、分配、消费活动以及经济运行机制、社会生活方式和国家治理能力产生重要影响。内蒙古发展大数据，既面临难得机遇，也存在严峻挑战。如何深入贯彻落实党的十九大精神，抢抓机遇，把大数据培育成为引领内蒙古高质量发展的新动力、新引擎，是当前面临的重大课题。 一、内蒙古发展大数据的机遇 （一）国家层面的战略机遇 党的十八届五中全会明确提出实施国家大数据战
多粒度传送网作为下一代骨干传输网的核心部分，其高带宽和节能优势受到广泛关注。但是，由于用户不断激增的带宽需求和全球电力资源日趋紧张的现状，需要对网络传输系统的容量和性