西安电子科技大学学报(自然科学版)
西安電子科技大學學報(自然科學版)
서안전자과기대학학보(자연과학판)
JOURNAL OF XIDIAN UNIVERSITY(NATURAL SCIENCE)
2012年
1期
111-114,127
,共5页
马国峻%裴庆祺%陈原%姜晓鸿
馬國峻%裴慶祺%陳原%薑曉鴻
마국준%배경기%진원%강효홍
一次程序%K次程序%加密电路%一次内存
一次程序%K次程序%加密電路%一次內存
일차정서%K차정서%가밀전로%일차내존
在一次程序研究的基础上,针对K次程序的特性和构造理论研究不足问题,以形式化的定义阐明了K次程序的特性,并研究了K次程序的构造条件和构造方法.给出了不可以构造为K次程序的程序特性,为K次程序的构造提供了必要条件;描述了一类可以构造为K次程序的程序特性,以及这类程序的基于一次程序的K次程序构造方法和证明,从而为K次程序的构造提供了理论基础.
在一次程序研究的基礎上,針對K次程序的特性和構造理論研究不足問題,以形式化的定義闡明瞭K次程序的特性,併研究瞭K次程序的構造條件和構造方法.給齣瞭不可以構造為K次程序的程序特性,為K次程序的構造提供瞭必要條件;描述瞭一類可以構造為K次程序的程序特性,以及這類程序的基于一次程序的K次程序構造方法和證明,從而為K次程序的構造提供瞭理論基礎.
재일차정서연구적기출상,침대K차정서적특성화구조이론연구불족문제,이형식화적정의천명료K차정서적특성,병연구료K차정서적구조조건화구조방법.급출료불가이구조위K차정서적정서특성,위K차정서적구조제공료필요조건;묘술료일류가이구조위K차정서적정서특성,이급저류정서적기우일차정서적K차정서구조방법화증명,종이위K차정서적구조제공료이론기출.