聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于并行状态自动机的工作流建模
出处:计算机工程 2006年第18期 52-54,66,共4页
摘要:为了实现工作流管理功能,首先要把业务过程从观实世界抽象出来,并用一种形式化疗法对其进行描述,其结果... 显示全部
关键词: 工作流模型 形式化方法 工作流引擎 并行自动机 计算模型
在线阅读 下载全文
期刊文章 基于Pi演算的网构软件组装与演化框架
出处:微计算机信息 2011年第2期243-245,共3页
摘要:如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出... 显示全部
关键词: 网构软件 软件演化 演算 进程代数 形式化方法
在线阅读 下载全文
期刊文章 基于隐写术的网络隐蔽通道模型
出处:信息与电脑:理论版 2009年第11期94-94,共1页
摘要:在传统隐蔽通道模型的基础上,利用形式化方法,提出了一种基于隐写术的网络隐蔽通道模型(SCC模型),并给出了... 显示全部
关键词: 隐蔽通道 隐写术 形式化方法
在线阅读 下载全文
期刊文章 集成实时逻辑与Z++语言的形式化方法
出处:计算机工程与设计 2005年第11期 2887-2890,共4页
摘要:Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对... 显示全部
关键词: 实时逻辑 形式化方法 约束图 时间约束
在线阅读 下载全文
期刊文章 应用形式化与实时语言的面向方面方法
出处:计算机工程与设计 2006年第22期 4213-4215,4221,共4页
摘要:面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通... 显示全部
关键词: 面向方面 实时系统 形式化方法 语言
在线阅读 下载全文
期刊文章 面向方面的实时系统形式化开发方法
出处:计算机科学 2005年第7期 189-192,217,共5页
摘要:实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方... 显示全部
关键词: 形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 部件
期刊文章 流体随机Petri网的一阶混杂Petri网模型
出处:计算机科学 2008年第1期 294-297,共4页
摘要:为了借用一阶混杂Petri网(First-OrderHybridPetriNets)的建模原语和分析方法来分析流体随机Petri网(Flu... 显示全部
关键词: 流体随机 一阶混杂 模型转换 形式化方法
在线阅读 下载全文
期刊文章 语言学研究中的形式化方法(上)
出处:现代外语 1996年第4期2-6,73共6页
摘要: 语言学研究中的形式化方法(上)许罗迈一、现代语言学的目标和功能人类研究自己的语言已经有数千年历史,... 显示全部
关键词: 言语行为 形式化方法 语言学研究 计算机模拟 形式化研究 现代语言学 格赖斯 意味 语义表达式 语言规则
期刊文章 公理化方法是科学理论系统化的重要方法
出处:江汉论坛 1984年第12期21-25,共5页
摘要: <正> 任何一门科学当其积累了一定数量的概念、范畴、原理和定律之后,运用一定的逻辑手段把已经获得... 显示全部
关键词: 公理系统 理论系统化 演绎系统 逻辑手段 现实意义 亚里士多德 形式化方法 公理化方法 形式系统 自然规律
期刊文章 基于语义层行为结构的变换对形式化格局识别技术的再探究
出处:计算机应用研究 2004年第10期 74-76,81,共4页
摘要:程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程... 显示全部
关键词: 软件逆向工程 格局识别 行为结构变换 语义层理解 形式化方法
找到24条结果
`