切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种并发软件规约方法的构架
一种并发软件规约方法的构架
来源 :计算机科学 | 被引量 : 0次 | 上传用户:sufaya0505
【摘 要】
:
<正> 1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共
【作 者】
:
刘剑
李彤
【机 构】
:
云南大学计算机科学系
【出 处】
:
计算机科学
【发表日期】
:
2000年7期
【关键词】
:
软件开发方法
并发软件规药
PETRI网
Framework
Concurrent system
Formal specification
Softwar
【基金项目】
:
云南省自然科学基金(98F005G),,云南省中青年科技带头人培养基金(1998-37)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正> 1 引言构架(framework)作为一种解决特定应用领域软件开发的方法而越来越广泛地为人们所接受。它为特定领域中的应用系统提供了可重用框架,即通过抽象相关应用系统的共同特征,为这类系统提出了一种通用的体系结构,这一结构通常由模块、连接以及它们之
其他文献
企业颁式应用业务逻辑层集成技术的研究
<正> 一、引言分布计算技术正处于飞速发展阶段,根据其研究内容或应用特征的不同,一般可区分为两类主要的应用领域:科学计算和企业计算。面向科学计算的分布计算技术,要求将
期刊
INTERNET网
企业网
业务逻辑层
集成
CORBA
Enterprise Java
DNA
OLTP
Middle ware
并行计算性能的分析和预测
<正> 基于分布存储的工作站机群系统由于具有很高的性能价格比,越来越受到高性能计算领域的重视。用户在使用机群系统时,迫切地需要一种性能监视、评估和预测的工具。THPT系
期刊
机群系统
并行计算
性能分析
预测
Performace analysis
Performance perdiction
Cluster system
ATM局域网安全技术浅探
MPOA集成了LANE和NHRP技术,不仅继了了LAN仿真的优点,使现有网络软件不经修改既可运行于ATM网络之上,而且,它允许不同子网内部的ATM主机间利用ATM VCC直接进行协议层数据通信,使LAN/WAN无缝连接有了技术上的保证。但
期刊
ATM
局域网
网络安全
异步传输模式
安全认证
基于加权产生式规则知识库的不一致性和冗余性研究
<正> 一、问题的提出规则的产生式表示法是目前专家系统中最常用的一种方法,它易于表达浅层知识,并且具有模块性、清晰性、自然性等优点。但是,由于产生式系统的知识库常常是
期刊
知识库
加权产生式规则
不一致性
冗余性
Product rule with cost
Nonconsistency
Redundancy
改进的八叉树数据结构
<正> 1 引言随着计算机图形学的飞速发展,三维物体的有效表示变得越来越重要,其中,八叉树表示法(octreerepresentation)以其数据结构简单、算法实现方便等特点,成为最广泛使
期刊
八叉树
数据结构
三维物体
计算机图形学
Data structure
Octree
Computer graphics
计算机网络安全技术
<正> 一、引言作为一种战略资源,信息在社会生产、生活的各个领域中的作用日益显著,计算机网络的飞速发展,加强了信息的共享程度,随之而来的网络安全问题日益突出。网络如同
期刊
计算机网络
网络安全
网络攻击
数据加密
Network security
Network attack
Encryption
Security dete
多机系统的动态负载平衡
<正> 在计算机硬件价格下降、计算机网络拓扑发展的情况下,分布式计算机系统给用户提供了一个丰富的资源集合。人们在研究分布式系统时,就注意到了这样一个问题:在一个由网络
期刊
多机系统
动态负载平衡
信息策略
负载平衡
Load balancing
Load sharing
Dynamic load balancing
Process
Internet环境中的软件Agent
<正> 1 引言 Internet已经成为最重要的信息来源,由于In-ternet中的信息没有中心的控制点,多为半结构化和无结构的信息,信息格式可以互不相同,信息服务形形色色,用户的需求也
期刊
INTERNET网
软件
AGENT
人工智能
Internet
Message-typed Agent
Mobile Agent
利用分治技术的智能推理
<正> 一、引言“分治”技术是一种分解-合成技术,即对于复杂的不能直接求解的问题,将该问题分割成几个子问题,分别求解子问题,然后合成子问题的解,以获取整个问题的解。若分
期刊
分治技术
智能推理
人工智能
类比推理
Divide-and-conquer technique
Decomposition
Combination
Int
一种基于神经网络策略的自适应混沌解调器
<正> 1 引言随着对通信服务质量和通信容量迅速增加的需要,扩频通信正越来越受到人们的重视。它的主要特征是通过自相关函数接近δ函数的伪随机码将信源信息扩展成宽带信号,
期刊
自适应混沌解调器
神经网络
学习算法
扩谱通信
Spread spectrum communication
RBF neural network
Adapt
与本文相关的学术论文