基于OBDD的描述逻辑εL循环术语集推理

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图（ordered binary decision diagram,简称OBDD）是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.     

无线传感器网络的双矩阵密钥预分配方案

为提高无线传感器网络存储资源的利用率,同时增强网络的安全性和连通率,提出一种双矩阵密钥预分配管理方案。该方案在Blom密钥分配方案基础上,采用双矩阵对节点逐次进行密钥分配,并在节点对密钥建立后,采用双矩阵信息删除方案减少矩阵信息。分析表明：该方案具有高效率、高连接、低储存成本等特性。     

基于非线性关联维特征提取的机械自动化监测系统

提取天然气压缩机故障状态下振动信号的故障特征是设计机械自动化检测系统的核心技术。提出一种基于非线性关联维特征提取的机械自动化监测系统设计方法,在故障诊断原理基础上,进行故障振动信号时间序列分析,设计故障振动信号相空间重构方法,改进了相空间重构最佳时延和嵌入维数参数计算的关键技术,通过提取关联维故障特征,在Simulink平台上设计了自动化监测系统。系统实验结果表明,该算法和系统能使各类故障状态下提取的关联维特征的标准差显著性降低,特征分布聚类能力明显提高,系统能有效检测各类故障,实现了机械设备的自动化监测,在自动化故障诊断仪表设计等领域具有较好的工程实践价值。     

一种基于角色和数据项的访问控制方式

当今社会,随着信息和通信技术的飞速发展,数字信息正在被广泛使用,为了进行数据分析以支撑基于信息的决策,政府、社会机构、公司和个人都可能会收集一些涉及个人的信息数据,然而伴随着大数据资源的正在进行越来越广泛的整合、分析和利用,使得数据治理问题,特别是数据隐私保护问题也越来越被人们重视,成为大数据研究的一个重点。本文针对如何保证数据资源在使用过程中的安全访问控制问题,在主流的基于角色的访问控制方式的思路之上进行了扩展,提出了一种基于角色和数据项的访问控制方式,即在数据库中增加角色对数据表中每一项的访问权限表。实践结果表明,与目前主流的几种访问控制模式相比,实现了对数据的精细化管理,对不同角色的用户访问实现了数据可控,对大数据环境下信息系统的数据隐私保护具有一定的指导意义。     

Web挖掘在虚拟教育中的应用

教育环境有两种形式,分别是传统和虚拟教育环境。在这两种环境中,重要的问题是习惯分析和评价。介绍了在传统的教育体系中,习惯分析通过观察技术来实现;而在虚拟教育环境的分析中,学生的态度和习惯则是一个非常重要的问题。讨论了Web挖掘应用是如何应用在虚拟教育环境中的,根据描述性研究方法形成的规则,给出了在教育环境中使用Web挖掘,可以从毫无相关性的习惯和网络环境中提取有意义的信息,从而克服这个问题。     

OPC技术在WINCC与组态王通讯中的应用

本文是利用OPC（OLE for Process Control）技术,通过公司现有的以太网,实现了组态王数据与远程WINCC的通讯,解决了不同组态软件之间的远程通讯难题.     

虚拟机动态迁移方法

对虚拟机动态迁移方法的研究背景、研究意义以及研究现状进行综述,分别介绍了内存预拷贝迁移、内存后拷贝迁移、内存混合复制迁移和基于日志跟踪重现的迁移方法,对其算法思想、关键技术、实现机制以及性能等进行概括、分析和比较,并针对当前主流的预拷贝迁移的优化策略予以分类阐述。最后,对动态迁移方法有待深入的研究热点和发展趋势进行展望。     

坡缕石/Al掺杂CdS复合材料光催化降解罗丹明B

采用溶剂热法制备了坡缕石/Al掺杂CdS复合材料(PGS/CdS-Al),运用XRD、XPS、SEM、UV-Vis DRS及PL对材料的结构、形貌以及光学性能进行了表征.结果表明,Al元素成功掺杂到CdS中,CdS的晶体结构没有改变,但其禁带宽带变宽.可见光照射下,该复合材料对孔雀石绿、亚甲基蓝、甲基橙、结晶紫、罗丹明B有机染料均有光催化降解活性,且对罗丹明B的光催化降解效果最好.光照40 min,质量浓度为0.67 g/L 15％PGS/CdS-Al(15％为PGS的负载量,以生成的CdS质量计)对30 mL质量浓度为20 mg/L罗丹明B的降解率为98.7％,反应主要活性基团是h+.该降解反应符合一级动力学,反应速率常数为0.067 min–1.     

环氧丙烯酸光敏树脂的研制及应用

以环氧树脂和丙烯酸为原料,合成了紫外光固化环氧丙烯酸树脂,研究了投料比、反应时间、引发剂、阻聚剂的加入量与加料方式对反应程度的影响。用IR对环氧树脂与环氧丙烯酸树脂的结构进行了表征,并制备了紫外光固化胶。     

不同组成ABS对ABS／PMMA合金性能的影响

选用两种不同牌号的ABS树脂与PMMA共混，对其组成与性能的关系进行了详细的研究。试验结果表明，不同组成的ABS对ABS/PMMA混合物的光学性能、力学性能以及流变行为的影响都有显著的不同．