·450· 智能系统学报 第15卷 6结束语 [S]李倩.基于形式化方法的混成系统安全性检验[D]上 海：华东师范大学，2015 在前期研究基础上，给出了系统运动空间与 LI Qian.Safety verification of hybrid systems based on 系统映射论的具体定义。主要结论如下： formal method[D].Shanghai:East China Normal Uni- 1)给出了系统运动空间的定义和性质，即系 versity,2015. 统运动空间中的运动系统、系统运动空间、系统 [6]黄峰.系统演化的形式化与具体化应用研究[D].南京： 球、平面、投影等定义。系统运动空间可表示一 南京邮电大学，2014. 个系统与多个方面的关系和多个系统之间的关系。 HUANG Feng.A study on formalization and materializa- 2)给出了系统映射论思想。认为自然系统是 tion application of system evolution[D].Nanjing:Nanjing University of Posts and Telecommunications,2014. 因素全集到数据全集的映射。给出了相关数据信 [7]汪培庄.因素空间与因素库小.辽宁工程技术大学学报 息和不相关数据信息，及可测相关信息和不可测 (自然科学版)，2013,32(10)：1297-1304。 相关信息；相关因素和不相关因素，及可调节因 WANG Peizhuang.Factor spaces and factor data-bases[J]. 素和不可调节因素等概念。而人工系统是可测相 Journal of Liaoning Technical University (natural science 关数据到可调节因素的映射。 edition),2013,32(10):1297-1304 3)讨论了自然系统和人工系统的差别。人工 [8]WANG Peizhuang,LIU Zengliang,SHI Yong,et al.Factor 系统得到的实验数据永远与自然系统相同状态下 space,the theoretical base of data science[J].Annals of 得到的数据存在误差；人工系统的功能只是想要 data science,2014,1(2):233-251. 模仿的自然系统功能的一部分；人工系统只能无 [9]汪培庄，郭嗣踪，包研科，等.因素空间中的因素分析 限趋近于自然系统而无法达到。 法[].辽宁工程技术大学学报（自然科学版），2014， 4)论述了系统运动空间和映射论在系统可靠 33(7):865-870. 性领域的实现和方法。借助可测相关因素和可调 WANG Peizhuang,GUO Sicong,BAO Yanke,et al.Caus. 节因素，及空间故障树理论中系统结构分析和属 ality analysis in factor spaces[].Journal of Liaoning Tech- 性圆方法，可初步实现研究系统可靠性的人工系统。 nical University (natural science edition),2014,33(7): 865-870. 系统运动空间和系统映射论可以解决一些系 [10]汪培庄.因素空间与数据科学).辽宁工程技术大学学 统层面上的问题，进一步研究有待展开。 报（自然科学版），2015,34(2)：273-280. 参考文献： WANG Peizhuang.Factor spaces and data science[J]. Journal of Liaoning Technical University (natural science [1]马峻.基于中粒度层面的动态系统多层次映射关系模 edition),2015,34(2:273-280. 型[.系统科学与数学，2018.38(8)：866-880. [11]钟义信，张瑞.信息生态学与语义信息论.图书情报 MA Jun.Research on multi-level mapping relationship 知识，2017(6)：411. model of dynamic system based on medium granularity[]. ZHONG Yixin,ZHANG Rui.Information ecology and Journal of systems science and mathematical sciences, semantic information theory[J].Documentation,informa- 2018,38(8):866-880. tion knowledge,2017(6):4-11. [2]何瑞祥.粗粒度可重构计算系统映射与容错机制研 [12]钟义信.从“机械还原方法论”到信息生态方法论” 究D].芜湖：安徽工程大学，2018. 人工智能理论源头创新的成功路).哲学分析，2017， HE Ruixiang.Research on mapping and fault-tolerant 8(5):133-144 mechanisms for coarse-grained reconfigurable computing ZHONG Yixin.From mechanical reductionism to meth- system[D].Wuhu:Anhui Polytechnic University,2018. odology of information ecology:successful approach to [3]曾霞.基于障碍函数生成的混成系统安全验证研究[D] innovation for Al theory[J].Philosophical analysis,2017. 上海：华东师范大学，2017 8(5):133-144. ZENG Xia.Safety verification of hybrid systems based on [13]钟义信.从信息科学视角看《信息哲学》[).哲学分析， barrier certificate generation[D].Shanghai:East China 2015,6(1):17-31 Normal University,2017. ZHONG Yixin.Information science and its view on in- [4]张连怡.构件系统模型检测方法研究D1.北京：清华大 formation philosophy[J].Philosophical analysis,2015, 学，2015 6(1):17-31. ZHANG Lianyi.Model checking of component-based sys- [14]钟义信.高等智能机制主义信息转换).北京邮电大 tems[D].Beijing:Tsinghua University,2015. 学学报，2010,33(1)：1-6.6 结束语 在前期研究基础上，给出了系统运动空间与 系统映射论的具体定义。主要结论如下： 1) 给出了系统运动空间的定义和性质，即系 统运动空间中的运动系统、系统运动空间、系统 球、平面、投影等定义。系统运动空间可表示一 个系统与多个方面的关系和多个系统之间的关系。 2) 给出了系统映射论思想。认为自然系统是 因素全集到数据全集的映射。给出了相关数据信 息和不相关数据信息，及可测相关信息和不可测 相关信息；相关因素和不相关因素，及可调节因 素和不可调节因素等概念。而人工系统是可测相 关数据到可调节因素的映射。 3) 讨论了自然系统和人工系统的差别。人工 系统得到的实验数据永远与自然系统相同状态下 得到的数据存在误差；人工系统的功能只是想要 模仿的自然系统功能的一部分；人工系统只能无 限趋近于自然系统而无法达到。 4) 论述了系统运动空间和映射论在系统可靠 性领域的实现和方法。借助可测相关因素和可调 节因素，及空间故障树理论中系统结构分析和属 性圆方法，可初步实现研究系统可靠性的人工系统。 系统运动空间和系统映射论可以解决一些系 统层面上的问题，进一步研究有待展开。 参考文献： 马峻. 基于中粒度层面的动态系统多层次映射关系模 型 [J]. 系统科学与数学, 2018, 38(8): 866–880. MA Jun. Research on multi-level mapping relationship model of dynamic system based on medium granularity[J]. Journal of systems science and mathematical sciences, 2018, 38(8): 866–880. [1] 何瑞祥. 粗粒度可重构计算系统映射与容错机制研 究 [D]. 芜湖: 安徽工程大学, 2018. HE Ruixiang. Research on mapping and fault-tolerant mechanisms for coarse-grained reconfigurable computing system[D]. Wuhu: Anhui Polytechnic University, 2018. [2] 曾霞. 基于障碍函数生成的混成系统安全验证研究 [D]. 上海: 华东师范大学, 2017. ZENG Xia. Safety verification of hybrid systems based on barrier certificate generation[D]. Shanghai: East China Normal University, 2017. [3] 张连怡. 构件系统模型检测方法研究 [D]. 北京: 清华大 学, 2015. ZHANG Lianyi. Model checking of component-based sys￾tems[D]. Beijing: Tsinghua University, 2015. [4] 李倩. 基于形式化方法的混成系统安全性检验 [D]. 上 海: 华东师范大学, 2015. LI Qian. Safety verification of hybrid systems based on formal method[D]. Shanghai: East China Normal Uni￾versity, 2015. [5] 黄峰. 系统演化的形式化与具体化应用研究 [D]. 南京: 南京邮电大学, 2014. HUANG Feng. A study on formalization and materializa￾tion application of system evolution[D]. Nanjing: Nanjing University of Posts and Telecommunications, 2014. [6] 汪培庄. 因素空间与因素库 [J]. 辽宁工程技术大学学报 (自然科学版), 2013, 32(10): 1297–1304. WANG Peizhuang. Factor spaces and factor data-bases[J]. Journal of Liaoning Technical University (natural science edition), 2013, 32(10): 1297–1304. [7] WANG Peizhuang, LIU Zengliang, SHI Yong, et al. Factor space, the theoretical base of data science[J]. Annals of data science, 2014, 1(2): 233–251. [8] 汪培庄, 郭嗣琮, 包研科, 等. 因素空间中的因素分析 法 [J]. 辽宁工程技术大学学报(自然科学版), 2014, 33(7): 865–870. WANG Peizhuang, GUO Sicong, BAO Yanke, et al. Caus￾ality analysis in factor spaces[J]. Journal of Liaoning Tech￾nical University (natural science edition), 2014, 33(7): 865–870. [9] 汪培庄. 因素空间与数据科学 [J]. 辽宁工程技术大学学 报 (自然科学版), 2015, 34(2): 273–280. WANG Peizhuang. Factor spaces and data science[J]. Journal of Liaoning Technical University (natural science edition), 2015, 34(2): 273–280. [10] 钟义信, 张瑞. 信息生态学与语义信息论 [J]. 图书情报 知识, 2017(6): 4–11. ZHONG Yixin, ZHANG Rui. Information ecology and semantic information theory[J]. Documentation, informa￾tion & knowledge, 2017(6): 4–11. [11] 钟义信. 从“机械还原方法论”到“信息生态方法论”—— 人工智能理论源头创新的成功路 [J]. 哲学分析, 2017, 8(5): 133–144. ZHONG Yixin. From mechanical reductionism to meth￾odology of information ecology: successful approach to innovation for AI theory[J]. Philosophical analysis, 2017, 8(5): 133–144. [12] 钟义信. 从信息科学视角看《信息哲学》[J]. 哲学分析, 2015, 6(1): 17–31. ZHONG Yixin. Information science and its view on in￾formation philosophy[J]. Philosophical analysis, 2015, 6(1): 17–31. [13] 钟义信. 高等智能·机制主义·信息转换 [J]. 北京邮电大 学学报, 2010, 33(1): 1–6. [14] ·450· 智 能 系 统 学 报 第 15 卷