有限制的通用模糊图灵机研究

给出了模糊图灵机的几种等价形式,包括具有分明转移函数的模糊图灵机(FNTMc)、模糊图灵机(FNTM)以及模糊多带图灵机.利用模糊图灵机,定义了模糊递归枚举语言与模糊递归语言,并给出它们的层次刻画,证明了不存在通用模糊图灵机;如果限制模糊集的隶属函数为单位区间[0,1]的固定有限子集D,对应的模糊图灵机称为限制型模糊图灵机,则存在通用的限制型模糊图灵机,而且这类图灵机可以以任意给定精度模拟其他模糊图灵机,从而通用模糊图灵机在逼近意义下是存在的.     

用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

用于C交叉编译的HUST抽象机

HUST抽象机是专为面向多目标机的C交叉编译系统设计的一种抽象机。本文阐述了该抽象机的结构、特点及设计思想。与其他抽象机比,该抽象机执行速度快,具有查运行溢出错、越界访问数组元素错和类型转换溢出错的能力。     

基于multi-agent的半导体生产线动态调度方法

提出了一种基于multi-agent的半导体生产线动态调度方法。首先建立了MAS仿真模型,包括管理、投料、工件和设备4种agent;然后设计了工件agent与设备agent的动态调度协商机制,以工件最小加权延迟为决策指标,分别考虑设计了单片/卡加工设备与批加工设备agent的报价算法。此外,还考虑了二次协商机制用于解决设备突然故障对生产线的影响。基于实际半导体生产线模型对所提出方法进行了仿真验证,并与一些常用的调度规则进行了比较,仿真结果表明,在平均加权延迟和准时交货率等指标上,该文提出的方法均有较大的提高。     

基于Simulink的钢坯剪断机液压模拟载荷特性仿真

液压缓冲油缸具有与钢胚剪断机相似的载荷特性,文章采用带缓冲油缸的液压系统来对钢胚剪断机载荷特性进行模拟,给出了液压系统设计方案;对液压系统的动态特性方程组进行了推导,建立了液压系统的数学模型;基于Simulink软件包对液压系统进行了可视化的建模与仿真,仿真结果表明该液压系统很好地模拟了钢坯剪断机的载荷特性。     

业务蜜网系统的有限自动机

通过诱骗容忍入侵者的破坏行为．蜜罐可以深入了解入侵工具和入侵目的等入侵行为信息，解决传统网络安全技术对未知入侵攻击无能为力的难题，直接或间接地提高系统网络安全性能。深入研究了蜜罐技术的高级实现形式蜜网系统．对比了业务型和研究型两种蜜网系统．并通过有限自动机形式化模拟了业务蜜网系统，描述了其状态转换过程，为业务蜜网系统的行为描述和结构设计提供了理论依据和论证。     

四则运算图灵机的构造

著名的丘奇(A．Church)命题指出，任何算法都可以用一个图灵机来描述．对自然数的四则运算给出了相应的图灵机．     

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.     

工业缝纫机机器的平衡

本文在综合运用几种技术的基础上,提出一个新的、简便实用的工业缝纫机机器平衡的方法。并以某种工业缝纫机为例,显示了平衡步骤与效果。本方法同样适用于其他主要由杆机构组成的机器的平衡,只要它们能抽象成质量-弹簧系统。     

容量及型号相异多机组系统的动态仿真及分析

对装有容量相差悬殊、型号相异多机组的复杂引水系统进行了动态仿真研究，指出这样的电站很难用一种等效的办法以较真实地寻求出系统中主要参量的极值，在容量相差较大时，可略去小机影响进行仿真，大机参数极值与实际接近，但这种接近将随着大小机差别的减小而破坏，而小机的动态特性只能按实际系统进行仿真，任何一种简化，都使仿真结果严重失真，而应用文中编制的可进行异容异型机组动态仿真程序才能较好地对该类电站进行动态仿真。     

注塑机螺旋输送器摩擦磨损试验机研制

经添加玻璃纤维进行强化的聚合物在注塑过程中会对注塑机螺旋输送器的螺旋机构和套筒产生严重的磨损。为解决注塑机螺旋输送器的磨损问题,需要一台能较全面模拟其内部摩擦磨损条件的试验机,进行各种针对性的模拟实验,找出磨损的原因,以便采取相应的措施。就存在的问题较深入地分析了注塑机螺旋输送器内的摩擦磨损条件,详细介绍了设计的能较全面模拟内部摩擦磨损条件的试验机及实验方法。     

基于MATLAB C-MEX S函数的异步电机参数时变仿真模型

提出了一种新的C—MEX S函数异步电机参数时变仿真模型，可模拟电机各参数的变化，精度高、仿真速度快，克服了现有的参数定常异步电机仿真模型及M文件S函数仿真模型的缺点。对比仿真验证了该模型的正确性和快速性，仿真示例表明了该模型的有用性和有效性，为矢量控制相关问题的研究提供了一个更接近真实电机行为特性的高效仿真模型。     

测井解释微机多功能打印绘图系统及IBM与APPLE通信接口

测井解释成果图的输出是测井解释工作微机化的重要问题。文中介绍了利用微机上所配置的针式打印机成功地绘制各种测井成果图的方法。并详细介绍了利用RS—232接口实现了IBM与APPLEⅡ两种机型的通信方法及对应的程序框图,以便将在APPLE机上开发的程序及数据迅速正确地传送到IBM机上。     

广义分子计算模型在整数问题中的应用

分子计算是一种新型的并行计算模式. 作为信息载体和计算载体的DNA,生化反应时存在不可控性. 构建具有通用性的分子计算机存在许多困难和限制. 将分子计算黏贴模型与图灵机相结合,已提出一种不依赖于特定生物技术的广义分子计算模型(generalized turing model,GTM). 对GTM模型进行扩展,通过实验说明了该广义分子计算机能够在多项式时间内求解NP完全的整数规划问题,该模型具有编码简单、错误率低等特点.     

Some variants of SAT and their properties

A new model for the well-known problem, the satisfiablility problem of boolean formula (SAT), is introduced. Based on this model, some variants of SAT and their properties are presented. Denote by NP the class of all languages which can be decided by a non-deterministic polynomial Turing machine and by P the class of all languages which can be decided by a deterministic polynomial-time Turing machine. This model also allows us to give another candidate for the natural problems in ((NP-NPC)-P), denoted as NPI, under the assumption P≠NP, where NPC represents NP-complete. It is proven that this candidate is not in NPC under P≠NP. While, it is indeed in NPI under some stronger but reasonable assumption, specifically, under the Exponential-Time Hypothesis (ETH). Thus we can partially solve this long standing important open problem.     

球面上Turing斑图的格子Boltzmann模拟

利用球坐标系下的格子Boltzmann模型, 求解球表面的Gierer-Meinhardt方程, 得到了球面上的Turing斑图. 与经典差分方法相比, 该模型可用于球表面Turing斑图的数值模拟.     

多相永磁无刷直流电机凸极效应的数学模型

考虑到多相永磁无刷电机转子磁路结构及气隙磁密波形对电机运行性能和控制策略的影响,需要建立准确的电机数学模型。该文根据永磁电机磁场的特性,推导了电磁转矩和反电势的一般表达式,建立了考虑凸极效应和气隙磁密谐波的多相永磁无刷直流电机数学模型,用有限元方法计算模型中的参数。结合一台样机进行了仿真和实验,结果表明该数学模型既准确反映了电机的性能,又可用于多相永磁无刷电机整个系统的仿真计算。     

可计算函数的基本指令研究

Davis曾提出由三条Fortran语言形的基本指令组成的与Turing机等价的计算模型。本文提供与之等价的另外三条Fortran形的基本指令,并论述了Davis的三条指令是必不可少的,另外还论证了它们与由Shepherdson & Sturgis在1963年提出的URM的等价性。