版权所有© 2001-2018 渝B2-20050021-1
渝公网安备 50019002500403号违法和不良信息举报中心
互联网出版许可证 新出网证(渝)字10号机构客服热线 023-67882612
- L（P^1,1）和正则语言 认领 被引量：1
- 1
- 《计算机学报》 EI CSCD 北大核心 1996年第11期 848-853,共6页
- 本文利用模型论博奕理论的方法证明了Ｌ（Ｐ＾１，１）能够刻画正则语言。由此我们得了结论：在有限的离散线性序上Ｌ（Ｐ＾１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的。
- 关键词 正则语言 模型论博奕 形式语言 计算机
- 论传统工笔人物画的线语言 认领
- 2
- 《管理观察》 2009年第14期 265-266,共2页
- 在历史悠久的传统工笔人物画中，线条作为其最重要的绘画形式语言，体现了我们民族的绘画特色和审美特征。传统工笔人物画的线语言具有状物和达意的双重功用；具有丰富的独立审美品格及程式化特征。对传统工笔人物画线条特性的分析，将... 展开更多
- 关键词 传统工笔人物画 形式语言 线条 中国绘画 审美特征 审美品格 程式化 “线”
- 基于TCOZ的UML用例图的形式化模型 认领 被引量：3
- 3
- 《华东理工大学学报：自然科学版》 CAS CSCD 北大核心 2004年第1期 82-87,共6页
- 基于TCOZ，本文建立了UML视图的一种形式化模型，不仅为UML提供了一种精确的数学描述，也为其正确性分析和验证奠定了基础。
- 关键词 UML 用例图 形式化模型 TCOZ 软件建模语言 视图
- 递归数据传送进程的证明系统 认领
- 4
- 《计算机学报》 EI CSCD 北大核心 1996年第11期 854-860,共7页
- 本文提出了递归数据传送进程互模拟的证明系统，并证明了其可靠性和相对于数据推理的完备性，其中关键的推理规则是唯一不动点归纳法，这个结果一方面将Ｍｉｌｎｅｒ关于正则基本ＣＣＳ的公理系统推广到数据传送进程，另一方面将Ｈｅｎ... 展开更多
- 关键词 数据传送进程 进程代数 形式语义
- 从汉字编码到西文下汉字显示 认领
- 5
- 《大连水产学院学报》 CSCD 1997年第4期 49-55,共7页
- 作者从汉字编码入手，分析了汉字编码的类型和规律，从而得出西文状态下显示汉字的方法。
- 关键词 汉字编码 字库 汉字显示
- 函数式语言范畴描述研究 认领
- 6
- 《江西科学》 2015年第5期752-754,共3页
- 函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的... 展开更多
- 关键词 函数式语言 范畴论 等价性
- 基于DSP的无刷直流电机新型转矩脉动抑制策略 认领
- 7
- 《计算机测量与控制》 2016年第7期113-116,120共5页
- 无刷直流电机在换相时,非换相相绕组电流会产生脉动,绕组电流的脉动会引起输出转矩的脉动;研究无刷直流电机换相转矩脉动问题,是为了获得无刷直流电机更优的转矩输出特性,提高控制系统的稳定性和控制精度;通过分析换相转矩脉动的成因,... 展开更多
- 关键词 转矩脉动 调制 电流预测算法 DSP 策略
- 利用自动机研究描述逻辑的推理问题 认领
- 8
- 《计算机与现代化》 2008年第6期 27-28,32,共3页
- 首先介绍如何把描述逻辑转化为一个不确定型有穷自动机，分析这种转化过程中存在的问题，在B．Nebel的基础上提出了利用自动机的最小化理论对上述得到的自动机进行优化处理，以提高推理的效率。
- 关键词 语义WEB 描述逻辑 自动机 最小化理论
- 页面置换算法的Z规格说明 认领 被引量：1
- 9
- 《上海大学学报：自然科学版》 CAS CSCD 1999年第S1期149-155,共7页
- 虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言... 展开更多
- 关键词 先进先出算法(FIFO) 最近最少使用算法(LRU) 规格说明 Z语言
- 高中英语“读后续写”新题型教学初探 认领 被引量：3
- 10
- 《贵州教育》 2018年第10期33-36,共4页
- 学生在阅读之后能对文本做什么？这是困惑了很多英语教师的问题。不同的教师对此有不同的答案。王初明认为,凡是理解与产出交互结合的语言学习方式均能有效促学。语言理解的主要方式有听和读,语言产出的主要方式有说和写。听和读可借助... 展开更多
- 关键词 英语教师 语言理解 教学 题型 高中 学习方式 学习效应 交互
-
- 江沙维的《汉字文法》与比丘林的《汉文启蒙》 认领 被引量：1
- 11
- 《华南师范大学学报：社会科学版》 CSSCI 北大核心 2009年第6期 151-156,共6页
- 近年来，随着澳门研究的日益深入，澳门作为历史上中西文化交流的窗口的意义越来越得到彰显。澳门作为历史上西方入华传教士学习汉语的基地，在这里所诞生的汉语研究著作，对于外国入的汉语学习，有着重要的意义。天主教遣使会传教士江... 展开更多
- 关键词 澳门 江沙维 汉字文法 比丘林 汉文启蒙
- 基于广义符号轨迹赋值模型验证的反例的产生 认领
- 12
- 《计算机科学》 CSCD 北大核心 2010年第9期 245-248,共4页
- 广义符号轨迹赋值（Symbolic Trajectory Evaluation）引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行... 展开更多
- 关键词 广义符号轨迹赋值 反例 形式化验证 符号模型验证 抽象
- 编译原理中文法的教学探讨 认领 被引量：1
- 13
- 《现代计算机：下半月版》 2010年第11期 32-35,共4页
- 在分析正规式、正规文法和上下文无关文法的基础上,着重讨论上下文无关文法中涉及到的一些重要的文法,例如二义文法、递归文法、LL（1）文法、LR（0）文法和SLR（1）文法,并以二义文法为主线,分析二义文法和递归文法、LL（1）文法、LR（... 展开更多
- 关键词 编译程序 文法 二义文法
- 基于分块频繁集抽取的Web文本关联分类 认领
- 14
- 《福建电脑》 2011年第11期 11-13,共3页
- 以Web文档特征为基础,进行了分块加权的词频繁集抽取,并利用其生成的极大类频繁集设计了关联规则的文档分类算法,使并联文本分类方法在web文档上得以应用并取得较高的分类准确率与召回率。
- 关键词 WEB文档 关联规则 权重 频繁集
- 影响语言传播理解的因素研究 认领 被引量：1
- 15
- 《传播与版权》 2015年第9期120-121,共2页
- 语言传播的任务是让话语接收者更容易地理解传播者的语言和行为。这不是一个被动接收的过程,而是一种主动地信息加工和创造,很多时候由于各种因素的影响,往往造成了对同一语言的不同理解。本文试图从语句意义、语境、传播者、传播媒介... 展开更多
- 关键词 语言传播 语句意义 语境 传播者 传播媒介
- 标志树文法及其语法分析 认领
- 16
- 《软件学报》 EI CSCD 北大核心 1995年第10期 637-641,共5页
- 树文法是一种高维文法，能够用来一表达二维以上复杂对象的构造规则。在模式识别、图式语言等领域有着广泛的应用前景。本文在树文法有关概念基础上提出了标志树、连接标志、标志树文法等概念，构造了标志树的匹配和识别算法，并成功解... 展开更多
- 关键词 模式识别 形式语言 树文法 语法分析
- 基于通信顺序进程的OWL-S语义分析与建模 认领 被引量：2
- 17
- 《计算机应用》 CSCD 北大核心 2010年第8期 2173-2176,2196,共5页
- 为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语... 展开更多
- 关键词 OWL-S过程模型 自动化验证 通信顺序进程 形式化语义 建模
- 抽象数据类型的双代数结构及其计算 认领 被引量：9
- 18
- 《计算机研究与发展》 EI CSCD 北大核心 2012年第8期1787-1803,共17页
- 程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征，因此单纯利用代数或共代数难以给出完整的描述．双代数是同一载体集上的代数和共代数对，提供了一种从范畴论的角度探讨抽象数据类型上的语法构... 展开更多
- 关键词 抽象数据类型 代数 共代数 双代数 递归 共递归
