路由器缓存需求

综述了路由器缓存的作用.基于随机服务理论,分析了长相关流量模型和短相关流量模型输入路由器系统时的各种缓存分析结论,着重论述了基于TCP协议模型的各种最新缓存需求研究成果,包括经验法则、小缓存法则、基于丢包率的缓存法则和极小缓存法则.总结了以往缓存研究的不足,并提出了下一步的研究方向.     

嵌入式Internet服务器排队模型抽取问题的研究

在嵌入式Internet多任务系统内核设计过程中，由于资源有限，不能无限制的增强系统的处理能力，又不能使系统的吞吐率太低，使应用程序无法正常运转，系统性能与资源使用率如何最佳配置是一个问题．现有的方法是根据经验得到一个优化估计，这往往达不到预期效果．本文根据排队论理论中的单服务窗混合制模型，将嵌入式Internet系统抽象为一个排队服务系统，而用户本地任务和网络上达到的数据作为顾客，这些顾客的到来是符合一定的概率分布的，这样就可以根据系统要达到的性能推算出系统资源的配置方案，同时也可以确定系统相迎的目标参量，根据这个方案来分(配系统资源可以达到性能和资源最优组合．     

基于π演算的反射式需求规约描述方法

目前,大多数学者都意识到需求演化的重要性,然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的元信息,并支持以合理的方式使用这些元信息,实现OWL-S需求规约的演化。本文提出了一种基于π演算的反射式需求规约演化模型,使得反射式需求规约的演化能够以一种正确的方式实现。针对OWL-S需求规约的特点,给出了OWL-S需求规约的π演算描述方法;使用高阶π演算的进程传递机制,描述了支持演化的反射式需求规约;给出了反射式需求规约演化正确性的推理与验证方法。同时,我们采用交通出行的例子论证了本文的观点。     

基于排队模型的教务管理系统的资源优化分析

介绍了排队论的基本概念,讨论和研究多服务台排队模型的过程和基本原理,通过数学计算得出多服务员排队模型在教务管理系统中重要的运行指标,编程实现系统服务台的优化。     

一种需求模型的演化方法

需求工程的复杂性和不确定性,要求需求模型具有一定的灵活性和适应动态变化的能力,面对需求的不确定性,为了资源共享,完善需求工程,提出一种处理动态需求的演化方法,根据新需求特征,重用需求模型库中的存放模型,演化生成新的需求模型,增强了所求模型的重用性和适应性;并且给出了形式化描述和演化算法;最后用一个例子说明实现过程。     

基于排队模型的自适应证书注销和发布模型

PKI作为一种安全基石,本身存在着安全威胁,CRL的安全性就是其一。全面分析PKI的安全策略,深入研究证书注销和发布机制,运用排队论的相关原理,分别建立了网络自适应证书注销和发布模型、基于优先级的网络自适应发布模型和基于权重的证书发布模型,从而优化了证书管理机制。     

基于软件体系结构的Agent规约和演化

借助软件体系结构描述语言C2的表达能力，基于组件，连接体和体系结构配置3要素，研究适合于Agent规约和构造的组合方法，以软件体系结构的类型化理论为基础，探讨了基于子类型关系的Agent演化，用扩充关系表达有相互关联的不同类型的Agent之间的关系，通过为遗留代码定做包装器，领域翻译器以及相应的界面和约束，将非Agent实体迁移为Agent，相关案例说明结合组合，基于子类型关系的演化，扩充，迁移等方法，可以满足多Agent系统构造过程中Agent类型的多样性。     

基于OPNET的排队模型网络仿真

利用OPNET对排队论中的M/M/S服务系统模型进行仿真,得出数据包到达的平均速率、数据包平均大小、服务台个数、服务台平均服务速率等参数的改变,可以影响数据包平均延时和队列长度平均时间,也可以影响系统的稳定性。     

一种基于反射机制的OWL-S需求规约演化方法

软件系统面临用户需求、软件资源和系统上下文环境等方面变化的挑战,软件需求不可避免地要求持续的演化。反射目前被用于软件系统的运行时管理和动态演化等方面,但还没有用于软件需求规约的演化。提出了一种基于反射机制的OWL-S需求规约演化方法,通过描述支持OWL-S需求规约演化的元信息,并以合理的方式使用这些元信息,实现OWL-S需求规约的演化。利用这种方法,需求分析人员可以有效地管理需求变更,以一种可控、有序的方式完成需求规约的演化任务。     

高性能路由器输入排队模型的研究与实现

目前基于输入队列技术的路由器研究日益活跃。本文讨论了路由器的交换方式、阻塞问题、调度算法等设计高速路由器的输入排队模型时所要考虑的关键问题,通过对相关的技术进行比较和选择,给出了一个交换式高速路由器中输入排队模型的设计方案。     

基于排队论的服务资源可用性相关研究综述

排队论在很多领域中解决了复杂的排队问题,文中首先对排队论的一般模型表示和常见模型进行了介绍.然后,简要对排队论解决的各类问题进行了归纳总结,重点对近年来有关排队论的服务资源可用性预测文献进行了综述,对排队模型在日常生活、云计算以及网络资源等场景中的应用进行总结.通过对文献进行综述找到服务与用户需求之间的关系,并对预测服...     

基于企业流程的需求形式化说明语言

需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。     

基于企业流程的需求形式化验证技术

需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性。     

基于TSP的软件需求过程的研究与实现

需求过程是软件开发过程的一个重要阶段。从论述软件需求过程的基本内容和实施的必要性开始,根据项目实践提出了一个基于TSP的软件需求过程模型,并对其中的关键问题进行了分析和讨论,最后使用可视化的建模工具-Rose设计并实现了符合该结构基于B／S模式的需求过程模型。     

消息中间件的排队论模型研究

1 引言分布式和跨平台用户需求的增加,使得中间件(middle-ware)技术应运而生。中间件是位于上层应用和下层服务之间,提供更简单可靠和增值服务的通用服务。中间件技术是IT界研究的热点之一。中间件一般可以分为事务处理中间件、分布式面向对象中间件和消息中间件。当应用程序需要在不同的网络硬件平台、不同的操作系统乃至不同的网络协议上通信时,适合选用消息中间件(MOM),因为此时应用程序     

Requirements specification of real-time systems: temporal parameters and timing-constraints

The development of high-quality real-time systems depends on their correct requirements specification, which includes the analysis and specification of timing issues. This paper focuses on requirements specification of real-time systems, presenting a set of temporal parameters and timing-constraints related to the execution of systems processes. Timing-constraints are expressed by formulas, being useful for defining, representing, and validating the system temporal behavior, particularly in hard real-time systems specifications. The primary contribution over previous studies is the proposal of a more generic and complete set of timing-constraints, applied to the area of requirements engineering for real-time systems, which has not been sufficiently explored.     

基于Web的软件需求管理系统研究

一个成功的软件系统依赖于高质量的需求分析和高效率的需求管理。在分析需求管理目标及其主要内容的基础上，提出了基于需求配置管理和过程管理的软件需求管理系统结构，并就Web环境下的软件需求管理系统实现的一些关键问题进行了讨论。     

单片机在医院排队叫号系统中的应用

本文给出一种实用的医院排队叫号系统,详细论述了系统的硬件和软件实现方法.该系统具有科学分配就医、统计平均诊断时间、分类汇总就诊信息、输出如国家所需的"中华人民共和国传染病报告卡"等功能,是一种智能化的排队叫号系统.