浅谈软件测试方法

随着软件产业化的发展，软件测试在软件生命周期中扮演着越来越重要的角色，本文利用实例详细介绍了白盒测试和黑盒测试两种方法的工作原理和实现方法。     

语言符号任意性和象似性的辨证关系

文章运用自组织理论和原型理论对语言符号任意性和象似性的关系进行分析,指出语言符号的任意性和象似性的关系是辨证的,两者看似相对,实则相辅,它们存在于一个整体之中。对语言符号任意性和象似性辨证关系的认识,在英语教学中有着重要的实用价值。     

一维热方程奇异初边值问题

本文证明了形如：Ｕｘｘ＝Ｕｔ，Ｕ（ｘ，０）＝０，Ｕ（０，ｔ）＝Ｕｔ＾（－（ｋ＋１）／２，Ｕ（∞，ｔ）＝０，的奇异初边值问题，当ｋ＝１，３，５，…时没有相似解；而当ｋ＞－１且ｋ≠１，３，５，…时相似解一定存在。第一个断言推断了Ｐｈａｎ－Ｔｈｉｅｎ于文［１］中提出的一个重要结论。     

三维空间线性规划问题的图解法

本文着重论述怎样利用几何作图,并通过计算,求三维空间线性规划问题的最优解。     

三角形速度场解析平面变形辊拔与辊挤

文章对平面变形辊拔与辊挤问题建立了运动许可的三角形速度场并获得上界解析解。该解与 Avitzur 以连续速度场得到的上界解进行比较表明,有时本文解法可得到更低的上界值。     

基于自相似性的网络信息流延时特性仿真

网络控制系统中由于网络的介入，使得状态信息和参考信息的传输延时具有随机性．本研究网络控制系统中信息流的延时和丢包特性，从网络中信息流的本质属性——自相似性出发，给出了产生自相似信息流的方法，借助于通用系统仿真语言GPSS研究了一类网络控制系统的延时特性，指出网络中信息流的延时和自相似程度以及采样速率之间的定性关系．     

关于高阶线性微分方程解的正规性问题

研究了高阶线性微分方程f^(m) an-1f^(n-1) … a1f′ a0f=F的解的正规性问题，其中ai(0≤i≤n-1)均为多项式，F是正规的超越整函数，我们证明了若σ(F)≥1 max 1≤i≤n degan-i/i,则方程的解均是正规的．我们还在上述方程的系数为有理函数，F为正规的超越亚纯函数的情况下，证明了只要方程的系数组成的代数方程满足一定条件，那么所有解均是正规的．