大学数学作业自动批改系统的设计与实践

通过信息提取技术、数据匹配技术与一次性人工处理相结合的方法,将数学主观题转化为树状选择题,并结合现代信息技术和网络技术,开发了大学数学作业自动批改系统,且在大学数学公共基础课的教学中予以了实践.此类系统解决了自动批改数学主观题的瓶颈问题,能够批改小学、中学和大学数学课程中的常规习题,如选择题、填空题、判断题、问答题、计算题、证明题等,可达到做完即批完的效果.还可以应用于数学教学的各个环节,如课前预习、课堂练习、课后复习、课外辅导、备考和在线考试等等.自动批改过程中采集的电子数据可用于数据分析、教学指导、教学研究和教育信息化的建设.     

7号初等元胞自动机生成的时间序列的复杂性分析

使用禁止字理论、计算机搜索和符号动力学的方法对7号初等元胞自动机生成的时间序列从形式语言的角度进行复杂性分析,确定了禁止字集及其Chomsky层次,确定了演化语言的一个精简的Chomsky层次,并由此得到了时间序列的完整描述.     

从粒子角度研究164号元胞自动机的极限语言复杂性

通过定义164号元胞自动机的基本粒子,找到了粒子的逆演化规律,从而完全确定了其极限语言,并证明了164号元胞自动机的极限语言是正规的。结果表明:用有限自动机就可以接收该极限语言。     

122号元胞自动机的演化语言复杂性

研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。     

122号初等元胞自动机的复杂性分析

动用符号动力学和形式语言等工具证明１２２号初等元胞自动机的极限语言不但是非正规的,而且是非上下文关的。