第1章质量安全规律

1．1从分析“质量的经济属性”开始

1．2“质量经济定律”是重要发现

1．3安全是经济准则，是最基本保障线

1．4质量安全是经济内在规律，不可违背

1．5大力发展质量安全型经济

1．6开启建设质量安全型经济新时代

1．7把质量安全贯穿经济发展全过程

1．8关于经济发展方式转变的途径

1．9实现经济发展与质量安全提升相统一

1．10牢固树立质量安全经济理念

第2章技术措施时代

2．1技术措施时代悄然来临

2．2国际竞争内容和方式的变化

2．3国内生产经营被“倒逼”

2．4一个不易破解的难题

……

质量安全型经济是个新命题，目前我国经济理论界对这一问题的研究尚属空白点。由于作者学习、研究和工作经历的特殊性，不仅具有系统和扎实的经济学专业知识储备，而且拥有较长时期的质检工作经历，所以能够在这一领域进行系统性和独创性研究，能够找准问题，创新方法和观点，形成了较为完整的结构和体系。应该说这是经济理论研究中的一个新的领域和创新成果，对于丰富经济理论体系是有价值和意义的。

同时，作者的研究也是对如何实现“十八大”所提出的：“要适应国内外经济形势新变化，加快形成新的经济发展方式，把推动发展的立足点转到提高质量和效益上来”的重要指导思想，作出的及时回应。这更体现为一种责任感和使命感，这种认识大局、自觉服务大局的精神是可贵的。

《论质量安全型经济（第二版）》结构较为业密，通过论述质量安全与经济发展的内在关系，分析有关技术措施对经济发展的规制作用，研究食品等产品及产业的质量安全提升和口岸质量监管，以及特色科学质检体系建设等重要方面，努力探索促进经济发展与质量安全提升相统一的途径和方法。这些研究成果具有理论和实践价值。衷心希望作者的研究和探索，能够在经济发展的实践中结出果实。

徐明焕，1963年出生于福建省寿宁县。1986年毕业于福建师大政教系本科，1991年毕业于福建省委党校政治经济学专业研究生班，2003年毕业于福建师大经济法律学院，获经济学博士学位。现为湖北出入境检验检疫局纪检组长、党组成员。曾在国家质检总局、福建省委办公厅、福建检验检疫局工作。著有《居民消费的政府干预机制》、《地民诗想》等专著和诗集。在《人民日报》、《宏观经济管理》、《全球化》、《中国国门时报》等报刊杂志发表原创理论文章。曾获国家发展改革委、国家质检总局征文一、二、三等奖。所提出的"质量安全型经济理论"得到学界认可，中国人民大学卫兴华教授评价："**部研究质量安全型经济的著作"、"这是经济理论硏究中的一个新的领域和创新成果"。时任国务院发展研究中心产业经济研究部长的冯飞研究员评价说："经济学中用于分析经济现象的供需曲线不考虑产品质量，在经济学研究中引入'产品质量'或许能形成新的硏究方法，质量安全型经济是一座值得深入挖掘的富矿"。 2100433B

利用概率论模型的典型系统有Kwok与Robertson等，它们在利用样本计算词权重的过程中考虑了词在文档中出现的频率，其中Kwok系统还考虑了词在整个样本集合中出现的频率。概率论模型的效果要明显优于布尔模型，但比向量空间模型略差。

概率论模型的一个特例是贝叶斯网络，由于该模型适合于超文本系统，因此在超文本信息成为当前信息获取主流信息的情况下，该模型的应用越来越广泛。 2100433B

概率论模型的基础是概率，预估计信息资源与用户需求的相关性，根据相关性大小进行排序，排到最前面的文档将会是最有可能满足用户需求的文档。Van Rijsbergen和Robertson等人提出的概率检索模型的基本思想是根据先前检索过程中得到的相关性先验信息来计算文档集合中每篇文档成为相关文档的概率，并根据统计理论(如贝叶斯决策等)来确定哪些文档可作为输出文档集。相关工作中，将布尔检索和概率检索模型有机地结合起来，但它在没有获得样本文档之前，无法估计词条相关性且该方法复杂度较大。

数理逻辑的一个分支，是研究形式语言及其解释(模型)之间关系的理论。

用模型来研究数学理论可追溯到非欧几里得几何学的无矛盾性证明(见解释)：建立欧氏几何模型，从而证明了非欧几何相对于欧氏几何的无矛盾性。20世纪20年代后，随着证明论的创立和发展，对形式系统的研究不断深入，许多问题是依赖于模型(解释)来研究的，例如可用各种模型来论证一组(形式)语句的无矛盾性或范畴性，也可用模型来论证一语句对一组语句的独立性等等。因而形式语言与其解释之间的关系问题日益受到重视，成为重要的研究对象。

最早的模型论研究是勒文海姆和斯科朗等人的工作。1915年勒文海姆证明：每一组有限多语句如果有模型的话，则它也有一个可数模型。1920年斯科朗把这一结果推广到有可数个语句的情况。20世纪30年代哥德尔、马尔采夫等人在紧致性定理方面的工作也是重要的奠基性工作。但是直到20世纪50年代，模型论才正式成为一门新的学科，主要标志是1949年亨肯发表的完全性定理的新证明，1950年国际数学家大会上塔尔斯基与A.鲁宾逊的报告以及1951年A.鲁宾逊《代数的元数学》的发表。

一个形式语言ℒ的解释u称为此语言的一个模型或结构。u是一个具有若干运算、关系及特指元素的非空集合，也称为泛代数。所以，模型论又被形容为“泛代数 逻辑”。由于所涉及的逻辑系统不同，模型论可分为：一阶模型论、高阶模型论、模态模型论、多值模型论等。由于在数理逻辑中以一阶逻辑发展最成熟，所以，模型论中也以一阶模型论的内容最丰富，应用也最多。

构造模型是模型论的重要课题，模型论采用了许多独特的构模方法和工具。例如20世纪50年代塔尔斯基与沃特提出的初等子模型；20世纪70年代A.鲁宾逊等人提出的模型论力迫法；由斯科朗提出而在20世纪50年代由沃希等人作了系统化的超积等。这些方面后来都有新的发展。

模型论应用于数学各分支，取得了许多新结果。在代数方面应用，取得群论和域论的一些结果，如阿克斯与科琴用它解决了著名的阿廷猜想。在分析方面应用，A.鲁宾逊构建了非标准分析(1960—1961年)，现已发展为一整套非标准数学。