Petri网模型的语用计算机.ppt
《Petri网模型的语用计算机.ppt》由会员分享,可在线阅读,更多相关《Petri网模型的语用计算机.ppt(53页珍藏版)》请在三一办公上搜索。
1、实现Petri网模型的语用计算机,赵维,2005-6-18,赵维创造的语用计算机,计算机到底怎么啦?问题与探索;我对计算机的认识二元计算模型;现阶段的研究与开发 语用计算机;未来工作的注意要点;我的拓展研究工作。,计算机问题的起源,自40年代计算机问世以来,如何编制符合要求的程序一直是人们追求的目标。软件主要是手工活动,软件开发远远落后于硬件发展,远远满足不了社会的需求,这就是叫“软件危机”的计算机问题。,软件危机无“银弹”,1968年NATO软件工程会议,提出软件工程概念,软件工程只是缓解了软件危机。计算机科学家Frederick Phillips Brooks,Jr(1999年近70高龄时
2、获得了图灵奖。)在没有银弹(1986)一文中提出了一个迄今为止尚未被打破的著名论断:“没有一种单纯的技术或管理上的进步,能够独立地承诺在10年内大幅度地提高软件的生产率、可靠性和简洁性”。,软件工程过程,软件工程过程(续),软件工程过程(续),构件A,构件B,构件C,构件D,构件E,应用2,应用3,应用1,应用的演化,应用工程与软件构件的“网格”模型表明构件与应用的分离是解决软件问题的必然出路。,软件构件的发展,曾一度被乐观派认为是“银弹”,90年代兴起的软件构件技术(黄柳青);2000年的.Net的元数据概念(陈榕);2004年的WSRF.net(微软);,微软的WSRF.Net已经被lon
3、ghorn取代,并正过渡到Blackcomb。我认为这个blackcomb正是我所研究并实现的语用计算机。,微软的WSRF.Net是“银弹”?,我归纳的计算机问题,当前ERP已经成为了企业信息化的“怪兽”。“软件构件的高构造性与应用工程的快演化性之间的矛盾”是我们目前所面临的主要计算机问题。WSRF.net 实现了“高构造性”,但忽略了“快演化性”,因而没有解决计算机问题。,赵维创造的语用计算机,计算机到底怎么啦?问题与探索;我对计算机的认识二元计算模型;现阶段的研究与开发 语用计算机;未来工作的注意要点;我的拓展研究工作。,二元计算机模型,一般计算机系统模型均由两类元素构成:表示状态的元素和
4、表示变化的元素。如程序设计语言用变量表示状态,用语句,特别是赋值语句,表示变化。如何把两类元素联系起来构成完整的系统,不同的模型采用不同的方法。硬件计算机用控制流把机器指令(变化元素)串成全序,而内存单元(状态元素)是指令的组成部分。程序设计语言中变量(状态元素)是独立存在并且单独改变的,程序语言用控制流把语句(变化元素)串在一起,变量则各自出现在语句当中。硬件系统的状态元素“同体”(包含)于变化元素,软件系统的状态元素“分体”但从属于变化元素。Petri网的状态元素“分体”于变化元素,且地位平等。,二元计算机模型,我认为二元计算机的发展历程,我提出计算机问题的解决办法,分离“软件技术构件实现
5、”与“应用逻辑工程描述”;实现描述计算。,赵维创造的语用计算机,计算机到底怎么啦?问题与探索;我对计算机的认识二元计算模型;现阶段的研究与开发 语用计算机;未来工作的注意要点;我的拓展研究工作。,网格计算之上存在Petri网模型,Petri网:N=(S,T;F)S_元由低层的状态资源支撑;T_元由低层的无状态的Web Service支撑;F是S_元与T_元之间的流关系;通过定义流关系F来实现系统应用逻辑。,遵循Petri网原理的网格计算方法,申请专利号:20051004012.8;利用特殊网论(special net theory);直接基于WSRF.net的元数据概念层之上,解决网格计算的共
6、享与协作问题;这些用网模型表示的应用逻辑也应当能够实现共享与协作;为此作者设计了语用计算机来实现具体网模型的共享与协作。,语用计算机的理论基础,运用通用网论(general net theory)的“并发关系”、“出现结构”、“C/E系统”和信息流网的四级抽象理论与技术的网结构;对应于语用计算机的“造字”、“组词”、“造句”和“谋篇”四级抽象技术与过程的语用单位。所谓抽象就是“虚拟化”技术,使得与被抽象概念对应的概念或其具体实现,可以因时因地而各不相同。,语用计算机的图例,语用计算机的基础封装与抽象,封装技术:使得计算(存储)力全网可访问;抽象技术:用元数据(metadata)概念实现把计算力
7、从低层的软件世界里提取出来,支撑用Petri网描述的语用世界。一切经过“封装和抽象”处理的(软件)计算力和存储力都可以成为语用计算机的基础。,语用计算机的Petri网计算模型,Petri网:N=(S,T;F)S_元由低层的状态资源支撑;T_元由低层的无状态的Web Service支撑;F是S_元与T_元之间的流关系;语用计算机正是通过定义流关系F来实现系统功能的。,Petri网模型解析出语用语言,语用语言是Petri网的(反)串行化表达,因此相互等价。语用语言与Petri网模型的相互转化由符合Petri网原理的通用网论的语用语法规则所定义。语用语法规则恰就是汉语语法规则,因此语用语言是汉语言(
8、的子集)。因此Petri网表达了汉语言的一个(语用真)子集,从而为人类自然语言建立了数学模型。因此语用计算机实现了汉语的理解与表达。,语用计算机彻底解决了软件问题,应用逻辑由语用计算机的语用语言描述、Petri网模型实现,应用是描述计算系统。并发的软件构件属于(下层的)软件计算层,与处于(上层的)描述计算层的应用逻辑无关,独立存在。语用计算机支持应用逻辑的快速演化,彻底解决了软件(不能满足ERP等大型应用的快速演化需求等)问题。,语用计算机的分解,语用计算机的构成,语用网,是基于P2P网络的DHT技术,是我专门设计的实现语用单位集合(作为全局字词句典来)共享的一个专利技术,是语用计算机的运行环
9、境。执行机构,是Petri网系统容器,存放所有语用应用系统的Petri网模型(当分布式执行时,这个容器、即该执行机构可以不存在);解析器,实现Petri网模型的(反)串行化,即实现汉语言与网模型的相互转换。,语用单位,语用单位是语用计算机的基本元素,就如同对象中的类,但对象系统中还有程序语言,而语用计算机中就只有语用单位。一切都抽象为一个语用单位,包括由元数据直接抽象而来的原子语用单位和由原子语用构造的词、词组和语句等复合语用单位。语用单位的存在环境叫语用网。,语用计算机的理解难点,经与任浩等专家的交流所得,我认为人们不理解语用计算机,主要是因为:1、计算机的概念从程序范畴拓展到描述范畴,即从
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- Petri 模型 用计

链接地址:https://www.31ppt.com/p-6514334.html