有限状态自动机及在字符串搜索中的应用

有限状态自动机是计算机科学的重要基石,对有限自动机及其应用做了讨论,特别是应用有限自动机描述了简单模式匹配算法及K.M.P.算法,并对K.M.P.算法的时间复杂度进行了较详细的分析。为了应用有限状态自动机解决实际问题,对有限状态自动机的存储结构做了分析,给出了一种高效的有限状态自动机的存储表示,基于这种存储表示,应用确定有限状态自动机可以建立一种效率高于K.M.P.算法的模式匹配算法。使用有限状态自动机建立的算法简单、易懂,且高效,对学生理解掌握有限状态自动机有极大的帮助。     

自动机循环图设计理论的再认识

对自动机循环图设计中的同步化问题进行了研究，指出了现有理论的不足。通过对同步化问题重新分类，提出了解决各类问题的方法，使循环图设计理论更为系统和完善。     

基于元胞自动机的单车道智能交通流模型研究

随着交通流仿真的需要及对智能交通系统研究的发展,出现了基于元胞自动机理论的交通流模型。交通流元胞自动机模型由一系列车辆运动应遵守的运动规则和交通规则组成。在论述元胞自动机模型的基础上,提出元胞自动机的单车道智能交通流模型。该模型以Visual Basic(VB)语言为开发工具,考虑面向高速公路的一维交通流运行状况,并根据车辆的运行情况,对车辆的平均速度和延误加以研究,细化格点并进行仿真。仿真的结果表明,车辆平均速度和延迟与它们的基本变化趋势是相似的。仿真结果非常理想,说明了元胞自动机广泛的应用前景。     

基于元胞自动机的单车道智能交通流模型研究

随着交通流仿真的需要及对智能交通系统研究的发展,出现了基于元胞自动机理论的交通流模型。交通流元胞自动机模型由一系列车辆运动应遵守的运动规则和交通规则组成。在论述元胞自动机模型的基础上,提出元胞自动机的单车道智能交通流模型。该模型以Visual Basic(VB)语言为开发工具,考虑面向高速公路的一维交通流运行状况,并根据车辆的运行情况,对车辆的平均速度和延误加以研究,细化格点并进行仿真。仿真的结果表明,车辆平均速度和延迟与它们的基本变化趋势是相似的。仿真结果非常理想,说明了元胞自动机广泛的应用前景。     

国内专利选辑

公开号GK申请号申请人发明名称CN1056036ACN1052987ACN1050306ACN1052413A户Nln气,O口口当90102440,690100131.790103424.X90109967.890110249.09 1 100933.791103075.190107315.690104874.790108006.391100905.190109645.890105314.78910搜806.589104805.790101808.289109388.591106347.189109534.989108669.291103381.590108725.490106991.49 1 1 npn只,_Q固汀国际公司蔡石柱雷恩自动机株式会社雷思自动机株式会社雷恩自动机株式会社雷恩自动机株式会社雷恩自动机株式会社雷恩自动机株式会社雷思自动机株式会社河南省医学科学研究…     

大型场馆疏散模型研究

由于单层元胞自动机无法进行大型场馆多楼层的描述,并考虑楼梯的瓶颈现象,提出了基于人群滞留密度的楼梯博弈模型,最终建立了多层共进式元胞自动机模型。最后通过分析该模型的优缺点,提出相应改进措施和建议。     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

在包装自动机中应用气动技术的优势

阐述了气动技术在包装自动机中运用的优势，并对在黏稠物料灌装设备中运用气动技术进行了研讨。     

基于元胞自动机的织物图像拼接

针对织物图像周期性较强,且特征不容易提取的特点,采用元胞自动机的方法,把元胞空间取作二维的,将图像的像素和元胞一一对应起来。通过建立元胞自动机模型和元胞转移方程,完成特征值提取及边缘检测。根据对摄像机的事先标定,确定出2幅图像重叠的部分,然后在相互重叠的部分寻找2幅图像之间像素值的最大相似性,以互相关系数最大为原则进行迭代搜索,求出最佳拼接点。再对拼接处产生的拼接缝隙迹进行消除,从而完成图像拼接,得到1幅完整的图像。通过具体的织物图像进行验证计算,结果表明,采用元胞自动机可有效地进行织物图像拼接。     

运用元胞自动机模型制定保持水温的策略

文章的目标是利用元胞自动机模型模拟热水注入时浴缸内水温受不同因素影响时的变化过程。考虑了注入热水的水温和流速,浴缸的体积,水龙头的位置等因素,得到了不同情况下浴缸中水的温度分布图,从而定性分析各个因素对模型的影响程度。之后,在MATLAB环境下,通过改变单一变量的取值,对有热水注入的进出水量相等的模型进行灵敏度分析,定量地比较模型受不同因素影响程度的大小。     

Cellular Automata Modeling of Hesperetin Release Phenomenon from Lipid Nanocarriers

Release behavior of encapsulated food bioactives is an important issue which has not been befittingly studied. Cellular automaton is a mathematical model that shows complex systems can be simulated based on interactions of their constructing components. In this research, cellular automata were proposed for simulating encapsulant release through lipid nanocarriers via diffusion mechanism in order to know effects of different parameters, e.g., encapsulant load, kind of neighborhood, probability of encapsulant solubility, encapsulant distribution, and type of release medium in two and three dimensions. The simulation results were validated using experimental hesperetin release data which showed good agreement indicating the ability of cellular automata to enhance the resolution over the complexity of the diffusion phenomenon during encapsulant release from nanocarriers.     

A discrete stochastic model for oil migration in chocolate-coated confectionery

Oil migration is an important process in the formation of fat bloom on chocolate-coated confectionery, leading to consumer rejection. However, the exact mechanisms behind this phenomenon are still not completely elucidated, which hampers the development of a mathematical simulation model. In this paper, a model based on a cellular automaton (CA) is proposed and parameterized using experimental data obtained from confectionery model systems. This CA-based model is shown to be able to describe the oil migration in an adequate manner and can therefore be used to calculate an effective diffusion coefficient. Further, the potential of a CA-based approach for the further investigation of the fat bloom mechanisms is demonstrated by means of a case study where capillary rise is incorporated in the CA-based model.     

A model to predict long-term performance of vapor-phase bioreactors: a cellular automaton approach

A novel numerical model was constructed to predict performance of vapor-phase bioreactors (VPBs) operated over extended periods. This model incorporates two unique features to simulate changes in pollutant removal efficiency and biomass accumulation: (1) total biomass is divided into two microbial components, active and inactive biomass, and (2) biomass growth and biofilm thickness changes are simulated by means of a cellular automaton (CA) approach. The CA approach, a differential-discrete algorithm, numerically allows the excess quantity of biomass in each numerical element to move toward the biofilm surface as biomass accumulates. One set of experimental bioreactor data was used to estimate unknown model parameters. A 90-day simulation using the estimated parameters agreed with pollutant removal and biomass accumulation profiles determined experimentally. Four additional model simulations using the same estimated model parameters were generally consistent with experimental data collected from a series of toluene-degrading VPBs operated over a range of conditions. Model predictions imply that the decline in bioreactor performance observed over extended operation was caused by a decline in the active biomass fraction and a decrease in the biofilm specific surface area. This CA model provides insight into biomass accumulation during complex bioreactor operation and improves our capability to predict long-term VPB performance.     

添加ATP和生物素优化ε-聚赖氨酸发酵的研究

以白色链霉菌（Streptomyces albulus）突变株为研究对象,研究不同发酵时间在发酵培养基中添加ATP、生物素对ε-聚赖氨酸产量的影响。结果表明,在发酵36h时添加2mmol/L的ATP的产量比对照组提高了21.88%,达到1.17g/L;在0h、36h添加400μg/L生物素的ε-PL产量分别比对照组提升了30.88%和18.52%;通过进一步正交试验发现,在36h时添加300μg//L的生物素以及2mmol/L的ATP对该白色链霉菌ε-PL产量提升最大,比对照组提高了34.04%,产量达到1.193g/L,说明外源添加ATP和生物素对白色链霉菌发酵生产ε-聚赖氨酸有促进作用。     

用线切割机床加工椭圆齿轮的编程方法

介绍了在数控线切割机床上加工椭圆齿轮时，齿的位置和齿形的确定方法。提出了用线切割加工椭圆齿轮时用非标准模数优于用标准模数的观点。     

70(T7A)钢丝的加热转变

论述高碳钢 (丝 )热处理时加热转变的重要性 ;采用金相 -硬度法研究 70 (T7A)或 6 5 (6 5Mn)钢加热时的各种转变 ;对钢丝生产中连续加热时奥氏体形成的特点进行了扼要论述 ;为金属制品生产正确选择热处理的加热参数奠定理论基础     

液压调直切断机最短工作范围分析及改良设计

通过对液压调直切断机的切断过程进行研究,分析了影响液压调直切断机工作范围的相关因素,建立了数学模型,推导了切断机正常工作需要满足的时间关系,以及钢筋送进中失稳的位置及条件.提出通过选择变速驱动、适当加大吊重、调整光电开关的相对位置等措施,使改良切断机最短工作范围满足800 mm~1 000 mm的长度要求.     

长青遥控车仍需新卖点

谈起遥控车，有些读者可能提不起劲。没多大意思，它既没有遥控直升机刚面世时的“惊艳”与“火爆”，也不像动漫玩具那样有着高潮迭起的流行热潮。但不管是哪种销售渠道：高端商场、中端超市乃至批发小店，遥控车始终是玩具销售中不可或缺的品种。而且占据着相当的比重。