网络环境下英语泛读课程教学模式探索

网络技术日新月异的发展,人们阅读习惯的改变,势必导致教学的改革。本文探讨了利用网络技术进行阅读教学的可行性,提出了网络环境下的几种阅读教学模式,分析了利用网络技术进行阅读教学的优势及应该注意的问题。     

网络环境下如何深化高校图书馆的信息服务

在网络环境下,信息服务工作发生了深刻变化。要针对高校图书馆信息服务的主要内容,通过更新观念、提高素质、加强对读者的教育培训、调整馆内机构设置及业务功能、加强管理等措施来深化高校图书馆的信息服务。     

带钢热连轧机液压AGC变刚度分析

文章论证和分析了本钢引进的德国AEG公司厚度控制模型算法与我国自行研制的动态设定型变刚度理论之间的关系,从而证明了动态设定型变刚度原理用于本钢热连轧厂的液压压下系统是可行的,并实现了变刚度控制。     

我国环境行政执法障碍及对策研究

环境行政执法是环境保护的重要内容,但执法机关在执法过程中面临许多困难。环境行政执法的障碍主要有：地方政府不正确的政绩观和发展观而导致的地方保护主义,环境执法机关的权力有限,对违法行为处罚力度小,以及公众环保意识欠缺。本文拟在分析我国环境行政执法障碍的表现及原因基础上,提出突破环境执法障碍的对策,以期对环境保护法的修改、实施寻求理论依据。     

浅谈隐喻在英语阅读中的运用

本文从认知的角度出发．探讨了隐喻的本质及其与英语阅读教学的关系．指出隐喻不仅仅是语言现象．也是认知现象．提出了应用映射理论和文化模式进行英语阅读教学的策略。     

由最大特征根导出的一种新的相对效率

该文对于线性模型y=Xβ＋ε,E（ε）=0,cov（ε）=V〉0,从最大特征根出发．定义了相对效率e5（β（D））=λ1（cov（β^＊））/λ1（cov（βD））,研究了e5（β（D））的下界为Wn-p＋iδ1^-1/W1δ1^-1,并讨论了e5（β（D））与广义相对系数pz之间的关系。     

夹缝中的夜市——对南宁市中山路的研究

随着城市化的进行,作为南宁市地方特色的代表——中山路夜市正面临着存与废的困境。通过论述中山路夜市的社会功能以及民间和政府对其存与废的看法,探寻中山路夜市所具有的文化象征意义,为探讨传统文化与现代化之间的关系提供个案参考。     

多媒体教学设备优化配置与新技术应用展望

探讨了多媒体教学设备优化配置问题,并对新技术在多媒体教学设备配置中的应用进行了展望,以促进教育现代化手段的不断完善。     

Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.     

高校机房的管理与维护

计算机房是高校计算机教学实践的重要场所．加强机房的管理与维护,是保证教学工作、提高教学效率的重要任务．本文对机房日常管理和维护中常出现的问题进行了阐述,并提出了相应的对策和解决方案．