Sp(4,K)的WEYL模分解

给出了G=Sp(4，K)时WEYL模的分解模式，给出了Sp(4，K)的WEYL模分解。     

带机器准备时间的同类机在线与半在线排序问题

研究带机器准备时间的m台同类机(uniform machines)在线和半在线排序问题，目标函数为极小化最大机器(工件)完工时间。对于在线情形，证明了LS算法的最坏情况为ρ=｛（1 √5）/2，m=2,1 √2m-2/2,m≥3，并且当m=2，LS算法是最好的近似算法；当m=2，3，…，6时界是紧的，特别地，当s1=s2=…=sm-1,sm≥l时，证明了LS算法的最坏情况界为ρ=｛（1 √5）/2，m=2,3-4/m 1,m≥3，而且界是紧的；对于已知加工时间递减的半在线排序问题，证明了LS算法的最坏情况界为2—2/(m 1)。     

基于数字预畸变的UMTS功率放大器线性化技术

提出了适用于UMTS系统上行线路的基于查阅表数字预畸变的功放线性化技术 .通过仿真和测量可以看出 ,数字预畸变可以将邻道功率比性能改善 10dB .尽管这一性能的改善并不是UMTS标准所必需的 ,但它能减少功率放大器的工作点回退 ,或者降低对功放线性特性的要求 ,从而增加功放的效率 .     

半模范畴中Hom的左正合性

利用半模的差模定义了半模同态序列的正合，讨论了Hom函子的左正合性。     

粗集理论及其在旋转机械故障诊断中的应用(三)决策规则的形成与约简

将粗集理论应用到旋转机构故障的智能诊断中，在信息不完备情况下，不需要事先假设和专家经验，在粗糙度不变的情况下进行推理和在决策分明性不变意义下进行决策，找出其规律性，并提供规则的可信度；同时能对旋转机械故障的知识库的进行约简，消除多余的条件属性和冗余的信息，导出最小简化决策表。     

关于方程—△u＋f（x，u）＝h的一个新结果

该文研究二阶半线性椭圆型方程 -Δu+ f(x ,u) =h的Dirichlet问题弱解的存在性和唯一性。采用同胚的观点把问题转化为非线性算子 -Δ+ f(x ,·)的延拓性。用延拓方法得到了关于解存在的一个充分必要条件和解唯一的一个充分条件。这些条件是整体积分形式的。该研究不但是用了新的方法 ,而且在一定程度上推广了前人的结果     

半挥发性有机物质的固相萃取技术在松花江水有机毒物检测中的应用

通过对不同类型的化合物在多种固相萃取柱上的回收率进行评价，对影响萃取效率的各参数进行了测定，确定了测定不同水样以及不同组分的最佳萃取条件，建立了系统的半挥发物富集方案，为松花江水中有机毒物的分析测定提供了有效的样品处理方法和测定方法。     

知识发现中概率统计与粗集方法的比较

对知识发现中,概率统计方法与粗集理论方法在评价系统参数的重要性,分类隶属度与条件概率,输入条件与决策结果的依赖关系等方面进行了比较, 提出了将概率统计方法和粗集理论相结合,由确定性粗集的近似空间扩展到了不确定性的概率粗集的近似空间,为确定性和不确定性知识表达系统提供一个统计粗集模型。     

基于粗集与PCNN的图像预处理

研究了如何将粗集(Rough Set)与脉冲耦合神经网络(PCNN-Pulse Coupled Neural Network)相结合，对被噪声污染的图像进行对比度增强处理，使图像清晰，从而便于后续的处理。同时，提出了基于粗集与PCNN的图像增强算法。计算机仿真结果表明，使用基于粗集与PCNN的图像增强算法，可有效地对被噪声污染的图像进行图像增强，减少图像噪声，增加图像对比度，使图像更加清晰，且图像增强的结果优于常规的方法。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．