The W-Process for Software Product Evaluation: A Method for Goal-Oriented Implementation of the ISO 14598 Standard

The importance of software product evaluations will grow with the awareness of the need for better software quality. The process to conduct such evaluations is crucial to get evaluation results that can be applied and meet customers' expectations. This paper reviews a well-known evaluation process: the ISO 14598 standard. The review focuses on the difficulties in selecting and evaluating the appropriate evaluation techniques. The review shows that the standard has problems in applying evaluation processes in practice due to insufficient attention to goal definition and to relationships between activities being implicit. Also, the standard ignores the trade-off between goals and resources and pays insufficient attention to feedback. To address these deficiencies, the W-process is proposed. It extends the standard through an improved process structure and additional guidelines.     

交通信号智能控制仿真系统

根据交通信号智能控制过程中的各种复杂情况,研制了一个微观仿真的实用系统。微观仿真系统可实现交通路网编辑模块、交通参与者模型、交通信号控制模型、方案评价模型等,还能够实现多种方案的动态实时仿真,提高信号控制方案选择的有效性。     

SPSS软件在变量筛选中的应用

介绍了SPSS软件的基本原理,通过应用高级统计命令——复回归分析,突出其在进行变量筛选时,对大数据量处理的优势,并求出其回归方程式,以便进行准确的统计预测。     

机械故障诊断模拟实验系统的研制——监测系统的软件设计

故障诊断对于现代化大型机械的正常运转及经济效益有着极为重要的作用。为了方便机械故障诊断方面的科研实验,并辅助学院本科生及硕士的教学工作,培养学生综合实验的能力,研制了本旋转机械系统故障诊断的模拟系统。论文介绍了该系统监测部分软件的功能模块、设计原则、人机交互界面以及容错设计等,既可用于科研,也可用于教学实验。     

结构化分析与设计技术——一种软件工程方法论

本文通过开发大型软件系统的六个阶段,阐述一种进行功能分析和系统设计的综合方法论,包括它的技术和应用这些技术的过程,并结合程控电话交换系统的实例,作了探讨.表明了软件工程不仅是一种需要继续发展的理论,而且已经成为一种工程实践的活动.     

面向在线率差异的SaaS订阅限额及资源配置组合优化

软件即服务（softuare as a service,SaaS）是一种让用户通过支付订阅费来获得软件访问权的云服务模式。由于其业务的多样性,用户对不同软件的在线访问率存在很大差异,所以不同软件所消耗的云计算资源也存在差异。为避免违反服务等级协议（service level agreement,SLA）而产生违约赔付的风险,SaaS运营商不仅要优化各种软件的计算资源配置,还要对各类软件的订阅量加以限额限制。在考虑SLA限制的基础上,构建了一个以收益最大化为目标的有资源约束的非线性整数规划模型。由于模型计算的复杂性,其无法在多项式时间内求解,所以设计了基于Q学习-粒子群（particle swarm optimizoction,PSO）的融合算法来求解该NP难题。该算法将Q-学习嵌入到PSO中,动态调整PSO参数,从而避免直接使用PSO时会面临的局部最优陷阱和计算效率低下的问题。仿真实验验证了在不同场景下模型及算法的有效性,结果表明该算法可在云计算资源有限的条件下,以较高的求解效率获得收益更高的订阅限额及资源配置方案。其中,当处于需求波动大的情境下时,运营商应尽可能降低软件的资源争用比,通过配置足量的虚拟机资源并设定严格的订阅限额来保障软件的服务质量,减少违约赔付成本;相反,当处于需求波动小的情境下时,运营商可以提高软件的资源争用比,通过放宽订阅限额来抢占更大的市场,实现收益最大化。     

主动网络中一致执行环境的研究

执行环境的结构组成直接影响主动节点对主动信包的处理性能，本文试图给出一种新型的执行环境实现方案．在分析了当前执行环境存在弊端的基础上，运用组件思想提出了一种一致性执行环境的框架模型．其核心思想是：使得接口与实现相分离，实现语言无关性以及利用组件构建执行环境和主动应用．该模型能够较好的克服当前执行环境EE存在的弊端，提高主动网络的整体性能．     

PCI运动控制卡的访问方法

利用PCI总线协议和双向FIFO缓冲器,开发一种高速运动控制卡,实现处理机与控制卡之间高速双向并行通信,介绍了其硬件结构,讨论了利用Windriver时PCI卡的访问方法。     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.