时间自动机的LTL性质模型检测研究

为了增强模型检测工具的检测能力,拓宽模型检测技术的应用范围,对基于时间自动机的LTL性质模型检测进行了研究,对自动机的状态空间的存储方式和状态空间的展开过程进行了分析,讨论了LTL性质模型检测工具的检测流程和检测算法的实现策略对工具检测性能的影响,针对制约模型工具的检测能力和检测效率的因素,采取了一些相应的优化改进策略.采用了BDD(二叉决策图)共享存储技术和位编码压缩存储,较有效地减小了空间消耗,缓解了模型检测中状态爆炸引起的内存空间不足问题.与DTSpin等著名的模型检测工具进行了实验比较,取得了较好的实验结果.     

模糊控制在磁悬浮球系统实时控制中的应用

在磁悬浮球系统中采用PID控制时,动态性能较差,控制效果不理想.为了获得控制效果较好的控制器,根据模糊控制原理,设计磁悬浮模糊控制器.根据PID实时控制中的经验,确定模糊控制器的输入输出变量模糊化范围,建立合理的模糊规则表.在Matlab/Simulink中组建实时控制模块,并分别对磁悬浮球系统在无干扰和有干扰下进行实时控制.对控制效果进行分析讨论,证明模糊控制器具有良好的鲁棒性和在非线性系统控制中的有效性.     

中国传统造物中的符号学原理

中国的造物史有着上千年的历史,其中蕴涵着丰富的造物原理和造物哲学。西方的符号学是一门专门研究符号规律的人文学科,本文将符号学的某些原理与中国的传统造物哲学有机地结合起来,试述中国传统造物中潜藏的符号学原理,这对于当今所提倡的跨学科研究有着重要的意义。     

感性消费需求下的设计艺术

科技进步带来丰盛的商品,我们的生活方式、消费需求发生极大转变,社会进入感性消费时代,本文论述了消费心理变化的主观和客观因素,探索感性消费需求心理变化趋势,呼吁企业和设计师关注消费需求的变化,探索感性消费需求下的个性化设计艺术。     

基于特征跟踪和融合的人脸风格化动画的研究

文中为人脸图片或视频的风格化生成提出一种新方法.首先,通过主动外观模型(AAM)识别人脸的轮廓及五官,记录这些特征点的位置;然后,从现有样图中提取风格化因子,通过几何变形等手段映射到任意一张输入人脸图片上,合成具有样图风格化效果的人脸图片.本方法可以与许多应用结合,如电子贺卡、网上聊天等,可实现自动生成具有表情变化的风格化视频.此方法还有易于训练、速度快、扩展性强等特点.     

基于边缘流的水平集牛胴体眼肌图像分割

牛肉在切割过程中常存在残留血液覆盖在脂肪表面,使得脂肪和肌肉对比减弱.针对生物体弱对比图像分割问题,采用了结合边缘流的水平集方法对牛肉眼肌图像进行分割,准确提取了眼肌边缘,分离出了眼肌内部脂肪与肌肉组织,准确率高.该方法避免了单纯边缘流算法提取边界不连续的问题,降低了水平集算法的迭代时间复杂度,避免了初始轮廓选取的主观性.并将实验结果与水平集方法进行了对比,基于边缘流的水平集方法避免了水平集方法在分割中小区域分割的准确性不高,不能准确分离脂肪与肌肉组织的弱点.实验结果证明,基于边缘流的水平集方法是对牛肉眼肌图像进行分割的有效新方法.     

入侵防御系统在应急平台网络中的应用研究

随着国家应急平台项目的深入建设和网络环境的日趋复杂,以及入侵手段日益多样化,传统的防火墙技术和入侵检测系统在网络安全防护方面的缺陷凸显.提出了一种基于入侵防御系统的应急平台网络安全解决方案,分析了这种新的安全防护技术的工作原理、技术优势及在应急网络平台中的发展前景.测试运行表明,部署该安全解决方案后阻断了大量外部攻击,给整个网络的安全性提供了有力的保障.     

一种主动感知的纹理图像检索方法(英文)

基于Contourlet变换和支持向量机提出了一种新的纹理图像检索方法。在这种方法中,能量和广义高斯分布参数被用做Contourlet子带图像的特征。通过这种表示,提出了由一类和二类支持向量机组成的两阶段检索算法来完成感知相似性测度。通过具有640个纹理图像的VisTex库和具有1760个纹理图像的Brodatz库证明了所提方法的有效性。实验结果表明,对于这两个纹理库,新的纹理图像检索方法的平均检索率分别达99.38%和98.07%。     

抗DPA攻击的AES算法研究与实现

Mask技术破坏了加密过程中的功率消耗与加密的中间变量之间的相关性,提高了加密器件的抗DPA攻击能力。简单地对算法流程添加Mask容易受到高阶DPA攻击的。提出了一种对AES加密过程的各个操作采用多组随机Mask进行屏蔽的方法,并在8bit的MCU上实现了该抗攻击的AES算法。实验结果表明,添加Mask后的抗DPA攻击AES算法能够有效地抵御DPA和高阶DPA的攻击。     

基于开源LAMP架构的Web打印技术

通过对现有B/S架构打印方法进行分析对比,针对它们的缺陷提出了一种基于开源LAMP架构的跨平台、精确、有效的Web打印新技术,并详细介绍了其原理,最后给出了具体的实现方法.