基于小波变换的矿井监控图像增强研究

针对在矿井视频监控系统中采集到的井下图像质量差的问题,论文提出了一种基于小波变换的图像增强方法,使用该方法增强的图像细节显示能力强,图像对比度更高,该方法对煤矿监控图像有显著的增强作用.通过与传统的伪彩色增强算法、灰度线性变换算法和直方图均衡算法比较,该方法较好地增强了井下低对比度图像的可视化效果.实验证明,该基于小波变换的图像增强方法能够增强矿井下图像的清晰程度,使矿井视频监控系统更好地发挥作用.     

安全协议的形式化验证技术与方法

本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类.并对安全协议形式化验证若干热点研究方向进行了归纳和展望.     

基于串空间模型安全协议形式化分析方法的研究

从串空间模型理论人手,提出了三种典型的串空间形式化方法（基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法）,并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。     

信息与计算科学专业社会适用型人才培养模式研究

根据企业调研和办学经验,从调整人才培养目标、改革专业课程体系设置、提高实践教学质量和培养创业创新能力四个方面提出了建设社会适应型信息与计算科学专业人才的一些具体措施,取得了较好的效果,为以后专业建设提供了依据。     

抗菌防霉消臭粘胶纤维的性能研究

将具备抗菌性能的甘草提取物、防霉性能的丁香提取物和消臭作用的海泡石微粉与粘胶纺丝液共混,采用普通粘胶纤维生产工艺制备抗菌防霉消臭粘胶纤维,测试其基本性能、抗菌、防霉与消臭性能。实验结果表明:与普通粘胶纤维相比,抗菌防霉消臭粘胶纤维的断裂强度、断裂伸长率均有所下降,回潮率稍有提高,质量比电阻减小。对金黄色葡萄球菌抑菌率为99.81%,对黑曲霉防霉等级为1级,对氨气、醋酸、异戊酸的消臭率分别为93%、97%、95%,抗菌、防霉、消臭性能良好。     

基于Apriori挖掘算法的改进研究

Apriori频繁集算法是比较经典的一种数据挖掘算法,本文针对Apriori算法的瓶颈,提出了一种Apriori_New算法,它通过迅速减小数据库规模从而较大地提高了挖掘效率,当原始数据库规模较大时,此算法效果尤为显著。     

大学计算机基础课程教学改革初探

大学计算机基础对高校非计算机专业学生计算机知识与能力的培养起着重要的作用。通过实践分析计算机基础教育面临的问题,结合本校的实际情况,从教学模式、教学内容等方面提出改进措施。     

数据挖掘在儿童培训机构客户关系管理中的应用

针对Apriori关联规则算法需要多次扫描事务数据库及产生的候选集庞大的瓶颈问题,提出一种不产生候选项目集,即可产生项目集的新算法,对数据的处理次数大大减少,提高了挖掘效率。并结合在儿童培训机构客户关系管理(CRM)中客户选择的培训内容的具体应用分析,阐明了基于Apriori改进算法的CRM数据挖掘对于儿童培训机构增强竞争优势的重要意义。     

基于煤矿视频监控系统的图像增强方法研究

针对煤矿视频监控系统中采集的井下图像质量差的问题,提出了一种先在空域上采用中值滤波降噪,然后用自适应直方图均衡进行增强处理的方法,可以有效地降低煤矿井下的脉冲噪声,增强了井下低对比度图像的可视化效果。实验证明,该方法可以增强煤矿井下图像的清晰程度,使煤矿视频监控系统更好地发挥功效。     

基于串空间模型安全协议形式化分析方法的研究

从串空间模型理论人手,提出了三种典型的串空间形式化方法(基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法),并对每一种方法的证明步骤及优缺点进行了分析.在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析.分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性.