自动机理论

作品数：94被引量：208H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：邱道文粟时平钱俊彦赵岭忠郭秀红更多>>
相关机构：广西师范大学中国科学院软件研究所电子科技大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划广东省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
中国自动机理论与人工智能研究的开拓者--王湘浩
《群言》2025年第2期F0002-F0002,共1页
王湘浩(1915—1993),民盟盟员,中国科学院学部委员(院士),杰出的数学家、计算机科学家、教育家,中国自动机理论与人工智能研究的开拓者,历任吉林大学数学系主任、计算机科学系主任、副校长。王湘浩早期从事近世代数的研究,在类域论研究...
关键词：教学第一线 人工智能研究 自动机理论 中国科学院学部 计算机科学家 计算机科学系 副校长 王湘浩 
基于电抗器基础设施中态势感知的应用
《微型电脑应用》2024年第5期13-17,共5页付智鑫 王磊 宋强 王宗宝 
国家自然科学基金项目(61503071)。
关键基础设施是相互依存的,很容易出现级联故障,为了有效应对全国范围内的事件,需要创建一个共同操作图,以维持态势感知。为此提出一个适用于全国规模态势感知应用的关键基础设施模型和分析方法,该模型使用有向图结合有限状态转换器呈...
关键词：关键基础设施 态势感知 有限状态自动机理论 图论 
基于STPA的飞机交流系统供电转换安全性分析方法研究
《航空工程进展》2024年第2期108-116,共9页田毅 陈杰辉 袁海宵 马世耀 
天津市航空装备安全性与适航技术创新中心开放基金(JCZX-2022-KF-07)。
飞机交流发电系统是整机的主要电力来源,应对其进行完善的安全性分析。传统安全性分析方法对系统组件间非线性交互引起的安全问题关注较少,当研制型号支持数据不足时,存在分析遗漏风险。根据典型交流发电系统供电转换过程基本特点,基于S...
关键词：飞机交流发电系统 STPA UCA 时间自动机理论 
中国自动机理论与人工智能研究的开拓者——王湘浩
《中学数学》2024年第4期F0002-F0002,共1页汪杰良 
王湘浩(1915-1993),河北安平人。中国数学家,教育家。1941年毕业于西南联合大学、1949年获得普林斯顿大学博士学位,中国科学院院士。先后任教于西南联合大学、北京大学、吉林大学,任北京大学教授,同时在清华大学、北京师范大学、辅仁大...
关键词：西南联合大学 普林斯顿大学 辅仁大学 中国科学院院士 计算机科学系 人工智能研究 中国数学会 自动机理论 
基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究被引量：2
《铁道通信信号》2023年第5期60-66,共7页李建雄 吉志军 罗飞豹 
中国铁道科学研究院集团有限公司科研课题(2019YJ062);中国铁道科学研究院集团有限公司通信信号研究所科研课题(2021HT04)。
模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进...
关键词：LKJ-15系统 形式化建模 自动机理论 模式转换 建模验证 
基于自动机的用户名合法性检测方法
《延边大学学报（自然科学版）》2022年第2期169-173,共5页刘帆 赵亚慧 崔荣一 
国家语委“十三五”科研项目(YB135-76);延边大学外国语言文学一流学科建设项目(18ylpy13)。
针对现有方法检测用户名合法性效率较低的问题,提出了一种基于自动机的用户名合法性检测模型.该模型利用映射函数对用户名字符串进行映射,以此实现由字符串向映射串的转化;利用构造的计数自动机实现对映射串的合法性检测.研究表明,该模...
关键词：自动机理论 自动机 用户名 合法性检验 同态映射 
本科人才培养 从经验走向科学 从粗放走向精细被引量：2
《计算机教育》2022年第1期F0003-F0003,共1页
内容简介《本科人才培养从经验走向科学从粗放走向精细》(ISBN 9787302593874)集作者30余年在实践层面上对人才培养从经验走向科学,从粗放走向精细的探索和实践,聚焦目前大家在专业建设中比较困惑的几个关键问题进行讨论,包括人才培养...
关键词：人才培养标准 学生为中心 一流专业 自动机理论 编译原理 专业负责人 培养方案 复杂工程问题 
基于自动机理论的密码匹配方法被引量：1
《延边大学学报（自然科学版）》2021年第2期141-145,共5页姜克鑫 赵亚慧 崔荣一 
延边大学外国语言文学一流学科建设项目(18YLPY13)。
针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密;其次,构造出可接受加密密码的自动机———状态数目可变自动机(VNS-DFA),该自动机不仅能够匹配加密密码,同时还可以输出加密密...
关键词：自动机理论 密码匹配 密码加密 同态映射 同态原像 
走向有意识的AI 受认知神经智能启发的计算机架构
《检察风云》2021年第6期82-83,共2页曼纽尔·布卢姆 
我们认为,认知神经科学家伯纳德·巴尔斯和斯坦尼斯拉斯·德阿纳已经理解了“意识”的含义,尽管他们的理论并未广为人知。我们所做的是把他们的理论翻译成数学语言。我们把认知科学转换成数学,也就是自动机理论。这启发我们去思考大脑...
关键词：自动机理论 数学语言 认知神经科学 认知科学 伯纳德 计算机 启发 
基于混成自动机理论的间歇性电源并网多逆变器并联环流抑制方法被引量：1
《电力电容器与无功补偿》2021年第1期128-135,共8页刘志豪 粟时平 唐谟懿 罗雪莲 
针对间歇性电源并网多逆变器并联运行环流突出、抑制困难的问题,论文提出运用混成自动机理论抑制间歇性电源并网多逆变器并联环流。论文首先详细分析间歇性电源并网多逆变器并联运行的混成特征和环流产生原理,得出逆变器输出电压与环流...
关键词：环流 并联运行 混成自动机 混成控制 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部