详情请参见http://blog.donews.com/ygzw/
这一讲，将对人类有史以来的计算问题做一总结。参见“什么是计算机--图灵计算与Petri计算的关系”（http://blog.donews.com/ygzw/archive/2006/04/11/822800.aspx）。
以前讲过，人类的所有计算模型都包括、并可以分解为4个要素--（I，O，P，D），其中：
1）I是输入--参数、变量、消息，2）O是输出--参数、变量、消息，3）P是程序--行为、加工、变迁，4）D是数据--状态、存储、库所。其中I、O是程序P的输入/输出。
所有能够抽象为（I，O，P，D）4个部分，并且保证每一部分都可以具体实现的问题，就是人类目前可以计算的、或者可以用计算机来求解的。
那么，我们是如何抽象计算模型，又是如何实现计算的呢？
如下图所示，图灵机是（I，O；P，D），实现图灵机模型的软件工程的成果是实现算法的软件系统。Petri网是（P，D；I，O），实现Petri网模型的知识工程的成果就是基于语用单元典的语用（计算）文章。软件模块、（典里的）语用单元和知识文章都是语用网支持的、由所谓“计算专家”们创造的被全人类共享的社会财富。
由于语用网项目的第一个系统是用 sun 公司的 Jxta 项目创建的，或者说目前的语用网系统是基于 sun-Jxta 的 p2p 网络计算平台之上的，因此用了 Jxta 的模块（module）的抽象概念（JXTA modules are an abstraction used to represent any piece of "code" used to implement a behavior in the JXTA world.）。
模块是 p2p 网络中可以“按名查寻”所得到的一切软件资源的抽象，大体上相当于OOP里的对象概念，也是一个“万金油”。
软件模块被抽象成为语用单元典里的原子语用单元，是Petri网计算系统里的最小单位。这个模块概念正是实现图灵机模型与Petri网模型转换的“枢纽”，如同“（程序和数据）寄存器”是硬件计算系统支持软件计算模型的“枢纽”作用一样。
总结前面已经讲过的：提出问题、设计模型、模型求解、计算实现，是所有计算问题的通解步骤。
在这里，有人一定会质疑：我仅仅把计算模型抽象为图灵机和Petri网两个，难道百多年来那么多的其他复杂计算模型就一点价值都没有吗？这里有一个天大的误会。
模型只是理想，是从现实中提取而来的“纯粹美”，并不代表现实世界不能够五彩缤纷。相反，理论正是从纷繁多样的现实社会里抽象出来的简单又易于理解的已知模型。用已知和简单来模拟、仿真、刻画、解决未知和复杂，正是人类实践的惯用伎俩！
所以，正是那些有效的复杂模型与这里的两个“最简单”的相互杂交，而创造出来许多具体计算系统，如软件模块、语用单元，和知识文章的，从而模拟和重构人类的已知世界。
人类选择图灵机和Petri网来作为基础计算模型首先实现，不是因为别的什么特别，正是因为它俩最简单、最容易理解、也最容易实现，罢了。
现象总是复杂的，本质总是简单的；没有简单的现象，也没有复杂的本质。
从复杂的现象里抽取出简单的本质，正是图灵和Petri能够成为伟人和计算象征的与众不同之处。不象当今的那些所谓的“大权威”、“大教授”们，一个个赛着把简单的问题搞成为复杂得不能被理解，如网格计算，似乎不如此不能够体现出他们的“大身份”、“大水平”来一样。
[返回] W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 云计算，网格，SaaS，P2P 』 → 可计算实现的问题空间
(订阅本版)
2006/5/2 16:29:00
新浪微博
可计算实现的问题空间
