基于软件老化累积损伤模型的应用服务器再生策略研究

基于软件老化现象机理的分类研究,针对资源消耗尽而导致的系统性能衰减和处理容量的下降原因,考虑应用服务器组件和平台之间的老化依赖关系特征,提出了软件老化累积损伤的应用服务器再生模型,采取等间隔时间的部分再生和基于资源阈值的系统再生两种软件再生的执行策略。获得了应用服务器的维护费和可靠性用函数,同时分析了最优再生时间的边界条件。仿真试验给出了不同内存资源阈值下的,应用服务器的最优再生时间间隔以及变化趋势。     

一种服务器性能测试仿真算法的实现

通过分析实际用户访问web server的统计特性，解决对大量用户访问Web Server行为的仿真，以及Web Server响应请求所产生负荷的仿真的问题，继而实现一种服务器性能仿真测试算法，并运用例子加以说明。运用此算法对服务器进行测试，有利于优化服务器配置，提高和改善集群服务器整体性能，在实际应用中取得较好效果。     

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于RTOS和CORBA的焊接动态过程分布式仿真

采用人工神经网络建立了钨极氩弧焊动态过程模型，设计了双变量模糊控制器。基于嵌入式操作系统uC／OS-Ⅱ对脉冲钨极氩弧焊动态过程进行了分布式仿真。由客户机上的CORBA客户端向服务器发出开始仿真的信号，并在仿真过程中通过串口通讯把焊接仿真中产生的熔宽、电流值实时传输给客户机。当数据产生错误时，可由客户端直接让服务器停止运行。仿真实验表明，应用嵌入式操作系统和CORBA通讯对焊接过程的控制真正做到了实时性，实现了焊接过程数据的同步传输，实时监测。     

A Jave-Based Multi-tier Distributed Object Enterprise Computing Model

1. INTRODUCTIONEnterprises today need to eXtend their reach, cut costs, and reduce their response time by providing easyto-access services to their customers, partners, employees, and suPpliers. TyPically, applications that provide theseservices must combine existing enterprise information systems with new business fUqFtjotis that deliver servicesto a broad range of users. These services are exPected to be higny avaiIab1e, to meet the needs of today's globalbusiness environment. Secure…     

基于Petri网和GASA的JSP动态分类调度研究

针对车间作业的加工受到机床、操作工人等双资源制约条件下出现多种扰动的JSP调度问题,提出了基于受控Petri网和GASA对不同扰动进行分类处理的新方法。首先通过构建带有控制器的Petri网模型使系统的运行满足期望的目标,然后基于该模型把遗传算法和模拟退火算法相结合,以最小化最大完工时间为目标,基于机床故障修复时间、工人离岗时间及取消订单包含任务的多少进行分类调度,然后根据扰动恢复后剩余任务的多少决定是否进行再次调度,避免大范围调整造成的生产不稳定状态,最大限度的维持车间的生产能力。最后通过实例验证了算法的有效性和可行性。     

Web集群服务器中分发策略的仿真与分析

在Web集群服务器中,基于内容的请求分发策略可分为两种:混合分发策略和隔离分发策略。用随机Petri网对两种分发策略分别进行了建模与分析,并用随机Petri网软件包SPNP对模型进行了仿真,仿真结果表明,只要合理地配置资源,隔离分发策略优于混合分发策略。测试也表明,隔离分发策略的性能优于混合分发策略。     

线性切换系统的周期性平稳性分析

研究了线性切换系统的周期性和稳定性规律,给出线性切换系统周期性的充要条件及平稳性的充分性判据．为基于混合动态系统Ｐｅｔｒｉ网模型的混合控制器参数验证和设计提供了依据．     

A comparative study of the inventory system with service facility and postponed demands

In this article, we present a continuous review （s,S） inventory system with a service facility consisting of finite buffer （capacity N ） and a single server. The customers arrive according to a Poisson process. The individual customer＇s unit demand is satisfied after a random time of service, which is assumed to be exponential. When the inventory level drops to s＇an order for Q（= S-s） items is placed. The lead time of reorder is assumed to be exponential distribution. An arriving customer, who finds the buffer is full, enters into the pool of infinite size or leaves the system according to a Bernolli trial. At the time of service completion, if the buffer size drops to a preassigned level L （1 〈 L 〈 N） or below and the inventory level is above s, we select the customers from the pool according to two different policy ： in first policy, with probability p （0 〈 p 〈 1） we select the customer from the head of the pool and we place the customer at the end of the buffer; in the second policy, with p （0 〈 p 〈 1） the customer from the pool is transferred to the buffer for immediate service and after completion of his service we provide service to the customer who is in the buffer with probability one. If at a service completion epoch the buffer turns out to be empty, there is at least one customer in the pool and the inventory level is positive, then the one ahead of all waiting in the pool gets transferred to the buffer, and his service starts immediately. The joint probability distribution of the number of customers in the pool, number of customers in the buffer and the inventory level is obtained in the steady-state case. Various stationary system performance measures are computed and total expected cost rate is calculated. A comparative result of two models is illustrate numerically.     

应用服务器多态老化模型和最优再生策略研究

针对应用服务器组件和平台之间的老化依赖关系特征,提出了应用组件再生和应用服务器系统再生两个不同粒度的定时再生策略。通过建立应用服务器老化过程的半马尔科夫模型,获得了应用服务器的可用性和维护费用函数,分析了最优再生时间的边界条件,理论分析表明两级再生策略优于单级的再生策略。模拟实验显示的再生策略和原有的再生策略相比,不仅提高了应用服务器的可用性,同时降低了系统的维护费用。     

Agent技术在计算系统抗衰重启技术中的应用研究

对计算系统执行智能化细粒度软件抗衰策略可以进一步增强软件抗衰技术的适用性，更大程度地提高抗衰效率，进一步降低抗衰成本，提高软件可靠性。通过分析系统进程的相关数据，针对进程间控制、调用及数据访问的关系，定义了进程问的依赖程度，给出了进程问重启相关度和进程重启链的判定步骤以及进程熏优恢复策略制定准则；并在此理论基础上结合Agent工作原理及特点，构走了基于agent的软件抗衰体系结构，并以此判定了系统中任意进程间的重启相关度，生成了进程重启链，并制定了重启进程的熏优抗衰策略，由此从根本上实现了计算系统的智能化细粒度软件抗衰。     

基于数据流的软件抗衰重启技术研究

制定准确实时的细粒度软件抗衰策略可以进一步增强策略的准确性,优化重启效果,提高软件可靠性。在数据流的基础上,结合了软件抗衰重启理论,定义了基于数据流得软件系统模型,制定了较为全面的系统性能参数,并且通过异常模式提取和趋势分析的方法有效地对软件异常子系统进行预测,确定出系统的重启层;同时给出了新型告准确度的重启相关度的计算方法,增强了其实时性和准确性,从而为执行高效准确的细粒度软件抗衰提供支持。     

面向普适计算的分布式模糊推理Petri网建模及仿真

普适计算环境通常采用集中式推理机制,加重了推理服务器和网络通信的负担,并且未充分利用终端计算能力。分布式模糊推理Petri网模型对模糊推理Petri网模型FRPN进行改进,采用层次结构,表征推理服务器和终端的推理任务执行;通过引入负载度和负载增长率的概念,在模糊推理过程中监控节点资源占用,弥补了集中式推理的不足。仿真实验表明,该模型较之FRPN模型可显著降低系统负载,是一种有效的分布式推理的规约方法。     

嵌套的基于时间的软件抗衰策略模型与分析

针对软件在连续运行过程中普遍发生的老化现象,提出了一种嵌套的基于时间的软件抗衰策略,在系统级恢复前先执行多次的应用级恢复。较之周期性系统级恢复,该策略降低了恢复成本;较之周期性应用级恢复,该策略避免了预测失败导致的系统失效。论文采用随机Petri网和有限自动机对策略的实施过程进行建模,计算了策略引发的停机时间和恢复成本,并与传统的软件抗衰策略的结果进行了比较。分析结果表明,嵌套的恢复有利于进一步减少恢复时间,降低恢复成本,提高系统的可靠性。     

基于单元关系度技术的Petri网模型分解--动态制造联盟网状组织结构优化的基础

针对动态制造联盟最小完备单元图的随机Petri网模型，提出单元关系度分解技术，为求解网状结构的解析式运行指标建立了基础，通过提出单元关系度的概念，计算得到关系度序号，在单元关系度的基础上，按单元不同业务功能关系的优劣次序，将最小完备单元图的单元进行分组，然后，根据不同组内单元之间其原来关系的最高出现频次进行组间连接，最后得到了针对动态制造联盟复杂Petri网模型的分解结果，为优化和改进Petri网系统的运行提供了更直观的控制途径。     

基于微机的塔台模拟机关键技术的研究

使用通用三维仿真平台SimGen构建双网结构的基于微机的塔台模拟机,重点探讨了多微机协同的实时三维视景渲染系统的体系结构,用UDP数据协议取得同步渲染数据,并提供了多机协同,用帧缓冲区以及网络流量控制的机制实现了抖动处理,使用两步线性航迹预测算法解决有可能出现的UDP数据的丢失。实践应用表明,基于SimGen运用多微机协同的视景实时渲染系统开发的塔台模拟机具有较低的成本和良好的性能,完全能够满足塔台管制训练和评估的要求。     

Newsoftware rejuvenation strategy based on measurement and time

1 .INTRODUCTIONRecent studies showthat operational software systemsoften experience an“aging”phenomenon,character-ized by progressive performance degradation and un-expected systemoutages[1 ,8 ,9]. The typical causes ofsoftware-aging phenomenon include memory bloatingor leaking, unreleased file-locks , un-terminatedthreads ,data corruption,storage space fragmentationand numerical error accumulation. In systems withstringent reliability/availability requirements ,the un-scheduledfailure d…     

A workload-based nonlinear approach for predicting available computing resources

Performance degradation or system resource exhaustion can be attributed to inadequate computing resources as a result of software aging.In the real world,the workload of a web server varies with time,which will cause a nonlinear aging phenomenon.The nonlinear property often makes analysis and modelling difficult.Workload is one of the important factors influencing the speed of aging.This paper quantitatively analyzes the workload-aging relation and proposes a framework for aging control under varying workloads.In addition,this paper proposes an approach that employs prior information of workloads to accurately forecast incoming system exhaustion.The workload data are used as a threshold to divide the system resource usage data into multiple sections,while in each section the workload data can be treated as a constant.Each section is described by an individual autoregression(AR)model.Compared with other AR models,the proposed approach can forecast the aging process with a higher accuracy.     

A New Instruction System by Network

１ＩｎｔｒｏｄｕｃｔｉｏｎＮｏｗａｄａｙｓｉｎｍｏｓｔｃｌａｓｓｒｏｏｍｓ,ｗｈｉｌｅａｔｅａｃｈｅｒｇｉｖｅｓｈｉｓｌｅｃｔｕｒｅｉｎｔｈｅｃｌａｓｓｒｏｏｍ,ｓｔｕ－ｄｅｎｔｓｊｕｓｔｓｉｔｔｈｅｒｅａｎｄｌｉｓｔｅｎｐａｓｓｉｖｅｌｙ．Ｔｈｅｙ...