收藏本站
《江西师范大学》 2003年
收藏 | 手机打开
二维码
手机客户端打开本文

面向事实程序设计的构思

宁爱兵  
【摘要】: 为了使对象能够更好地自动适应环境的变化,更好地处理和描述面向对象系统中对象与对象之间的关系,更好地组织和管理面向对象系统中的各种对象,并使程序设计更加符合客观世界的本来面貌,本文把奥地利语言哲学家路德维格·维特根斯坦(Ludwig Wittgenstein)在《逻辑哲学论》(Tractatus Logico-Philosophicus,注:拉丁文)和《哲学研究》(Philosophical Investigations)中关于世界和语言逻辑结构的哲学论述应用到程序设计中,并结合现实世界中对象能自动适应环境(事实或场景)变化的特性(即对象在不同的环境中会表现出不同的属性和行为,有一部分属性和行为只有在某些特定的事实中才会表现出来,而有一部分属性和行为在某些特定的事实中一定不会表现出来),提出了一种新的程序设计语言——面向事实程序设计(Fact-oriented programming——FOP)。 本文首先对面向对象程序设计技术和它的缺点进行了简要的分析,并扼要地介绍了维特根斯坦关于世界和语言逻辑结构的哲学论述,分析了同一对象会在不同的事实中表现出不同的属性和行为的特点;提出了一种以面向对象程序设计为基础的、以对象为中心的面向事实程序设计思想。与面向对象程序设计相比,它使对象更能自动适应环境的变化,抽象程度也更高,更便于处理对象间关系和组织对象参与各种事件,也加强了对象的封装和多态性。最后分析了面向事实程序设计的原则、特点、结构、功能、抽象模型形式分析,同时以具体的面向事实的实例进行了阐述。
【学位授予单位】:江西师范大学
【学位级别】:硕士
【学位授予年份】:2003
【分类号】:TP311.1

【参考文献】
中国期刊全文数据库 前9条
1 徐瑞鑫,朱成禹;软件工程新途径——面向对象方法学[J];光学精密工程;2000年06期
2 瞿裕忠;王志坚;徐家福;;面向对象程序设计语言的形式语义研究[J];计算机科学;1995年02期
3 梁军;何建邦;;统一对象模型——对GIS融入IT的认识[J];计算机科学;2003年02期
4 黄涛,钱军,倪彬;Trace演算[J];软件学报;1999年08期
5 黄涛,钱军,周桓;对象演算Ⅰ[J];软件学报;1999年09期
6 黄涛,钱军,王栩;对象演算Ⅱ[J];软件学报;1999年09期
7 蒋慧,谢希仁,林东;UML状态机的形式语义[J];软件学报;2002年12期
8 薛锦云,吴云峰,万剑怡;迭代算子及其在可重用软件研究中的应用[J];软件学报;1997年02期
9 彭路,胡越明;一个基于内涵逻辑的智能语义解释系统[J];小型微型计算机系统;2001年02期
【共引文献】
中国期刊全文数据库 前10条
1 于海涛;Rough集理论在数据约简中的应用[J];安徽教育学院学报;2004年03期
2 尹学锋;;红外线遥控密码锁的研究[J];安防科技;2008年03期
3 陈胜军;;软件测试方法的研究[J];安徽电子信息职业技术学院学报;2006年01期
4 朱旭东;软件过程与CMM[J];安徽大学学报(自然科学版);2003年02期
5 程家兴,陈万里,宋杰;相容关系与相容核[J];安徽大学学报(自然科学版);2004年04期
6 程家兴,钱付兰;粗糙集方法在基于属性分类中的应用[J];安徽大学学报(自然科学版);2005年01期
7 孟庆全;徐文龙;;粗糙集合在中医诊断中的应用研究[J];安徽大学学报(自然科学版);2006年04期
8 孙荣高,王忠群;基于数据字典的软件预防性维护设计[J];安徽机电学院学报;2000年03期
9 梅灿华;孟庆全;祁炯;李明;;分辨矩阵构成与约简同步的方法[J];安徽工程科技学院学报(自然科学版);2008年02期
10 李建洋;倪志伟;刘慧婷;;粗糙集在CBR中的应用研究[J];安徽建筑工业学院学报(自然科学版);2006年01期
中国重要会议论文全文数据库 前10条
1 李萍;薛克敏;刘小旦;;人工智能技术在汽车覆盖件成形过程的应用[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
2 吕思颖;刘载文;王小艺;崔莉凤;;基于Elman神经网络的水华短期预测模型[A];第二十七届中国控制会议论文集[C];2008年
3 龚锦红;杨辉;衷路生;;稀土萃取分离过程的Rough集案例推理方法[A];第二十九届中国控制会议论文集[C];2010年
4 万凝思;;基于Java2D API的空间信息可视化[A];中国测绘学会九届三次理事会暨2007年“信息化测绘论坛”学术年会论文集[C];2007年
5 梅杰;于明俭;刘宝旭;郑鹏;许榕生;;Internet信息安全系统的组合模型[A];信息科学与微电子技术:中国科协第三届青年学术年会论文集[C];1998年
6 曲阳;徐林;王建辉;顾树生;;基于信息博弈的多源信息融合方法[A];2005年全国自动化新技术学术交流会论文集[C];2005年
7 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
8 李华;;信息处理系统软件可靠性设计的研究[A];第十一届全国可靠性物理学术讨论会论文集[C];2005年
9 冯天平;;摩托发动机柔性生产管理信息系统的开发[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年
10 苏蓬;苑津莎;李中;吴建锋;;信息熵约简算法在变压器故障诊断中的应用[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 殷志伟;基于统计学习理论的分类方法研究[D];哈尔滨工程大学;2009年
2 任家福;服务商选择与备件备品库存管理研究[D];电子科技大学;2010年
3 张爱珍;模糊语义研究[D];福建师范大学;2010年
4 晁冰;基于支持向量机的软件可靠性模型分类及失效分析[D];武汉大学;2010年
5 李新旺;中小尺度耕地生产力稳定性评价体系研究[D];河北农业大学;2011年
6 杨俊;村镇住宅建设经济系统评价方法研究[D];华中科技大学;2011年
7 于哲夫;一种新的特征选择方法及其在路面使用性能分析中的应用[D];大连海事大学;2011年
8 唐玉斌;自我与他人心灵的逻辑哲学探究[D];西南大学;2011年
9 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
10 代飞;基于EPMM的软件演化过程模型验证[D];云南大学;2011年
中国硕士学位论文全文数据库 前10条
1 韩冬振;远程诊断中心的设计与实现[D];郑州大学;2010年
2 王国宾;面向对象的公路空间数据库系统研究[D];郑州大学;2010年
3 赵振;航天复合材料工艺数据库构建及典型工艺研究[D];大连理工大学;2010年
4 王辉;三维模型网络快速传输及版本管理研究[D];大连理工大学;2010年
5 刘莹;不一致决策表的属性约简与规则获取研究[D];大连理工大学;2010年
6 赵宝龙;七台河精煤集团信息化建设及评价研究[D];辽宁工程技术大学;2009年
7 洪杉;基于遗传蚁群算法的属性约简研究[D];长沙理工大学;2010年
8 唐静;港口企业工作流自定义平台的设计与实现[D];大连海事大学;2010年
9 安建昌;集装箱码头基本业务操作系统的设计与实现[D];大连海事大学;2010年
10 王玉芳;计算机设备跟踪服务管理系统[D];大连海事大学;2010年
【二级参考文献】
中国期刊全文数据库 前3条
1 冯玉琳,李京,黄涛;对象语义理论和行为约束推理[J];计算机学报;1993年11期
2 黄涛,钱军,倪彬;Trace演算[J];软件学报;1999年08期
3 黄涛,冯玉琳,倪彬,李京;对象描述语言及其指称描述[J];软件学报;1996年10期
【相似文献】
中国期刊全文数据库 前10条
1 陈一明;软件危机现象与面向对象方法分析[J];湖北民族学院学报(自然科学版);2001年02期
2 张为;实用的快速建模方法的研究——面向事实建模[J];广州大学学报(自然科学版);2005年03期
3 胡家宝,陈红艳;基于面向对象的开发若干基本概念的研究[J];计算机工程与应用;1997年05期
4 李秉智,李毅,黄澄宇;面向对象设计在计算机网络中的应用[J];重庆邮电学院学报(自然科学版);1997年04期
5 邬家炜,宋万寿,王小铭;面向对象的工业产品外观设计工程数据库管理系统的总体设计[J];华南师范大学学报(自然科学版);1997年02期
6 周继雄;面向对象的数据库管理系统 IRIS[J];交通与计算机;1997年04期
7 李斌;面向对象分布式数据库的管理[J];管理科学文摘;1998年03期
8 杨则正;面向对象的展览:Java语言与面向对象技术的结合[J];管理科学文摘;1998年08期
9 陈晓红,徐兵,曹砚;基于面向对象思想的MIS开发方法研究[J];计算技术与自动化;1998年03期
10 赵颖,沈金龙;CORBA分布式系统的面向对象分析[J];通信世界;1998年10期
中国重要会议论文全文数据库 前10条
1 罗文新;何敢想;毛维伦;许腊英;罗锎;;面向对象的中医理论体系[A];中医药学术发展大会论文集[C];2005年
2 杨卫东;施于宏;葛亮;施伯乐;;面向对象的Web应用建模[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
3 王晓红;李玉刚;项曙光;韩方煜;;面向对象的乙烯裂解工段动态模型[A];过程系统工程2001年会论文集[C];2001年
4 柳诚飞;居德华;;面向对象的数据库在CASE环境中的应用[A];第九届全国数据库学术会议论文集(上)[C];1990年
5 王传国;董逸生;;一种面向对象的关系数据库辅助设计工具[A];第十届全国数据库学术会议论文集[C];1992年
6 项阳;尹长华;陈丙森;;面向对象的弧焊工艺专家系统及其网络化[A];第十次全国焊接会议论文集(第2册)[C];2001年
7 邹万红;尚守平;刘兴彦;;面向对象的高层建筑钢结构CAD系统研究[A];计算机技术在工程建设中的应用——第十一届全国工程建设计算机应用学术会议论文集[C];2002年
8 丁国良;张春路;刘建;魏文建;Masae Nakayama;Masaharu Fukaya;Gaiken OH;Takefumi Inagaki;;面向对象的整体式翅片管换热器快速仿真软件开发[A];上海市制冷学会二○○三年学术年会论文集[C];2003年
9 饶上荣;李士才;;基于对象模型的规则组合表格模板设计[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
10 刘付娥;葛宁;;在面向对象的SoC设计中应用设计模式[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
中国重要报纸全文数据库 前10条
1 黄晴;幸福之辨析[N];人民日报;2011年
2 ;谨防由政府替代公民实现幸福[N];南方日报;2011年
3 崔林 吴鹤龄;2001年图灵奖“面向对象”[N];计算机世界;2002年
4 旷;《基于项目的软件工程:面向对象研究方法》[N];中国图书商报;2002年
5 本报记者 王政;买软件还是自己开发[N];人民日报;2001年
6 张磊;从语言逻辑视角看实践辩证法[N];吉林日报;2009年
7 秦志华;从顾客出发确定管理目标[N];中国乡镇企业报;2003年
8 ;产品数据管理(PDM)简述[N];中国船舶报;2003年
9 刘毅;科学发展观的语言逻辑[N];解放军报;2009年
10 浙江大学能源工程学系副主任 教授 博士生导师 邱利民;移动通信基站空调应采用面向对象的冷却方法[N];人民邮电;2010年
中国博士学位论文全文数据库 前10条
1 潘文林;面向事实的两层本体建模方法研究[D];哈尔滨工程大学;2011年
2 李平;面向对象遗传算法及其在铁路行车指挥中的应用[D];铁道部科学研究院;2001年
3 蔡永昌;流形方法的理论与应用研究[D];重庆大学;2001年
4 田波;面向对象的滩涂湿地遥感与GIS应用研究[D];华东师范大学;2008年
5 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
6 杜相文;面向对象的彩色视频四维矩阵DCT编码[D];吉林大学;2005年
7 张家安;市场条件下多区域电力系统分布式暂态稳定仿真[D];天津大学;2004年
8 马海民;基于面向对象的高速铁路网络资源时空GIS研究[D];兰州交通大学;2009年
9 张保钢;时空数据模型在城市测绘数据库中的应用[D];中国地质大学(北京);2005年
10 何浩;面向柔性生产线的并行设计软工具研究[D];天津大学;1999年
中国硕士学位论文全文数据库 前10条
1 宁爱兵;面向事实程序设计的构思[D];江西师范大学;2003年
2 陈军;“面向事实本身”出发的大学生思想政治教育研究[D];兰州大学;2012年
3 奚檀圣;奥卡姆指代理论及其在现代语言逻辑中的延伸[D];浙江大学;2010年
4 陈昊;面向对象的盾构机刀盘有限元模型自动生成与分析系统[D];天津大学;2010年
5 殷广富;光碟连锁租凭系统的设计与实现[D];电子科技大学;2009年
6 刘毓;基于GIS的面向对象大气环境信息系统[D];西北工业大学;2001年
7 安建伟;基于UML的软件系统建模研究[D];西南交通大学;2002年
8 甘强;面向对象计算机辅助板式家具设计系统的研究与实现[D];重庆大学;2002年
9 李莉;DK-1型电空制动机的建模与仿真[D];西南交通大学;2003年
10 钱江;面向对象系统分析和设计在构建企业MIS中的应用研究[D];浙江大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026