版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
软件的理解?首要问题是,软件是什么?从计算的角度来理解软件软件=程序+文档(百科全书)软件的理解?
什么是程序?
算法+数据结构
什么是算法?软件的理解?什么是算法?算法是一组有穷的规则,这些规则给出了求解特定类型问题的运算序列。它具有五个特征:
输入、输出
确定性、能行性、有限性
算法的执行者?软件的理解?什么是软件?
什么是程序?(文档)
什么是算法?(数据结构)
算法的执行者?如何定义公认的计算装置?
装置本身+其上语言?软件的理解?例子程序:f(x)=2|xX与f(x)的值以二进制表示在开始时,磁带上只有一连续的方格串上放入相应于x的二进制值,其余方格均为空机器从状态q1开始,磁头扫描在x最左位所在的方格上停机时,f(x)的值就是磁带上非空方格所组成的二进制串0:写、移动和状态转换当前状态动作
q10,R,q1q20,R,q2q30,R,q3q40,L,q4q51,L,q5q60,L,q6q7B,L,q7公认的计算装置:图灵机软件的理解?图灵机回答了软件基本问题软件核心是什么?
算法的精确含义理论能力有多大?
可计算性理论等基本的组成结构?
软件=程序+文档软件的理解?其次的问题是:内涵是什么?从内容的角度来理解软件软件=知识+使用
软件的理解?GAP程序+文档
问题求解
GAP填补面临三方面挑战
“结果”复杂性+“过程”可控性
“平台”可用性软件的理解?“结果”:计算复杂性+算法/数据结构
程序的本质内涵MICHAELO.RABINUnitedStates–1976DANASTEWARTSCOTTUnitedStates–1976STEPHENACOOKCanada–1982RICHARD("DICK")MANNINGKARPUnitedStates–1985JOHNEHOPCROFTUnitedStates–1986MANUELBLUMUnitedStates–1995JURISHARTMANISUnitedStates–1993ROBERT(BOB)ENDRETARJANUnitedStates–1986ANDREWCHI-CHIHYAOChina–2000LESLIEGVALIANTUnitedStates–2010DONALD("DON")ERVINKNUTHUnitedStates–1974软件的理解?“过程”:形式化方法+语言与程序设计
软件方法学EDSGERWYBEDIJKSTRANetherlands–1972JOHNBACKUSUnitedStates–1977ROBERT(BOB)WFLOYDUnitedStates–1978KENNETHE.("KEN")IVERSONUnitedStates–1979C.ANTONY("TONY")R.HOAREUnitedKingdom–1980NIKLAUSE.WIRTHSwitzerland–1984ARTHURJOHNROBINGORELL("ROBIN")MILNERUnitedKingdom–1991AMIRPNUELIUnitedStates–1996软件的理解?“过程”:形式化方法+语言与程序设计
软件方法学KRISTENNYGAARDNorway–2001ALANKAYUnitedStates–2003PETERNAURDenmark–2005EDMUNDMELSONCLARKEUnitedStates–2007E.ALLENEMERSONUnitedStates–2007BARBARALISKOVUnitedStates–2008LESLIEGVALIANTUnitedStates–2010
软件的理解?“平台”:编译+操作系统+数据库
系统软件CHARLESWILLIAMBACHMANUnitedStates–1973EDGARF.("TED")CODDUnitedStates–1981KENNETHLANETHOMPSONUnitedStates–1983JAMES("JIM")NICHOLASGRAYUnitedStates–1998FREDERICK("FRED")BROOKSUnitedStates–1999软件的理解?“平台”:计算机+数值计算
硬件平台软件的理解?使用层面Gap跨越的可行性
可以直接用知识编程吗?软件的理解?知识编程的探索:途径1:Prolog程序=固化推理+知识编程
知识编程机制+推理机制途径2:信息Web=海量的网页+搜索引擎
开放容歧结构+搜索机制途径3:语义Web=带结构的网页+Agent
可用知识表示+协同合作软件的理解?新的研究方向:知件与知件工程RuqianLu,Fromhardwaretosoftwaretoknowware:IT’sthirdliberation?IEEEIntelligentSystems,2005.RuqianLu,Knowware,thethirdstarafterHardwareandSoftware,Polimetrica软件的理解?
使用层面Gap跨越的可行性
问题求解框架下AI与SE融合软件的理解?第三个问题:目的是什么?从使用角度来理解软件软件=服务+需求软件的理解?从使用的角度看主要背景
资源丰富+手段多样软件目的
满足需求凸显环节服务形态软件的理解?软件的基础问题探索需求与服务的匹配?直接满足/间接转换服务的好不好问题?软件可信性研究软件的理解?什么样?软件=程序+文档
平台空间含什么?软件=知识+使用
认知空间做什么?软件=服务+需求
问题空间软件的理解?三个空间构成软件理解的基本要素:待解
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 《物流运输管理》 课件 模块八 单元一 认识物流运输信息技术
- 深度解析(2026)《GBT 33506-2017冷轧机组主传动鼓形齿式联轴器》(2026年)深度解析
- 深度解析(2026)《GBT 33394-2016儿童房装饰用水性木器涂料》
- 网络安全渗透测试与防护 课件2.Vmware 虚拟机接入网络的三种模式
- 医疗数据安全治理:区块链技术的实践案例分析
- 医疗数据安全标准与区块链技术融合实践
- 医疗数据安全攻防演练的风险控制策略
- 胸痛患者的沟通课件
- 医疗数据安全国际标准接轨策略
- 医疗数据安全区块链联盟的治理与运营实践
- 加油站合伙合同协议书范本
- 细胞治疗课件
- 人教版八年级下册数学期末试卷测试卷(含答案解析)
- 玉米质押合同范本
- 材料科学基础辅导与习题-上交课件 材料科学基础教程及习题 上海交通大学
- 「梦回唐宋」-边塞诗(可编辑版)
- GB/T 25390-2010风力发电机组球墨铸铁件
- GA 858-2010银行业务库安全防范的要求
- 湖南省城乡规划设计暂行收费标准(行业指导价)
- 仔猪腹泻综合防治(多图详解)课件
- 公司用车记录表
评论
0/150
提交评论