函数极限的复合运算法则与变量替换公式

本文以极限的复合运行法则为基础，给出了变量替换公式成立的一个充分条件，从而使运用变量替换求极限的方法有据可依。     

面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

一类生态系统的持续生存和全局稳定性

讨论了一类具有连续时滞和功能性反应的两种群两缀块的一类生态系统的动力学行为。两种群之一能在两缀块中迁移,另一种群限制在一个缀块中,应用微分方程定性和稳定性的方法,证明了系统在一定条件下是持续生存的。进一步,得到了系统为全局稳定的充分条件     

我国硒(Se)、锌(Zn)和钙(Ca)生物营养强化研究进展

中国农业发展从追求吃饱饭到追求吃好饭,吃的健康。绿色安全且富有营养物质的优质农产品的需求大量提升。加强功能农业发展,对我国农业供给侧结构性改革、健康中国战略等具有重要意义。生物营养强化技术作为功能农业重要研究方向之一,具有使农作物定量含有某种或某几种矿物质的作用,从而有助于改善我国“隐性饥饿”问题。本文综述了生物营养强化技术发展成因及创新研究进展,并对其未来发展方向进行了展望,为发展生物营养强化技术改善“隐性饥饿”问题提供了理论支撑。     

一种高效的通用型自然语言语法分析器系统设计

阐述一个基于合一算法的高效的通用型语法分析器系统的设计原理和方法．着重说明：一种基于功能文法的语法规则的表示形式；基于树的合一算法的原理及其分析；以及如何使系统既具有运行的高效性又具有调试的方便性的总体设计方案．     

“外语交际教学法”的新探索

自从“外语交际教学法”问世以来,它就倍受外语教师的青睐。本文结合笔者的教学实践,探讨了如何结合各自的具体情况,灵活运用交际法,上出有特色的交际法外语课。     

范数函数对空间性质的影响

研究了范数函数对空间性质的某些影响     

关于三类新的高阶非线性常微分方程的求解定理

采用函数迭代法,给出一个引理。借此提出三类新的高阶非线性常微分方程,反复利用函数的迭代转化为微分方程组的求解。再应用积分法,以获得原微分方程的通积分公式,使得求解相应方程的解的过程大为简化。     

文本语法与历史遗产类旅游文本的英译

本文侧重于人文景观中的历史遗产类旅游文本的英译。本文尝试对从Werlich文本语法入手,探讨如何通过有效的翻译提高历史遗产类旅游文本的效果。在功能翻译原则指引下,对文本的外部制约和内部制约进行分析对比。从而总结出目前历史遗产类旅游文本存在的不足。     

体育教学中踝关节扭伤的预防及其功能训练

采用文献资料法和访谈法对学生在运动中出现踝关节损伤的处理和预防进行分析,提出了关于踝关节扭伤的治疗方法和功能训练的一些建议,使学生更加科学的展开体育活动。