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

摘要：一、mfs与SNA的主要区别（一）核算目的不同、、两套不同的宏观经济核算体系设置的目的不同，SNA是为核算国民经济的整体运行而设计的。它以整个社会再生产为主线，全面核算再生产的条件、过程与结果，全面测定生产、收入、分配、使用和资产负债的总量。

摘要：2002年4月,中国加入了国际货币基金组织(IMF)的数据公布通用系统(GDDS),这标志着中国的货币与金融统计在国际接轨的进程中迈出了重要一步。虽然在货币与金融统计体系的整体框架设置方面,基本达到了国际要求,但是在具体的实施和细节问题上,与国际标准仍存在较大差距,仍不便于进行国际比较。文章对中国货币与金融统计和IMF的货币与金融统计手册(mfs),从框架设计、货币统计、金融统计三个大的方面,进行了比较分析,探索了加快完善我国货币与金融统计体系的思路。

摘要：通过BSC原理引导出两种厂家设备,异厂家设备的分析,让运营商更好地去选择适合自己网络发展的BSC设备。

摘要：本文阐述了中国货币与金融统计国际接轨的背景;详细介绍了《货币与金融统计手册》(mfs)的基本框架;从统计框架、统计内容、机构部门设置和框架设计的依据四个方面将mfs与中国的货币与金融统计框架进行比较;提出中国货币与金融统计国际接轨的基本思路。

摘要：为了实时接收应用系统所需要的数据和图片,采用了以CMMB数据广播为平台的接收方法,该方法用软件实现解析CMMB数据广播业务数据。做了测试数据的接收实验,验证了数据接收的正确性,该程序方便各种应用系统使用,用软件编程代替硬件解码不仅减少了硬件的成本,而且降低了系统实现的复杂度。

摘要：针对＂微机原理与接口技术＂课程内容和特点,介绍了计算机仿真软件：EMU8086、mfs和Proteus ISIS,分别适用于汇编语言程序设计、DOS功能调用和硬件接口技术等不同知识点,并且具有操作简单、界面直观等优点。仿真软件的应用能够改善课堂教学模式,激发学生的学习兴趣,帮助学生更好地掌握理论知识,为实验和实践操作打下良好的基础。

摘要：为更好进行系统热力设计，性能评价、热经济学分析和优化。本文建立了完善的ＭＳＦ系统的火用分析模型。它可对系统中不同环节和过程进行详细的包括化学火用变化在内的火用分析。案例研究表明，本文建立的火用分析模型精度高。