军用软件的黑盒测试方法综述

在对军用软件进行功能测试时,通常采用黑盒测试方法,常用的黑盒测试方法有等价类划分法、边界值分析法、错误猜测法、因果图法和场景法等。在设计测试用例时针对实际军用软件综合应用这几种黑盒测试方法。     

Memory objects in project environments: Storing, retrieving and adapting learning in project-based firms

This paper investigates the role of objects holding representations of knowledge in the transfer of learning across projects. On the basis of an in-depth case study, this paper shows that the way in which relatively simple artifacts, such as Excel workbooks, represent knowledge enables them to act as boundary objects across occupations and as memory devices across projects. It is the temporal capacity of these boundary objects that makes them points of juncture in a widely distributed memory system, enabling project-based firms to balance preservation and adaptation of knowledge. The mechanisms for the preservation of learning are not missing from project environments, rather they are less visible and less direct than in other settings, and therefore less docile in the face of managerial action.     

固定背景下人脸图像的特征提取

对于复杂人脸模式、脸部特征的提取,是人脸自动识别技术的关键,本文对固定背景下人脸图像特征的定位和提取算法进行了分析.文中首先对彩色图像背景进行分割,得到二值化图像;然后采用边界搜索方法确定人脸外接矩形;最后在色度空间中,结合SUSAN角点检测方法,实现人眼、嘴角定位,完成了人脸图像特征的提取和识别.实验证明,该算法在降低运算区域的同时,降低了运算复杂度和其他干扰因素,并且在速度、效率、准确性方面均有良好的性能.     

Novel boundary element method for resolving plate bending problems

INTRODUCTIONTheboundaryelementmethodisanefficientnumericalmethodforsolvingpracticalengineer ingproblems ,andisparticularlyattractivefortheanalysisofelasticmechanicsproblems,asonlytheboundaryoftheproblemisrequiredtobediscretized .Themainadvantageofthebound…     

边界·遗忘·可能性之树——昆德拉《身份》的主题探析

《身份》是昆德拉著名的“遗忘三部曲”中的一部。他在作品中致力于对人的“存在”的思索。在《身份》中,他以简洁的文笔表现出深刻的主题。由于对人与人之间的边界的遗忘,由于事件发展的不确定性、可能性,有时人们善意的“越界”却会引发背离初衷的结局。本文从边界、遗忘、可能性之树三方面探析《身份》的主题。     

教育评估的边界理性

评估有大用,但在整体的教育质量保障体系当中,作为客体和手段存在的评估行为却需要理性地把握好大有作为的边界。本文从灵动的教育、有限的指标以及变化的评估者三个层面上辨析了教育评估“有为”与“无为”之间的模糊界面,认定理智适度的作为方式才是教育评估可持续发展的真正保障。     

基于广义Adams边值法的循环预条件解微分方程

Chan和Bertaccini等提出使用循环矩阵作为预条件矩阵的GMRES方法来求解由边值法(BVM)离散常微分方程初值问题的线性系统是优于GMRES方法的.本文基于广义Admas法(GAMs)离散常微分方程初值问题的线性系统中矩阵的双对角形式,提出了一类新的循环预条件矩阵来加速GMRES的收敛性,并且从理论上证明了方法的收敛性,数值实验表明了这种方法的有效性.     

Transforming traditional models of initial teacher education through a mandatory experiential learning programme

This paper reports on the impact of a compulsory credit-bearing experiential learning (EL) block embedded into an initial teacher education (ITE) programme in Hong Kong. Student teachers engage in extended participation with community-based projects, aimed at enhancing their understanding of real-world environments, expanding their capacity to integrate theory and practice, and broadening their global outlook. The projects include community placements in Hong Kong, as well as regional learning opportunities. Qualitative data from a hundred participants reveal important outcomes in terms of pedagogical development, students’ understanding of diverse others and enhanced reflective practices. The paper attends to global changes in education.     

正则函数的一类Hilbert边值问题

文章主要研究了上半平面内正则函数的一类Hilbert边值问题。首先给出了上半平面内正则函数的一类新的Hilbert边值问题的提法,然后通过把Hilbert边值问题转化为Riemann边值问题的方法,得到了上半平面内正则函数的Hilbert边值问题的唯一解。     

Optimal boundary control of heat conduction problems on an infinite time domain by control parameterization

The present paper deals with an optimal boundary control problem in which the process of systems under consideration is governed by a linear parabolic partial differential equation over an infinite time interval. The objective of the paper is to determine the optimal boundary control that minimize a given energy-based performance measure. The performance measure is specified as a quadratic functional of displacement and a suitable penalty term involving the boundary controls. In order to determine the optimal boundary controls, the problem with boundary controls are converted into a problem with distributed controls. The modal space technique is then used to reduce the system into the optimal control of time invariant lumped parameter system. The associated system of uncoupled first order initial value problems is solved in terms of controllers. Next step deals with the computation of the control and trajectory of the linear time-invariant lumped parameter. For this we approximate the controllers by a finite number of orthogonal exponential zero-interpolants over the interval [0,∞). The resultant performance index after using the optimality condition leads to a system of linear algebraic equations. The suggested technique is easy to implement on digital computer. We provide a numerical example to demonstrate the applicability and efficiency of the proposed approach.