可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

软件开发框架模型——现实世界问题的结构化分析

对软件开发框架模型提出了一种新的构化的分析方法,同时介绍了常用的结构化分析的工具及其更实用情况。     

软件工程双语教学实践与探讨

针对软件工程课程本身的特点,对软件工程双语教学的必要性﹑可行性进行分析。通过软件工程专业课程双语教学的实践,探讨双语教学的经验和体会。并结合一般本科院校的实际,从教学方式、考试、教材、教室等多个方面提出具体的改进措施。     

Retrieving ocean surface current by 4-D variational assimilation of sea surface temperature images

In this article we propose a new method to estimate ocean mesoscale structures of the surface current velocity by processing sea surface satellite images. Assuming that the intensity level can be described by a transport-diffusion equation, the proposed approach is based on variational assimilation of image observations within a simple transport-diffusion model. This approach permits to retrieve the current velocity field from a sequence of satellite images. Results of processing synthetic data and real NOAA-AVHRR satellite images are presented and commented.     

Robust Kalman filtering for uncertain discrete-time systems with probabilistic parameters bounded within a polytope

We consider the problem of finite horizon discrete-time Kalman filtering for systems with parametric uncertainties. Specifically, we consider unknown but deterministic uncertainties where the uncertain parameters are assumed to lie in a convex polyhedron with uniform probability density. The condition and a procedure for the construction of a suboptimal filter that minimizes an expected error covariance over-bound are derived.     

城市轨道交通电力监控系统测试的研究及应用

针对电力监控系统具有实时性、可靠性、硬件依赖等特点,为了保证电力监控系统的可靠、安全和稳定性。提出了适用于该系统的测试方法。根据系统的特点制定了相应的测试策略,并进行了测试的总体设计和测试用例的设计。最后通过对测试环境的分析,开发了相应的模拟器。通过模拟器和测试用例实现了测试的自动化。根据测试的过程和结果表明,采用正确的测试设计方法能够有效的发现系统中存在的问题,保证系统的质量。     

Optimal experimental design and some related control problems

This paper traces the strong relations between experimental design and control, such as the use of optimal inputs to obtain precise parameter estimation in dynamical systems and the introduction of suitably designed perturbations in adaptive control. The mathematical background of optimal experimental design is briefly presented, and the role of experimental design in the asymptotic properties of estimators is emphasized. Although most of the paper concerns parametric models, some results are also presented for statistical learning and prediction with nonparametric models.     

Improved inter-view correlations for low complexity MV-HEVC

The more advanced multi-view extension, MV-HEVC, effectively exploits visual similarities between multi-view videos and enables high compression efficiency. Each view in the multi-view sequence depends on the captured scene, the distance between cameras and recording angles. Increasing the distance between dependent viewpoints generates an inter-view disparity. This impacts the inter-view similarities, affects the disparity estimation and further increases the computational complexity of the MV-HEVC encoder. In this paper, an efficient earlier disparity estimation is proposed for low complexity MV-HEVC. This algorithm is based on reducing the complexity of disparity estimation by eliminating the inter-view offset. Moreover, the inter-view similarities are controlled by considering the reliability of each coding unit size in the search range. This reliability is estimated by reducing the number of searching points within a new limited window. For reliable motion estimation, we further proposed an earlier decision of coding units splitting in the dependent views according to those in the reference views. Experimental results show that the proposed algorithm can achieve an average encoding time saving of 20.37%–40,61% with marginal performance degradation.     

一种快速自适应谱估计算法

通过对梯度格型快速自适应算法的研究,结合最大熵谱外推目前存在的缺点,将梯度格型算法应用于最大熵谱外推中,并将其与伯格算法进行了比较。     

智能耳诊机的软、硬件设计

本文从实际应用出发,详尽论述了“智能耳诊机”软、硬件设计的方法。对从事单片机开发应用的工程技术人员有较高的参考价值。