-
题名基于符号ADD和线性多分支程序的分类算法安全评估
被引量:3
- 1
-
-
作者
古天龙
何仲春
常亮
徐周波
-
机构
桂林电子科技大学广西可信软件重点实验室
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2014年第5期940-947,共8页
-
基金
国家自然科学基金(No.60963010
No.60903079
+3 种基金
No.61100025
No.61262030
No.61363030)
广西省自然科学基金(No.2012GXNSFBA053169)
-
文摘
分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解决方案.首先,设计了基于代数决策图的安全函数评估协议,用以安全评估决策函数;其次,引入了线性多分支程序的概念,用其对分类算法进行表示.最后,借助线性多分支程序和基于代数决策图的安全函数评估协议,给出了一个私有线性多分支程序的安全评估协议.对新的协议的正确性和安全性进行了分析和证明.实验数据表明,与原有的解决方案相比,新的协议在效率上有明显的提高.
-
关键词
安全评估
分类算法
代数决策图
线性多分支程序
-
Keywords
secure evaluation
classification algorithm
algebraic decision diagram
linear multi-branching program
-
分类号
TN918
[电子电信—通信与信息系统]
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名MCS-51单片机多分支程序的实现
被引量:1
- 2
-
-
作者
赵华峰
李龙洲
-
机构
渭南师范学院物理与电子工程系
-
出处
《渭南师范学院学报》
2009年第2期36-39,共4页
-
文摘
通过对MCS-51单片机指令系统的分析,给出了单片机多分支程序的转移指令法和查表法实现,着重分析了查表法中分别使用地址偏移量表、转移指令表和地址表实现多分支程序的特点和局限性,探讨了扩展分支的方法和示例.
-
关键词
MCS-51单片机
多分支程序
查表程序
-
Keywords
MCS-51 single chip microcomputer
multi-branch programmer
lookup table programmer
-
分类号
TP313
[自动化与计算机技术—计算机软件与理论]
-
-
题名最优二叉树在多分支结构程序设计中的应用
被引量:2
- 3
-
-
作者
张延红
崔雪冰
王康平
-
机构
华中科技大学计算机工程系
平顶山工学院计算机工程系
-
出处
《平顶山工学院学报》
2006年第2期36-38,共3页
-
文摘
文章介绍了最优二叉树算法,以现实中实物分类为例讨论了在多分支程序设计中,如何运用最优二叉树算法优化程序设计。实例运行结果表明利用最优二叉树算法,可以写出优质的多分支程序,提高程序的执行速度。
-
关键词
最优二叉树
多分支程序设计
哈夫曼树
算法
-
Keywords
optimal binary tree
multi- branch program
Huffman free
algorithm
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
-
题名多分支单变量循环程序的终止性分析
- 4
-
-
作者
李轶
李传璨
吴文渊
-
机构
自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院)
重庆邮电大学计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第2期297-304,共8页
-
基金
国家自然科学基金(61103110)
重庆市科技攻关项目(cstc2012gg B40004
cstc2013jjys0002)
-
文摘
对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.
-
关键词
可信计算
多分支循环程序
终止性分析
-
Keywords
trusted computing
multipath loop program
termination analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名多项式循环程序的秩函数探测
- 5
-
-
作者
李轶
冯勇
-
机构
中国科学院重庆绿色智能技术研究院
-
出处
《软件学报》
EI
CSCD
北大核心
2019年第11期3243-3258,共16页
-
基金
国家自然科学基金(61572024,61103110,11671377)
重庆市自然科学基金(cstc2019jcyj-msxm X0638)~~
-
文摘
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.
-
关键词
可信计算
多分支循环程序
终止性
秩函数
-
Keywords
trusted computing
multi-path loop program
termination
ranking function
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名模拟股市交易系统交易过程的VFP程序实现
- 6
-
-
作者
胡德昆
林祥友
-
机构
西昌师专计算机科学系
-
出处
《西昌师范高等专科学校学报》
2001年第2期32-36,共5页
-
文摘
为配合投资专业的投资实习而开发的西昌师专模拟股市交易系统,采用Visual Foxpro6.0的循环结构和多分支结构程序实现了网络系统中股票交易和等待交易过程复杂的数据处理。
-
关键词
交易
等待交易
VFP循环结构程序
多分支结构程序
并发控制
-
分类号
C
[社会学]
-