论文部分内容阅读
讨论了本原自动机的自同态,证明了如果广义正规自动机Α的所有本原自动机都是Se（或G）-自动机,那么Α也是Se（或G）-自动机;证明了强连通本原自动机的并是G-自动机;利用极小生成元集将标准自动机的定义推广到有限自动机,给出了广义标准自动机的定义及其成立的一个充分条件。
有关本原自动机的研究
【摘 要】
：
讨论了本原自动机的自同态,证明了如果广义正规自动机Α的所有本原自动机都是Se（或G）-自动机,那么Α也是Se（或G）-自动机;证明了强连通本原自动机的并是G-自动机;利用极小生成元集
【机 构】
：
西北大学数学学院,空军工程大学理学院,西安外国语大学经济金融学院
【出 处】
：
空军工程大学学报：自然科学版
【发表日期】
：
2016年2期
【基金项目】
：
国家自然科学基金（61402364）,陕西省自然科学基金（2014JQ1014）,陕西省教育厅基金（14JK1246）
其他文献
在提出三异等价类和三异组这2个新概念的基础上,给出了基于粗糙集的一种新的非一致决策表水平分解方法。该方法也可以像现有分解方法那样将非一致决策表分解为1个一致决策表
对战斗机网络攻击指令引导控制方法进行了研究。建立了导弹拦射攻击模型和导弹发射边界模型;以航向角和高度为引导指令建立网络指令引导解算模型;基于典型作战场景对上述模型
针对传统的指挥引导效能评估方法不适用于现代超视距空战,的问题进行分析,结合超视距空战中指挥引导的特点,提出了一种超视距空战中指挥引导效能评估模型。从指挥引导的目的
机载预警雷达牵引红外搜索跟踪系统（IRST）探测是同平台多传感器协同的一种重要工作模式。为定量评估该模式对IRST探测效能的影响,以IRST探测概率作为评估指标,建立多个瞬时视场
针对组网跳频信号网台分选需求研究跳频信号的有效盲分离问题，现有基于联合对角化的跳频信号盲分离算法要求严格正交对角化，而实际中往往难以满足，为了放宽正交性条件，提出基于非
针对传统相控阵雷达易被干扰机侦察到方位信息从而实施干扰的问题,提出了一种基于FDA（频率分集阵列）的角度欺骗方法。通过在阵元间设定微小的线性频率差,将距离引入到FDA方向图
针对脉冲涡流进行缺陷检测经常受到激励磁场和背景磁噪声干扰的问题,提出对缺陷处进行铁磁屏蔽的方法。在脉冲涡流检测中的磁屏蔽理论分析基础上,建立了脉冲涡流检测的有限元
采用HK网络模型对防空反导作战网络进行建模,对网络度分布、集群系数、平均距离的统计特性进行分析。将网络模型与典型树状结构的防空反导网络和基于BA无标度模型的网络进行
空战接敌过程中战斗机进行机动导致控制量剧烈变化,既影响飞机性能的发挥也不利于飞行员的操作。针对引导策略的优化问题,提出了一种带容许偏差的近似最优接敌策略。首先,建
针对传统多标拍卖信道分配机制无法确保认知用户获得频谱资源公平性的问题,结合微观经济学中的效用理论提出了一种新的标价算法。该算法基于用户自身带宽需求和等待时间等因