期刊文献+
共找到972篇文章
< 1 2 49 >
每页显示 20 50 100
L(P^1,1)和正则语言 认领 被引量:1
1
作者 田启家 史忠植 《计算机学报》 EI CSCD 北大核心 1996年第11期 848-853,共6页
本文利用模型论博奕理论的方法证明了L(P^1,1)能够刻画正则语言。由此我们得了结论:在有限的离散线性序上L(P^1,1)和Monadic二阶逻辑的刻画能力是一致的。
关键词 正则语言 模型论博奕 形式语言 计算机
在线阅读 下载PDF
论传统工笔人物画的线语言 认领
2
作者 黎勤 《管理观察》 2009年第14期 265-266,共2页
在历史悠久的传统工笔人物画中,线条作为其最重要的绘画形式语言,体现了我们民族的绘画特色和审美特征。传统工笔人物画的线语言具有状物和达意的双重功用;具有丰富的独立审美品格及程式化特征。对传统工笔人物画线条特性的分析,将... 在历史悠久的传统工笔人物画中,线条作为其最重要的绘画形式语言,体现了我们民族的绘画特色和审美特征。传统工笔人物画的线语言具有状物和达意的双重功用;具有丰富的独立审美品格及程式化特征。对传统工笔人物画线条特性的分析,将提高我们对中国绘画精髓“线”的认识,这对于加深对中国绘画的理解是大有裨益的。 展开更多
关键词 传统工笔人物画 形式语言 线条 中国绘画 审美特征 审美品格 程式化 “线”
在线阅读 下载PDF
基于TCOZ的UML用例图的形式化模型 认领 被引量:3
3
作者 许维新 虞慧群 《华东理工大学学报:自然科学版》 CAS CSCD 北大核心 2004年第1期 82-87,共6页
基于TCOZ,本文建立了UML视图的一种形式化模型,不仅为UML提供了一种精确的数学描述,也为其正确性分析和验证奠定了基础。
关键词 UML 用例图 形式化模型 TCOZ 软件建模语言 视图
在线阅读 下载PDF
递归数据传送进程的证明系统 认领
4
作者 林惠民 《计算机学报》 EI CSCD 北大核心 1996年第11期 854-860,共7页
本文提出了递归数据传送进程互模拟的证明系统,并证明了其可靠性和相对于数据推理的完备性,其中关键的推理规则是唯一不动点归纳法,这个结果一方面将Milner关于正则基本CCS的公理系统推广到数据传送进程,另一方面将Hen... 本文提出了递归数据传送进程互模拟的证明系统,并证明了其可靠性和相对于数据推理的完备性,其中关键的推理规则是唯一不动点归纳法,这个结果一方面将Milner关于正则基本CCS的公理系统推广到数据传送进程,另一方面将Hennessy与Lin关于有穷数据传送进程的证明系统推广到无穷进程。 展开更多
关键词 数据传送进程 进程代数 形式语义
在线阅读 下载PDF
从汉字编码到西文下汉字显示 认领
5
作者 李然 《大连水产学院学报》 CSCD 1997年第4期 49-55,共7页
作者从汉字编码入手,分析了汉字编码的类型和规律,从而得出西文状态下显示汉字的方法。
关键词 汉字编码 字库 汉字显示
在线阅读 下载PDF
函数式语言范畴描述研究 认领
6
作者 袁晓月 刘素芬 《江西科学》 2015年第5期752-754,共3页
函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的... 函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质。 展开更多
关键词 函数式语言 范畴论 等价性
在线阅读 下载PDF
基于DSP的无刷直流电机新型转矩脉动抑制策略 认领
7
作者 吴善强 金超 +1 位作者 程楠 郑耿峰 《计算机测量与控制》 2016年第7期113-116,120共5页
无刷直流电机在换相时,非换相相绕组电流会产生脉动,绕组电流的脉动会引起输出转矩的脉动;研究无刷直流电机换相转矩脉动问题,是为了获得无刷直流电机更优的转矩输出特性,提高控制系统的稳定性和控制精度;通过分析换相转矩脉动的成因,... 无刷直流电机在换相时,非换相相绕组电流会产生脉动,绕组电流的脉动会引起输出转矩的脉动;研究无刷直流电机换相转矩脉动问题,是为了获得无刷直流电机更优的转矩输出特性,提高控制系统的稳定性和控制精度;通过分析换相转矩脉动的成因,在传统PWM_ON_PWM三相全桥调制方式的基础上,加入新型相电流预测控制算法,调节关断相和开通相电流下降和上升的速率,从而抑制相电流的脉动;利用DSP实现算法,验证了算法的可行性,通过实验数据和波形的对比分析,PWM_ON_PWM调制策略与电流预测算法相结合的控制算法可以有效抑制换相引起的转矩脉动. 展开更多
关键词 转矩脉动 调制 电流预测算法 DSP 策略
在线阅读 下载PDF
利用自动机研究描述逻辑的推理问题 认领
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规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明. 展开更多
关键词 先进先出算法(FIFO) 最近最少使用算法(LRU) 规格说明 Z语言
在线阅读 下载PDF
高中英语“读后续写”新题型教学初探 认领 被引量:3
10
作者 金就砺 《贵州教育》 2018年第10期33-36,共4页
学生在阅读之后能对文本做什么?这是困惑了很多英语教师的问题。不同的教师对此有不同的答案。王初明认为,凡是理解与产出交互结合的语言学习方式均能有效促学。语言理解的主要方式有听和读,语言产出的主要方式有说和写。听和读可借助... 学生在阅读之后能对文本做什么?这是困惑了很多英语教师的问题。不同的教师对此有不同的答案。王初明认为,凡是理解与产出交互结合的语言学习方式均能有效促学。语言理解的主要方式有听和读,语言产出的主要方式有说和写。听和读可借助视图,以促进理解,说和写可用于表演与演讲,以增强学习效应。从听、说、读、写这四种基本语言技能来看,理解和产出有四种组合. 展开更多
关键词 英语教师 语言理解 教学 题型 高中 学习方式 学习效应 交互
江沙维的《汉字文法》与比丘林的《汉文启蒙》 认领 被引量:1
11
作者 柳若梅 《华南师范大学学报:社会科学版》 CSSCI 北大核心 2009年第6期 151-156,共6页
近年来,随着澳门研究的日益深入,澳门作为历史上中西文化交流的窗口的意义越来越得到彰显。澳门作为历史上西方入华传教士学习汉语的基地,在这里所诞生的汉语研究著作,对于外国入的汉语学习,有着重要的意义。天主教遣使会传教士江... 近年来,随着澳门研究的日益深入,澳门作为历史上中西文化交流的窗口的意义越来越得到彰显。澳门作为历史上西方入华传教士学习汉语的基地,在这里所诞生的汉语研究著作,对于外国入的汉语学习,有着重要的意义。天主教遣使会传教士江沙维1829年出版的《汉字文法》,不仅是澳门圣若瑟修院汉语教学的重要教材,而且对西方入的汉语学习以及其后的汉语语法书的撰写有着重要的影响,对比俄罗斯汉学史上第一部汉语语法书——《汉文启蒙》,两者之间也能够找到相通之处。 展开更多
关键词 澳门 江沙维 汉字文法 比丘林 汉文启蒙
在线阅读 下载PDF
基于广义符号轨迹赋值模型验证的反例的产生 认领
12
作者 李义年 曹占涛 +1 位作者 郑德生 杨国武 《计算机科学》 CSCD 北大核心 2010年第9期 245-248,共4页
广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行... 广义符号轨迹赋值(Symbolic Trajectory Evaluation)引入了符号变量和抽象技术,解决了验证中状态爆炸的问题,但是却为寻找反例制造了很多障碍。针对此,提出了一种高效的寻找反例的算法,它应用集合的概念,通过回溯在父子路径之间进行集合的交集,可以高效地解决抽象引起的问题。并对此算法进行改进,解决了符号变量带来的问题。 展开更多
关键词 广义符号轨迹赋值 反例 形式化验证 符号模型验证 抽象
在线阅读 免费下载
编译原理中文法的教学探讨 认领 被引量:1
13
作者 岳小婷 《现代计算机:下半月版》 2010年第11期 32-35,共4页
在分析正规式、正规文法和上下文无关文法的基础上,着重讨论上下文无关文法中涉及到的一些重要的文法,例如二义文法、递归文法、LL(1)文法、LR(0)文法和SLR(1)文法,并以二义文法为主线,分析二义文法和递归文法、LL(1)文法、LR(... 在分析正规式、正规文法和上下文无关文法的基础上,着重讨论上下文无关文法中涉及到的一些重要的文法,例如二义文法、递归文法、LL(1)文法、LR(0)文法和SLR(1)文法,并以二义文法为主线,分析二义文法和递归文法、LL(1)文法、LR(0)文法和SLR(1)文法的关系,找出一些判定文法有无二义性的充分条件。 展开更多
关键词 编译程序 文法 二义文法
在线阅读 免费下载
基于分块频繁集抽取的Web文本关联分类 认领
14
作者 张志强 《福建电脑》 2011年第11期 11-13,共3页
以Web文档特征为基础,进行了分块加权的词频繁集抽取,并利用其生成的极大类频繁集设计了关联规则的文档分类算法,使并联文本分类方法在web文档上得以应用并取得较高的分类准确率与召回率。
关键词 WEB文档 关联规则 权重 频繁集
在线阅读 下载PDF
影响语言传播理解的因素研究 认领 被引量:1
15
作者 牛凌燕 《传播与版权》 2015年第9期120-121,共2页
语言传播的任务是让话语接收者更容易地理解传播者的语言和行为。这不是一个被动接收的过程,而是一种主动地信息加工和创造,很多时候由于各种因素的影响,往往造成了对同一语言的不同理解。本文试图从语句意义、语境、传播者、传播媒介... 语言传播的任务是让话语接收者更容易地理解传播者的语言和行为。这不是一个被动接收的过程,而是一种主动地信息加工和创造,很多时候由于各种因素的影响,往往造成了对同一语言的不同理解。本文试图从语句意义、语境、传播者、传播媒介的角度来探讨如何进行语言理解。 展开更多
关键词 语言传播 语句意义 语境 传播者 传播媒介
在线阅读 下载PDF
标志树文法及其语法分析 认领
16
作者 方林 程景云 《软件学报》 EI CSCD 北大核心 1995年第10期 637-641,共5页
树文法是一种高维文法,能够用来一表达二维以上复杂对象的构造规则。在模式识别、图式语言等领域有着广泛的应用前景。本文在树文法有关概念基础上提出了标志树、连接标志、标志树文法等概念,构造了标志树的匹配和识别算法,并成功解... 树文法是一种高维文法,能够用来一表达二维以上复杂对象的构造规则。在模式识别、图式语言等领域有着广泛的应用前景。本文在树文法有关概念基础上提出了标志树、连接标志、标志树文法等概念,构造了标志树的匹配和识别算法,并成功解决了标志树文法的语法分析器构造问题。 展开更多
关键词 模式识别 形式语言 树文法 语法分析
在线阅读 下载PDF
基于通信顺序进程的OWL-S语义分析与建模 认领 被引量:2
17
作者 杨建书 吴尽昭 周瑾 《计算机应用》 CSCD 北大核心 2010年第8期 2173-2176,2196,共5页
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语... 为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性。 展开更多
关键词 OWL-S过程模型 自动化验证 通信顺序进程 形式化语义 建模
在线阅读 下载PDF
抽象数据类型的双代数结构及其计算 认领 被引量:9
18
作者 苏锦钿 余珊珊 《计算机研究与发展》 EI CSCD 北大核心 2012年第8期1787-1803,共17页
程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构... 程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律. 展开更多
关键词 抽象数据类型 代数 共代数 双代数 递归 共递归
在线阅读 下载PDF
时态RDF扩展及其SPARQL查询语言 认领
19
作者 郭松云 严丽 《计算机应用研究》 CSCD 北大核心 2018年第3期788-794,共7页
随着语义网的快速发展以及RDF(资源描述框架)的普遍应用,对含有时间信息的数据处理的需求越来越多,经典RDF模型因其本身结构特点缺乏表示和处理时间信息的能力,而且针对时态RDF的研究罕有得见。通过对经典RDF模型添加时间戳表示其... 随着语义网的快速发展以及RDF(资源描述框架)的普遍应用,对含有时间信息的数据处理的需求越来越多,经典RDF模型因其本身结构特点缺乏表示和处理时间信息的能力,而且针对时态RDF的研究罕有得见。通过对经典RDF模型添加时间戳表示其时间维度,并对时态RDF图中的蕴涵问题进行了讨论,根据SPARQL查询语言提出了完备的时态RDF查询语言T-SPARQL,并对提出的查询语言进行了可行性以及性能的实验仿真。利用该时态RDF模型表示如股票、天气、新闻等具有时态特性的资源有优势,T-SPARQL对时态RDF进行查询具有良好的表达力和兼容性。 展开更多
关键词 资源描述框架 时态扩展 时态蕴涵 查询语言
在线阅读 下载PDF
上下文否定和存在矛盾的推理 认领
20
作者 胡汉平 李德华 《计算机杂志》 1992年第5期 19-24,共6页
关键词 上下文否定 推理过程 模拟 推理 否定 经典逻辑
在线阅读 下载PDF
上一页 1 2 49 下一页 到第
使用帮助 返回顶部 意见反馈