软件接口自动化测试技术研究与实现

软件接口测试是软件系统测试的一个重要方面。文中通过雷达软件测试工作的实践,探讨研究接口测试自动化技术,设计了接口自动化测试框架和实现流程,采用灵活的XML语言作为数据交互的载体,并将该技术应用于实际的测试工作中,结果表明软件接口自动化测试技术能够有效地减少接口测试的工作量,提高测试工作的效率。     

温州广播电视总台播总控准备系统设计及实现

以播出节目文件准备为核心的新一代播出系统将在当今和未来电视台电视节目播控系统中占据主导,通过对温州广播电视总台新播总控准备系统的介绍,阐述了以节目准备为核心的电视播出流程及其模块化设计,其中全域节目准备系统（GMP）突破了传统硬盘播出采用磁带上载的节目准备方式,为今后全台网互联和文件共享奠定了基础。     

数字电视中心总编室编播网络系统

主要从统一节目代码管理、节目编排与备播、互联互通设计等方面着重阐述了数字电视中心总编室编播网络系统的设计思路。     

基于ARM的直流系统接地故障检测应用程序设计

本文提出了基于S3C44B0X的直流系统接地故障检测装置的设计方案,并在此装置上实现了基于小波变换的检测方法,并重点阐述了应用程序的设计。     

基于半定规划的阵列天线方向图旁瓣抑制

基于半定规划理论提出了一种新的阵列天线方向图旁瓣抑制算法。与传统旁瓣抑制方法不同,该方法通过合理设计优化准则,避免了在凸优化问题建模过程中引入近似,保证了波束形成器的最优性;并且使得在压低旁瓣的同时,可准确控制信噪比增益和主瓣宽度到期望的范围之内。该方法对阵列流形没有限制,计算机仿真结果验证了其有效性。     

Calibration of a stochastic health evolution model using NHIS data

This paper presents and calibrates an individual’s stochastic health evolution model. In this health evolution model, the uncertainty of health incidents is described by a stochastic process with a finite number of possible outcomes. We construct a comprehensive health status index (HSI) to describe an individual’s health status, as well as a health risk factor system (RFS) to classify individuals into different risk groups. Based on the maximum likelihood estimation (MLE) method and the method of nonlinear least squares fitting, model calibration is formulated in terms of two mixed-integer nonlinear optimization problems. Using the National Health Interview Survey (NHIS) data, the model is calibrated for specific risk groups. Longitudinal data from the Health and Retirement Study (HRS) is used to validate the calibrated model, which displays good validation properties. The end goal of this paper is to provide a model and methodology, whose output can serve as a crucial component of decision support for strategic planning of health related financing and risk management.     

New reformulations for probabilistically constrained quadratic programs

The mixed integer quadratic programming (MIQP) reformulation by Zheng, Sun, Li, and Cui (2012) for probabilistically constrained quadratic programs (PCQP) recently published in EJOR significantly dominates the standard MIQP formulation ( and ) which has been widely adopted in the literature. Stimulated by the dimensionality problem which Zheng et al. (2012) acknowledge themselves for their reformulations, we study further the characteristics of PCQP and develop new MIQP reformulations for PCQP with fewer variables and constraints. The results from numerical tests demonstrate that our reformulations clearly outperform the state-of-the-art MIQP in Zheng et al. (2012).     

Stability in the presence of degeneracy and error estimation

Received February 10, 1997 / Revised version received June 6, 1998 Published online October 9, 1998     

A parametric view on the Mangasarian–Fromovitz constraint qualification

The growth of the multipliers, when the parameter approaches such a critical parameter, is characterized by a parametric constraint qualification which is introduced here. It is equivalent to a bound on the growth of the multipliers. Received May 8, 1995 / Revised version received February 12, 1998 Published online February 25, 1999     

基于最小化收发器数量的光网络业务量疏导

研究了网格型波分复用中的业务量疏导问题,首先把该问题表示为整数线性规划问题(ILP),优化的目标是使得网络中使用的收发器数量最少由于问题的计算复杂度较高,提出了一种启发式算法来解决该问题,数值结果表明:这种算法可以得到与整数线性规划(ILP)得到的最优解相近的结果,在WDM网络中采用适当的业务量疏导可以减少网络中使用的收发器数量。