期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
UML顺序图的结构化操作语义研究
被引量:
8
1
作者
黄陇
于洪敏
陈致明
《计算机应用》
CSCD
北大核心
2005年第2期359-361,共3页
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给...
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。
展开更多
关键词
UML
顺序图
结构化
操作
语义
在线阅读
下载PDF
职称材料
一种面向服务Petri网模型及其结构化操作语义
被引量:
3
2
作者
郭峰
魏光
邓蒙蒙
《小型微型计算机系统》
CSCD
北大核心
2013年第12期2739-2743,共5页
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用...
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态.
展开更多
关键词
PETRI网
面向服务
结构化
操作
语义
在线阅读
下载PDF
职称材料
基于逻辑的软件演化操作语言及结构化操作语义
3
作者
任胜兵
喻寿益
+1 位作者
陈松乔
余莹
《小型微型计算机系统》
CSCD
北大核心
2007年第6期1031-1036,共6页
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了S...
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
展开更多
关键词
软件演化
软件演化
操作
语言
结构化
操作
语义
语义
等价
在线阅读
下载PDF
职称材料
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
4
作者
赵小芳
范辉
《计算机应用与软件》
CSCD
北大核心
2008年第8期136-137,146,共3页
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序...
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。
展开更多
关键词
动态模糊逻辑
动态模糊逻辑程序设计语言
结构化
操作
语义
在线阅读
下载PDF
职称材料
基于操作语义的磁臂隐通道分析
被引量:
2
5
作者
刘志锋
鞠时光
李沛
《计算机应用研究》
CSCD
北大核心
2007年第11期157-160,共4页
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电...
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型。研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道。
展开更多
关键词
隐通道
磁臂隐通道
信息传导
结构化
操作
语义
在线阅读
下载PDF
职称材料
基于操作语义的时间隐通道分析
被引量:
1
6
作者
戴梅
孙国强
刘志锋
《计算机工程与设计》
CSCD
北大核心
2009年第7期1593-1595,1599,共4页
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等...
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。
展开更多
关键词
隐通道
时间隐通道
抽象机
信息传导
结构化
操作
语义
在线阅读
下载PDF
职称材料
IEC61850的结构化模型分析
被引量:
34
7
作者
张结
《电力系统自动化》
EI
CSCD
北大核心
2004年第18期90-93,共4页
通过研究互操作性对信息语义的要求,指出结构化模型是IEC 61850支持互操作性的主要体系规定,并对该结构化模型的模型构成类、模型结构和蕴涵在其中的运行机制进行了具体的分析。同时,从产品开发者的角度研究了IEC 61850结构化模型对产...
通过研究互操作性对信息语义的要求,指出结构化模型是IEC 61850支持互操作性的主要体系规定,并对该结构化模型的模型构成类、模型结构和蕴涵在其中的运行机制进行了具体的分析。同时,从产品开发者的角度研究了IEC 61850结构化模型对产品设计的影响,列举了目前产品与IEC 61850的差距,提出应用IEC 61850不能仅仅停留在通信协议的层面,而应该对产品进行全面的重新设计和深入的技术实现。
展开更多
关键词
IEC
61850
互
操作
性
结构化
模型
信息
语义
在线阅读
下载PDF
职称材料
GSOS算子下共变-异变模拟的公理刻画
被引量:
1
8
作者
李苏婷
张严
《计算机科学》
CSCD
北大核心
2020年第1期51-58,共8页
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主...
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主动、被动和通讯动作在精化关系中的不同要求。行为关系的(前)同余性和公理刻画是进程演算代数特征的集中体现,它们对规范及实现的分析和推理至关重要。一般而言,行为关系(前)同余性的证明和公理系统的构造需要基于不同进程演算系统的结构化操作语义(Structural Operational Semantics,SOS)分别展开。为了避免这类研究工作中的重复劳动,学术界针对一般化SOS规则形式的元理论开展了研究,GSOS是其中被广泛研究的规则形式之一。文中在考量了动作类型的基础上,基于CC-模拟对GSOS规则形式做出扩充,提出了CC-GSOS规则类型,证明了CC-模拟相对于CC-GSOS算子具有前同余性,并给出了在这些算子下CC-模拟的可靠完备公理系统的一般性构造方法。
展开更多
关键词
G
sos
结构化
操作
语义
(
sos
)
进程演算
共变-异变模拟
可靠性
完备性
在线阅读
下载PDF
职称材料
可执行代码简化中间表示的设计与实现
9
作者
窦增杰
王震宇
+1 位作者
姚伟平
王瑞敏
《计算机工程与设计》
CSCD
北大核心
2010年第12期2880-2882,2886,共4页
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映...
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。
展开更多
关键词
反汇编代码
中间表示
结构化
操作
语义
形式
语义
抽象表示
在线阅读
下载PDF
职称材料
面向任务的网络虚拟机器人动态更新迁移计划
10
作者
王洪泊
马忠贵
+1 位作者
曾广平
涂序彦
《计算机科学》
CSCD
北大核心
2009年第6期167-170,共4页
在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,...
在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,可以分别对它们进行分析与设计,在设计功能体时无需考虑网络的实际情况,在设计移动信息时也不用考虑功能体的具体实现细节,这样有效地降低了设计和编写SoftMan的复杂性,也易于调试和管理。
展开更多
关键词
网络虚拟机器人
迁移计划
动态
结构化
操作
语义
在线阅读
下载PDF
职称材料
题名
UML顺序图的结构化操作语义研究
被引量:
8
1
作者
黄陇
于洪敏
陈致明
机构
解放军军械工程学院
出处
《计算机应用》
CSCD
北大核心
2005年第2期359-361,共3页
文摘
UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。
关键词
UML
顺序图
结构化
操作
语义
Keywords
UML
sequence diagram
structured operational semantics
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种面向服务Petri网模型及其结构化操作语义
被引量:
3
2
作者
郭峰
魏光
邓蒙蒙
机构
北方工业大学信息工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第12期2739-2743,共5页
基金
国家自然科学基金项目(61070030)资助
北京市属高校学术创新团队建设项目(PHR201107017)资助
文摘
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态.
关键词
PETRI网
面向服务
结构化
操作
语义
Keywords
petri nets
service oriented
structural operational semantics
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于逻辑的软件演化操作语言及结构化操作语义
3
作者
任胜兵
喻寿益
陈松乔
余莹
机构
中南大学信息科学与工程学院
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第6期1031-1036,共6页
基金
国家自然科学基金项目(50275150)资助
教育部博士点基金项目(20030533011)资助.
文摘
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
关键词
软件演化
软件演化
操作
语言
结构化
操作
语义
语义
等价
Keywords
so
ftware evolution
so
ftware evolution operational language
structural operational semantics
semantic equivalency
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
4
作者
赵小芳
范辉
机构
山东工商学院信息与电子工程学院
出处
《计算机应用与软件》
CSCD
北大核心
2008年第8期136-137,146,共3页
文摘
动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。
关键词
动态模糊逻辑
动态模糊逻辑程序设计语言
结构化
操作
语义
Keywords
Dynamic fuzzy logic Dynamic fuzzy logic programming language Structured operational semantics
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于操作语义的磁臂隐通道分析
被引量:
2
5
作者
刘志锋
鞠时光
李沛
机构
江苏大学计算机科学与通信工程学院
出处
《计算机应用研究》
CSCD
北大核心
2007年第11期157-160,共4页
基金
国家自然科学基金资助项目(60573046)
文摘
深入分析磁臂隐通道的产生及产生的原因,发现目前基于系统顶级描述和基于系统源代码搜索方法难以找出这类隐通道,提出一种基于操作语义的方法来研究磁臂隐通道,将磁臂调度过程中的进程看做一个抽象机,以Plotkin的结构化操作语义给出电梯调度算法的推导规则;根据推导规则得到进程抽象机所有状态以及进程抽象机状态的动态变化历史,这样就构成完整的信息传导操作语义模型。研究与分析两个高低安全级进程抽象机状态变迁及状态变迁序列,从而找到其中存在的磁臂隐通道。
关键词
隐通道
磁臂隐通道
信息传导
结构化
操作
语义
Keywords
covert channel
covert channels in disk arm
information conduction
structured operational semantics
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于操作语义的时间隐通道分析
被引量:
1
6
作者
戴梅
孙国强
刘志锋
机构
上海理工大学计算机与电气学院
江苏大学 计算机科学与通信工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2009年第7期1593-1595,1599,共4页
文摘
主要讨论了计算机信息安全领域中比较热点的话题——基于操作语义的时间隐通道。根据隐通道中的时间隐通道的特点和存在的最小条件,针对其特点提出了一种搜索方法。该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。
关键词
隐通道
时间隐通道
抽象机
信息传导
结构化
操作
语义
Keywords
covert channel
covert timing channel
abstract machine
information conduction
structured operational semantics
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
IEC61850的结构化模型分析
被引量:
34
7
作者
张结
机构
深圳市国电南思系统控制有限公司
出处
《电力系统自动化》
EI
CSCD
北大核心
2004年第18期90-93,共4页
文摘
通过研究互操作性对信息语义的要求,指出结构化模型是IEC 61850支持互操作性的主要体系规定,并对该结构化模型的模型构成类、模型结构和蕴涵在其中的运行机制进行了具体的分析。同时,从产品开发者的角度研究了IEC 61850结构化模型对产品设计的影响,列举了目前产品与IEC 61850的差距,提出应用IEC 61850不能仅仅停留在通信协议的层面,而应该对产品进行全面的重新设计和深入的技术实现。
关键词
IEC
61850
互
操作
性
结构化
模型
信息
语义
分类号
TM73 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
GSOS算子下共变-异变模拟的公理刻画
被引量:
1
8
作者
李苏婷
张严
机构
南京航空航天大学计算机科学与技术学院
南京林业大学信息科学技术学院
出处
《计算机科学》
CSCD
北大核心
2020年第1期51-58,共8页
基金
国家自然科学基金(61602249)
江苏省普通高校自然科学研究资助项目(17KJB520012)~~
文摘
进程的行为理论是进程演算研究的核心内容之一,其侧重于讨论进程间的行为等价和模拟关系。共变-异变模拟(Covariant-Contravariant Simulation,CC-模拟)的概念是对经典(互)模拟概念的推广,它通过区分动作类型,刻画了规范与实现对系统主动、被动和通讯动作在精化关系中的不同要求。行为关系的(前)同余性和公理刻画是进程演算代数特征的集中体现,它们对规范及实现的分析和推理至关重要。一般而言,行为关系(前)同余性的证明和公理系统的构造需要基于不同进程演算系统的结构化操作语义(Structural Operational Semantics,SOS)分别展开。为了避免这类研究工作中的重复劳动,学术界针对一般化SOS规则形式的元理论开展了研究,GSOS是其中被广泛研究的规则形式之一。文中在考量了动作类型的基础上,基于CC-模拟对GSOS规则形式做出扩充,提出了CC-GSOS规则类型,证明了CC-模拟相对于CC-GSOS算子具有前同余性,并给出了在这些算子下CC-模拟的可靠完备公理系统的一般性构造方法。
关键词
G
sos
结构化
操作
语义
(
sos
)
进程演算
共变-异变模拟
可靠性
完备性
Keywords
G
sos
Structural operational semantics(
sos
)
Process calculus
Covariant-contravariant simulation
so
undness
Completeness
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
可执行代码简化中间表示的设计与实现
9
作者
窦增杰
王震宇
姚伟平
王瑞敏
机构
解放军信息工程大学信息工程学院
出处
《计算机工程与设计》
CSCD
北大核心
2010年第12期2880-2882,2886,共4页
基金
国家863高技术研究发展计划基金项目(2007AA01Z483)
河南省科技创新基金项目(082102210011)
文摘
为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR)。根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义。对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系。通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR。最后,给出汇编代码转化SAIR的实例。实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率。
关键词
反汇编代码
中间表示
结构化
操作
语义
形式
语义
抽象表示
Keywords
reverse assembled code
intermediate representation
structural operational semantics
formal semantics
abstract presentation
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
面向任务的网络虚拟机器人动态更新迁移计划
10
作者
王洪泊
马忠贵
曾广平
涂序彦
机构
北京科技大学信息工程学院
中国科学院自动化研究所复杂系统与智能科学重点实验室
出处
《计算机科学》
CSCD
北大核心
2009年第6期167-170,共4页
基金
国家自然科学基金项目(60375038)
中国科学院自动化研究所复杂系统与智能科学重点实验室开放课题(20060105)
+1 种基金
国家“十一五”科技支撑计划(2006BAJ04B07-2)
北京市自然科学基金项目(4072018)资助
文摘
在深入研究与分析Agelts系统及其源码的基础上,对网络虚拟机器人SoftMan迁移计算涉及到的基本技术问题进行了系统的分析与描述。利用面向任务的动态更新迁移计划方式和动态结构化操作语义,首先把SoftMan的移动信息从功能体中分离开来,可以分别对它们进行分析与设计,在设计功能体时无需考虑网络的实际情况,在设计移动信息时也不用考虑功能体的具体实现细节,这样有效地降低了设计和编写SoftMan的复杂性,也易于调试和管理。
关键词
网络虚拟机器人
迁移计划
动态
结构化
操作
语义
Keywords
Virtual robot in network-
so
ftMan, Migrating plan, Dynamic structured operational semantics
分类号
TP24 [自动化与计算机技术—检测技术与自动化装置]
TP316.86 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
UML顺序图的结构化操作语义研究
黄陇
于洪敏
陈致明
《计算机应用》
CSCD
北大核心
2005
8
在线阅读
下载PDF
职称材料
2
一种面向服务Petri网模型及其结构化操作语义
郭峰
魏光
邓蒙蒙
《小型微型计算机系统》
CSCD
北大核心
2013
3
在线阅读
下载PDF
职称材料
3
基于逻辑的软件演化操作语言及结构化操作语义
任胜兵
喻寿益
陈松乔
余莹
《小型微型计算机系统》
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
4
动态模糊逻辑(DFL)程序设计语言的结构化操作语义
赵小芳
范辉
《计算机应用与软件》
CSCD
北大核心
2008
0
在线阅读
下载PDF
职称材料
5
基于操作语义的磁臂隐通道分析
刘志锋
鞠时光
李沛
《计算机应用研究》
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
6
基于操作语义的时间隐通道分析
戴梅
孙国强
刘志锋
《计算机工程与设计》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
7
IEC61850的结构化模型分析
张结
《电力系统自动化》
EI
CSCD
北大核心
2004
34
在线阅读
下载PDF
职称材料
8
GSOS算子下共变-异变模拟的公理刻画
李苏婷
张严
《计算机科学》
CSCD
北大核心
2020
1
在线阅读
下载PDF
职称材料
9
可执行代码简化中间表示的设计与实现
窦增杰
王震宇
姚伟平
王瑞敏
《计算机工程与设计》
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
10
面向任务的网络虚拟机器人动态更新迁移计划
王洪泊
马忠贵
曾广平
涂序彦
《计算机科学》
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部