有界偏序自动机的同步算法

同步自动机是有同步字的自动机,它们在系统测试、编码、工业自动化、机器人技术及生物计算等领域有着广泛应用。有界偏序自动机是状态集具有与所有输入字母都相容的有界偏序的自动机。文中给出了同步有界偏序自动机的一些重要特征,并据此设计了有界偏序自动机的同步性检测算法、同步字查找算法和最短同步字查找算法,确定了全体n-状态同步自动机的最短同步字长度的上确界。这些工作在有界偏序自动机的范围内解决了同步自动机研究的主要问题。

树形偏序自动机的同步问题

对于给定的自动机,能将所有状态都转换到同一状态的输入字被称为该自动机的同步字.有同步字的自动机称为同步自动机.同步自动机已广泛应用于系统测试、编码、工业自动化、机器人技术及生物计算等领域.同步自动机研究的基本问题是自动机的同步问题(含同步性判定问题和同步字查找问题),最具挑战性的课题是证实或证伪关于同步自动机最短同步字长度的Cerny猜想.偏序自动机是具有一个相容偏序结构的自动机.同步自动机的研究从理论上可以归结到同步偏序自动机的研究上,因此,Cerny猜想成立当且仅当其对所有的偏序自动机都成立.现有的研究工作表明,Cerny猜想只对于一些结构较为特殊的偏序自动机类,包括单演自动机、广义单演自动机以及有界偏序自动机是成立的.作为偏序自动机的另一类特殊情形,本文研究关于树形偏序自动机的同步性检测问题,同步字查找问题以及Cerny猜想,主要贡献包括:讨论了树形偏序自动机与现有的几类偏序自动机之间的关系,说明了树形偏序自动机包含所有单演自动机和有界偏序自动机,并且不同于广义单演自动机类;给出了树形偏序自动机的同步性判定和同步字计算方法,特别地,证明了Cerny猜想对树形偏序自动机成立;设计了树形偏序自动机的专用同步算法,该算法的时间复杂度低于通用的自动机同步算法,且对任意n-状态同步树形偏序自动机都可以找到长度不超过(n-1)^(2)的同步字.

催化裂解制低碳烯烃技术研究进展

对以石油路线生产低碳烯烃的催化裂解工艺进行了综述。催化裂解结合了传统蒸汽裂解和流化催化裂化的优势,表现出良好的原料适应性和较高的低碳烯烃产率,针对不同的石油裂解原料已经开展了相应工艺技术的研究。本文总结了目前催化裂解制低碳烯烃技术的研究进展,指出ZSM-5分子筛催化剂、热力学平衡限制和动力学反应条件是催化裂解反应过程中的重要影响因素和研究内容。催化剂研究仍是催化裂解工艺开发的重点,而热力学和动力学是研究反应规律的有效方法,这是今后实现石油烃类定向转化的研究方向。

Bresenham画圆算法的改进

由于没有充分考虑圆弧的特点,使得传统的Bresenham画圆算法效率还不够高,算法过于复杂,容易造成失真。该文总结了传统的Bresenham画圆算法,指出了传统Bresenham画圆算法的缺陷,提出改进的Bresenham画圆算法,并用实例进行验证,对Bresenham画圆算法的优越性进行了分析。

新一代程序设计语言C#中的面向对象机制

2000年6月,Microsoft发布了一种新的程序设计语言———C#。C#是一种现代的、面向对象的语言,它使开发人员能够在Microsoft.NET框架上快速建立广泛的应用。该文首先介绍了C#的特点,然后简要介绍了面向对象的几个基本概念,最后通过一些实例深入地讨论了C#的面向对象机制。

中点画线算法的三维推广

以往的中点画线算法仅适用于二维直线的生成。该文巧妙地利用直线在两个坐标平面内的投影 ,将二维中点画线算法推广到三维 ,用于空间直线的生成 ,给出了一个具体实例 ,并分析了计算误差和算法效率。结果表明 ,三维中点画线算法具有高效和高精度的特点 ,可在实际工作中用于空间直线生成、空间直线插补和运动控制等方面。

程序设计语言的类型结构剖析

程序设计语言原理是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题。文章结合当今广泛使用的C语言对程序设计语言的类型结构进行了深入的剖析,内容包括:内部非结构类型、枚举类型、有限映像(数组)、迪卡尔积(结构体)、判定或(共用体)、序列(串和文件)、指针等,并且适当地进行了举例说明。

FORTRAN 77实践教学系统的研究与实现

针对FORTRAN 77开发了一个集成开发环境。解决了现有较高版本的FORTRAN开发系统系统设置困难、使用困难、容易死机等问题,在教学中取得了良好的效果。介绍了集成开发环境的主要功能,FORTRAN 77编译器的组织,集成开发环境的实现方法及其相关技术。

Web文档的基本形式及其相关技术探讨

主要讨论了Web文档的基本形式和各种Web文档的优缺点,以及创作动态Web文档和活动Web文档的一些相关技术。

Microsft C#概述

本文从以下几个方面对Microsoft最新发布的程序设计语言——C#进行了概要介绍:C#为C和C++开发者提高了生产率;C#为创建Web服务和Web应用程序打下了基础;C#的内建版本控制支持;C#纯粹的面向对象设计使开发者能够编写更简单,更容易理解的代码;C#充分利用Microsoft.NET框架。

面向对象程序设计语言的类型结构探讨

《程序设计语言原理》是计算机科学中的一个非常重要的领域,而程序设计语言的类型结构又是该领域中的一个非常重要的专题,但是,现有的《程序设计语言原理》著作很少讨论面向对象程序设计语言的类型结构。C#是一种中现代的,面向对象的语言,它使开发人员能够在Microsoft.NET框架上快速建立广泛的应用。本文结合C#语言对面向对象程序设计语言的类型结构进行了深入的探讨,内容包括:值类型、引用类型、指针类型、装箱和拆箱等,并且适当地进行了举例说明。

JavaScript中数值与日期的中文表示

本文主要介绍三个函数的设计,分别是:绝对值在万以内的数值量的中文表示(包括整数和小数);将特定字符串转换成日期对象;按照指定的格式给出日期对象的中文表示。

“计算机基础”课教学改革的探索与实践

计算机基础课的特点是内容多、变化快、课时少 ,为了保证教学质量 ,我们从指导思想、教学内容、教学方法与手段等方面进行了大胆的实践 ,本文从五个方面介绍了我们在课程建设与改革过程中取得的经验与效果。

一种快速准确的画圆算法

作者首先指出了传统Bresenham画圆算法的缺陷,然后提出了一种快速准确的画圆算法,称为新Bresenham画圆算法,并用实例进行验证,最后对新Bresenham画圆算法的优越性进行了分析。

TC中scanf函数的一个Bug及其解决办法

在C语言教学中,我们发现使用TC中scanf()函数时,当输入项为float型二维数组元素,同时其下标为变量时,往往程序不能正常运行。通过实例分析了产生这种问题的原因,提出了解决方法。

电子商务安全技术的分析和探讨

本文概述了电子商务的安全性要求,对电子商务的两种加密算法进行了分析,并对基于这两种加密算法在电子商务中的专用安全技术进行了分析和比较。

无线传感器网络安全协议的研究分析

传感器网络是一种全新的信息获取和处理技术,是计算机、通信和传感器3项技术相结合的产物,目前成为计算机领域一个活跃的研究分支.在简要介绍传感器网络体系结构的基础上,深入研究分析了无线传感器网络安全所面临的问题和当前主要的安全协议,为今后进一步的研究工作奠定了基础.

谈低压保护类电器的交接试验(二)

2 试验电路设计 根据以上试验电路的原理和方法,结合中小型企业用电部门的实际情况,设计了以下较简便实用的低压保护类电器产品的动作值试验电路,见图4。此试验电路的主要目的是检验低压自动空气开关,热继电器的电流动作值,而动作时间的测定,由于要求不十分严格,因此,只用秒表计时。

我国轿车工业发展模式探讨

一、目前我国轿车工业的现状在80年代里,我国已引进了19种汽车整车技术及总装生产线,其中轿车吉普车厂家以合资企业为主。上海桑塔纳,北京切诺基,广州标致,天津夏利等产品在国际上基本属于中档普及型轿车。

寻根究底 追问影响因素为几何——初中生语文学习中元认知使用的影响因素探析

初中生的语文学习能力存在较大差异,寻根究底,导致这个差异存在的是他们的元认知使用,而影响元认知使用的的因素主要是三个方面:一是基于学习对象的某些特性对语文学习的元认知使用有影响,二是基于学习者本身的特点会影响元认知的使用,三是基于学习者外在环境因素对元认知使用的影响。