对一种公平非否认协议的新改进

Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论.Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步.通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导致不公平.针对此问题,提出一种新的改进方案.新的改进消除了协议对时钟同步的依赖性,保持了协议的公平非否认性,且不会降低协议的效率.     

正则蕴涵算子族G-λ-R0及其三Ⅰ支持算法

首先给出了一个新的蕴涵算子族:G-λ-R0(λ∈[0,1])(它包括Gsdel(简称RG)算子与R0算子).然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性.结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性.从而说明了此算子是较理想的蕴涵算子.最后讨论了基于此蕴涵算子族的三Ⅰ支持算法.     

一种基于使用差异的词语领域性分析方法

领域知识的表达形式最终体现在词汇的领域性上,因此对领域词及其部件的领域度分析是一个关键。该文在分词的基础上,对各个领域语料进行分析,利用词语之间的关系,引入链接分析方法分析词语在各个领域中的使用重要性,并通过词语在各个领域中的使用差异性计算其领域度,从而达到领域分析的目的,获取某个领域的领域部件词。该文采用以上方法在军事、娱乐等领域进行了实验,实验结果表明该方法相对于当前常用的tf×idf方法和Bootstrapping方法,可以更有效地进行领域分析获取领域部件词。     

复印机最优使用性价采购

复印机的采购是要根据使用目的来做选择,由于复印机的速度、价格、耗材、配件等因素,对日后复印机的使用成本会有较大的差异,所以在购置复印机时一定做到量体裁衣,留余量,实用,简捷,节约,可靠。     

基于半实物仿真的电路板故障注入系统设计与实现

为了满足某型装备电路板测试性与诊断设计评价的需求,提出了一种基于DSP技术,利用半实物仿真方式实现的故障注入系统;该系统以TMS320C5416系列DSP器件为核心器件,利用CPLD扩展外部电路,主控计算机与该系统的通信通过USB接口实现,在故障注入时通过半实物仿真模式实现对电路板典型故障的注入;通过对典型电路的故障注入试验表明,该系统可靠性高,配置灵活,使用方便;目前该系统已经在工程实践中得到应用,效果明显,对提高电路板测试性设计水平具有重要意义。     

加密QQ相册最新“透视”镜

QQ相册是目前国内的主流电子相册,基于一站式管理的便捷性,很多QQ用户都习惯于把照片上传到QQ相册中,再通过QQ空间展示给其他好友。但出于隐私性的考虑,有些QQ相册是加锁的,没有密码的访客无法进入浏览。如果要强行突破封锁,只有采取旁门左道的手段了。这款“QQ相册查看器”2009alpha就是目前最新版的无密码查看QQ相册照片的软件,即便是已升级的QQ空间也仍然适用。     

何谓成功标志

标志是艺术、文化与信息传播为一体的视觉符号,在当今社会生活中,标志的应用已经无处不在,标志越来越受到人们的重视,何谓成功标志?本文以"六性"的观点进行论述,即:易识性、独创性、简洁性、象征性、艺术性、规范性六大方面。旨在对人们在标志的认识与实践中有所帮助与提高。     

基于职业技术教育的网络课程的设计

本文主要介绍了职业技术教育网络课程的特点、职业技术网络课程教学设计的原则和职业技术教育网络课程设计的方法等。     

在信息技术课程中开展过程性评价的探索与实践

过程性评价就是在在学习一评价一学习的过程中,引导学生积极主动地学习,促使学生全方位地良性发展,以学生综合素质为目标,采取灵活多样的评价方法,注重学生学习过程和学习结果的评价。在信息科技课程的评价过程中我们要探索新的评价原则和评价方法,促进学生的发展和信息科技课程的改革。     

虚拟采办实施全系统全寿命全方位管理的技术需求

基于仿真的采办系统复杂性决定了它对全系统、全寿命、全方位系统管理的需求．为了开发这样一种复杂管理系统,首先应将管理需求转换成相应的功能,使预期采办对象系统的全寿命过程得以有效实现．为此,对描述问题域的使命空间概念模型CMMS,及对数据、信息、知识、模型进行一体化描述的可扩展标记语言XML和支持组件按需组合型应用开发的可扩展建模与仿真框架XMSF技术体系结构进行了综合论述．详细给出了CMMS的定义、意义、形成、性能要求,并与用户空间概念模型CMUS和综合表示概念模型CMRS一起,通过软件开发过程模型SDP实现开发与验证的方法．随后,以CMMS产生初始能力文件的过程为例进行了应用分析．在总结了已完成的各项系统前期开发工作基础上,指出为达到可组合性需进一步研究建模与仿真的技术基础,并应将人工智能与计算智能嵌入建模与仿真的应用系统中．