关于Krein-Milman定理的一点注记

目的研究线性拓扑空间中紧集端点存在性问题。方法集合论与点集拓扑学中的方法。结果得到一般线性拓扑空间中紧集端点存在的一个充分必要条件。结论证明局部凸线性拓扑空间中的紧集必有端点,同时给出Krein-M ilman定理的简化证明。     

基于粒子群算法的数字电路测试生成

在已有的数字电路测试生成算法基础上，通过对一种结构简单且容易实现的算法——粒子群算法的研究，提出了一种基于模拟的测试矢量生成的新方法，即应用粒子群算法来进行数字电路的测试生成．对一些组合电路进行了仿真，并将其与基于遗传算法的测试生成方法进行比较，实验结果表明该方法比基于遗传算法的测试生成更为有效．     

决策树技术在汽车销售中的应用研究

利用sq l server analysis service建立轿车市场营销分析的数据仓库模型,在此基础之上,利用决策树分类技术,对汽车贸易企业的轿车销售历史数据进行分析,得出客户数据的分类规则,分析出潜在客户共同的特点;针对这些特点,采取相应营销决策,提高营销的针对性和成功率。     

时/空分离光接枝技术在核孔膜表面改性上的应用

时/空分离光接枝技术是一种全新的光接枝方法，使用该方法可对不能直接光照到的表面进行改性。本文采用时/空分离光接枝技术对核孔膜的内、外表面进行接枝改性，实验结果表明，核孔膜外表面及孔内表面均能得到改善，并对反应机理进行了探讨。     

基于独立分量分析特征提取的故障诊断系统

针对矿山破碎机的声音故障诊断受复杂现场环境制约、确诊率低的难题, 结合独立分量分析(ICA)在自然图像和连续语音信号中特征提取的方法,采用两层ICA分别用于从混杂声音中提取各采集通道(部位)的统计独立声音信号和进一步提取该信号的特征基.训练阶段生成的特征基系数序列用来生成矢量量化(VQ)的码书,设计出ICA-VQ破碎机故障诊断系统.现场采集数据的实验中系统的故障诊断准确率达到96.8%,表明系统的高效性.     

一种基于离散小波变换的数字水印算法

提出了一种基于离散小波变换的数字水印算法,水印采用有意义的二值图像.该算法是基于块的离散小波变换,即将原始图像和水印都分块后,再对各个块进行小波变换,利用混沌发生器将水印各块置乱后嵌入到图像的中频部分.试验结果表明,该算法具有较好的不可感知性和鲁棒性.     

基于双因素的可转换债券定价模型

将信用风险、利率期限结构引入到二叉树定价模型中,建立以股价和利率为标的变量的二叉树定价模型.在给定的边界条件和具体参数下,对我国的可转换债券进行定价研究,并用市场数据对模型做了实证检验.对比标的股价二叉树定价模型的计算结果,发现基于双因素的可转债定价模型的计算精确度较高,同时,计算得到的理论价值的走势跟市场价格的走势较为相似.     

T_1与T_2之间的几个分离公理

讨论了T1与T2之间的几个分离公理.     

弱紧集上的公共不动点与最佳逼近

在局部凸拓扑线性空间中的弱紧集上得到了一个非扩张映射对的公共不动点定理和一个最佳逼近定理,改进了Hussain和Khan的相应结论.所得结果是许多已有结论的推广.     

对称算子空间上的保秩1线性映射

设H是一个复Hilbert空间,S(H)为H上对称算子全体所成的集合,用Γ表示S(H)中秩1算子全体所成的集合.设L是S(H)上的映射,如果L(Γ)Γ,则称L是保秩1的.S(H)上保秩1的弱连续线性映射被刻画.