新编民谣

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

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

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

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

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

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

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

产品外形协同设计系统的研究与实现*

提出了协同设计工作模式,给出了系统的工作流程,定义了用户的权限分配,研究了基于交互日志的传输方式,讨论了协同设计过程中的实时更新机制.最后采用了基于MVC的体系结构构建了一个原型系统,该系统在实际应用中,验证了该技术思路的正确性.     

求解约束网络图的逆向推理方法

本文研究了几何约束网络的求解问题。首先,介绍了常用的几何推理方法,指出了存在的问题。然后,提出了求解约束网络图的一种新方法——逆向推理方法,阐明了基本思想,并给出了应用实例。逆向推理方法继承了几何推理方法的优点,克服了其不足。     

软件构架中接口设计方法

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

基于契约的网格资源管理

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

PC变了——微软领跑Media Center

PC变了，变得平易近人了，变得讨大家欢心了，变得没有以前那么刻板了，就连父亲也喜欢上了它，开始用它看大片了。媒体中心电脑的成熟打破了PC传统的操作理念，使它变成了家庭娱乐中心，成为全家人的新宠。     

基于虚拟现实技术的车床仿真系统

基于开发CA6132型车床虚拟教学软件的目的,采用了虚拟仿真的方法,开发了带有虚拟现实特征的车床教学系统软件.提出了虚拟车床开发的一般流程,阐述了矫正图像的立面分割技术,开发了基于Unity3D引擎软件的虚拟车床仿真系统,解释了虚拟现实的基本原理,建立了CA6132型车床的三维模型,提出了在Unity3D下车床加工的仿真方法,开发了基于虚拟现实设备zSpace虚拟现实车床仿真系统,提出了虚拟现实的场景交互方式,降低了实际车床操作的危险.     

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

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

综述：知识系统的V＆V技术

知识库的异常是影响整个知识系统性能的重要因素之一，因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究，给出了异常知识的分类及其危害性，分析了知识库验证困难的原因，介绍了用于知识库验证的静态和动态方法，列举了国际上几个著名的知识库验证工具，并对知识库验证的研究进行了展望。     

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

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

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

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

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

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

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

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

扰动模糊有限转换状态机

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

数字喷泉码及网络喷泉码的最新进展

数字喷泉码和网络编码都是提高网络传输效率的有效技术方法,两者的有机结合形成的网络喷泉码具有重要的理论意义和应用价值。本文首先对数字喷泉码的最新研究进展进行了综述,分别介绍了几类常见的数字喷泉码的相关研究工作;其次对当前网络喷泉码的研究现状进行了系统的总结,重点介绍了同构网络喷泉码、异构网络喷泉码和无线网络喷泉码的相关理论及其最新研究成果,并分析了研究中存在的问题;最后对网络喷泉码的相关理论及其应用的发展趋势进行了分析和展望。     

神舟4 号主载荷-多模态微波遥感器

多模态微波遥感器作为神舟4号主载荷是我国第一次进入太空的微波遥感器, 是一部集高度、散射计和辐射计为一体, 具有综合观测能力的微波遥感器。在神舟4号飞船在轨飞行实验期间,取得了大量的有效科学数据, 在轨实验获得成功。从多模态微波遥感器的研制要求出发, 列出了系统的主要指标, 介绍了多模态微波遥感器的工作原理、系统组成、运行控制模式和系统验证试验, 总结了在轨运行情况和数据处理结果, 给出了实验结论。
     

正交优化的旋转参数线性视觉测量方法研究

传统的计算视觉测量方法，普遍存在图像特征提取困难，非线性，求解过程复杂的问题。针对这种情况，讨论了一种基于正交优化的线性视觉测量方法，即利用霍夫变换提取图像中的直线，再利用对应直线列解线性方程，最后对解矩阵进行正交优化。它具有求解简单，容易操作的特点，且对误差具有鲁棒性。最后针对不同旋转角度进行了大量实验测量，证明了方法的可靠性。