SWEnet Forums SWEnet Home   Search   Login   Register   Member List  
Module Discussions by SEEK Area  > Computing Essentials (CMP)  > Indirect Computing Model with Indirect Formal Method  
 
Display using:  
Previous Thread :: Next Thread 
 Author Thread: Indirect Computing Model with Indirect Formal Method
ZOU-Xiaohui is not online. Last active: 11/12/2011 5:16:08 PM ZOU-Xiaohui
Top 25 Poster
Joined: 12 Nov 2011
Total Posts: 3
 
Indirect Computing Model with Indirect Formal Method
Posted: 12 Nov 2011 02:45 PM
【Abstract】 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 computing model with indirect formal method 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 (computer science) with Kleene star, von Neumann architecture of computer and the Turing test to determine whether or not the artificial intelligence can be viewed. 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 intelligence computing system. The meaning is that the results benefit from the data center to optimize the cloud computing knowledge center.
【Key words】Computing Theory; Formal Theory; Human-Computer Interaction; Collaborative Computing


http://blog.csdn.net/geneculture/article/details/6946438
Previous Thread :: Next Thread 
Page 1 of 1
 
SWEnet Forums  > Module Discussions by SEEK Area  > Computing Essentials (CMP)  > Indirect Computing Model with Indirect Formal Method