[译者序]
本书原著的第一作者高原教授,毕业于日本排名第一的东京大学,1963年去美国凯斯理工学院［Case Institute of Technology，现名凯斯西储大学Case Western Reserve University］留学,师从系统管理学大师M.D.梅萨罗维奇M.D. Mesarovic教授,他们一起撰写了Theory of Hierarchical Multilevel Systems、 Mathematical Theory of General Systems和General Systems Theory： Mathematical Foundations等经典著作。由此可见,高原教授也是系统科学发展史上早期十分重要的代表人物之一。1972年他回到日本,在东京工业大学任副教授、教授,一直到1997年退休成为名誉教授。本书其他几位作者,都是高原教授的得意门生。
1985年,我作为国家公派出国留学研究生,就读于东京工业大学系统科学研究科,有幸在高原教授的精心指导下,获得了理学博士学位。在读博的三年里,我逐渐领悟了一些高原教授的系统科学论观,其中让我终生受用的有三个观点：第一,系统科学和系统工程是思考问题、分析问题和解决问题的思想；第二,复杂系统皆有层次阶层性,即使对象在物理上不存在层次结构,也可以用hierarchical approach去建模和分析；第三,任何一个系统都可以看作是输入-输出系统,是定义在输入集合X与输出集合Y的直积上的一个子集,也就是说一般系统的模型都可以形式化地表达成SXY。
作为数理一般系统理论的主要奠基人,高原教授认为模型理论的核是泛代数universal algebra和范畴论category theory,一般系统理论只是作为模型理论的一种应用。他坚信管理信息系统既然是一个系统,当然就应该是一般系统理论研究的对象。
在日本,几乎看不到模型理论的教科书。有一次,高原教授来中国访问去逛书店时,发现了《模型论基础》王世强著,科学出版社于1987出版,他感触颇深。他想中国读者众多,如果这类书用中文出版的话,肯定能促进模型理论方法的应用和发展。这就是他要把日文原著翻译成中文出版的初衷。为了实现这个夙愿,2019年深秋,他不顾80多岁高龄,车马劳顿,亲临上海,与上海交通大学出版社商讨翻译出版的有关事宜。
1986年,高原教授在我的陪同下首次访问中国,到西安交通大学和上海交通大学讲学。从那以后,他多次来中国讲学和参加学术会议,与中国同行的学术交流从未间断过,后来还被中南大学聘为特聘教授。他在任教期间招收过许多中国留学生,其中中国工程院院士、湖南工商大学校长陈晓红是他的高徒。因此,我们特邀请陈院士为本书写了序,在此衷心表示感谢！同时,非常感谢为我们出谋献策的中南大学商学院副院长刘咏梅教授,以及帮助整理原著电子版和中文版中的图、表、公式的千叶工业大学高木彻博士和何主翔同学。此外,我们也对为本书的日文翻译给予很多帮助的上海鼎乾人才服务有限公司陈建新总经理,以及在本书出版过程中负责策划、编辑、校对等事务的上海交通大学出版社科技分社的钱方针社长和编辑们致以诚挚的感谢！
上海交通大学电子信息与电气工程学院教授
赵群飞
2020年4月
[修订版序]
本书是2007年出版的《基于模型理论的信息系统开发基础》的修订版。出版本书的目的是希望读者从逻辑训练着手,在学习系统基础理论的同时,应用并展开信息系统的开发。作者认为，信息系统不是软件工程的研究对象,而是系统理论的研究对象。本次发行的修订版仍然坚持了这一立场。
第一版出版8年以来,本书已被用作多个学科的教科书。本书的全体作者在离散数学信息系统建模问题求解方案信息处理概述应用信息处理以及研讨会等本科教学实践中都有显著的成果。在研究生培养过程中也为学生提供了合适的研究课题。然而,伴随着信息技术的进步和社会形势的显著变化,作者也认为有必要针对这些变化在本书的内容方面做出相应的调整。经过讨论后一致决定发行修订版。
与第一版相比,修订版的第一个大的变更是增加了关系型数据库建模的利用和仿真系统的开发这两章内容第4章和第8章以满足教学上的需要。但为了避免篇幅过长,将第一版中相当于操作手册的部分移到了网站上。模型理论方法的本质特征在于通过逻辑和集合定义对象系统的模型,并使用适合描述该模型的CASTcomputer acceptable set theory语言进行编程,提供通过CAST语言直接运行该模型的软件MTASDKmodel theory approachsystem development kit。把详细介绍CAST语言规范语法等的第一版第4章计算机可读表达的全部内容移到了网站上。此外,第一版第7章系统开发环境是对开发环境（MTASDK）的安装说明,在本次修订中,也对其部分内容进行了调整和变更以适应当下的技术发展。新开发环境的获取和设置的相关内容放在修订版的第5章。
修订版的第二个大的变更是为了应对社会形势的变化。在许多大学,双学期制semester早已得到了普及,而且每门课的教学是按每个学期而不是每学年进行一次成绩考核。教科书的篇幅不宜过长,应压缩成能够在一学期之内完成的教学内容,同时也需调低售价。因此,日文的修订版分成了《基于模型理论的信息系统开发基础模型篇》和《基于模型理论的信息系统开发基础实践篇》两册出版。
修订版的第三个大的变更是运行环境的变更。第一版中,各种模型的运行环境都是Unix OS。但是,无论是文科生还是理科生,多数学生的个人计算机都不具备运行Unix OS的环境。针对这一现状,近年来,已经可以使用虚拟机技术在一台个人计算机上同时运行多个操作系统。因此,修订版中,增加了如何通过在Windows OS上运行虚拟机软件,完全实现模型开发和运行的内容第5章。但开发运行环境的基础仍然是Unix OS。在第一版中的Unix OS采用的是Fedora发行版,而修订版中改为多数学生们使用的Ubuntu发行版。不过学生们一般可以不用在意Unix OS的版本。
综上所述,与第一版相比,尽管修订版在内容结构上看起来变化很大,但是以系统理论为根本这一初衷是一贯的,并未发生任何改变。
作者希望可以通过这些调整让书变得更加容易使用,也非常期待能够得到读者的反馈意见。
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
