摘要：MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题，提高所开发系统的正确性．在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率．应用这一程序开发系统，能够较快地开发出正确且效率较高的程序．

摘要：介绍了 BSP(Bulk Synchronous Parallel)模型 ,讨论了在该模型下进行并行程序设计的优点、并行算法的分析和设计方法及其必须遵守的原则 .以两矩阵的乘法为例说明了如何借助 BSP并行程序性能预测工具 ,利用两阶段 BSP并行程序设计方法进行 BSP并行程序的设计和开发 .

摘要：在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．

摘要：本文介绍了一个基于重写方法的程序开发系统的设计和实现．该系统使用代数规范说明语言和扩展的函数式语言合成而形成的混合语言进行程序设计．系统将代数规范转换为合流的重写系统，并以平行最外方法辅以必要归约进行计算．该文详细介绍了系统的原理和实现技术，并以一些实例说明了系统的特点．

摘要：BSP模型独立于并行体系结构 ,既可作为并行计算模型 ,又可作为并行程序设计模型 .提出了基于 BSP模型的 H- V事务模型 ,适用于长、短事务和长短事务混杂的情况 .给出了在无共享结构下实现并行事务处理的进程结构 .该结构不仅实现了事务内及事务间并行性 ,而且使系统具有可用性 ( availability)和可扩充性 ( scalability) .而后给出了适用于该模型的基于时间戳的多版本并发控制协议 ,最后描述了事务在超步结构下的运行过程 .性能测试表明 ,使用该模型进行事务处理时可获得良好的事务响应时间和加速比 .

摘要：中国打车软件从2012年开始上线,"嘀嘀打车"和"快的打车"通过"双向补贴"方式竞争客户,一度导致全国范围主要城市出租汽车运营秩序混乱,引起社会广泛争议。对打车软件涉及的金融系统安全、出租汽车运营秩序、群体性事件等问题展开分析。总结国内外打车软件的主要区别,指出中国打车软件的管理更为复杂、更容易引起社会矛盾。最后,建议在国家层面提出指导性意见,着重研究网络金融进入公共服务业的规则、现代信息技术服务于出租汽车营运的管理规则,以及出租汽车行业管理中政府和企业的权责界限。