软件工程
geneculture
《融智学导论》作者
目录(修订版)
第一章 绪论:言本位转向(普通语言学基础)
第二章 综述:汉语形式化(形式信息学基础)
第三章 方法:间接形式化(工程融智学基础)
第四章 结果:孪生图灵机(狭义融智学基础)
第五章 结论:第三类脑智(理论融智学基础)
第六章 议论:入门和提高(应用融智学基础)
展开
-
Foundations of Software Engineering 和 Software Engineering Concepts
Course Description This is a foundation subject in modernsoftware development techniques for engineering and information technology. Th转载 2011-10-17 04:30:04 · 609 阅读 · 0 评论 -
本文涉及融智学强调的第一个不等式,即:义≠意
http://aaas.confex.com/aaas/2012/webprogram/Paper7341.html Speaker Index 7341 Collaborative Intelligent Computing System: Theoretical Model with Its Application Sunday, February 19, 2012 Exhib原创 2012-01-09 12:35:28 · 1154 阅读 · 0 评论 -
本文涉及融智学强调的第二个不等式,即:言≠语
http://aaas.confex.com/aaas/2012/webprogram/Paper7340.html Speaker Index 7340 Indirect Formal Method with Indirect Computing Model Saturday, February 18, 2012 Exhibit Hall A-B1 (VCC West Buildin原创 2012-01-09 12:32:40 · 418 阅读 · 0 评论 -
《集万千智慧于一身的广义双语信息处理技术系统》
《集万千智慧于一身的广义双语信息处理技术系统》 作者:邹晓辉Geneculture 利用全球现有的云计算网络建构集万千智慧于一身的广义双语系统 旨在帮您更好地优选各类专家的方略来解决自己的实际问题 广泛深入地洞悉各类专家系统怎样改变您的生活方式 注:旨在让您采用云端的广义双语信息处理协同智能计算系统,为您赢得更多的发展机会,助您塑造更强的综合能力,帮您协调各类愿望的矛盾,在协同智能原创 2012-03-29 08:08:09 · 802 阅读 · 0 评论 -
软件与软件工程
软件是同时对问题空间与解答空间的具体描述。 因此, 它追求表达能力强、更符合人类思维的操作模式,进而 它是一系列具有易构造和易演化特征的计算模型。 软件工程是应用计算机科学理论和技术,以及工程管理原则和方法,按预算和进度来实现并满足用户要求的软件产品的定义、开发、发布以及维护的系统工程。研究它的研究领域或学科就以之为研究对象。原创 2012-06-03 14:21:57 · 861 阅读 · 1 评论 -
NWP National Writing Project’s value both in English and in Chinese
Writing Project teachers understand the value of critical thinking and collaboration with their colleagues. 附录: 2010 Annual Report National Writing Pro原创 2012-06-19 06:44:04 · 800 阅读 · 0 评论 -
Searle Research Center both in China and USA
附录1: http://socrates.berkeley.edu/~jsearle/ 附录2: John Rogers Searle (born July 31, 1932, in Denver, Colorado) is an American philosopher and currently the Slusser Professor of原创 2012-06-19 06:41:41 · 1096 阅读 · 0 评论 -
邹晓辉公开提出自然语言理解的形式化双重路径与第六代编程语言及其三类双语协同计算平台
图1 强调自然语言理解的形式化双重路径是建立在具有异曲同工之妙的直接和间接两条形式化路径的基础之上的 图2 请注意六代编程语言发展的六个特征凸显了第五代和第六代务必结合方可形成协同智能计算系统的开发平台 回顾图灵奖(Turing Award)获得者们的贡献,可以发现:.... http://blog.sciencenet.cn/blog-94143-589630.html原创 2012-07-07 04:19:26 · 4760 阅读 · 0 评论 -
本人的“协同智慧观”建立在“人脑智力观”和“电脑智能观”及其广义双语协同处理的基础之上。
本人的“协同智慧观”建立在“人脑智力观”和“电脑智能观”及其广义双语协同处理的基础之上。 注: 古希腊哲学,爱智慧。 近现代心理学,探讨人脑的智力。 当代计算机科学,尝试人工智能。 附: 塞尔对我说“中文屋子的意思就是说图灵测试是失败的” (2012-06-24 18:24:54) http://blog.sina.com.cn/s/blog_65197d9301010原创 2012-06-25 09:37:02 · 1664 阅读 · 0 评论 -
“协同智能计算系统”涉及的三个不等式,有两个仅用字即可表达,一个需用二字组才可表达到位。
本文涉及融智学强调的第一个不等式,即:义≠意 http://aaas.confex.com/aaas/2012/webprogram/Paper7341.html Speaker Index 7341 Collaborative Intelligent Computing System: Theoretical Model with Its Application Sund原创 2012-01-09 13:33:25 · 946 阅读 · 0 评论 -
中国IT服务创新企业及项目数据库(基本架构及其相应的多组关键技术)
中国信息技术服务创新大会2011-12-9京仪大酒店 中国IT服务创新企业及项目数据库 (基本架构及其相应的多组关键技术) http://blog.sina.com.cn/s/blog_65197d930100w4ly.html 邹晓辉五篇论文的全文下载地址: (《软件》杂志2011年第5-9期) http://blog.sciencene原创 2011-12-08 12:45:33 · 701 阅读 · 0 评论 -
形式化方法(当时我就只翻译了这一段,因为我认为还是直接读原文更好)
在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的描述、开发和验证。[1] In computer science and software engineering, formal methods are a particular ki翻译 2011-10-17 04:52:20 · 651 阅读 · 0 评论 -
Ivar Jacobson:为什么需要软件工程理论
Ivar Jacobson:为什么需要软件工程理论 Semat计划于由软件工程三位大师(合称“Troika”)Ivar Jacobson(UML、RUP、组件和组件架构、用例等技术之父),Bertrand Meyer(Eiffel和按约定设计之父)和Richard Soley(OMG主席)正式发起,倡导以坚实的理论、已经证明的原理和最佳实践为基础,重新发现软件工程的本质。Jacobson等撰写了转载 2011-11-16 05:17:52 · 554 阅读 · 0 评论 -
Software Engineering: Theory and Practice
Why Software Engineering? Modeling the Process and Life Cycle Planning and Managing the Project Capturing the Requirements Designing the System Concerning Objects Writing the Programs Testing t转载 2011-11-18 03:11:59 · 871 阅读 · 0 评论 -
The Uniqueness of Software Engineering: The Dual Formalizations
SOFTWARE (Published monthly since 1979) Vol.32 No.7 Jul.2011 ISSN 1003-6970 CN12-1151/TP Experts Forum The Uniqueness of Software Engineering: The Dual Formalizations ……………………… ZOU Xiaohui, ZOU原创 2011-11-08 05:30:59 · 1138 阅读 · 0 评论 -
Indirect Computing Model with Indirect Formal Method
SOFTWARE (Published monthly since 1979) Vol.32 No.5 May 2011 ISSN 1003-6970 CN12-1151/TP Experts Forum Indirect Computing Model with Indirect Formal Method……………………… ZOU Xiaohui, ZOU Shunpeng原创 2011-09-01 08:50:37 · 992 阅读 · 0 评论 -
Virtual Twin Turing Machine: Bilingual Information Processing as an Example
SOFTWARE (Published monthly since 1979) Vol.32 No.8 Aug.2011 ISSN 1003-6970 CN12-1151/TP Experts Forum Virtual Twin Turing Machine: Bilingual Information Processing as an Example ZOU原创 2011-11-08 05:14:52 · 1195 阅读 · 0 评论 -
Collaborative Intelligent Computing System:Theoretical Model with Its Application
SOFTWARE (Published monthly since 1979) Vol.32 No.6 June 2011 ISSN 1003-6970 CN12-1151/TP Experts Forum Collaborative Intelligent Computing System:Theoretical Model with Its Application………………原创 2011-10-04 15:25:45 · 1158 阅读 · 0 评论 -
Analysis on the Concept of “Cloud Computing”:A Case of the Collaborative Intelligence System
“云计算”概念的分析研究 ——协同智能计算系统的一个特例* 邹晓辉 邹顺鹏 ** 中国地质大学(北京)高等教育研究所 摘 要: 本文作者拟从云计算提出的源头及其可能的新发展两个方面来对它做一个系统的分析和展望。旨在为云计算理论与技术的普及和提高开辟新途径。自 2006 谷歌 101 项目公开提出云计算(cloud computing)至今,信息产业界说它是一种新的商业模式,原创 2011-11-10 08:02:01 · 734 阅读 · 0 评论 -
人工智能研究综述与协同智能研究展望(简纲)
1.引言 本文旨在概要回顾学界如何探寻研究人工智能的类和和产业界怎样尝试设计人工智能的例。 其蕴含意义可由其相应的产生背景去理解。学界的探索研究可分为科学预言(涉及功能等价、行为模拟和神经网络等不同观点)和哲学反思(涉及强与弱的区分同整合共三种基本观点)两个进路。业界的设计制作也可分为技术处理(偏重于计算机的存储和计算或处理如计算机辅助工具)和艺术处理(偏重于自然人的参与如软件工程)两个倾向。原创 2012-07-30 17:35:50 · 1259 阅读 · 0 评论