探索对外汉语文化教学的有效途径

语言和文化的关系密不可分,语言教学离不开文化传授。在对外汉语教学中,应把文化背景知识教学寓于语言课教学和实践课教学之中。在课堂教学过程中注意运用对比的方法,防止“负迁移”作用。注意区分留学生所属的“文化圈”,有针对性地因材施教。采取灵活多样的教学手段,促进文化交流与融合。     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

Web搜索技术现状分析

介绍了目前网络上的主要WEB搜索方法和技术及一种优化搜索技术的方法,分析了搜索技术存在的不足及未来发展趋势.     

基于遗传算法的神经网络算法研究

针对神经网络存在许多局部最小点，在某些初值的条件下，算法的结果会陷入局部最小等问题．文章将遗传算法和神经网络相结合，用遗传算法替代BP算法学习网络权值，并将其应用于聚类分析．计算结果表明，遗传算法和神经网络的结合将具有良好的全局搜索能力。     

算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

网络课件、网络课程光盘数据库查询方法的实现

介绍了两种网络课件、网络课程等制作完成后生成光盘，脱离后台服务器支持，实现光盘数据库查询功能的解决方法：一是HTML网页内嵌JavaScript或VBScript脚本访问本地数据库(MS Access)；二是采用HTML Appucadon(HTA)形式来访问数据库．     

动态乘数-加速数模型的输出反馈控制问题的讨论

利用状态空间法对动态乘数 加速数模型能否设计输出反馈控制问题进行了讨论。从而得出:在一般情况下,无法对该系统设计一个输出反馈控制G(t)=HY(t);但对于特殊情况(G(t)<0),可以对该系统设计一个输出反馈控制G(t)=HY(t),使开环系统由不稳定变为闭环系统稳定,并给出了可以实现输出反馈控制的条件。     

鼓泡塔和内循环气升式生物反应器混合特性比较

用脉冲示踪法测试了鼓泡塔和内循环气升式生物反应器的停留时间分布，对其流动混合特性作了比较研究．结果表明，内循环气升式生物反应器停留时间分布得到改善，强化了气液传质，有更好的混合效果，提高了反应效率．多参数模型较单参数模型能显著地反映出两种反应器的混合特性及其差别，移位对数正态分布函数模型对实验值的吻合程度优于组合模型．     

交通路网中的定向寻优法

利用了现实中路段特别是节点位置的确定性和交通流量的定向性，结合图论中一些算法，模拟在重力场中水滴的流动，构造了一个求解交通路网中最短路径的定向寻优算法．阐述了此算法依据的原则、求解步骤以及特殊问题的处理方法，并说明了此方法的特点。     

采用步进电机驱动的摩擦传动微进给机构

为解决微小型机电系统大行程、高精度进给的问题,设计实现了一种由旋转电机驱动的摩擦传动微进给机构。采用对称预紧设计使加于摩擦传动主支承轴承上的预紧正压力的合力为零、从而减少传动误差。当步进电机采用5万步/转细分驱动时,经减速比为10:1的摩擦传动机构,输出直线位移分辨率可达到0.16μm。位移测试实验显示该摩擦传动微进给机构具有可靠的运动传递性能,系统的位移输出特性基本上取决于所采用的步进电机及细分驱动电路的特性。进给速度可通过改变驱动脉冲的频率调节,机构在高频驱动大位移动作时亦表现出准确的步进特性,可用于小型机电系统的开环进给驱动。