C/S模式下跨平台文件共享管理的设计与实现

传统方式下在保证跨平台共享文件的访问安全性采用的是文件加锁机制。但锁机制在多客户和第三方软件并发访问共享文件时的安全性以及文件访问权限调度方面有很大的局限性。本文讨论了一种跨平台文件共享管理系统的实现机制。该系统能够保证多个客户进程与第三方软件进程安全、有效地使用服务器上的共享文件,并为客户进程提供通知机制以实现文件访问权限调度。     

一种函数式语言到PROLOG的转换技术

定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统．     

混合蛙跳算法的收敛性分析及其改进

在分析混合蛙跳算法（SFL）收敛性的基础上,针对早熟收敛和收敛速度慢的问题,提出一种改进算法（MSFL）.MSFL利用变公比数列分析更新轨迹的收敛性,并引入离散度和适应度方差作为指标,自适应地调节数列公比取值范围,以平衡收敛精度和收敛速度.以6个Benchmark函数分2组实验,测试MSFL的性能.结果表明：提出的MSFL算法具有较强的全局搜索和局部搜索能力,且具有收敛速度快、收敛精度高的优点.     

语篇教学的功能语言学模式

探讨系统功能语言学理论应用于高校英语专业高级英语课堂的教学实践，在此基础上建立起高级英语语篇教学的功能语言学模式。以人际元功能理论为指导，以李观仪《新编英语教程》第六册第一单元Text I为例，分析该语篇对话部分的形式结构特征如何反映交际者之间的人际关系并从语篇生成的社会文化语境进行阐释。研究目的在于培养学生的深层解读能力和发展学生的意义潜势，同时进一步说明SFL理论用于解释语言事实的可操作性和适用性。