形式化描述语言

作品数：23被引量：60H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：赵保华屈玉贵刘政贾君枝卫荣娟更多>>
相关机构：中国科学院中国科学技术大学山西大学湖南大学更多>>
相关期刊：《中国新通信》《微电子学与计算机》《计算机应用与软件》《小型微型计算机系统》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国科学院院长基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
融合网络中SIP协议的SDL形式化研究
《中国新通信》2022年第14期25-27,共3页刘业 
作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本...
关键词：SIP 形式化描述语言 协议 融合网络 
基于运动生物力学的舞蹈动作分析与描述方法被引量：7
《陕西师范大学学报（自然科学版）》2021年第5期101-108,共8页徒鹏佳 杜丹丹 李军怀 姬文超 曹霆 王怀军 
国家重点研发计划(2017YFB1402103);国家自然科学基金(61971347)。
基于计算机视觉的人体运动捕捉技术为舞蹈动作的形式化与数字化描述提供了新思路。本文结合运动捕捉技术,设计了一种新的舞蹈动作的形式化描述语言。首先,以三维人体骨骼层次结构为描述对象,基于运动分析方法解析舞蹈动作捕捉数据,建立...
关键词：运动生物力学 运动捕捉技术 骨骼层次结构 形式化描述语言 
一种基于形式化可配置特征单元的特征模型被引量：1
《计算机应用与软件》2018年第1期44-51,共8页苏浓光 杨贯中 
湖南省产学研结合重大科技成果转化项目(2010XK6024)
针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题,在FODA等方法的研究基础上,提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘,从而来构建可配置特征模型,以提高设计...
关键词：软件产品线 特征模型 可配置特征模型 映射规则 形式化描述语言 特征描述 
基于KVM虚拟化的网络环境自动构建技术研究被引量：3
《高技术通讯》2014年第10期1037-1043,共7页张云 唐积强 闫健恩 张兆心 
国家科技支撑计划(2012BAH45B01);国家自然科学基金(61100189;61370215;61370211);山东省中青年科学家奖励基金(BS2011DX001)资助项目
针对传统网络环境构建存在成本高、效率低、可控性差的问题,进行了虚拟网络环境自动化构建技术研究,提出了一种基于KVM虚拟化的网络环境自动构建新技术:首先形式化描述真实网络,根据描述结果利用基于内核的虚拟机(KVM)和Click虚拟化生...
关键词：网络环境 自动构建 形式化描述语言 KVM虚拟化 
DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述被引量：2
《计算机科学》2014年第4期184-189,共6页马莉 钟勇 霍颖瑜 
广东省自然科学基金(10152800001000016);佛山市科技发展专项资金(2011AA100061);佛山市产学研专项资金(2012HC10027)资助
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描...
关键词：形式化描述语言 责任授权模型 OBJECT-Z 分布式时态逻辑 
设计模式形式化描述方法的研究与实现
《价值工程》2012年第6期118-118,共1页张权 董晶 姜亚萍 
软件设计中,类和对象的设计及它们之间依赖关系的确定严重影响到软件的复用性和灵活性,设计模式能够实现类和对象之间的完美设计。如何从成千上万的设计模式中寻找合适的设计模式成为关注的焦点。文章在深入研究和分析的基础上,形成了Di...
关键词：设计模式 形式化描述语言 
多语种构件模型的研究与实现
《计算机工程与应用》2010年第14期143-147,共5页汪漪 李皓 李晓 周俊林 王磊 
新疆维吾尔自治区科技攻关(含重大专项)项目资助(No.200612113;No.200732143-1)
通过对少数民族文字、语言的特点及其在多语种软件中体现的研究,对现有单一语种构件模型的接口和组合方式的分析,在单一语种构件模型的基础上,结合多语种软件的特点,定义了基于CCM的多语种构件模型,及其构件描述语言MLCDL。
关键词：多语种 构件模型 构件描述语言 多语种构件的形式化描述语言(MLCDL) 
叙词表形式化描述语言的比较研究被引量：2
《图书馆杂志》2010年第1期27-30,26,共5页贾君枝 卫荣娟 
传统叙词表的本体化构建是目前叙词表发展的重要方向。当前叙词表转换为本体的描述语言有XML(S)、RDF(S)、SKOS、OWL等,文章通过对几种典型的描述语言和叙词表之间的语义关系进行映射分析,从描述能力、人工干预、应用性三个层面总结了...
关键词：叙词表 描述语言 比较 
软件体系结构获取过程的形式化描述方法比较被引量：1
《计算机工程》2009年第21期29-32,共4页鄢波 桑军 向宏 胡海波 
国家"863"计划基金资助项目(2007AA01Z445)
为了研究软件动态体系结构与静态体系结构的一致性,针对软件体系结构的动态获取提出一套映射规则,该规则将系统运行事件映射为软件体系结构。分别使用着色Petri网和状态机,结合一个Java实例对该映射规则进行简单的形式化描述,总结2种方...
关键词：软件体系结构 着色PETRI网 状态机 形式化描述语言 
基于RFDL的批量生产操作流程的合成
《微电子学与计算机》2009年第3期60-63,共4页刘佳 杨宗霄 张安年 
国家自然科学基金项目(70671035)
目前在批量生产过程中,需要根据市场需求和产品规格的动态变化来对批量产品的实施处方进行连续修改,在此基础上合成批量生产操作流程存在很大的复杂性。针对这一问题,提出了一种使用处方形式化描述语言(RFDL)对操作流程正式描述,实现了...
关键词：处方工程学 处方形式化描述语言(RFDL) 批量过程 基本处方 实施处方 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部