•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9941-9960项 搜索用时 516 毫秒
[首页] « 上一页 [490] [491] [492] [493] [494] [495] [496] [497] 498 [499] [500] 下一页 » 末  页»
9941.
  总被引:7,自引:0,他引:7
目前用于工作流建模和分析的工具很多,Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型,并根据Aalst给出的WF-Net正确性定义提出了一个算法,用来检查该WF-Net的正确性。  相似文献
9942.
  总被引:7,自引:0,他引:7
IKE协议是IPSec协议族中的自动密钥交换协议,用于动态地建立安全关联(SA),对IKE协议的交换过程进行了安全性分析,并提出了两点改进建议:重新定义ISAKMP消息包头中消息ID字段的作用,提供了抗重放攻击的机制;对公钥签名主模式进行改进,以保护发起者的身份信息。  相似文献
9943.
下载全文  总被引:7,自引:0,他引:7
模型管理系统是(群体)决策支持系统的重要研究领域,文中认为决策中使用的数学模型由属性数据,操作和知识组成,并由此给出了种嵌入知识的面向对象模型描述方法OOMDEK。文中探讨了知识在模型管理系统中的作用;从模型组合的角度,提取出3种模型类的继承关系,做了相应的讨论,并给出了基于OO… …   相似文献
9944.
  总被引:7,自引:1,他引:7
随着计算机的发展,计算机软件变得越来越复杂。在用于一些关键任务的环境中,由于不完全或不充分的测试而导致的软件错误是无法容忍的。本文首先分析了三种典型的软件容错方法。然后提出了一种新的软件容错系统概念,并对国内外软件容错的研究与应用进行了分析。  相似文献
9945.
  总被引:7,自引:0,他引:7
BREW是在移动数据增值应用开发领域出现的新技术。对BREW技术及其应用开发环境进行了介绍,对基于BREW环境进行新一代无线移动数据应用开发的方法和过程进行了深入探讨,并指出了开发中应注意解决的问题。  相似文献
9946.
  总被引:7,自引:0,他引:7
介绍了具有规则自动翻译的Linux防火墙可视化输入系统,将增强Linux防火墙的可操作性,并辅助防火墙规则语义检测。  相似文献
王永滨 《计算机应用研究》2001,18(12):107-108,113
9947.
  总被引:7,自引:0,他引:7
在管理信息系统中,编码是人和计算机对实体及其属性进行识别,记载和处理的共同语言,该文通过对编码质量的三个方面:唯一性,简短性和可扩充性来考察编码的有效性,并提出了一种基于这三个方面在信息管理处理中显示很大优势的无前缀编码UPC,并由此带来三个方面的作用:(1)便于记忆;(2)可操… …   相似文献
范策 《计算机学报》2002,25(2):217-223
9948.
  总被引:7,自引:0,他引:7
采用传统方法解决多学科的设计问题时 ,因为无法定量考虑分布在多个学科内的产品指标对设计变量的影响 ,通常会产生频繁的设计返工 .该文通过收集产品各领域的指标约束与关系约束来构建基于约束网络的产品参数协调模型 ,采用区间描述设计变量的不确定性信息 ,并将区间算法与基因算法相结合实现… …   相似文献
9949.
  总被引:7,自引:0,他引:7
高级网系统简洁明了,在Petri网系统的应用中是非常有效的.本文讨论了高级网系统的等价变换,提出了高级网系统的两种极端形式——最高网系统和最低网系统,并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统.此外,还提出了高级网系统的等价谱系,旨在从理论上分析清楚高级网… …   相似文献
9950.
  总被引:7,自引:0,他引:7
本文对国内外ICAD的研究动态,ICAD的方法作了综述,并提出,为了使设计真正体现智能,必须将AI、CAD以及认知科学三者紧密结合起来。  相似文献
9951.
  总被引:7,自引:0,他引:7
9952.
  总被引:7,自引:0,他引:7
研究了基于Web的B/S结构系统设计方法和关键技术,并通过供电安全系统通用查询界面的设计讨论关键技术的实现方法。实践表明,所采用的一系列方法是有效的。  相似文献
9953.
  总被引:7,自引:0,他引:7
本文分析了面向主题的数据仓库体系结构,并以一个销售决策分析数据仓库为例说明了数据仓库的数据结构定义过程  相似文献
9954.
  总被引:7,自引:0,他引:7
采用并行Web Server集群技术实现高性能Web Server已经成为一种趋势。该技术具有性能高、可扩展性好、可靠性高、成本低等优点。本文介绍了我们研制的TH-Web Cluster的工作原理、组成结构和所采用的几种关键技术,并与现有的技术和方法进行了比较。本文还简要介… …   相似文献
9955.
下载全文  总被引:7,自引:2,他引:7
This paper summarizes recent progress by the authors in developing two solution frame-works for dual control. The first solution framework c… …   相似文献
9956.
  总被引:7,自引:1,他引:7
随着SAN中数据量的快速增长,要满足存储资源的管理、异构平台的数据共享、存储系统可用性和可扩展性等方面的要求,就必须采用存储虚拟化技术。目前网络级存储虚拟化是主流技术。分析了网络级存储虚拟化的实现方式及关键技术,并提出了一种具体设计。  相似文献
谢长生  金伟 《计算机应用研究》2004,21(4):191-193,214
9957.
  总被引:7,自引:2,他引:7
一、基本概念基于Web的分布式MIS——WD-MIS(Web-based Distributed MIS)具有以下几个特性: 1)分布式的信息系统。一个分布式信息系统是一组由网络连接起来的自治信息系统,并由软件来实现其功能集成的信息体系。其关键特征是支持分布资源的共享、开放、一致… …   相似文献
9958.
  总被引:7,自引:0,他引:7
如何建立灵活、高效的稳定Agent平台已经成为人们研究的热点。文中介绍了移动Agent的技术标准MASIF和FIPA,分析了一些著名的移动Agent平台,并介绍了一个移动Agent平台的实现方法。  相似文献
9959.
  总被引:7,自引:0,他引:7
进程是反映Petri网动态特性的重要工具,同步合成是考察复杂Petri网性质的有效途径。本文研究Petri网同步合成过程中进程关系的特性,获得基本进程集的合成公式和进程语言的合成公式,还得到了切集,线集的有关性质,这些结果可为复杂Petri网动态特性的考察提供有力手段。… …   相似文献
9960.
  总被引:7,自引:0,他引:7
阐述了电子拍卖的基本性质,分析了目前电子拍卖研究的主要动态及当前的研究现状,讨论了拍卖标价的秘密性、投标者的匿名控制和第二价位拍卖等问题。得出一些研究结果。最后给出进一步研究的方向和现有的公开问题。  相似文献
陈晓峰  王育民 《通信学报》2002,23(12):73-81
[首页] « 上一页 [490] [491] [492] [493] [494] [495] [496] [497] 498 [499] [500] 下一页 » 末  页»