Abstract: In order to simulate the migration and evolution of urban population with high efficiency and high quality, this paper introduces the concepts of oppositional negation, mediation negation and contradictory negation in philosophical negation and computer logic. After repeatedly studying and demonstrating the internal relations, basic characteristics and integration conditions of the three logical negations, the paper innovatively proposes the PLF. sets of universal logic fuzzy sets, which can form the evaluation factor sets of various logic variables and their evolution forms that can be directly involved in the calculation. On the premise of verifying the feasibility of its operation rules and logical transformation through saturation, the PLF. sets can be used to construct the global membership function f(x) with good approximation performance by using the known local membership function g(x). It can map any x(x∈U) to the value of f(x) within the defined range U[a, b]. At the same time, the logic simplifies the complexity calculation of the system function. The empirical research results of the PLF. sets in the teaching quality evaluation of management information system fully prove that the PLF. sets method can change the complex into simple, and simplify the operation methods and steps. It shows the characteristics of universality, high efficiency, accuracy and simplicity. The application of the PLF. sets method in the simulation of Beijing urban population migration and evolution trend shows that: 1.The positioning of net added value of Beijing urban population movement changes is all at the level of “big”; 2.The qualitative grade of Beijing urban population mobility network and its correlation degree is “high”. Finally, it evaluates the population flow pattern, population migration and evolution trend of the cities which are positive migration with high quality.

Key words: philosophical logic, the PLF. sets, population migration, flow characteristics, model verification, simulation application

摘要： 为高效率与高质量仿真城市人口迁移与演变趋势, 基于Zadeh模糊集的基础知识, 引入哲学否定与计算机逻辑中对立否定、中介否定和矛盾否定的概念。在反复研究和论证了三种逻辑否定之间的内在关系、基本特征和融合条件后, 创新性地提出了PLF.sets泛逻辑性模糊集, 形成可直接参与计算的多种逻辑变量及其演变形式的评价因数集。PLF.sets在饱和验证其运算规则和逻辑转化可行性的前提下, 通过已知局部隶属函数g(x)构建出逼近性能良好的整体隶属度函数f(x)。它能够在确定的值域U[a, b]内, 使得任意的x(x∈U)映射于f(x)值。并在高度仿真和逼近原始系统规律的同时, 逻辑简化系统函数产生的复杂性计算。PLF.Sets于《管理信息系统》教学质量评价的实证研究结果充分证明, PLF.sets方法可以化繁为简, 简化运算方法和步骤;显示出高效性、准确性、普适性和简洁性的特点。PLF.sets方法在对北京城市人口迁移与演变趋势仿真的应用表明:(1)北京城市人口流动变化净增加值的定位均是“多”的等级;(2)北京城市人口流动网络及其关联度特征的定性等级均是“高”级别。最终高质量地评估了正向迁移城市的人口流动格局、人口迁移与演变趋势。

关键词: 哲学逻辑, PLF.sets模糊集, 人口迁移, 流动特征, 模型验证, 仿真应用