以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据,分析了广义因果联系类知识的发现机理,给出了因果联系类知识发现的实现算法.该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法.通过算法的运行实例,验证和说明了算法的正确性和有效性

利用移动边界法得到22CrMoH连铸坯凝固过程中的温度场,在此基础上采用元胞自动机——有限元(CAFE)法对22CrMoH齿轮钢连铸坯的微观组织进行数值模拟,模拟结果与实际样品微观组织形貌基本吻合;探讨了Cr、Mo、Si和Mn等合金元素含量对铸坯微观组织的影响趋势.结果表明,在该钢号规定的范围内,适当提高Si、Mn元素含量能够提高等轴晶比例,使晶粒数目增加,晶粒平均半径减小;Mo含量的提高能够明显增加形核数量;适当减少Cr含量有助于提高等轴晶的比例,但对晶粒数目和尺寸影响较小.对22CrMoH钢中合金元素进行优化调整结果显示,连铸坯凝固组织得到了明显改善,等轴晶的比例提高近1倍,晶粒数目提高了19.96%,晶粒平均半径减小9.20%

一、程序设计语言的发展 二、形式语言与自动机 三、形式语义学 四、程序设计方法学 五、计算语言学 六、软件开发方法学

一、时序电路(sequential circuit)：电路某一时刻的稳定输出不仅取决于当前输入(present input )，还取决于过去输入(past input)。触发器作为记忆元件保存了过去的输入。 二、现态与次态：过去的输入用触发器的内部状态来表示，称为现态(present state);当前输入之后转变后的状态称谓次态(next state)。时序电路在外部激励下改变状态，因此，时序电路就是有限状态自动机。 三、在描述触发器功能时，我们用了Q0表示现态，Q表示次态。下面我们会用更一般的描述，Qn表示现态，Qn＋1表示次态

第一节人工智能的研究 第二节 电子计算机的智能化 第三节 人工神经网络 第四节 人工智能的新进展

一、词法分析过程涉及的几个问题 二、 词法分析器的生成技术

问题的提出 1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的

一、字符串和形式语言 二、形式文法 三、形式文法的分类

一、上下文无关文法的重要性: 二、拥有足够强的表达力来表示大多数程序设计语言的语法。 三、可以构造有效的分析算法来检验一个给定的字符。 四、串是否是由某个上下文无关文法产生

在第一章中已指出对于程序的语法分析和自然 语言的处理,形式化的文法描述方式起了重要 的作用。本章介绍Chomsky的文法体系,语 言的运算和运算的封闭性