形式语言理论属于《中国图书分类法》中的六级类目，该分类相关的期刊文献有764篇，会议文献有118篇，学位文献有349篇等，形式语言理论的主要作者有苏锦钿、李永明、余珊珊，形式语言理论的主要机构有华南理工大学计算机科学与工程学院、陕西师范大学计算机科学学院、中国科学院等。
统计的文献类型来源于 期刊论文、 学位论文、 会议论文
1.[期刊]
摘要： 该研究基于Kress和Leeuwen的视觉语法,选取两家中美教育科技独角兽企业,对其文字模态以图像模态进行分析并对比,从文化角度剖析多模态话语不同之处的原因。...
2.[期刊]
摘要： 以Petri网关联矩阵为基础,根据状态方程将变迁向量解表达为T_不变量与方程特解的线性组合;当特解向量中不存在合法引发序列时,从该向量出发,以逆序的方式获取借...
3.[期刊]
摘要： 作为一种重要的物理资源,多体纠缠态在量子信息处理中有着重要作用。本文基于量子编程技术研究四量子比特Cluster态的实验测试。通过构建可行量子线路,基于Vis...
4.[期刊]
摘要： 机器阅读理解是利用算法让计算机理解文章语义并回答用户提出的问题,同时可以衡量机器对自然语言理解的能力.以机器阅读理解的技术与应用场景为研究目标,完成机器阅读理...
5.[期刊]
摘要： IT资源描述广泛应用于计算机、通信、网络和云计算等众多领域,是高效管理和利用资源的前提与基础,其准确性和完整性直接影响IT资源的利用率和网络提供服务的能力。选...
6.[期刊]
摘要： 决策问题是计算智能最核心的问题之一。基于模糊数学理论建立了一个普适的模糊决策树模型;用节点刻画决策前提和控制信息,用树上的边形式化推理规则;并在节点和边上定义...
7.[期刊]
基于MediaWiki实现知识组织系统的语义在线维护——以ISO 5127术语国际标准为例
摘要： 本文旨在为知识组织系统实现语义在线维护提供切实可行的可选方案和系统实证示范.研究了维基百科开源工具MediaWiki的特征、优势和应用,以及ISO 5127的...
8.[期刊]
摘要： 近年来,以内生安全为主要技术机制的多变体系统在防御零日漏洞攻击中表现出了巨大的潜力.但是现有研究很少涉及多样性和安全性之间的量化评估.对此,提出面向多变体系统...
9.[期刊]
摘要： 针对无线传感器网络在对初次抛洒节点形成的覆盖漏洞进行二次部署的过程中,传统几何学方法难以运用于概率感知模型的问题,提出一种基于Delaunay三角划分策略的无...
10.[期刊]
摘要： 针对现有网络拓扑评价方法难以适应高铁信号系统危险致因网络有向异质特征的问题,形式化定义高铁信号系统危险致因网络;通过邻接矩阵,给出危险致因网络建模方法;利用邻...
11.[期刊]
摘要： 通信过程中为了使得通信双方之间的对话过程是安全传输的,在引入可信第三方的基础上,Yahalom协议借助于可信第三方为通信双方分配"好"的会话密钥,利用该共享密...
12.[期刊]
摘要： Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥.该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,...
13.[期刊]
摘要： 针对模型检测中的状态空间爆炸问题,提出一种基于带资源消耗的复杂概率迁移系统模型的性质验证方法.使用PRCTL进行模型语义逻辑表示,对迁移步数约束采用基于栈的深...
14.[期刊]
摘要： 为了提高Web服务的资源利用率,本文构建得到了一种Web服务多功能聚类方法,并综合运用模糊C均值算与LDA模型来划分Web服务的不同功能.在相同主题下时,聚类...
15.[期刊]
摘要： 信息物理融合系统是一类将信息系统和物理系统连接并融合在一起的混合系统,包含了感知、通信、计算与控制等多种技术,其系统操作既包括离散的计算过程,又包括连续的物理...
16.[期刊]
摘要： 系统决策基于系统的属性信息,这些信息有定性的也有定量的.综合定性与定量信息,基于模糊推理理论建立了一个普适的单层属性的模糊智能控制系统.将决策信息分级并模糊化...
17.[期刊]
摘要： 针对物流领域的服务组合存在容错性差和服务不可靠等问题,提出一种基于π网的物联网智能物流系统物流服务容错组合模型.首先,在简单介绍物联网智能物流系统后,给出了物...
18.[期刊]
摘要： 模型检测是一种自动验证软硬件系统行为的有效技术.为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策...
19.[期刊]
摘要： 为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合...
20.[期刊]
摘要： 三维空间模型数据经过攻击后,其纹理坐标的值发生了改变,对应的纹理映射坐标的值没有发生改变,因而,通过对三维空间模型三维网格进行嵌入,同时对纹理映射坐标也进行水...
