基于WEB的多媒体交互式教学系统的设计与实现

论文简述了基于web的多媒体交互式教学系统的功能及目标,详述了系统的结构和工作流程,并介绍了各个模块的交互模型,最后对系统的实现和集成技术做了分析,给出了系统的一种实现方法。该系统的部分主要功能已实现。     

基于89C56的智能探测器的设计与实现

针对高精度稳压电源的需求情况,本文提出了一种用于噪声电压检测的探测器设计方案,文章详细介绍了该探测器总体设计方案以及核心组成模块。系统的核心模块为高速微控制器89C56,文中详细介绍该芯片的特点和检测原理。并且设计中实现了一个分析和预测模块,使得该探测器成为一个智能探测器。     

A family of Newton-type methods for solving nonlinear equations

A family of Newton-type methods free from second and higher order derivatives for solving nonlinear equations is presented. The order of the convergence of this family depends on a function. Under a condition on this function this family converge cubically and by imposing one condition more on this function one can obtain methods of order four. It has been shown that this family covers many of the available iterative methods. From this family two new iterative methods are obtained. Numerical experiments are also included.     

基于Perceptron的非线性滑模控制

利用Ｐｅｒｃｅｐｔｒｏｎ的两类模式分类特性对非线性滑动模式方程的Ｌｙａｐｕｎｏｖ函数进行训练，以求得非线性的切换函数，并进行滑模控制器设计，为非线性滑模控制系统的综合设计提供了一条新的途径，并应用于车削系统中。     

改进后的D_时刻表算法及其在实际中的应用

为了处理现实生活中事件发生除了先后关系以外还客观存在的时间宽度问题，文中实现了一种可以实际操作的方法。该方法是以文献[1]中的求解D_时刻表的方法为基础，分析找到了其不足的地方并加以改进。文中利用改进后的算法对该校校园运动会项目进行安排，结果表明该方法取得了较好的效果，从而实现了对该类问题的一种新的解决方法，使得解决该类问题成为现实。     

Cognitions and Perspectives in Remote Sensing of Urban Renewal Monitoring

Currently urban renewal and transformation monitoring is a relatively new remote sensing application field. In view of current status and deficiencies in remote sensing of urban renewal, this paper introduces the basic concepts, methods and applications of remote sensing in this field. Through brief review of recent advances in remote sensing of urban monitoring, this paper interpreted the remote sensing data types suitable for urban renewal; examples of applications have been presented; for the purpose of illustrating the value of remote sensing in this field. Hopefully this paper can fill the knowledge gaps in the applications of remote sensing technology to urban renewal, and can inspire new thinking in this field. Possible future directions of remote sensing in this field are then pointed out.     

汉语多重关系复句的关系层次分析

汉语多重关系复句的句法分析问题主要由复句中的关系分析和层次分析两部分组成.将多重关系复句中的层次分析作为研究对象.它是针对多种逻辑或并列关系,按照一定层次组成复杂主从关系复句而进行的关系层次分析过程.为了有效地形式化地表示多重关系复句的层次结构,提出了关系层次树的概念,并以此为基础构造文法,采用部分数据驱动的确定性移进-归约算法实现多重关系复句的关系层次分析.通过开放测试对计算机实现的多重关系复句句法分析器进行考察,93.56%的正确率使所提出的分析方法的有效性和正确性得到了充分的验证.     

对遥感在城市更新监测应用中的认知和思考

对城市更新改造的监测是目前较新的遥感应用领域。鉴于当前城市更新领域有关的遥感监测研究现状,对城市更新中遥感监测的概念、涉及方法以及与业务应用关系等方面进行了介绍,通过简要综述城市遥感监测的研究进展,分析适用于城市更新中的遥感数据类型,给出遥感在城市更新中的应用实例,尝试论证遥感在城市更新改造中的价值和作用,填补该领域遥感应用认知上的空缺,提出遥感在该领域工作可能的发展方向和研究思路。     

A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++

We introduce a translation of the simply typed λ-calculus into C++, and give a mathematical proof of the correctness of this translation. For this purpose we develop a suitable fragment of C++ together with a denotational semantics. We introduce a formal translation of the λ-calculus into this fragment, and show that this translation is correct with respect to the denotational semantics. We show as well a completeness result, namely that by translating λ-terms we obtain essentially all C++ terms in this fragment. We introduce a mathematical model for the evaluation of programs of this fragment, and show that the evaluation computes the correct result with respect to this semantics.     

基于证据理论的信息融合在图像分类中的应用

该文在阐述Dempster-Shafer证据理论的基础上,给出了基于Dempster-Shafer证据理论的多源信息融合的方法,并将Dempster-Shafer证据理论的信息融合技术应用于遥感图像纹理的分类。提取纹理图像不同特征构成该理论中的证据,利用一定的决策规则,选择融合证据作用下最大的假设。实验结果表明,该文提出的基于Dempster-Shafer证据理论的多特征融合分类识别图像纹理的新方法是切实有效的,能极大地提高图像纹理的识别分类能力。     

基于U系统的数字图象水印技术

在研究U系统的基础上,提出了一种在图象中植入数字水印的简便易行的方法,介绍了分段线性U系统及其性质,并将其扩展为分段K次U系统;在讨论如何使用分段线性U系统对数字图象进行分 的基础上,提出了基于U系统的数字图象水印方法,并给出了相应的实验结果,实验表明这种算法是可行的。     

一种间接提取轮廓特征点的算法

该文提出了一种间接提取轮廓特征点的新算法,该算法通过对轮廓点序列在不同方向进行分解以简化运算。文中给出了算法的原理、数学基础及实现过程。最后实验表明,该算法不仅计算量小,易于实现,对特征点的定位也很准确。     

统一消息接口模型及其改进

本文首先介绍了一种在移动增值业务开发中被广泛应用的统一消息接口模型,简要描述了该模型的整体结构和基本功能,以及它在增值业务开发中所处的位置。在介绍模型时,为便于讨论,本文将该模型逻辑上划分为了4层结构,并用逻辑结构图做出说明,随后在总体上阐述了模型的工作机制和消息的处理流程。在此基础上,本文对模型在结构和功能上不合理或不完善之处进行了探讨,随后重点讨论了本文的改进方案,包括消息缓冲区结构的改造(重组缓冲区)、重发策略的修改、流量控制策略的完善(增加滑动窗口功能等)、缓冲区警戒及告警(增加溢出警戒、告警功能和灵活的告警策略,收发控制等),并且阐述了这种改进所具有的现实意义。     

基于内容的压缩音频分类系统的研究

设计了一个对压缩音频进行基于内容分类的系统,并对系统各个模块的实现方法和原理进行了深入的分析和探讨.充分考虑到了人耳的听觉特性,利用编码器的计算结果和心理声学的研究成果,对从压缩音频中提取参数的含义做了透彻的分析,并通过实验检验了方法的有效性,从而在理论和实践两方面验证了方法的正确性和可行性.     

基于图模型的中文文档分类研究

信息处理领域中，现有的各种文本分类算法大都基于向量空间模型，而向量空间模型却不能够有效地表达文档的结构信息，从而使得它还不能充分地表达文档的语义信息．为了更有效地表达文档的语义信息，本文首先提出了一种新的文档表示模型一图模型，即通过带权标号图表达文档的特征词条及其位置关联信息，在此基础上本文继而提出了一种新的文档相似性度量标准，并用于中文文本的分类．实验结果表明，基于图模型的这种文档表示方式是有效的和可行的．     

浅析蚁群算法的原理及应用方向

蚁群算法是一种模拟进化算法,是意大利学者M.Dorigo在自然界中真实蚁群集体行为的启发下,于1991年提出的一种基于蚂蚁种群的新型优化算法,并用该算法解决了一系列组合优化问题。大量实验结果表明该算法具有良好的解决复杂问题的能力。本文从蚁群算法的基本思想入手,分析了蚁群算法的原理及当前的主要应用方向。     

基于ISA总线的USB协议栈的设计与实现

USB已经成为一种事实上的I／O标准，本文以自主开发的基于ISA总线的USB为例，介绍了该USB的硬件研发过程及相关系统软件的开发过程，详尽地展示了相关USB协议栈的设计与实现，并且探讨了USB设备基于该协议栈的驱动开发．     

时间规划问题中R_时刻表及其应用

为了处理实际生活中出现的对有时间先后关系约束的事件进行排序的问题,诸如学校排课问题、运动会会场安排问题等一系列资源分配问题,文中实现了一种解决该问题的算法。该算法以文献[1]中的关系矩阵的方法为基础,构造以时间关系约束为条件的时刻表———R-时刻表的一种算法。利用该算法对运动会会场项目进行安排,结果表明在仅为时间关系约束的前提下取得了较好的效果,从而实现了对该类问题的一种新的解决方法。     

基于异构Web服务的虚拟实验平台

目前大部分虚拟实验平台缺乏对异构组件的支持。为此,提出一种基于异构Web服务的虚拟实验平台,该平台采用Web服务技术,以其语言独立性、平台无关性等特点,将异构组件进行Web服务化封装,解决异构组件的通信问题,提高开发效率,实现组件重用。介绍系统平台的架构模型和系统实现的关键技术,讨论对异构组件进行服务化封装及实验流程执行引擎的设计与实现过程,并以该平台为基础,通过Web服务封装将C++和Matlab开发的图像处理组件集成到系统中,构建数字图像处理虚拟实验室。