登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入 新註冊 | 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / EMS,時效:出貨後2-3日

2024年08月出版新書

2024年07月出版新書

2024年06月出版新書

2024年05月出版新書

2024年04月出版新書

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

2023年08月出版新書

2023年07月出版新書

『簡體書』基于模型理论的信息系统开发基础

書城自編碼: 3579506
分類: 簡體書→大陸圖書→教材研究生/本科/专科教材
作者: [日]高原康彦,斋藤敏雄,旭贵朗,赵群飞 译
國際書號(ISBN): 9787313237132
出版社: 上海交通大学出版社
出版日期: 2020-11-01

頁數/字數: /
書度/開本: 16开 釘裝: 平装

售價:NT$ 528

我要買

share:

** 我創建的書架 **
未登入.



新書推薦:
未来科技大爆炸
《 未来科技大爆炸 》

售價:NT$ 311.0
海外中国研究·近代中国的知识分子与文明
《 海外中国研究·近代中国的知识分子与文明 》

售價:NT$ 510.0
东方帝国的营造 : 秦汉王朝政治史
《 东方帝国的营造 : 秦汉王朝政治史 》

售價:NT$ 510.0
漫谈数字化转型从底层逻辑到实践应用
《 漫谈数字化转型从底层逻辑到实践应用 》

售價:NT$ 354.0
谢谢你来到我的生命:狗狗带给我们的治愈与改变
《 谢谢你来到我的生命:狗狗带给我们的治愈与改变 》

售價:NT$ 234.0
情感觉醒:揭秘亲密关系背后的真相
《 情感觉醒:揭秘亲密关系背后的真相 》

售價:NT$ 311.0
诸葛亮
《 诸葛亮 》

售價:NT$ 359.0
解密:梦的诞生
《 解密:梦的诞生 》

售價:NT$ 874.0

內容簡介:
本书的初衷是希望读者从逻辑训练着手,在学习系统基础理论的同时,实践展开信息系统开发。与传统方法不同,本书没有把信息系统作为软件工程的研究对象,而是将其作为系统理论的研究对象,用系统理论的方法来实现信息系统的开发。全书共有8章,可分为两部分:*部分包括第1章至第4章,是系统理论的基础部分,介绍了离散数学的基本概念和定义,自动机模型和关系型数据库模型等内容;第二部分包括第5章至第8章,是信息系统开发的实践部分,结合问题求解系统、业务处理系统等实例,介绍了在特定的系统开发环境下把模型理论应用于信息系统开发的展开方法。本书的日文版作为信息管理专业等多个学科的本科生用教科书,自出版以来被日本多所大学采用,颇受欢迎,并于2016年修订后再次出版。现译为中文出版,可用作高等院校各类相关专业的教科书或自学参考书。
關於作者:
高原康彦,东京工业大学名誉教授、日本大学教授。
赵群飞,1982年毕业于西安交通大学,同年考上国派出国留学研究生赴日,1988年毕业于日本东京工业大学,获得理学博士学位。2001年6月回国到上海交大工作,现任电信学院自动化系教授、搏导。主要从事机器人视觉,智能系统控制,人一机器人交互等研究。
目錄
模 型 篇
1 逻辑思考
1.1 命题逻辑
1.1.1 命题定义
1.1.2 复合命题
1.1.3 真值表和重言式
1.1.4 蕴含
练习题
1.2 谓词逻辑
1.2.1 量词与定义域
1.2.2 量词的辖域
1.2.3 多元谓词
练习题
附录
2 集合表述
2.1 集合的表示及其标记法
练习题
2.2 列表
2.2.1 向量
2.2.2 矩阵
练习题
2.3 集合的运算
练习题
2.4 直积与关系的定义
2.4.1 直积的定义
2.4.2 关系的定义
练习题
2.5 等价关系
练习题
2.6 顺序关系
练习题
2.7 函数
练习题
3 自动机建模的利用
3.1 自动机建模的基本概念
3.1.1 框图(输入与输出
3.1.2 状态与输出函数
3.1.3 状态迁移图
3.1.4 自动机模型定义
3.1.5 计算机可读表达
3.1.6 计算机实现模型
3.1.7 编译与运行
练习题
3.2 自动机状态为符号时的建模实例
3.2.1 100日元换币机(状态有1个
3.2.2 带按钮的硬币换币机(状态有2个
3.2.3 出售150日元车票的自动售卖机(状态有3个
练习题
3.3 自动机状态为数值时的建模实例
3.3.1 状态数值化方法
3.3.2 带有按钮的自动售卖机(用1个变量来表示状态
3.3.3 可以确认零钱的自动售卖机(用向量来表示状态
3.3.4 整数计算器(一次写出全部输入
练习题
3.4 自动机的动作与物理实现
3.4.1 输出序列的计算
3.4.2 仓库模型(流程模型
3.4.3 自动机的物理实现
3.4.4 自动售卖机的自动机公式化表示与Prolog程序描述
之间的对应关系
练习题
4 关系型数据库建模的利用
4.1 数据库的种类与定义
4.1.1 数据库的种类
4.1.2 关系型数据库的定义(作为集合定义的关系
4.2 数据库的分析与设计
4.2.1 数据分析
4.2.2 数据库设计
4.3 数据库的构建与操作
4.3.1 数据库语言
4.3.2 数据定义语句
4.3.3 数据操作语句
练习题
附录
实 践 篇
5 系统开发环境的实现
5.1 CAST语言
5.1.1 CAST模型的实例
5.1.2 CAST的解答与说明
5.2 CAST的获取与设置
5.3 MTASDK的安装与运行
5.3.1 安装VMWare Player
5.3.2 启动VM
5.4 MTASDK的快速入门
5.4.1 MTASDK的启动与结束
5.4.2 MTASDK的动作确认
5.4.3 窗口
5.5 MTASDK的操作
5.5.1 系统开发步骤的概要
5.5.2 运行方法
6 问题求解系统的开发
6.1 问题求解系统的开发方法
6.1.1 问题描述
6.1.2 问题求解的基本思路
6.1.3 问题求解的流程
6.1.4 基于模型理论方法的问题求解系统的结构
6.1.5 用户模型的架构
6.1.6 问题求解系统的开发步骤
6.2 开发示例1:WGC问题
练习题
6.3 开发示例2:水壶问题
练习题
6.4 开发示例3:旅行推销员问题
练习题
7 业务处理系统的开发
7.1 业务处理系统的描述
7.2 业务处理系统的模型
7.2.1 用于业务处理系统开发的模型
7.2.2 用户模型
7.3 业务处理系统的开发方法
7.3.1 业务处理系统的开发步骤
7.3.2 运行形态

7.4 开发示例1:书店赊售管理系统
7.4.1 确定技术规格
7.4.2 用数据流图表示技术规格
7.4.3 确定MactionName和搭建基本架构系统
7.4.4 显示基本架构系统的初始界面
7.4.5 实现各个宏操作
7.4.6 实施整体测试
练习题
7.5 开发示例2:酒类批发店业务管理系统
7.5.1 确定技术规格
7.5.2 用数据流图表示技术规格
7.5.3 确定MactionName和搭建基本架构系统
7.5.4 显示基本架构系统的初始界面
7.5.5 实现各个宏操作
7.5.6 实施整体测试
练习题
附录
8 仿真系统的开发
8.1 价格调整系统的仿真
8.1.1 自动机模型
8.1.2 用户模型
8.1.3 运行结果
练习题
8.2 二体动力学的仿真
8.2.1 自动机模型
8.2.2 用户模型
8.2.3 运行结果
练习题
8.3 建模的基础
附录
索引
內容試閱
[序]
高原教授团队的著作《基于模型理论的信息系统开发基础》中文译著终于出版了,这不禁让我回想起26年前东渡日本,在东京工业大学高原研究室作为访问学者,与高原教授合作开展基于一般系统理论的决策支持系统开发方法项目研究时的情景。高原教授不仅对中国有着深厚的感情,而且熟读中国古典名著,尤其推崇中国的大思想家和教育家孔子。高原教授一生致力于系统理论研究和人才培育,是日本经营情报学会的创始人之一,并曾担任会长,是日本信息系统information system, IS领域具有重要影响的学者。他在系统理论领域取得了丰硕的研究成果,并且培养了一大批出色的从事系统理论研究及信息系统开发的科技人才。本著作正是在高原教授一系列研究成果基础上编写的面向有志于开发信息系统的大学生的教科书。
传统上,信息系统开发大多基于非形式化的软件工程方法,缺乏严谨的操作理论,也没有形成一个正式的准则框架,因此在某种程度上信息系统开发仍然是一门艺术,更多依赖于开发者的经验。长久以来,信息系统开发者致力于寻求消除从系统需求、系统设计到系统开发方面的歧义,以期开发可信的系统,但实际开发出来的系统在运行过程中仍不免存在着许多缺陷。作为一位系统理论研究者,高原教授将信息系统和决策支持系统视为系统理论的研究对象,并用系统理论的方法来实现信息系统和决策支持系统的开发。基于系统理论,高原教授及其团队提出并构建了一套独特的且更具可操作性的智能信息系统开发理论方法基于模型理论方法的形式化开发方法。该方法提供了一套可靠的系统描述,并且能产生可信的系统。它通过提供用户接口用于业务处理系统和目标寻找器用于问题求解系统作为信息系统开发的黑箱组件,并结合自动系统生成,从而促进可靠的系统实现和快速的系统开发。一旦在用户接口中给出了基于计算机可接受集合论的系统描述,就可以在该方法提供的集成平台上生成包含业务处理系统和问题求解系统的可执行智能信息系统。由于系统可以部署在开源软件上,因此采用该方法开发系统既可以实现系统的快速开发,还可以降低开发成本。该方法的另一个独特之处在于它通过允许用户使用基本的集合论而不是计算机语言来执行系统构建,从而简化了最终用户的系统维护。
为了让普通的信息系统开发者能够掌握基于模型理论方法的形式化开发方法,高原教授及其团队于2007年编写了这本作为信息管理专业本科生用的教材,并于2016年进行了修订。本著作从逻辑训练着手,使学生在学习系统理论基础的同时,最终学会采用该方法开发信息系统应用程序。自出版以来,本著作已被日本多所大学采用,取得了良好的教学效果,为日本培养了大量信息系统开发人才。我很乐见本著作引入中国,并相信它将为我国信息系统开发人才的培养作出贡献。
中国工程院院士 陈晓红教授
2020年2月26日

[译者序]
本书原著的第一作者高原教授,毕业于日本排名第一的东京大学,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的直积上的一个子集,也就是说一般系统的模型都可以形式化地表达成SXY。
作为数理一般系统理论的主要奠基人,高原教授认为模型理论的核是泛代数universal algebra和范畴论category theory,一般系统理论只是作为模型理论的一种应用。他坚信管理信息系统既然是一个系统,当然就应该是一般系统理论研究的对象。
在日本,几乎看不到模型理论的教科书。有一次,高原教授来中国访问去逛书店时,发现了《模型论基础》王世强著,科学出版社于1987出版,他感触颇深。他想中国读者众多,如果这类书用中文出版的话,肯定能促进模型理论方法的应用和发展。这就是他要把日文原著翻译成中文出版的初衷。为了实现这个夙愿,2019年深秋,他不顾80多岁高龄,车马劳顿,亲临上海,与上海交通大学出版社商讨翻译出版的有关事宜。
1986年,高原教授在我的陪同下首次访问中国,到西安交通大学和上海交通大学讲学。从那以后,他多次来中国讲学和参加学术会议,与中国同行的学术交流从未间断过,后来还被中南大学聘为特聘教授。他在任教期间招收过许多中国留学生,其中中国工程院院士、湖南工商大学校长陈晓红是他的高徒。因此,我们特邀请陈院士为本书写了序,在此衷心表示感谢!同时,非常感谢为我们出谋献策的中南大学商学院副院长刘咏梅教授,以及帮助整理原著电子版和中文版中的图、表、公式的千叶工业大学高木彻博士和何主翔同学。此外,我们也对为本书的日文翻译给予很多帮助的上海鼎乾人才服务有限公司陈建新总经理,以及在本书出版过程中负责策划、编辑、校对等事务的上海交通大学出版社科技分社的钱方针社长和编辑们致以诚挚的感谢!
上海交通大学电子信息与电气工程学院教授
赵群飞
2020年4月

[修订版序]
本书是2007年出版的《基于模型理论的信息系统开发基础》的修订版。出版本书的目的是希望读者从逻辑训练着手,在学习系统基础理论的同时,应用并展开信息系统的开发。作者认为,信息系统不是软件工程的研究对象,而是系统理论的研究对象。本次发行的修订版仍然坚持了这一立场。
第一版出版8年以来,本书已被用作多个学科的教科书。本书的全体作者在离散数学信息系统建模问题求解方案信息处理概述应用信息处理以及研讨会等本科教学实践中都有显著的成果。在研究生培养过程中也为学生提供了合适的研究课题。然而,伴随着信息技术的进步和社会形势的显著变化,作者也认为有必要针对这些变化在本书的内容方面做出相应的调整。经过讨论后一致决定发行修订版。
与第一版相比,修订版的第一个大的变更是增加了关系型数据库建模的利用和仿真系统的开发这两章内容第4章和第8章以满足教学上的需要。但为了避免篇幅过长,将第一版中相当于操作手册的部分移到了网站上。模型理论方法的本质特征在于通过逻辑和集合定义对象系统的模型,并使用适合描述该模型的CASTcomputer acceptable set theory语言进行编程,提供通过CAST语言直接运行该模型的软件MTASDKmodel theory approachsystem development kit。把详细介绍CAST语言规范语法等的第一版第4章计算机可读表达的全部内容移到了网站上。此外,第一版第7章系统开发环境是对开发环境(MTASDK)的安装说明,在本次修订中,也对其部分内容进行了调整和变更以适应当下的技术发展。新开发环境的获取和设置的相关内容放在修订版的第5章。
修订版的第二个大的变更是为了应对社会形势的变化。在许多大学,双学期制semester早已得到了普及,而且每门课的教学是按每个学期而不是每学年进行一次成绩考核。教科书的篇幅不宜过长,应压缩成能够在一学期之内完成的教学内容,同时也需调低售价。因此,日文的修订版分成了《基于模型理论的信息系统开发基础模型篇》和《基于模型理论的信息系统开发基础实践篇》两册出版。
修订版的第三个大的变更是运行环境的变更。第一版中,各种模型的运行环境都是Unix OS。但是,无论是文科生还是理科生,多数学生的个人计算机都不具备运行Unix OS的环境。针对这一现状,近年来,已经可以使用虚拟机技术在一台个人计算机上同时运行多个操作系统。因此,修订版中,增加了如何通过在Windows OS上运行虚拟机软件,完全实现模型开发和运行的内容第5章。但开发运行环境的基础仍然是Unix OS。在第一版中的Unix OS采用的是Fedora发行版,而修订版中改为多数学生们使用的Ubuntu发行版。不过学生们一般可以不用在意Unix OS的版本。
综上所述,与第一版相比,尽管修订版在内容结构上看起来变化很大,但是以系统理论为根本这一初衷是一贯的,并未发生任何改变。
作者希望可以通过这些调整让书变得更加容易使用,也非常期待能够得到读者的反馈意见。

全体作者
2016年1月吉日

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 (香港)大書城有限公司 All Rights Reserved.