扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
基于模型理论的信息系统开发基础 版权信息
- ISBN：9787313237132
- 条形码：9787313237132 ; 978-7-313-23713-2
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>
基于模型理论的信息系统开发基础 内容简介
本书分模型篇、实践篇共两篇, 主要内容包括: 逻辑思考 ; 集合表述 ; 自动机建模的利用 ; 关系型数据库建模的利用 ; 系统开发环境的实现 ; 问题求解系统的开发 ; 业务处理系统的开发等。
基于模型理论的信息系统开发基础 目录
模 型 篇
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 MTASDK的安装与运行
5.3.1 安装VMWare Player
5.3.2 启动VM
5.4 MTASDK的快速入门
5.4.1 MTASDK的启动与结束
5.4.2 MTASDK的动作确认
5.4.3 窗口
5.5 MTASDK的操作
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 建模的基础
附录
索引
展开全部
基于模型理论的信息系统开发基础 作者简介
高原康彦，东京工业大学名誉教授、日本大学教授。 赵群飞，1982年毕业于西安交通大学，同年考上国派出国留学研究生赴日，1988年毕业于日本东京工业大学，获得理学博士学位。2001年6月回国到上海交大工作，现任电信学院自动化系教授、搏导。主要从事机器人视觉，智能系统控制，人一机器人交互等研究。
书友推荐
- >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.1¥24.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
史学评论
史学评论
¥20.6¥42.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
我与地坛
我与地坛
¥16.8¥28.0 - >
李白与唐代文化
李白与唐代文化
¥11.9¥29.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.3¥10.0
本类畅销
-
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158 -
-
2022读者节纪念徽章-三星会员专属
¥45¥45.6 -
2023读书月阅读盲盒——我什么场面没见过？
¥42.3¥158 -
2023读书月阅读盲盒——去码头整点什么薯条？
¥42.3¥158
