基于聚类的触发式网络监控模型研究

根据网络传输数据量大,实时性高的特点,提出一种基于聚类的触发式网络监控模型。该模型将系统划分为网络用户层、实时监控层、数据分析层、触发控制层、前端应用管理层等五个层次,将数据处理分为信息采集、数据初步分析、数据聚类、结论确定和响应阶段,依靠各模块实现各阶段的任务和功能。模型各部件分布式部署,可各自承担数据处理和传输存储任务,提高了整体运行效率。     

基于模糊多准则决策扩展方法的分模线选择和评估研究

针对在模具设计中选择和评估分模线的问题,提出一种模糊多准则决策(MCDM)的扩展方法。首先利用语言变量表示分模线备选方案的评级和准则重要性权值;然后,基于这些语言值求出最终模糊评估值的隶属函数;最后通过一种新型的最大最小集排序方法将规范化加权评级解模糊成清晰值;并对备选方案进行优劣排序。验证和对比实验表明了方法的有效性,与传统模糊多准则决策方法的比较表明,更具有适用性。     

平凡扩张代数A∝M的Generic模

通过函子- A（A∝M）由代数A的Generic模构造A∝M的Generic模,讨论Generic A-模与Generic A∝M-模之间的关系．     

一种针对XML签名的攻击

近年来随着HASH函数破解技术的发展,特别是王小云教授等的模差分方法[1,2]的提出,使得很多基于具体HASH函数设计的计算机技术存在着严重的安全缺陷.本论文针对存放帐号和＂密码HASH值＂并进行XML签名[3]的系统,构造两个发生XML签名碰撞的XML节点集,即两个节点集分别具有相同的用户账号和不同的密码HASH值,但XML签名值相同,实现对XML签名的实际可行的攻击.     

Bernstein-Kantorovich算子线性组合同时逼近的点态估计

借助于Ditzian-Totik光滑模ωψλr(f,t)(0≤λ≤1)给出了Bernstein-Kantorovich算子线性组合同时逼近的点态估计.     

Kantorovic变形算子的保形性质

讨论了Kantorovic变形算子的保形性质,得到Kantorovic变形算子具有单调性,并且有保上凸性、保Hω类性和保连续模性.     

平坦模,投射模和自由模

设Λ=kΛ1Λ2…是局部有限的诺特的连通分次代数,M∈grmod(Λ).则M是平坦模当且仅当M是投射模当且仅当M是自由模.作为该定理的应用,证明了如果k∈Boun(Λ),则Finitistic维数猜想对于Λ是成立的.     

广义局部上同调模相伴素理想之集的有限性和Ext－模的弱拉斯克性

设R是含幺交换的Noether环,I是R的真理想,M,N是R-模．主要研究了广义局部上同调模H1（M,N）（ i≥0）相伴素理想之集的有限性和Ext-模的弱拉斯克性．用归纳法证明了：若M,N是有限生成模,i∈N0．若对 j〈i,有H1^j（M,N）为弱拉斯克模,则Ass（H1^i（M,N））是有限集．并给出了关于Ext-模的弱拉斯克性的几个等价条件．     

一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法*,使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

加工履带板长销孔用钻模设计方法

随着我国重型工业的飞速发展,工程机械类产品如煤矿用采掘等设备的需求日益增加,重型设备行走部用履带板使用量越来越多,因此履带板长销孔加工质量对整机行走平稳和设备可靠性有着很大的影响,因此其加工方法问题必须改善提高。本文着重介绍使用钻模加工履带板长销孔的设计方法,力求工艺先进、结构简单、经济适用,提升产品质量,提高生产率。