非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

"红"与"Red"的语义扩展对比研究

本文通过对汉语“红”和对应的英语“red”的语义扩展模式进行对比发现，在两种语言中，两个词的原型义都是“火或血的颜色”，虽然语义扩展的路径基本相同，不同的文化视角使两千词的语义产生了差异。颜色词通过表达相应的颜色概念，把客体，颜色和主体三方面联系在一起，使颜色词不仅指称了颜色概念所表达的客体方面的特征，而且还表达了颜色在人的主体方面所能引起的一切刺激反映的特征。     

板型燃料组件内部流场数值分析

为板型燃料组件的设计和实验研究提供参考 ,采用商用流体力学计算程序 CFX5对板型燃料组件内部流场进行了数值模拟 ,以获得各流速下的板间流场。数值计算结果表明 :板型燃料组件不同流道和单一流道内的流速分布基本均匀 ,在 2 0个流道中居中的 3～ 5流道内的流量比其它流道小一些 ,其中中间流道内的流量最小 ,其流量与平均流量的误差小于 10 % ;提梁对其后部速度场的影响较大 ,对其后部压力场的影响很小。当板间水隙的最大加工误差为0 .15 mm时 ,该流道内的流量与流道内平均流量的误差接近10 %。组件进出口差压计算值与实验值比较接近 ,证明了计算结果的可靠性     

MIS系统通用插入组件的设计与实现

论述了数据字典是实现通用插入功能的关键，并描述了利用Grid控件实现通用插入组件的一般方法，着重讲述了依据数据字典动态生成界面，动态消息响应的处理过程，有很大的应用价值。     

使用状况评价研究理论在城市公园中的应用初探

本文尝试将使用状况评价这一建筑设计领域中的研究理论引入城市公园，井对其在城市公园中应用的可行性与可实施途径进行了探讨，由此为这一新鲜的研究课题的进一步深入研究提供参考依据。     

UPS的供电系统及测试

文章介绍了UPS在实际应用中的供电方案及UPS系统的测试内容。     

EBPSK接收机位同步的DSP实现

扩展的二元相移键控是一种高效调制技术。为了实现该调制方案的变速率通信,本文提出了一种基于特殊帧结构和插值/抽取法的变速率位同步信号恢复方案,并在TI TMS320C6713DSK上实现了对输入码元序列的同步和检测。     

扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

关于可对称化矩阵的Weyl-Лидский型定理

建立了可对称化矩阵情形下的型定理和与近似不变子空间相关的特征值扰动分析.拓广了W Kahan的相应结果.