（协同智能计算系统）软件≥程序+ 界面

软件工程（Software Engineering）作为一级学科的软件理论知识和学术基础研究

（协同智能计算系统）软件≥程序+ 界面
（协同智能计算系统）程序≥算法+ 数据结构
（协同智能计算系统）界面≥知识本体+ 对象

from：

中国知网：邹晓辉-协同智能计算系统——理论模型及其应用[J]. 软件. 2011年06期

阅读全文，由此进入：

《软件》杂志 2011年 第6期

http://www.ccomsoft.com/kanlist.asp?ids=154

专家论坛

协同智能计算系统——理论模型及其应用

邹晓辉

ZouXiaohui 2:15:49
由图2 可见，笔者对Σ*={ε，0，1，00，01，10，11，000，001，010，011,… } 所做的理想分类：单一集合、分层集合、标志集合以及原先不做这样细分的杂多集合（即Σ*）。笔者以二进制数为例这样来描述理想分类集，不仅可揭示其中蕴含的信息基本命题，而且，还可通过这种细分为进一步最优化各类数据结构提供一种切实可行的方略，更重要的是：这样论述理想分类集可做到言简意赅，对识别、理解和表达均具有事半功倍的效果。

from：

中国知网：邹晓辉-间接计算模型和间接形式化方法[J]. 软件. 2011年05期

阅读全文，由此进入：

《软件》杂志 2011年 第5期

http://www.ccomsoft.com/kanlist.asp?ids=153

专家论坛

间接计算模型和间接形式化方法

邹晓辉

注：这就是著名的克莱尼星号（Σ*），即：字符串形式理论的集中体现。我就是在此基础上推进了一步，即：对它做了进一步的细分——区分出了：单一集合、分层集合、标志集合，其意义至少有二，其一，在单一集合和分层集合的方框之内，发现并可清晰地描述第一信息基本定律——序位关系唯一守恒，排除了第三次数学危机一直没有很好解决的逻辑悖论；其二，发现并可清晰地描述第二信息基本定律——同义并列对应转换，例如：0标志集合与1标志集合之间就符合第二信息基本定律。

from：

中国科学网：理想分类的意义至少有二，即：可证明信息基本定律假说成立。

http://blog.sciencenet.cn/home.php?mod=space&uid=94143&do=blog&id=495816

阅读全文，由此进入：

《软件》杂志 2011年 第6期

http://www.ccomsoft.com/kanlist.asp?ids=154

专家论坛

协同智能计算系统——理论模型及其应用

邹晓辉

《软件》杂志 2011年 第5期

http://www.ccomsoft.com/kanlist.asp?ids=153

专家论坛

间接计算模型和间接形式化方法

邹晓辉