理论研究,作用无非有二点:一是增加认知,即让人了解有这么一回事;二是能指导实践,应用理论成果至实际中。我们选择后者。为此,我们设立一理论研究系统。
本系统实现于同一平面不同区域中,而非同一金字塔不同层次(绝对满足中国人的面子需要),如下图所示:
理论研究系统=(内部研究系统,外部研究平台)
内部研究系统=(静态结构,动态结构)
静态结构=(研究人员结构,理论结构)
研究人员结构=(L线研究人员,Z线研究人员,O线研究人员)
L线研究人员:研究怎样将代码行为的支理论转化为实际代码。
Z线研究人员:根理论研究。
O线研究人员:支理论研究。
理论结构=(根理论,支理论)
根理论:代码行为研究——概念完善、属性特征、种类。
支理论:原子行为、叠加行为、协作行为、宿主行为、自处理行为、
他处理行为、网络行为——已存在代码行为归类、实现、发展。
动态构成=(线性研究进程,非线性研究进程,研究方法集)
线性研究进程=(单一进程,交互进程)
单一进程:各线研究人员对其自身分工下任务的研究。
交互进程=(正向进程,反向进程)
正向进程:Z线研究结果应用至O线;O线研究结果应用至L线;L线将O线研究结果变换为代码行为。
反向进程:L线对O线研究结果进行验证,反馈至O线;
O线对Z线研究结果进行验证,反馈至Z线;
Z线重新审视并完善研究结果。
非线性研究进程:三线间互相集体讨论,共同论证。
研究方法集:我们将使用几何学的一个真子集来研究代码行为(详情见后面)。
外部研究平台=(点将式研究,擂台式研究,自发式研究)
点将式研究:对于我们平台上的任何一位成员,可以向他提出一种代码行为——点将,让其研究实现,并给出实现代码。
擂台式研究:在我们平台上,任意一位成员,可以自己提出一种代码行为
——摆擂,供本平台其他成员攻擂——即用另一种代码行
为对它进行作用。在指定期限内没有其他成员能够使之失效(对代码行为的作用能满足提出的关于代码行为本身的条件叫
代码行为失效),便守擂成功,否则守擂失败。
自发式研究:我们平台成员自己发表自己的研究成果及实现代码。
本研究系统的研究结果输出至系统内的外部研究平台。研究结果用统一的格式表达(详情见后面)。
关于代码行为的特性的补充:
除在上一篇中所述的代码行为具有的分离性、指向性、叠加性外,还具有支配性、非线性。
代码行为的支配性。由代码行为的分离性可知,代码行为的实施是通过机器完成的,受机器支配,因而具有支配性。
代码行为的非线性。代码行为在行进过程中,会因某个原因被中断,进进入停滞、等待,只在某个条件满足时才被再度激活——特别是对于中断服务的代码行为,更是如此,其行为行进在时间上呈现离散、不连续——这就是代码行为的非线性。