克拉申二语习得理论与大学英语听力分级教学

针对英语听力教学费时低效的现状,分级教学是解决问题的有效途径,也是符合大学英语课程教学要求.本文尝试性地将克拉中的输入假设和情感过滤假设与大学英语听力分级教学结合加以研究,论证了该理论是大学英语分级教学的理论根据和理论框架,并进而提出克拉申理论对大学英语听力教学的启示意义.     

GLAV集成方法中的模式匹配研究

GLAV是一种新的集成方法,它能为信息集成系统的映射关系提供更具表现力的方式.映射表示源模式与全局模式之间的对应关系,主要研究了GLAV集成方法中产生映射规则的模式匹配方法.首先将SUDAI模型转换为模式树,然后基于树进行匹配.匹配包含语言学和结构匹配两个基本阶段,语言学匹配结合了术语关系和约束进行计算,结构匹配结合了类属性和上下文节点两个方面,并成功解决了模式规模差异带来的负面影响.计算的结果可以判断两个信息类是否是一个映射候选,经过验证后可确定它是否是一个合理的映射.最后定义了一个基本DTD来描述匹配的最终结果.     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

人造太阳—能源危机的终结者

有一种能源,它不但干净、安全、高效,而且还可以让人类几乎无限期地使用,从而彻底解决人类所面临的能源危机。它就是核聚变能,也称为“人造太阳”。     

Banach空间中的各种K可微性

引入了K -Gateaux可微、K -Fr啨ｃｈｅｔ可微、Ｋ -一致Gateaux可微、K -一致Fr啨ｃｈｅｔ可微等概念 ,并讨论了各种K可微性与对应的K光滑性的关系 ,给出一些等价条件。     

广义Burgers方程族的一类扩展可积模型

首先构造了loop代数A1的一个新的子代数,再将其扩展为一个高维的loop代数G,利用G设计了一个新的等谱问题,应用屠格式求出了名的Burgers方程族的一类扩展可积模型。     

Lebesgue积分与广义积分的关系

利用Lebesgue积分与Riemann积分的关系，给出了Lebesgue积分与广义积分之间的关系，并且具体展示了所得结果在计算函数的Lebesgue积分值和判别函数的Lebesgue可积性两方面的实用性。     

机会约束下的均值-VaR组合投资问题

结合均值一方差模型和机会约束模型提出在允许卖空时的机会约束下的均值-VaB模型，它是以期望收益率与置信水平为导向的．在假设投资收益率服从正态分布的条件下，建立了其数学模型，讨论了最优解的存在性与唯一性，得到了最优解的解析表达式，并用Matlab语言给出求解程序，最后举例予以说明并验证了两个重要结论．     

热轧钢管主生产计划模型与算法研究

建立了热轧无缝钢管主生产计划问题的混合整数线性规划模型．该模型可归结为多阶段多产品带有能力约束的批量问题，但与传统批量问题存在以下不同：①充分反映了钢管企业与其它行业的不同工艺特点；②目标函数追求最大化现金流而不是最小化成本；③允许订单积压；④考虑库存能力约束；⑤忽略设置时间及成本。但引入了最小生产批量约束．鉴于该问题的NP难性，使用两种基于优化的启发式算法进行求解，并提出两条策略加以改进．