期刊文献+
共找到1,237篇文章
< 1 2 62 >
每页显示 20 50 100
扩展Tempura语言统一模型检测算法
1
作者 朱维军 周清雷 张海宾 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第7期163-168,共6页
针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间... 针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性. 展开更多
关键词 模型检测 扩展tempura语言 区间时序逻辑 区间模型 程序规范 统一框架
在线阅读 下载PDF
ScaleFS:面向大语言模型的高性能可扩展元数据设计 被引量:1
2
作者 尚碧筠 韩银俊 +3 位作者 肖蓉 陈正华 屠要峰 董振江 《计算机研究与发展》 北大核心 2025年第3期589-604,共16页
近年来,以Chat GPT为代表的大语言模型(large language model,LLM)技术发展迅速.随着模型参数规模的持续增长,构建和应用大模型对数据存储规模和存储访问效率提出了更高要求,这对传统存储系统带来了严峻挑战.首先分析了大模型在数据准... 近年来,以Chat GPT为代表的大语言模型(large language model,LLM)技术发展迅速.随着模型参数规模的持续增长,构建和应用大模型对数据存储规模和存储访问效率提出了更高要求,这对传统存储系统带来了严峻挑战.首先分析了大模型在数据准备、模型训练和推理阶段的存储访问特征,深入探讨了传统存储系统在大模型场景下面临的主要问题和瓶颈.针对这些挑战,提出并实现了一种高性能、可扩展的分布式元数据设计Scale FS.通过目录树元数据与属性元数据解耦的架构设计,并结合深度与广度均衡的目录树分层分区策略设计,Scale FS实现了高效的路径解析、负载均衡和系统扩展能力,能够高效管理千亿级文件.此外,Scale FS设计了细粒度元数据结构,优化了元数据访问模式,并构建了面向文件语义优化的元数据键值存储底座,显著提升了元数据访问效率并减少了磁盘I/O操作.实验结果表明,Scale FS的每秒操作次数(operations per second,OPS)是HDFS的1.04~7.12倍,而延迟仅为HDFS的12.67%~99.55%.在千亿级文件规模下,Scale FS的大部分操作性能优于HDFS在十亿级文件规模下的表现,展现出更高的扩展性和访问效率,能够更好地满足大模型场景对千亿级文件存储及高效访问的需求. 展开更多
关键词 语言模型 大模型训练 存储系统 元数据管理 扩展
在线阅读 下载PDF
可扩展的化工流程模拟软件设计与测试
3
作者 孟平洧 李薇 曹志凯 《厦门大学学报(自然科学版)》 北大核心 2025年第1期186-192,共7页
[目的]针对商业流程模拟软件功能扩展时操作繁琐、可解释性差等缺陷,提出一种实现软件功能扩展的设计思路.[方法]设计时将Lua扩展模块以组件形式嵌入模拟软件中,使用C#语言配合.NET环境下的NLua库实现Lua语言的解释执行,然后在求解器和... [目的]针对商业流程模拟软件功能扩展时操作繁琐、可解释性差等缺陷,提出一种实现软件功能扩展的设计思路.[方法]设计时将Lua扩展模块以组件形式嵌入模拟软件中,使用C#语言配合.NET环境下的NLua库实现Lua语言的解释执行,然后在求解器和物性库的支持下实现扩展模型的求解,并以重油催化裂化六集总模型的计算为例进行测试.[结果]测试结果显示关键组分的误差较小,扩展技术能得到有效应用.与Aspen Plus的同类功能相比操作繁琐度降低了54%.[结论]本研究为可扩展的化工流程模拟软件设计提供了一种高效解决方案. 展开更多
关键词 化工流程模拟 Lua语言 模块化 扩展模块
在线阅读 下载PDF
基于RISC-V Matrix指令集扩展的LLM矢量点积加速研究
4
作者 陈煦豪 胡思鹏 +3 位作者 刘洪超 刘伯然 唐丹 赵地 《计算机科学》 北大核心 2025年第5期83-90,共8页
鉴于边缘AI的高性能与低功耗需求,基于RISC-V指令集架构,针对边缘设备数字信号处理的实际问题,设计了一种边缘AI的专用指令集处理器,在有限的硬件开销下,提升了边缘AI的执行效率,降低了边缘AI的能量消耗,能够满足边缘AI应用中进行高效... 鉴于边缘AI的高性能与低功耗需求,基于RISC-V指令集架构,针对边缘设备数字信号处理的实际问题,设计了一种边缘AI的专用指令集处理器,在有限的硬件开销下,提升了边缘AI的执行效率,降低了边缘AI的能量消耗,能够满足边缘AI应用中进行高效大语言模型(LLM)推理计算的需求。针对大语言模型的特性,基于RISC-V指令集扩展了自定义指令完成矢量点积计算,在专用的矢量点积加速硬件上进行大语言模型的运算加速;基于开源高性能RISC-V处理器核“香山”nanhu版本架构,实现了矢量点积专用指令集处理器nanhu-vdot,其在高性能处理器“香山”(nanhu版本)的基础上增加了矢量点积计算单元以及流水线处理逻辑;对nanhu-vdot进行FPGA硬件测试,在几乎没有增加额外的硬件资源和功耗消耗的前提下,矢量点积运算速度相比标量方法提高4倍以上,使用软硬件协同方案进行第二代生成式预训练(Generative Pre-Trained-2,GPT-2)模型推理,相比纯软件实现,速度提高了约30%。 展开更多
关键词 指令集扩展 矢量点积 软硬件协同 语言模型推理
在线阅读 下载PDF
基于伪相关反馈的跨语言查询扩展 被引量:19
5
作者 吴丹 何大庆 王惠临 《情报学报》 CSSCI 北大核心 2010年第2期232-239,共8页
相关反馈是一种重要的查询重构技术,本文分析了两类相关反馈技术,一是按用户是否参与可分为伪相关反馈和交互式相关反馈,二是按作用于查询的方式可分为查询扩展与检索词重新加权。在此基础上,本文重点探讨了将相关反馈技术应用于跨... 相关反馈是一种重要的查询重构技术,本文分析了两类相关反馈技术,一是按用户是否参与可分为伪相关反馈和交互式相关反馈,二是按作用于查询的方式可分为查询扩展与检索词重新加权。在此基础上,本文重点探讨了将相关反馈技术应用于跨语言信息检索,提出了翻译前查询扩展、翻译后查询扩展、翻译前与翻译后相结合的查询扩展三种方法。最后,本文通过伪相关反馈实验对这三种方法进行了比较,实验结果显示,三种跨语言查询扩展方法都能够有效地提高检索结果的精度,其中翻译后查询扩展方法相对更优越。此外,查询式的长度对不同跨语言查询扩展方法产生着不同程度的影响。 展开更多
关键词 相关反馈 伪相关反馈 语言信息检索 查询扩展
在线阅读 下载PDF
基于扩展标记语言的Internet市场的服务描述 被引量:4
6
作者 周笑波 杜鹏 +2 位作者 陈贵海 陈道蓄 谢立 《软件学报》 EI CSCD 北大核心 2000年第1期62-66,共5页
作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它... 作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它较好地权衡了市场构架与顾客及服务提供者的观点 . 展开更多
关键词 扩展标记语言 INTERNET网 INTERNET市场
在线阅读 下载PDF
基于潜在语义分析的跨语言查询扩展方法 被引量:13
7
作者 闭剑婷 苏一丹 《计算机工程》 CAS CSCD 北大核心 2009年第10期49-50,53,共3页
针对传统查询扩展方法存在的问题,提出一种基于潜在语义分析的跨语言扩展方法,利用聚类提高扩展文本集合的精度,并用潜在语义分析实现无需翻译的查询扩展,减轻翻译歧义带来的影响。实验结果表明,该方法能够获得较好的性能。
关键词 潜在语义分析 查询扩展 语言
在线阅读 下载PDF
基于项权值排序挖掘的跨语言查询扩展 被引量:11
8
作者 黄名选 蒋曹清 《电子学报》 EI CAS CSCD 北大核心 2020年第3期568-576,共9页
为了改善自然语言处理应用中长期存在的主题漂移和词不匹配问题,本文首先提出一种加权项集支持度计算方法和基于项权值排序的剪枝方法,给出面向查询扩展的基于项权值排序的加权关联规则挖掘算法,讨论关联规则混合扩展、后件扩展和前件... 为了改善自然语言处理应用中长期存在的主题漂移和词不匹配问题,本文首先提出一种加权项集支持度计算方法和基于项权值排序的剪枝方法,给出面向查询扩展的基于项权值排序的加权关联规则挖掘算法,讨论关联规则混合扩展、后件扩展和前件扩展模型,最后提出基于项权值排序挖掘的跨语言查询扩展算法.该算法采用新的支持度和剪枝策略挖掘加权关联规则,根据扩展模型从规则中提取高质量扩展词实现跨语言查询扩展.实验结果表明,与现有基于加权关联规则挖掘的跨语言扩展算法比较,本文扩展算法能有效遏制查询主题漂移和词不匹配问题,可用于各种语言的信息检索以改善检索性能,扩展模型中后件扩展获得最优检索性能,混合扩展的检索性能不如后件扩展和前件扩展,支持度对后件扩展更有效,置信度更有利于提升前件扩展和混合扩展的检索性能.本文挖掘方法可用于文本挖掘、商务数据挖掘和推荐系统以提高其挖掘性能. 展开更多
关键词 自然语言处理 文本挖掘 信息检索 语言检索 查询扩展 推荐系统
在线阅读 下载PDF
跨语言查询扩展优化 被引量:9
9
作者 魏露 李书琴 +1 位作者 李伟男 李新乐 《计算机工程与设计》 CSCD 北大核心 2014年第8期2785-2788,2803,共5页
为提高跨语言查询扩展检索精度,在原有跨语言查询扩展基础上,引入降低噪声和孤立点的k-medoid聚类算法,提出避免语义信息丢失或过拟合的择优模型。构建若干个不同维度值的d维模型,结合奇异值分解和非负矩阵分解法计算文本之间的相似度,... 为提高跨语言查询扩展检索精度,在原有跨语言查询扩展基础上,引入降低噪声和孤立点的k-medoid聚类算法,提出避免语义信息丢失或过拟合的择优模型。构建若干个不同维度值的d维模型,结合奇异值分解和非负矩阵分解法计算文本之间的相似度,选取相似度最大的模型建立双语空间,经过跨语言扩展与权值调整,实现查询扩展优化。实验对比结果表明,该方案有效提高了检索精度,为跨语言查询提供了可参考的模型与算法。 展开更多
关键词 潜在语义 语言 查询扩展 k-中心点聚类 非负矩阵分解 择优模型
在线阅读 下载PDF
基于扩展KQML语言的Agent模板实现 被引量:4
10
作者 曲朝阳 沈晶 《计算机应用》 CSCD 北大核心 2004年第1期90-91,142,共3页
文中针对生成Agent的模板JATLite的协议不完整性问题 ,分析了其工作原理 ,提出修改通信协议的方案 ,在JATLite中的KQML语言基础上定义了扩展的KQML语言 ,并实现了基于扩展KQML语言的新层次exkqmllayer ,从而形成一个新的构建Agent系统... 文中针对生成Agent的模板JATLite的协议不完整性问题 ,分析了其工作原理 ,提出修改通信协议的方案 ,在JATLite中的KQML语言基础上定义了扩展的KQML语言 ,并实现了基于扩展KQML语言的新层次exkqmllayer ,从而形成一个新的构建Agent系统的模板。 展开更多
关键词 JATLite AMR KQML 扩展KQML语言
在线阅读 下载PDF
基于可扩展置标语言的变电站可视化防误规则 被引量:11
11
作者 胡红兵 郑洁 +1 位作者 赵栋 谢芬 《电力系统自动化》 EI CSCD 北大核心 2012年第24期54-57,共4页
介绍了变电站微机防误闭锁的工程应用背景,提出一种基于可视化思想设计防误闭锁的方法。详细阐述了如何通过使用可扩展置标语言(XML)文件作为中间环节,实现防误闭锁逻辑的可视以及闭锁逻辑规则在智能一体化装置上的可读。最后,对提出的... 介绍了变电站微机防误闭锁的工程应用背景,提出一种基于可视化思想设计防误闭锁的方法。详细阐述了如何通过使用可扩展置标语言(XML)文件作为中间环节,实现防误闭锁逻辑的可视以及闭锁逻辑规则在智能一体化装置上的可读。最后,对提出的这种可视化防误闭锁在工程应用中的效果作了简要的说明。 展开更多
关键词 智能变电站 可视化 扩展置标语言 智能一体化装置 防误闭锁
在线阅读 下载PDF
一种扩展置标语言解析器的设计与实现 被引量:4
12
作者 丁峰 王煜 +1 位作者 沈钧毅 齐勇 《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第8期867-870,共4页
为了对扩展置标语言 (XML)文档中载有的数据进行解析 ,设计并实现了一种通用的XML解析器———XMLP ,该解析器能对XML文档进行解析、验证和串行化 .其中 ,解析功能实现了文档对象模型 (DOM)解析和基于XML的简单应用编程接口 (SAX)解析 ... 为了对扩展置标语言 (XML)文档中载有的数据进行解析 ,设计并实现了一种通用的XML解析器———XMLP ,该解析器能对XML文档进行解析、验证和串行化 .其中 ,解析功能实现了文档对象模型 (DOM)解析和基于XML的简单应用编程接口 (SAX)解析 .为了对DOM解析进行优化 ,提出并实现了占用内存资源较少的延迟展开的方法 ;验证功能实现了对文档类型定义 (DTD)和模式(Schema)的验证 ; 展开更多
关键词 设计 扩展置标语言 解析器 文档对象模型 简单应用编程接口 XMLP 解析功能
在线阅读 下载PDF
基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展 被引量:11
13
作者 黄名选 蒋曹清 《电子学报》 EI CAS CSCD 北大核心 2018年第12期3029-3036,共8页
主题漂移和词不匹配是自然语言处理中一个难题,文本挖掘与信息检索的结合有助于解决该问题.鉴于此,本文提出一种基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展算法.该算法采用新的完全加权正负项集支持度和关联度计算方法以... 主题漂移和词不匹配是自然语言处理中一个难题,文本挖掘与信息检索的结合有助于解决该问题.鉴于此,本文提出一种基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展算法.该算法采用新的完全加权正负项集支持度和关联度计算方法以及模式评价框架,对初检用户相关反馈文档集挖掘与原查询词相关的正负关联模式,从模式中提取扩展词实现跨语言查询译后扩展.与现有基于伪相关反馈、加权关联模式挖掘的跨语言扩展算法比较,本文算法能有效地减少查询主题漂移和词不匹配问题,提高跨语言信息检索性能;本文模式挖掘方法可用于推荐系统,提高其准确性. 展开更多
关键词 自然语言处理 信息检索 文本挖掘 模式挖掘 查询扩展 推荐系统
在线阅读 下载PDF
基于XML的EPA可扩展设备描述语言设计及应用 被引量:8
14
作者 谌震文 王平 马万里 《计算机集成制造系统》 EI CSCD 北大核心 2005年第7期959-962,共4页
针对基于以太网工厂自动化网络控制系统中的现场设备互操作性问题,研究了可扩展标记语言的特点,在此基础上设计了可扩展设备描述语言,提出了基于可扩展设备描述语言的设备描述应用模型和设备描述文档模板。通过开发一个基于可扩展设备... 针对基于以太网工厂自动化网络控制系统中的现场设备互操作性问题,研究了可扩展标记语言的特点,在此基础上设计了可扩展设备描述语言,提出了基于可扩展设备描述语言的设备描述应用模型和设备描述文档模板。通过开发一个基于可扩展设备描述语言的以太网工厂自动化现场设备描述模块,将该模块嵌入到EPAS-tudio组态软件中,验证了该设计的可行性。 展开更多
关键词 以太网工厂自动化 互操作性 扩展标记语言 设备描述 组态软件
在线阅读 下载PDF
基于可扩展标记语言的典型零部件设计系统研究 被引量:3
15
作者 吴斌 吴义忠 +1 位作者 奚立峰 傅仕伟 《计算机集成制造系统》 EI CSCD 北大核心 2006年第1期9-13,37,共6页
针对网络化协同设计的应用需求,研究了典型零部件设计系统组件体系结构,提出了采用可扩展标记语言表达特征的零部件建模方法。利用可扩展标记语言处理组件及参数化驱动组件,阐述了基于可扩展标记语言的零部件模板生成与参数化重构过程,... 针对网络化协同设计的应用需求,研究了典型零部件设计系统组件体系结构,提出了采用可扩展标记语言表达特征的零部件建模方法。利用可扩展标记语言处理组件及参数化驱动组件,阐述了基于可扩展标记语言的零部件模板生成与参数化重构过程,并结合基于组件的典型零部件设计工具包及专家系统,分析了零部件的设计导航以及零部件之间基于坐标系的自动装配。通过一个在异构计算机辅助设计平台之间进行提升机设计的实例,验证了该系统可实现典型零部件从设计到造型乃至装配过程的一体化、快速化与智能化。 展开更多
关键词 扩展标记语言 典型零部件 组件 参数化重构 设计导航
在线阅读 下载PDF
STEP-NC的可扩展标记语言实现方法研究 被引量:2
16
作者 仓公林 桂贵生 吕堃 《计算机集成制造系统》 EI CSCD 北大核心 2006年第3期470-475,共6页
STEP-NC是新发展的数控编程国际标准(ISO 14649),依据该标准生成的数控程序通常采用ISO10303 Part 21物理文件格式。但该格式的数控程序不但不易解释,而且不适合在网上传输。为此,提出了采用可扩展标记语言作为STEP-NC数控程序的文件格... STEP-NC是新发展的数控编程国际标准(ISO 14649),依据该标准生成的数控程序通常采用ISO10303 Part 21物理文件格式。但该格式的数控程序不但不易解释,而且不适合在网上传输。为此,提出了采用可扩展标记语言作为STEP-NC数控程序的文件格式。首先,分析了STEP-NC数据模型核心内容及ISO10303Part 21物理文件格式数控程序的缺点,研究了可扩展标记语言格式STEP-NC数控程序的生成,包括文档结构的选择、EXPRESS向可扩展标记语言的映射等,并将其作为机床控制器的输入。将机床控制器软件划分为3个模块,即可扩展标记语言形式数控程序的解释、微观工艺规划并自动生成刀具路径和控制机床运动的数控指令的生成。重点研究了可扩展标记语言数控程序的解释。 展开更多
关键词 数控程序 信息流 扩展标记语言
在线阅读 下载PDF
完全加权模式挖掘与相关反馈融合的印尼汉跨语言查询扩展 被引量:12
17
作者 黄名选 《小型微型计算机系统》 CSCD 北大核心 2017年第8期1783-1791,共9页
将完全加权关联规则挖掘应用于印尼汉跨语言查询扩展,给出面向跨语言查询扩展的完全加权词间关联模式挖掘算法(AWAR-CLQE-Miner)和印尼汉跨语言查询扩展模型,提出基于完全加权关联规则挖掘的印尼汉跨语言伪相关反馈查询扩展算法(IC_CLPR... 将完全加权关联规则挖掘应用于印尼汉跨语言查询扩展,给出面向跨语言查询扩展的完全加权词间关联模式挖掘算法(AWAR-CLQE-Miner)和印尼汉跨语言查询扩展模型,提出基于完全加权关联规则挖掘的印尼汉跨语言伪相关反馈查询扩展算法(IC_CLPRF_AWAR),以及印尼汉跨语言用户相关反馈查询扩展算法(IC_CLURF_AWAR).算法将印尼语查询通过机器翻译系统翻译为中文查询进行跨语言检索,分别采用伪相关反馈和用户相关反馈技术构建跨语言初检相关文档集,调用AWAR-CLQE-M iner算法对初检相关文档集挖掘与原查询相关的扩展词实现跨语言查询译后扩展.以标准测试集NTCIR-5CLIR为实验语料,将本文算法与现有算法进行实验比较,实验结果表明,本文算法能提高和改善印尼汉跨语言信息检索性能,对长查询更有效,其中,IC_CLURF_AWAR算法比IC_CLPRF_AWAR算法获得更好的检索性能. 展开更多
关键词 完全加权关联规则 语言信息检索 查询扩展 印尼汉跨语言查询扩展 相关反馈
在线阅读 下载PDF
基于可扩展标记语言的工艺信息描述方法 被引量:2
18
作者 陈守强 蔡长韬 《上海交通大学学报》 EI CAS CSCD 北大核心 2009年第6期944-948,共5页
针对CAPP(Computer Aided Process Planning)系统复杂的工艺信息描述问题,提出了一种基于XML(Extensible Markup Language)的数据描述方法,并设计了一种类似Native-XML数据库的存储方式,把工艺设计中的大部分信息以XML原始格式存储,将... 针对CAPP(Computer Aided Process Planning)系统复杂的工艺信息描述问题,提出了一种基于XML(Extensible Markup Language)的数据描述方法,并设计了一种类似Native-XML数据库的存储方式,把工艺设计中的大部分信息以XML原始格式存储,将关键信息抽取出来以字段的形式存储,减少了存储实现的难度. 展开更多
关键词 工艺信息模型 信息描述 扩展标记语言
在线阅读 下载PDF
论工具性语言扩展式——西方语言哲学研究之八 被引量:9
19
作者 钱冠连 《语言科学》 2003年第3期23-33,共11页
本文从A.Tarski真之语义理论发展出工具性语言扩展式。在扩展式的几个实例里(在同一个叙述语篇中,一部分对另一部分的解释;文学作品中作者对人物对话方式的描写;评论语篇对原语篇的解释;翻译)重点提出了语言哲学翻译论。本文揭示了来往... 本文从A.Tarski真之语义理论发展出工具性语言扩展式。在扩展式的几个实例里(在同一个叙述语篇中,一部分对另一部分的解释;文学作品中作者对人物对话方式的描写;评论语篇对原语篇的解释;翻译)重点提出了语言哲学翻译论。本文揭示了来往于社交世界与心智世界中的工具性语言运用的三条规律:频率的再度解释(分析的重点);对原来文本的解释总是发生演伸与变通以及与恢复真的斗争;对象语言之后一般都有工具语言跟着发生。工具性语言扩展式的异常大量的运用,对人的活动与行为,对社会上层建筑与经济基础,产生了深刻而长远的影响。借此我们可以进一步认识人类的语言性行为的某些本质。 展开更多
关键词 对象性语言 工具性语言 扩展 真之语义理论 解释
在线阅读 下载PDF
基于UML扩展机制的MDA协议建模语言研究 被引量:3
20
作者 宋瑾钰 蒋国明 高会聪 《计算机工程与设计》 CSCD 北大核心 2009年第5期1113-1114,1291,共3页
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使... 由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。 展开更多
关键词 形式化语义 协议工程 UML扩展机制 模型驱动构架 交互抽象状态机描述语言
在线阅读 下载PDF
上一页 1 2 62 下一页 到第
使用帮助 返回顶部