摘要：ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析。

摘要：为了能够较好地处理函数式程序设计语言中的I/O问题 ,通过采用Monad方法将I/O加入到函数式程序设计语言中 ,来保持函数式程序设计语言的优点 .本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题 .

摘要：对移动终端的行为特性(主要包括移动特性及服务特性)进行分析建模,确定总体性能目标,然后综合考虑上层可达移动锚点(MAP)间的负载均衡,提出了一种多目标协作的自适应MAP选择策略(A-MAP)。基于NS-2网络仿真平台,考虑具有不同移动速率的移动终端的比例配置,设计了一组实验场景,并选择了3种典型的MAP选择方案作为比较对象。通过调整会话到达率验证了A-MAP方案在系统开销、负载均衡以及平均切换时延方面均有较好的性能表现。

摘要：Dispatcher设计模式可以使用各种技术来实现。以社会保险业务处理为基础,有效地利用ORACLEPL/SQLPac-kage语言及支撑环境对面向对象技术的支持,通过定义消息ID、传递消息ID、撰写处理函数、连接消息ID和处理函数来实现Dispatcher设计模式,并且构造出能处理各项社会保险管理业务的Package组件。

摘要：本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项，直至新的常数英不再增加为止的这一迭代过程有可能不终止，并提出了改进办法，将拟双线性方程的等价变换定理推广至拟双线性方程组，根据拟双线性方程组等价变换定理以及改进的拟双线性方程展开算法设计了拟双线性方程组的展开算法。

摘要：目前被人们广泛采用的处理函数式I／O的机制有三种：Monad，Dialogue，CPS．本文采用CCS的理论和方法，把互模拟等价作为I／O程序的相等关系，描述了这三种I／O机制的操作语义，推导出这三种I／O机制相互之间的转换关系，从而证明了这三种I／O机制在语义上是等价的．

摘要：本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。

摘要：本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解，其中针对未知函数的４种不同的位置分别进行了求解，得到了二元三次冗余函数方程组的展开式解，并给出了实例。

摘要：纯函数式语言缺乏处理非确定性功能，本文给出了一个非确定性Ｍｏｎａｄ，用此Ｍｏｎａｄ在纯函数式语言中加入了非确定性处理功能，描述卫个基于非确定性Ｍｏｎａｄ的纯函数式树搜索算法，并证明了一些有用的代数性质。

摘要：随着互联网应用的迅速发展,数据量呈指数级增长趋势。越来越多的用户选择将数据存储备份到云端,但同时数据安全隐患也越发突出。用户对海量数据的存储备份和安全性需求越来越高。为了方便用户将本地数据迁移到云存储服务端,简化远程云端资源的访问,提供隐私保护、数据安全等附加价值,设计并实现了一个安全、高性能、大容量的混合云存储安全网关。该云存储安全网关能够提供安全、高效的数据存储备份服务,克服传统存储备份服务的不足。具有灵活的数据机密性和用户隐私管理、安全的数据存储和传输等特点。