提出了一种称为Macor的模型来表示嵌套模式之间的映射关系.Macor将一个完整的模式映射表示成众多简单的原子映射,并用关联关系将它们连接在一起.进一步根据xQuer),分析了Macor的表
提出一种基于控制流的程序行为扩展模型EMPDA(extended model based on push down automaton).对控制流模型加入不变性约束扩展,该模型能够表达程序正常运行时所应保持的不变性质
中央苏区创办的卫生材料厂黄文主1930年6月,赣南、闽西革命根据地创立,形成中央革命根据地,亦称中央苏区。根据地处于偏僻山区,交通不便,经济落后,当地连一家象样的药铺也没有,更不用说有
提出由TCP连接的唯一性导出的TCP数量平衡性测度及其经验范围可用于检测TCP连接的大规模异常,如DDoS、扫描等.使用带哈希增强算法的BloomFilterReproduction(BFR)方法对TCP连
摘 要:中国东北水彩画从改革开放到现在经过了几十年的发展,无论是作品的内容,还是作品的形式均有极大的发展。东北地区的气候特征和地域文化使得东北水彩画的绘画语言具有鲜明的地域特色。近些年一大批东北水彩画家创作了大量的反映东北地域文化的代表作品,在国内外暂露头角。通过东北地区的地域文化和气候特点分析总结具有代表性的画家的绘画语言,研究东北地区水彩画语言地域特色。 关键词:水彩画;东北地区;绘画语言;
目的 探讨血清降钙素原(PCT)在各种肺炎患儿鉴别诊断与治疗中的临床价值。方法 85例肺炎患儿根据病原体分为细菌性肺炎32例(A组)、病毒性肺炎28例(B组)和支原体肺炎25例(C组),细菌性
在当前信息技术迅猛发展的背景下,教师专业化是当前我国教师教育改革的方向,但我国教师在迈向专业化的过程中遭遇到诸多的影响因素。本文就此问题作了深入的剖析。
随着传统体系结构路由器在可靠性和多维可扩展性等方面不能满足下一代Internet发展的需要,集群结构的路由器将成为未来骨干网络的核心.如何保证集群路由器各个路由节点转发表的
如何应用句法结构和词汇化是句法分析建模所面临的两个主要问题,汉语依存分析对这两方面做了初步的探索,首先通过对大规模依存树库的统计学习,获取其中的词汇依存信息,建立了一个
针对现在大学数学教学方式和当今社会所需要的人才素质培养之间不协调的问题,本文提出通过开设数学实验课来辅助数学教学,培养学生应用数学的能力,并探讨了数学实验课的开课