XML局部函数依赖

函数依赖和键是XML文档中的一种重要的语义表达,是XML模式设计的基础。文章提出了基于DTD路径的XML局部函数依赖的概念,它表达了"函数依赖在一个XML文档树的子树中是成立的,而在整个XML文档树中不成立"语义要求,给出了XML局部函数依赖一套推理规则集,并证明推理规则的正确性。     

局部Haar条件下的变形非线性L逼近

本文讨论了局部Haar条件下变形的非线性L逼近，得到了包括交错定理在内的特征定理、唯一性和强唯一性定理。     

判定环状化合物C*R/S构型的简单方法

以R/S构型标记法直接应用于Fischer投影式 ,按特点规则判断其构型为依据 ,介绍一种简便的环状化合物手性碳原子R/S构型的一种判定方法     

基于DSP的指针仪表自动读数系统的设计与实现

本文提出了一种利用数字信号处理器，TMS320DM642构成一个自动读数系统的方法，介绍了系统的软硬件设计。采用基于相邻帧图像相减的预处理方法和中心投影法实现了指针式仪表指针的快速检测。     

工程制图与AUTOCAD软件教学探讨

工程制图与AUTOCAD软件为工程设计领域专业技术人员必修的专业基础课。本文就这门课程的特点、教学方法，阐述了它们的重要性和在工程图纸绘制领域里的应用，探讨了提高教学效果的途径和发展的趋势。     

一类带扩散项的恒化器模型的稳定性分析

本文运用线性化方法研究讨论一类含一个食饵和一个捕食者种群的恒化器模型非负平衡点的稳定性.     

赏析生活中的投影问题

影子是日常生活中常见的一种自然现象.而由点光源和太阳光源所形成的投影分别称之为中心投影和平行投影,而利用这些知识解决一些生活中的实际问题时,由于经历了演示与想象、直观与推理等过程,从而培养和发展了学生的观察和分析问题的能力,因此这类试     

Global existence and blow-up of solutions to reaction-diffusion system with a weighted nonlocal source

In this paper, we study a semi-linear reaction-diffusion system with a weighted nonlocal source, subject to the null Dirichlet boundary condition. Under certain conditions, we prove that the classical solution exists globally and blows up in finite time respectively, and then obtain the uniform blow-up rate in the interior.     

大音希声

从教十余年来观摩过不少课,但给我印象最深的是于永正老师执教的《林冲棒打洪教头》。 在教学生字中,于老师首先投影生字让学生自读,然后指名读;之后指导理解重点词“踉跄”,并在文中划出此句,让学生读一读、说一说“踉跄”的意思;接着又用动作演示“踉跄”,帮助学生理解;最后齐读词生词。对文中出现的多音字,他投影出含有这个词的句子,找学生读。     

瞬态Oseen方程的全离散局部投影稳定化方法

研究了非定常的Oseen方程的局部投影全离散有限元方法,证明了该格式只需在投影空间和近似空间满足局部弱的inf-sup条件的情况下存在唯一解,给出了稳定性证明,使用一个具有正交性的插值得出误差估计.