外语专业人才培养方向的改革与思考

面临科技化,信息化社会的到来,高校专业外语教育应该培养舒适样的适用人才,如何进行教育模式的改革以构建外语学科的框架,进行这方面的研究和探索具有重要的现实意义和指导意义。在对国内外外语专业培养方向进行动态分析的基础上,提出了外语专业确定以“语言化”为培养方向的思考和依据,并为此从学科建设的角度提出目前加以改革的问题和建设性措施。     

一种快速计算DCT的递归算法及其硬件实现

给出了一种快速计算离散余弦变换（ＤＣＴ）的递归算法结构。该结构给出了用两个２Ｎ－１点ＤＣＴ去代替２Ｎ点ＤＣＴ，在此基础上，提出了一种简单实用的用开关控制的ＤＣＴ／ＩＤＣＴ相结合的硬件实现结构，在该结构中，仅有正系数的乘法运算和基本的蝶形运算。     

关于高阶微分中值公式的几点注记

证明了两个微分中值定理,其结果推广了高阶微分中值公式.     

方程Δu+k~2u=0的Dirichlet问题的多重替换MRM边界变分方程

得到边值问题Δu+k2u=0;inΩ∪Ω′ R2,u|Γ=u0的定解问题多重替换(MRM)边界变分方程及全平面解的表达式。证明该变分方程解的存在唯一性。从中可以看出,MRM边界变分方程中只包含弱奇异积分核,问题解的表达式后并不加任何多项式,因而也不需要引入Lagrange乘子求解该项,这给边界元数值求解过程带来极大的方便。     

高阶孤子飞秒激光脉冲的成形机制

根据实验上普遍观察到的10fs左右激光脉冲的脉冲分裂现象,以高阶孤子特征分析了飞秒激光器中克尔透镜锁模脉冲的类孤子成形机制，以至进一步了解克尔透镜锁模脉冲成形机制。     

基于参数稳定空间的PID控制器设计

一阶加纯延时模型难以精确描述被控对象,因此传统的PID控制器不能取得满意的控制效果。基于精确的高阶模型提出了一种最优PID控制器的设计方法。利用广义Hermite-Biehler定理获得使闭环系统稳定的PID控制器集合。在该PID控制器集合中,运用遗传算法寻找基于ITAE指标最优的PID控制器参数。利用广义Kharitonov定理及Monte-Carlo随机试验方法对PID控制器鲁棒性和性能鲁棒性进行评价。仿真结果表明:该文算法对高阶对象具有良好的控制性能,对模型的不确定因素具有较好的适应性和鲁棒性。从而证实了该文算法的有效性,可以应用于高阶系统的控制。     

模糊上下文无关树文法

定义了模糊上下文无关树文法(PCFTG)，讨论了其构造性质，给出其分解定理及表现定理，进而讨论了由模糊上下文无关树文法生成的语言IO(Inside-out)，模糊IO树语言的封闭性．     

OCLC联机联合编目数据库WorldCat的应用

详细介绍了OCLC的联机联合编目WorldCat数据库及功能,论述了WorldCat的应用,探讨了WorldCat数据下载后的西文编目。     

Haskell:一种现代纯函数式语言

随着软件系统的规模越来越大,复杂程度越来越高,计算机学科领域正面临着一场软件复杂性危机:如何妥善处理计算机程序的大小和复杂度,如何缩减程序开发的时间和费用,以及如何提高最终程序正确工作的可信度.函数式程序设计语言为解决这些问题提供了优美独特的框架.文中主要介绍一种纯的函数式语言Haskell,包括其发展历史、程序特点、程序结构等.Haskell是现代的、标准的、惰性的、纯函数式程序设计语言,它具有表达力强的语法,以及丰富的内置数据类型.     

带固定参数的Monadic递归

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.