“理想证据合成公式”的不存在性

本文以“经典未确知集合”理论为基础,证明“理想证据合成公式”的不存在性,从而向人们指出;在研究专家系统理论时,企图寻找一个“理想证据合成公式”,就像人们想做成一台永动机或完成“任意角的三等分”一样是徒劳无功的。     

新型城镇化语境下的阿拉善地毯传统技艺探析

目的研究阿拉善地毯传统技艺传承与保护现状。方法通过田野调查个案并结合民俗学、艺术学的理论对阿拉善地毯进行探析。结论了解新型城镇化进程中该项技艺的生存情况,考察它的传承与保护现状,审视它面临的困境与机遇,分析并探究它的传承与保护对策是极具理论价值与现实意义的。     

高中信息技术课堂案例分析

新的课程体系促生新的教学理念,新的教学理念引领新的教学模式。本文结合一个具体的高中信息技术课堂案例,分析信息技术课堂中普遍采用的任务驱动教学方法和自主协作学习方法的实施过程,阐述多样化的学习方式对培养高中学生的问题分析能力、自主探究能力、合作学习能力以及提升学生的信息素养所起的促进作用。     

基于移动设备的操作技能考核系统研究

分析了当前操作技能考核系统的不足,提出了一个基于移动设备的网络操作技能考核系统的设计方案。对系统的整体框架和功能模块进行了介绍,并对各种数据同步方式的优缺点进行了分析比较。最后指出了整个系统存在的不足。     

使用Excel 2007自动添加表格字段标题和数据之应用技巧

随着科学技术的飞速发展,人们获取的数据越来越多。如何从海量的数据中提取有价值的信息,为今后的工作发展提供科学的依据,是一项重要的工作。Excel 2007操作更直观、更快捷、更方便,实现了质的飞跃。本文介绍使用Excel 2007自动添加表格字段标题及快速输入表格数据操作应用技巧,可帮助读者在日常办公中获得更高的工作效率。     

矿井安全监控电源系统的研究

介绍了电气防爆原理;从理论研究和产品发展两个方面阐述了本质安全防爆型式在国内外的发展状况;重点讨论了目前国内矿井安全监控电源系统存在的问题,即系统输入适应性问题、系统智能化问题、备用电源优化设计问题、系统抗干扰能力问题以及大容量本质安全型电源问题;介绍了一种新型的矿井安全监控电源系统,该电源系统抗干扰能力强,且具有系统运行参数智能监控、预警和故障诊断功能。     

煤矿监控系统本质安全型互连认证方法研究

针对煤矿监控系统结构复杂多变、互连设备类型众多且不断增加的特点,分析了我国传统的本质安全型互连系统认证方法、国外的接口参数认证方法和系列本质安全型标准对我国煤矿监控系统本质安全型互连认证的适用性,指出目前煤矿监控系统本质安全性能的判定依据只能是GB3836.4-2000 equ IEC60079-11:1999,提出了煤矿监控系统非总线型接口设备本质安全型互连认证采用参数认证方法、总线型接口设备本质安全型互连认证目前应采用系统认证方法的方案,详细介绍了参数认证方法和系统认证方法的实施要点及未来实现总线型接口设备本质安全型互连参数认证的途径;还提出了煤矿监控系统接口设备的设计原则,以及煤矿监控系统本质安全型互连认证方法进一步的研究方向。该文有助于煤矿监控系统接口设备本质安全型互连参数认证方法的发展。     

漆画:技艺优先还是画境优先?

现代漆画脱胎于传统漆器,兼容着工艺与绘画两方面,而作为纯粹绘画理所当然应"画境优先",即以"画在前,技在后,艺术精神在前,技艺表现在后"作为理论指导。在漆画创作过程中,只有守持在高度自觉地以"画在技先"作为理论指导的情况下,才能克服材质玩味、技艺沉溺,而实现漆画画境自足与纯粹绘画的表现,如此才能为漆画的发展拓宽道路,才能真正彰显漆文化的博大精深与不息精进。     

出具证明编译器中线性整数命题证明的自动生成

近年来,出具证明编译器作为构建高可信软件的重要途径,逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中,编译器需要借助自动定理证明技术,自动地证明验证条件并生成机器可检查的证明项,因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器,并且提出一套证明项构造方法,将其应用于自动定理证明器中可生成Coq可检查的证明.     

基于ECC的广义门限签密方案设计

为了满足群组之间相互通信时同时需要加密和认证的要求,设计了一个基于椭圆曲线密码体制的广义门限签密方案,该方案能够同时实现,门限签密和,门限共享解签密。在门限共享解签密阶段,利用Chaum-Pedersen离散对数等式知识证明协议的思想实现了对群组成员中恶意成员的检测。通过对该方案进行的安全性分析和效率分析结果表明,该方案可以用较小的计算代价和通信代价安全地实现群组通信中的保密和认证。