自扩充式教育资源库建设的B/S体系结构

全新的教育技术服务(ET-service)模式改变了传统的教育资源观。其核心是充分利用网上开放式服务为学习者提供学习活动的环境和个性化服务。而这种服务的理念与自扩充式教育资源库建设相得益彰,相辅相成。论述了自扩充式教育资源库的定义、特点及其B/S体系结构,结尾处阐明了它的发展方向。

自扩充式教育资源库在网络课程中的探索性研究

Internet改变着我们工作和生活的方式,已经成为获取信息、解决问题的重要途径。设计开发基于网络的教学或学习系统,使之更充分的发挥网络多媒体技术的特点与优势,更有效的支持学习者富有创造性的个性化学习,是目前网络课程研究中的重点。本文从网络技术和研究性学习整合的角度出发,通过阅读大量文献资料,对自扩充式教育资源库进行了探索性研究。

乔姆斯基的扩充式标准理论

乔姆斯基的生成语法到现在已有近三十年的发展历史了,先后经历了第一语言模式(The First Linguistic Model)时期、标准理论(The Standard Theory,以下简称ST)时期和扩充式标准理论(The Extended Standard Theory,以下简称EST)时期,现在“第一次有可能提出具有相当深度和广度的解释性理论,来展示人们在语言研究中进而在思惟体系研究中有待发现的各种体系。”

命题时态逻辑的分划式扩充

在ＰＴＬ（ｐｒｏｐｏｓｉｔｉｏｎａｌ ｔｅｍｐｏｒａｌ ｌｏｇｉｃ）上加入一个Ｕ算子的自然拓广－２分划算子，便导出了Ｗｏｌｐｅｒ－Ｖａｒｄｉ－Ｓｉｓｔｌａ之ＥＴＬ（ｅｘｔｅｎｄ ＰＴＬ）的一个完全的子逻辑，它有更简洁的语法及公理系统、更好地判定算法等，是研究有限状态并发程序的一种理想的规范语言。

盖拉西梅科公式及其扩充,卡加公式的扩充——(用于高斯直角坐标的变换,从一个6°带到相邻的6°带)

目前在我国应用下列苏联的高斯直角坐标变换的数字表：1）维劳凡茨瓦拉宾诺维奇著：直角坐标变换的数字表。2）卡加著：高斯克吕格坐标变换的数字表，从6°带到相邻的6°带。这些数字表及应用的公式在苏联的领土范围内引起坐标的误差达到0.02公尺。由于社会主义建设需要大比例尺地图（1：25000或更大一些），所以坐标变换的误差不得超过0.004公尺，因此必须把推拉二氏数字表中所用的公式及卡加氏的公式加以扩充。

基于映射排序的两个算法

提出了两个新的排序算法：（１）多字段记录的映射排序法，这一算法关键字与数组下标作映射处理，不实施反复比较和交换关键字的操作，时间复杂性达到Ｏ（Ｎ）．（２）链式扩充基排序法，这一算法扩充基，使用子域映射来提高排序速度，效率高，通常情况下优于Ｈｏａｒｓ快速排序法．

生成语法框架内被动结构理论的演变

乔姆斯基的语言理论,从诞生到现在大体上经历了三个阶段:经典理论时期(Clas-sical Theory)(1957—1965);标准理论时期(Standard Theory)(1965—1970);扩充式标准理论时期(Extended Standard Theory)(1970至现在)。在生成语法的框架之内,被动结构理论的演变大体上也经历了同样的过程。

乔姆斯基近期理论简介

乔姆斯基创立的转换生成语法自问世到现在已有三十多年的历史.在此期间,他曾对自己的理论进行了几次大的修改,先后经历了早期理论(The Early Theory)、标准理论(The Standard Theory)和扩充式标准理论(The Extended StandardTheory)等几个阶段.从七十年代末期到现在,乔姆斯基又发表了一系列的文章和专著,对扩充式标准理论作了进一步的修正,使转换生成语法理论进入一个崭新的阶段—一修正的扩充式标准理论(The Revised Extended Standard Theory)阶段.现在的理论体系同以前相比显得更为完善、合理.本文的目的旨在勾划出修正的扩充式标准理论的大体轮廓,以便读者对它有一个粗略的了解.在修正的扩充式标准理论中,语法由句法、语音和语义三大部分组成.

基于改进快速搜索随机树法的机械手路径优化

针对多关节机械手路径优化问题,提出一种改进快速搜索随机树(Rapidly-exploring random trees,RRT)优化算法。利用标准RRT算法规划初始可行路径,根据路径长度与路径安全性计算出该路径代价。在后期搜索树生长过程中,中间目标点并非随机采样,而是选择能使当前路径代价低于其之前路径代价的节点,同时对该节点进行距离检测,避免产生过于密集的节点集。为加快搜索树向未知区域的扩充速度,从最近节点向中间目标点扩充过程中,采用一种贪婪启发式扩充算法:节点以一定步长循环扩充,直至扩充到达目标节点或产生不连通节点。最后对6自由度检修机械手进行路径规划仿真试验,结果表明相对于标准RRT算法,规划路径的质量得到大幅提高。

西部地方院校提高考研率的教学对策——以工科类专业高等数学教学为例

"高等数学"是工科类专业学生考研的难点之一,其教学倍受压力。以"高等数学"教学为例,探索"嵌入式知识扩充法",这既加深加宽了考研学生的知识结构,又照顾到非考研学生的正常学习,以期提高工科类专业学生的考研率。

IBM-PC中断功能的扩展

IBM—PC 微型计算机及其兼容微机已大量应用于过程控制,由于该机型可供用户使用的中断源很少,因此,必须扩展中断源.本文介绍了两种行之有效的中断扩展方法:母子式扩充法和简捷扩充法.母子式扩充法能将中断源无限扩展,简捷扩充法不需要加中断控制器便能使中断源成倍增加.这两种方法能满足对中断源的各种要求.

生成语法的发展过程

西洋语言学的发展,经历了传统语法,历史语言学、结构主义语言学,到1957年,进入了一个新的历史阶段,那就是生成语言学派,或者说转换生成语法的发展阶段。

五色积木

在以往几篇连载性文章中,我们较为系统地向大家介绍了一套性能稳定的扩充式搭配,这套搭配是分几步来逐步完成的: 一、建立以天朗609MK Ⅱ为主音箱,马兰士PM-30为立体声功放,飞利浦931CD为音源的音响搭配初阶,构成一套以立体声重播为主的Hi-Fi器材。

黑龙江省外语学会一九八○年年会简介

黑龙江省外语学会于六月下旬举行年会,历时四天。年会收到论文六十九篇,内容涉及语言学和外语教学法的许多方面,其中有三十六篇在大会或分组会上宣读。大专外语研究会在去年年会的基础上对功能教学法作了进一步的讨论,翻译研究会正式成立。