论文部分内容阅读
构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算法分析合一的所有条件,并在合一成功时输出合一解。
基于项重写的形式化排序方法及应用
【摘 要】
：
构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安
【机 构】
：
信息工程大学信息工程学院,解放军65026部队
【出 处】
：
通信学报
【发表日期】
：
2011年3期
【基金项目】
：
国家高技术研究发展计划(“863”计划)基金资助项目(2007AA01Z471)~~
其他文献
近日，江干区按照“人员往来方便、开放使用率高、条件相对较好、实用但不浪费”原则，打造集用餐、休息、学习、应急于一体的综合性服务平台——“城管驿站”。驿站内分设餐厅区
期刊
过去几年，微机电系统（Micro Electro Mechanical System，MEMS）备受关注，但是大多数集中于MEMS传感器应用，在可以预见的未来十年内，MEMS执行器即将大放异彩。其实，MEMS包含传感器和执
资源循环是维持整个生态平衡的重要法则之一。如果这一平衡遭到破坏并长期不加以恢复,其结果是人类社会本身难以持续。资源循环是建立循环经济的核心。资源循环利用是中国有
后现代美学万象客作为后现代主义的一个有机组成部分，作为当代西方具有广泛影响的一股重要美学思潮，后现代美学是以西方传统美学的否定者的身份出场的。也正是这一否定构成了后
介绍了聚对苯撑苯并双噁唑(PBO)纤维的结构特点、性能及应用。PBO纤维分子沿轴向高度取向,其强度和初始模量高,具有耐热、阻燃、耐冲击、耐弯曲疲劳和耐化学稳定性等优良性能
南朝沈约编纂的《宋书》首创《符瑞志》,集先秦两汉祥瑞思想之大成 ,对后世史书多有影响 ,而学术界对其评价较低 ,重视不够。从史学史、政治思想史和生态史资料方面来看 ,其
<正>背景材料:2014年12月12日召开的国务院常务会议,确定了新一批简政放权措施包括再取消和下放108项主要涉及投资、经营、就业等的审批事项等,至此,本届政府自履职以来已相
从等离子喷涂设备、等离子喷涂过程中的测量技术及等离子喷涂技术的应用等几个方面综合分析了近年来等离子喷涂技术的研究现状和发展概况,指出了等离子喷涂技术的发展方向。
明确思想政治教育的主体和客体不仅是认识论中的重要问题,也是教育实施的前提。这对矛盾关系的特殊性在于认识客体的特殊性,即思想政治教育客体是具有主体性的客体,其教育学