건축학 분야에 건축과학, 공업, 토목 공학 기술, 건축 실체가 있는 것처럼, 계산 분야에도 시스템 이론, 건축 및 시스템 공학 기술 및 기술 응용이 있다 (그림 참조). 모든 컴퓨팅 시스템 모델에는 입력 (I), 출력 (o), 처리기 (p) 및 저장된 상태 데이터 (d) 가 포함됩니다. 튜링 머신은 먼저 응용 프로그램 요구 사항, 즉 입력과 출력을 정의한 후 프로그램과 데이터의 알고리즘 구현을 연구하는 것입니다. 즉 튜링 머신 =(I, O; P, d); 페트리 네트는 프로그램과 데이터가 먼저 알려진 경우 입력과 출력으로 구성된 네트워크 시스템, 즉 페트리 네트 =(P, D; 나, O). 모델 정의에 따르면 튜링기와 페트리 네트는 정확히 이중적이다. 실용적인 네트워크 시스템은 소프트웨어의 협조로 인간 사회의 실천 과정을 시뮬레이션하기 때문에 나는' 가상 사회' 라고 부른다.
1939 년, 튜링 기계 모델이 등장했고, 1946 년, 폰 노이만은 튜링 컴퓨팅을 지원하는 기계 시스템을 설계하여 컴퓨터 하드웨어 및 소프트웨어 산업을 열었습니다. 1962 는 로봇 시스템과의 통신을 연구하면서 페트리 네트 이론을 제시하고 향후 수십 년 동안 성숙했다. 1990 년대 내내 Petri 네트워크의 연구와 응용은 주로 전문가 Alast 가 이끄는 워크플로우 분야에 집중되었다.
실제로 업계 리더인 IBM 과 Microsoft 는 워크플로우의 중요성을 오랫동안 인식하고 있으며, BPEL4WS, 웹 서비스 비즈니스 프로세스 실행 언어 (SOA 기반 비즈니스 프로세스 실행 언어) 를 공동으로 출시했습니다. Microsoft 의 최신 운영 체제인 Windows vista 는 이를 지원할 뿐만 아니라 향후 모든 어플리케이션 시스템이 워크플로우를 기반으로 할 것이라고 밝혔습니다. 이에 따라 Petri 네트워크 이론은 네트워크 컴퓨팅 분야, 특히 SOA 기반 비즈니스 프로세스 분야의 연구 핫스팟이 되고 있습니다.
계산은 인간 의식의 독립 존재 (계산 분야는' 존재' 본체론이라고 함) 로 물리적 메커니즘을 통해 이루어진다. 의식은 자연어의 기호 시스템으로 표현되기 때문에 계산공학은 계산어로 표현되고 계산언어는 자연언어의 이론화이다. 현대 기호 문법은 자연 기호 시스템이 구문, 의미, 어용의 세 가지 측면을 포함하고 있으며, 의미는 주관적인 논리를 표현하고, 어용은 객관적인 진실을 표현한다고 생각한다. 인공지능 분야의 의미학 이론은 고전 문법의 범주에 속하며, 안에는 어용학의 개념이 없다.
소프트웨어 엔지니어링에서 프로그래밍은 제한된 수의 언어 키워드로 구성되며, 키워드는 프로그램 문으로, 문은 프로그램 조각으로, 조각은 소프트웨어 모듈로 배열되어 있습니다. 이는 영어 26 자, 글자는 단어로, 단어는 문장으로, 문장은 성문으로 배열되어 있습니다. 이것은 서구 공학 수학이 발달하고 소프트웨어 업계 프로그래밍 기술이 우리보다 낫다는 것을 암시합니까?
일반적인 페트리 네트 이론에 따르면 가상 사회 계산 이론에 따르면, 나는 실용적인 언어를 설계했다. 어용언어는 중국어 "어구" 의 문법구조와 비슷하다. 즉, 사전정의의 광의무한 (실제유한함) 어용 "어", "조어 성어", "조어 조어", "조어 조어", "페트리" 를 어용단위라고 부른다. 그 중에서도 어용어는 소프트웨어 모듈에서 추상화되는데, 이를 원자 어용단위라고 한다. 어휘는 소프트웨어 모듈에 연결된 메시지에서 추상화됩니다 (message, 현대 동시 운영 체제는 메시지 스케줄링 소프트웨어 모듈에 따라 실행되며, 다른 것은 아니며, 일부 모듈은 식별되거나 불확실한 데이터 파일에 액세스할 수 있음). 문구는 메시지를 통해 서로 연결되어 기본적인 페트리 네트 시스템을 형성하는 독립적인 기능을 가진 소프트웨어 모듈의 조합을 추상화합니다.
모든 컴퓨터 응용 프로그램은 실용적인 단위 코드를 기반으로 실용적인 문장, 실용적인 네트워크 시스템에 의해 BPEL 실행 언어로 "컴파일" 된 다음 운영 체제 메시지 스케줄링 소프트웨어 모듈의 동시 실행으로 변환됩니다. 유틸리티 컴퓨팅은 소프트웨어 컴퓨팅보다 더 추상적이고 고급 컴퓨팅 시스템의 또 다른 계층입니다. 이것은 중국어가 확실히 영어보다 더 추상적이고 고급스러운 내적 원인을 암시합니까?
어용 네트워크는 인간 사회를 모방하고 디지털 공간에' 가상 사회' 를 건립한다. 그것의 기술 기초는 Jxta 프로젝트와 같은 현재 뜨거운 P2P 네트워크 기술이다. P2P 네트워크란 컴퓨팅 기술에서 포인트 투 포인트 시스템으로 이해할 수 있고, 시스템 구조에서 사람을 대하는 인간 사회를 이해할 수 있다. 컴퓨터는 알고리즘 간의 메시지 흐름을 이용하여 실제 사회 행동을 시뮬레이션하는데, 대략 세 가지 추상적인 기능 모듈이 있다.
1, 원자 모듈, 인터페이스 설명에서 여러 함수의 정의 위치는 하나의 프로그램 DLL 에서 인간의 사회적 기능을 시뮬레이션합니다. 원자 모듈은 가장 작은 기능 모듈이다.
2. 로컬 모듈. 인터페이스 설명의 몇 가지 함수 정의는 로컬 시스템의 여러 프로그램 dll 에 분산되어 현실 세계의 한 사회 기능인을 시뮬레이션합니다.
3. 네트워크 모듈, 인터페이스 설명의 여러 함수 정의가 네트워크의 서로 다른 시스템에 분산되어 있는 여러 프로그램 dll 에서 현실 세계의 한 사회 조직, 즉 유명한 그리드계의 Ian Foster 가 가상 조직이라고 부르는 것을 시뮬레이션했습니다. 이 시점에서 메시지는 네트워크 장치를 통해 인터넷의 다른 컴퓨터로 전송됩니다.
특히 이러한 모듈은 가상 사회에서 서비스 및 컴퓨팅 서비스라고 합니다. 이 모듈들은 모두 페트리 네트 시스템으로 표현되는데, 이 작은 네트워크 시스템은 가상 사회 전체가 될 때까지 더 큰 네트워크 시스템을 형성합니다.
어용네트워크에서 각 컴퓨팅 디바이스에는 지원할 수 있는 소프트웨어 모듈과 협력 메시지를 기록한 어용단위 사전이 있어 이해할 수 있는 어용범위를 보여 줍니다. 어용 단위 사전이 있는 계산 시스템을 어용 장치라고 합니다. 어용 네트워크의 모든 컴퓨팅 시스템은 어용 장치이다.
어용 단위 코드의 역할은 중국어 단어 코드와 마찬가지로 어용 기호 문장 읽기의 이해 도구이며 가상 사회에서 가장 기본적이고 중요한 요소 중 하나이다. 나는 실용적인 단위 코드를 관리하고 실행하기 위해' 맹점' 이라는 조직을 특별히 설계했다. 맹점은 중국어 사전의 편찬 기관과 맞먹는 것으로, 어용계산에서 법정 표준화 기구이다.
앞서 언급했듯이 어용 네트워크 시스템의 기술적 기반은 웹1.0, SOA, P2P, 웹 2.0 및 native-XML 데이터베이스 구현의 어용 단위 코드입니다. 성숙하거나 성숙한 컴퓨팅 시스템 엔지니어링 기술입니다.
어용 설계는 어용 단위 코드를 기반으로 어용 문장, 소프트웨어공학보다 더 고급스럽고 추상적인 시스템 기술로 지식공학이라고 합니다. 홈페이지는 사람들에게 보여 주고, 실용주의 문장 는 컴퓨터에 보여 주는 홈페이지다.
어용 네트워크에서 컴퓨팅 애플리케이션 분야의 사람들은 그들이 설계한 문장 모듈과 어용 네트워크에 관심이 있다. 전자는 튜링기 모델의 응용으로 알고리즘의 계산 가능성과 계산 복잡성에 초점을 맞추고 있습니다. 후자는 페트리 네트 이론의 응용으로, 네트워크 시스템의 도달 가능성과 불변성 분석에 초점을 맞추고 있다. 둘 다 컴퓨팅 기능의 구체적인 구현입니다.