期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
西府剪纸艺术形式化语言的探究
1
作者 张韬 《天工》 2024年第28期22-24,共3页
剪纸艺术作为西府地区一种重要的民间艺术,在当地人心中有着其他艺术无法替代的地位,从迎接新的一年的到来,到娶妻生子的生命仪式,再到入住新宅的祝福,都离不开剪纸艺术。剪纸已经和当地人的生命、情感相连接,寄托着他们对美好生活的向往。
关键词 剪纸 情感 形式化语言 传承
在线阅读 下载PDF
形式化语言MSC消息机制的扩展 被引量:2
2
作者 褚秉华 仇佩亮 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2003年第2期167-172,共6页
为了使消息顺序图(messagesequencecharts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展.MSC是用于描述系统间消息传递的一种有效的形式化语言,... 为了使消息顺序图(messagesequencecharts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展.MSC是用于描述系统间消息传递的一种有效的形式化语言,但现在的MSC存在着数据表达能力不强,消息顺序机制不够灵活等问题.因此,在对消息的扩展中,将消息作为一种对象进行研究,增加了消息本身的信息量.在此基础上对消息的顺序机制进行扩展,通过引入一些新的概念、符号,介绍了如何表达消息之间的相互关系和消息的运算等.扩展后的MSC能更加直观、清楚、完整地描述消息的轨迹和系统的静态与动态特性. 展开更多
关键词 消息 消息顺序 形式化语言
在线阅读 下载PDF
浅析形式化语言B与UML/OCL的差异比较
3
作者 奚岩 《黑龙江科技信息》 2010年第31期86-86,共1页
对形式化方法中B语言和UML/OCL语言进行了概述,并依据软件开发的生命周期对B语言与OCL语言差异进行了分析比较,对B语言和UML/OCL语言此两种形式化语言的异同与各自适用的范围加以比对介绍、归纳总结。
关键词 形式化语言B UML/OCL 差异比较
在线阅读 下载PDF
一种改进的安全协议形式化需求语言
4
作者 马晓宁 李明楚 《电子技术应用》 北大核心 2006年第3期50-53,共4页
对原有的安全协议形式化需求语言进行了改进,使其能适用于复杂的分布式系统。使用改进后的语言描述了网格环境下多用户协同计算中科学计算问题的安全需求。
关键词 安全协议 形式化需求语言 网格 协同计算
在线阅读 下载PDF
构式图示:语言形式化研究的新方案
5
作者 刘锋 《西安工业大学学报》 CAS 2016年第1期80-86,共7页
为了探讨语言形式化研究的新途径,文中在研究构式语法的基础上,总结了构式图示的嵌套框盒图、特征结构图和论元结构图三种类型.以致使移动构式阐释了构式图示的结构,评述了构式图示的利弊。构式图示使用一套固定的符号标记和数学公式实... 为了探讨语言形式化研究的新途径,文中在研究构式语法的基础上,总结了构式图示的嵌套框盒图、特征结构图和论元结构图三种类型.以致使移动构式阐释了构式图示的结构,评述了构式图示的利弊。构式图示使用一套固定的符号标记和数学公式实现语言形式化的研究,有助于语言学实现语言分析科学化的目标;构式图示可直观的将各象征单位和构式之间所具有的联系性和制约性呈现在图示中,有利于准确识别构式的意义和用法. 展开更多
关键词 语言形式化 构式图示 致使移动构式 构式语法
在线阅读 下载PDF
融合网络中SIP协议的SDL形式化研究
6
作者 刘业 《中国新通信》 2022年第14期25-27,共3页
作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本... 作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本文利用SDL语言对SIP协议进行形式化研究,包括协议交互消息的形式化定义,用户代理客户端/服务器端的形式化描述,客户端/服务器端请求事务的内部流程形式化等工作,进而使用SDL语言形式化地描述了SIP呼叫建立的完整流程。这样当我们在SIP协议的基础上进行新型应用协议开发时候,可以在开发初期将协议一致性、可达性、活锁、死锁等协议验证工作做好,提前将部分协议错误在设计初期找出来,以加快企业新型应用的开发效率。 展开更多
关键词 SIP 形式化描述语言 协议 融合网络
在线阅读 下载PDF
一种面向服务的业务过程建模语言
7
作者 邢少敏 周伯生 陈天影 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2008年第11期1343-1348,共6页
通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足,以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,提出了一种面向服务的可视化过程建模语言VPML-S,并提出了该语言的概念设计框架,简述了其通用的建... 通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足,以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,提出了一种面向服务的可视化过程建模语言VPML-S,并提出了该语言的概念设计框架,简述了其通用的建模元素;使用UML类图设计了该语言的元模型,在此基础上建立了语言的形式化模型;分析和评估了VPML-S中的服务元素所提供的将活动映射为Web服务的面向服务功能,嵌入子过程元素所提供的多个业务过程之间的复用机制,管道元素所提供的多个业务过程的协作机制以及VPML-S和其它语言所建立的业务过程模型的互操作支持机制;评述了VPML-S的可视化图符替换、元模型扩展机制;最后通过一个网上购物流程实例说明VPML-S为面向服务的环境下的业务过程复用、协作和互操作提供了有效的支撑. 展开更多
关键词 可视化过程建模语言 过程工程 形式化语言 面向服务
在线阅读 下载PDF
形式感对设计的冲击——当代背景下时装设计的反思
8
作者 赵旭堃 《中国艺术》 2011年第1期149-149,共1页
本文以时装设计形式问题为切入点,引申出艺术设计一系列的问题和反思,对服装设计的形式感及其表现进行了深入挖掘,提出服装设计师要担当起社会责任,关注当下,透过繁复庞杂的形式外壳,发掘服装设计表现力的真正意义,并提出可持续发展目... 本文以时装设计形式问题为切入点,引申出艺术设计一系列的问题和反思,对服装设计的形式感及其表现进行了深入挖掘,提出服装设计师要担当起社会责任,关注当下,透过繁复庞杂的形式外壳,发掘服装设计表现力的真正意义,并提出可持续发展目标——服装设计在形式创新的同时依托民族气质,将时装情感与灵魂融入世界文化情感中。 展开更多
关键词 时装形式化语言的背离 色彩与材质的精神特质 找寻时装设计的情感 民族气质的灵魂
在线阅读 下载PDF
通用安全协议分析语言CPAL的研究
9
作者 刘士冬 苏桂平 吕述望 《微电子学与计算机》 CSCD 北大核心 2005年第11期41-44,共4页
本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析,指出这种语言控制流的缺陷,在语法和语义方面给出CPAL语言的完善方案,并从信息安全中的协议的广泛性方面说明其必要性。
关键词 安全协议 形式化分析 形式化语言 语法和语义
在线阅读 下载PDF
从《红楼梦》“陪笑”的英译看英汉语言的不对等
10
作者 代红 《英语广场(学术研究)》 2017年第4期38-40,共3页
中国古典名著《红楼梦》的对外译介中,产生了霍克思和杨宪益两个风格迥异的英文全译本。"陪笑"一词在《红楼梦》中多次出现,用以刻画人物形象,而霍译和杨译的翻译策略不尽相同。本文以霍、杨译本中凤姐"陪笑"的英... 中国古典名著《红楼梦》的对外译介中,产生了霍克思和杨宪益两个风格迥异的英文全译本。"陪笑"一词在《红楼梦》中多次出现,用以刻画人物形象,而霍译和杨译的翻译策略不尽相同。本文以霍、杨译本中凤姐"陪笑"的英译为对象,分析英汉语言在形式和意义上的不对等,进一步明确指出不对等源于语言形式化、译者因素和社会文化等方面的差异。 展开更多
关键词 英汉语言 不对等 语言形式化 译者 社会文化
在线阅读 下载PDF
用L-系统描述植物根系并实现其动态可控生长 被引量:17
11
作者 秋林 刘晓东 +1 位作者 罗爱玲 罗轶先 《微电子学与计算机》 CSCD 北大核心 2003年第11期56-59,共4页
文章提出了一种用形式化语言L-系统描述植物根部形态的建模方法,既体现了植物根系微观上的自相似性,又保证了模型应用中的可用性、真实性,并结合灵活的数据结构实现了其动态可控生长。
关键词 L-系统 植物根系 动态可控生长 数据结构 植物拓扑结构 农业 形式化语言
在线阅读 下载PDF
悖论与塔斯基真理定义
12
作者 朱建平 《渤海大学学报(哲学社会科学版)》 2014年第4期124-129,共6页
塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是... 塔斯基真理定义的理论有两个目标:一个是哲学的目标,一个是元数学的目标。塔斯基的哲学目标是提供一个真理的普通概念,即在科学、数学和日常话语中通常使用的真理概念的定义。元数学的目标是研究逻辑方法论,元数学(又称元逻辑)研究的是在逻辑框架(一阶和高阶数理逻辑)中理论(特别是数学理论)的形式性质以及逻辑框架本身的性质。真理的概念在元逻辑研究中扮演着重要的角色。然而,由于这一概念会产生悖论,因而,塔斯基的第二个目标是证明"真理"概念可以在元逻辑中一致性地被使用。 展开更多
关键词 真理 形式化语言 真理定义 语义学
在线阅读 下载PDF
用反演理论建立抗干扰新方法 被引量:1
13
作者 罗利春 《通信学报》 EI CSCD 北大核心 2003年第1期124-130,共7页
回顾了反演理论基本方法及其在地球物理学、传感器数据融合与太阳地震学中的应用范例。提出了运用反演理论研究通信抗干扰新方法的总体思路,论述了其关键问题,建立并用数学形式化语言描述了通信抗干扰反演的基本原理与基本方法。给出了... 回顾了反演理论基本方法及其在地球物理学、传感器数据融合与太阳地震学中的应用范例。提出了运用反演理论研究通信抗干扰新方法的总体思路,论述了其关键问题,建立并用数学形式化语言描述了通信抗干扰反演的基本原理与基本方法。给出了通信抗干扰反演实例。 展开更多
关键词 反演理论 抗干扰 通信 原理 数学形式化语言
在线阅读 下载PDF
让数学“活泼”起来
14
作者 毛毛 《数学之友》 2017年第8期1-2,4,共3页
数学是刻画自然规律和社会规律的科学语言和有效工具,符号化、形式化是数学的显著特点.从某种意义上来说,学习数学就是学习一种有特定含义的形式化语言,以及用这种形式化语言去表述、解释、解决各种问题.
关键词 数学 形式化语言 有效工具 科学语言 社会规律 自然规律 符号化 学习
在线阅读 下载PDF
基于UCM和SDL的电信业务功能需求建模
15
作者 程勇 袁兆山 +1 位作者 倪世道 琚川徽 《合肥工业大学学报(自然科学版)》 CAS CSCD 2002年第2期186-190,共5页
电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成... 电信业务开发实践表明正确获取和建模业务功能需求是成功开发新业务的前提和基础 ,因此文章强调建模用户需求的重要性 ,提出基于 UCM和 SDL 的电信业务功能需求建模方法 ,并详细讨论了整个建模过程 ,该方法对于提高电信业务软件开发成功率、缩短开发周期和减少开发工作量有积极意义。 展开更多
关键词 电信业务 功能需求 建模 UCM SDL 软件开发 形式化描述语言
在线阅读 下载PDF
基于KVM虚拟化的网络环境自动构建技术研究 被引量:3
16
作者 张云 唐积强 +1 位作者 闫健恩 张兆心 《高技术通讯》 CAS CSCD 北大核心 2014年第10期1037-1043,共7页
针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网络环境自动构建新技术:首先形式化描述真实网络,根据描述结果利用基于内核的虚拟机(KVM)和Click虚拟化生... 针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网络环境自动构建新技术:首先形式化描述真实网络,根据描述结果利用基于内核的虚拟机(KVM)和Click虚拟化生成主机、路由器,然后采用终端路由器路由表洪泛(TRTF)算法计算路由表信息,通过脚本技术对主机与路由器自动设置,形成最终虚拟网络。实验结果表明,利用本文构建算法,构建规模100个节点的网络环境仅需95s。在构建网络中进行了DDoS模拟实验,结果表明网络连通性状况良好,构建网络可用于网络安全事件重现。 展开更多
关键词 网络环境 自动构建 形式化描述语言 KVM虚拟化
在线阅读 下载PDF
基于CSP的网络协议描述与仿真 被引量:3
17
作者 宋金晶 沈军 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第A01期28-33,共6页
首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文... 首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础. 展开更多
关键词 形式化描述语言 通信顺序进程 协议仿真 系统建模
在线阅读 下载PDF
基于RFDL的批量生产操作流程的合成
18
作者 刘佳 杨宗霄 张安年 《微电子学与计算机》 CSCD 北大核心 2009年第3期60-63,共4页
目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(RFDL)对操作流程正式描述,实现了... 目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(RFDL)对操作流程正式描述,实现了操作流程和领域知识间的匹配体系化.通过一系列的RFDL描述语句进行批量产品处方的构建及合成,使设计人员可以在不改变设备的前提下,通过改变处方进行新产品的生产. 展开更多
关键词 处方工程学 处方形式化描述语言(RFDL) 批量过程 基本处方 实施处方
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部