新编民谣

到了天津才知道自己笑话讲不好到了上海才知道自己穿的过时了到了湖南才知道自己辣的吃不了到了四川才知道自己麻的受不了到了山西才知道自己喝醋滋味了到了山东才知道自己爽快有多好到了新疆才知道石油真是不愁了到了内蒙才知道大革原有多么好到了西藏才知道空气真是缺不了     

运用多媒体技术,提高小学语文课堂教学效率

科学技术的日新月异发展,推进了素质教育的进程,多媒体技术已经走进了课堂,为教师教学开辟了广阔空间。多媒体技术激发了学生浓厚的学习兴趣,化解了教学难点,创设了丰富的教学情境,有效地进行了德育渗透,突出了学生主体地位,提高了课堂教学效率。本文试就小学语文教学运用多媒体技术问题进行了探讨。     

简论多媒体技术在小学语文教学中的应用

科学技术的日新月异发展,多媒体技术已经进入了课堂,优化了课堂教学,提高了教学效率,突出了学生主体地位,激发了学生学习欲望,调动了学生学习的积极性、主动性、创造性,扩大了知识容量,促进了学生想象思维的发展,实现了课堂教学过程的最优化。本文试就多媒体技术在小学语文教学中的应用进行了探讨。     

多媒体技术在小学数学教学中的作用

科学技术的日新月异发展,推动了素质教育的进程,多媒体技术已经走进了课堂,本文阐述了小学数学教学应用多媒体技术,激发了学生浓厚的学习兴趣,化解了教学重点难点,营造了良好的氛围,优化了课堂教学,提高了课堂教学效率。     

软件构架中接口设计方法

该文强调了软件构架中接口设计的必要性,介绍了5个方面的设计原则;给出了接口描述规范,介绍了5个指导方针;描绘了接口设计的标准结构(包含9个部分);罗列了接口可能的涉众;阐述了接口的表示方法;用具体的实例展示了这些方法在实践中的应用。     

基于契约的网格资源管理

针对网格计算经济，研究了将契约应用于网格资源管理和调度的方法。提出了一个结构化的契约模式，完成了契约匹配算法，分析了契约的安全问题和相关处理。在此基础上提出了基于契约的网格资源管理体系。该方法简化了资源管理以及网格监测，规范了GSP的行为，促进了资源的可靠性，进而推进了QoS的改善。     

视觉增强环境中图像校正算法的研究

文章研究了在视觉增强环境下的校正问题。建立了在视觉增强环境中校正的模型,研究了算法并提出了解决边缘校正问题的方法。利用边缘检测的方法替代了人工干预的方法,避免了在校正过程中人的参与,减少了人为因素导致的误差,实现了自动校正(SelfCalibration)。     

Ajax技术在EXT框架与MVC模式整合中的应用

分析了传统WEB系统的局限性,介绍了Ajax技术及工作原理。员工通讯录管理系统采用EXT框架和MVC模式相结合,使用Ajax技术实现了员工管理系统,克服了传统WEB的弊端,实现了界面友好,降低了开发成本,减轻了服务器端的压力,提高了系统的响应速度,减少了使用者的等待时间,使用户感受到使用Ajax技术与EXT框架与MVC模式相结合的优越性。     

具有上界约束的关联规则算法研究

针对具有上界约束的关联规则问题进行了研究，给出了上界约束的定义，分析了满足上界约束频繁集的性质，并给出了相关的证明。在此基础上，提出了基于FP-Tree的上界约束算法，采用了预先测试的方法，降低了测试项集的成本，提高了计算效率，实验结果证明该算法具有较高的效率。     

基于CORBA的发布-订阅系统

设计了一个基于CORBA的、混合了一般发布-订阅和点对点传输模式的发布-订阅系统。结果表明，该系统满足了测控需要。介绍了系统的原理和基本结构，描述了工作流程，分析了特点和优点，给出了基于TAO／ACE的实现，最后提出了今后的工作。     

元计算环境中任务调度的深入分析

文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。     

几种三层小波提升方案及其在图像压缩中的应用

1 引言小波理论在图像压缩中已有成功的应用。在小波压缩系统中,有两个因素是至关重要的:一是小波滤波器,二是压缩编码算法。随着小波变换进入JPEG2000,与小波变换相配套的零树编码算法写进MPEG-4,小波理论在图像压缩中也占有越来越重要的地位。基于提升算法的第二代小波变换也日益受到研究者的广泛关注。与第一代小波变换相比,提升算法具有快速、高效的优点,并且提升滤波器的设计可直接在空域中完成。第一代小波变换可通过因数分解转换为提升方案,例如著名的Cohen和     

基于粘贴模型的两类全排问题的DNA算法

基于粘贴模型的巨大并行性,分别给出了线性全排列和圆周全排列问题的粘贴DNA算法;分析了两类问题的DNA算法的不同之处;通过一个实例给出了实验操作步骤,并对生化实验进行了模拟,得出了正确的结果,从而证明了算法的可行性。最后,对算法的操作复杂度进行了分析。     

基于Horn逻辑扩展模型的安全协议反例的自动构造

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例.     

扰动模糊有限转换状态机

引入了扰动模糊有限转换状态机和扰动模糊有限状态机的（强）同态的概念,研究了它们的相关性质。给出了[Σ]的元素构成所有长度有限的词集上的两种同余关系,讨论商结构问题,证明了相应的所有等价类构成具有单位元的有限半群,并且这两个有限半群是同态的。给出了[Q]上容许关系及强同态的核的概念,研究了它们的相关性质。     

Compound solitons in fiber Bragg grating

Single soliton and compound solitons are described by coupled-mode equation. It is noted that three parameters, which are dimensionless group velocity, normalized frequency, and grating strength, influence formed solitons by emulation. The novel designs of parallel and serial multi-grating are advanced, and the compound solitons formed from parallel multi-grating are linear superposition; the compound solitons formed from serial multi-grating are nonlinear superposition, and finally two general formulae are obtained. Furthermore, it is theoretically shown that the compound grating solitons are prominent and flexible signals in optical communication.     

VC编程中的消息机制及关键函数

首先陈述消息在VC编程中的作用、理解消息机制的重要性;然后介绍消息的分类,包括其作用、产生方式和处理方式的不同。重点举出VC编程中的关键的机制作为例子,一方面对消息机制的实质有深刻理解,另一方面也对VC编程中的基本模式有所领会。最后给出几个实用小技巧和VC编程中容易出现的问题及其解决办法。基本概括了VC编程中基本技能。     

基于贝叶斯滤波理论的自主机器人自定位方法研究

针对自主机器人定位问题，研究了基于贝叶斯滤波理论的自定位方法,从概率表达的角度介绍了贝叶斯滤波方法各种不同的实现形式，分析了各种不同定位方法的性能，指出了它们的优缺点，并对每种方法的改进方法进行了探讨和分析,最后总结了定位方法的基本特点，并对贝叶斯滤波理论在自主机器人领域中的应用前景进行了展望，探讨了未来的发展方向。     

多生物特征识别技术综述

介绍了生物认证的发展状况和多生物特征提出的背景，提出了多生物特征认证的整体框架和具体参数的表征，并对不同的整合方法做了比较，分析了各自的优缺点。提出了最后关于多生物特征识别发展的看法。     

多体系统动力学的常用积分器算法

本文将以单步法中的广义 α族积分器和多步法中的BDF族积分器为主要讨论对象,详细介绍大型多体系统动力学软件中常见类型的积分器的算法细节.每族积分器都给出了不止一套计算公式,而且其对应求解微分代数方程组(DAE)的index可以为1、2或者3.除此以外,本文还着重介绍了微分代数方程组的误差估计、变阶变步长策略等关键技术;并讨论了大型DAE问题求解过程中的初始条件分析、Jacobian矩阵复用等重要环节的算法实现;对于BDF积分器族,文中还详细描述了高阶格式的非绝对稳定性、速度变量的误差估计等瓶颈问题的解决方案.全文以多体系统动力学软件的积分器程序实现为目标,强调在满足给定精度的条件下,如何提高计算效率和保证仿真运行的鲁棒性.另外,本文也简要介绍了在某些应用场合中有很大潜力的显式积分器族.通过分析和比较,文中还将指出各种算法的优缺点以及可能的改进方向,希望能够为研究人员和程序开发者提供一定的参考.由于篇幅限制,本文只列出了几个标准的算例比较,作为文中内容的补充;并给出了几种积分器性能比较的一般性结论.文中几乎所有方法都经由作者程序实现、测试和比较,并且相关算法的实现细节也都已尽量列出,可以很容易地编程实现并应用到实际问题的求解中去.