7340 Indirect Formal Method with Indirect Computing Model

Saturday, February 18, 2012
Exhibit Hall A-B1 (VCC West Building)
Zou Shunpeng Jr. , China University of Geosciences (Beijing) Higher Education Institute, Beijing, China
Zou Xiaohui Sr. , China University of Geosciences (Beijing), Beijing, China
This paper discusses indirect computing model with indirect formal method which is supported by that an alternative combines cloud computing principles, through the perspective of the collaborative intelligent computing systems formed by human-computer interface and collaborative computing processing. The author focuses on indirect formal method with  indirect computing model which is according to the theoretical assumptions of previous research on the mainstream paradigm of general-purpose digital computer based on by that systematic review of the theory of Turing computability, the formal theory of string with Kleene star and the Turing test to determine whether the artificial intelligence can be viewed or not. And the author uses the design model which can process both large and small strings compatible with the indirect formal theory, and the design prototype which takes Chinese information data processing as an example of collaborative computing system. The meaning is that the results benefit from the data center to optimize the knowledge center.