期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
基于符号ADD和线性多分支程序的分类算法安全评估 被引量:3
1
作者 古天龙 何仲春 +1 位作者 常亮 徐周波 《电子学报》 EI CAS CSCD 北大核心 2014年第5期940-947,共8页
分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解... 分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解决方案.首先,设计了基于代数决策图的安全函数评估协议,用以安全评估决策函数;其次,引入了线性多分支程序的概念,用其对分类算法进行表示.最后,借助线性多分支程序和基于代数决策图的安全函数评估协议,给出了一个私有线性多分支程序的安全评估协议.对新的协议的正确性和安全性进行了分析和证明.实验数据表明,与原有的解决方案相比,新的协议在效率上有明显的提高. 展开更多
关键词 安全评估 分类算法 代数决策图 线性多分支程序
下载PDF
MCS-51单片机多分支程序的实现 被引量:1
2
作者 赵华峰 李龙洲 《渭南师范学院学报》 2009年第2期36-39,共4页
通过对MCS-51单片机指令系统的分析,给出了单片机多分支程序的转移指令法和查表法实现,着重分析了查表法中分别使用地址偏移量表、转移指令表和地址表实现多分支程序的特点和局限性,探讨了扩展分支的方法和示例.
关键词 MCS-51单片机 多分支程序 查表程序
下载PDF
最优二叉树在多分支结构程序设计中的应用 被引量:2
3
作者 张延红 崔雪冰 王康平 《平顶山工学院学报》 2006年第2期36-38,共3页
文章介绍了最优二叉树算法,以现实中实物分类为例讨论了在多分支程序设计中,如何运用最优二叉树算法优化程序设计。实例运行结果表明利用最优二叉树算法,可以写出优质的多分支程序,提高程序的执行速度。
关键词 最优二叉树 多分支程序设计 哈夫曼树 算法
下载PDF
多分支单变量循环程序的终止性分析
4
作者 李轶 李传璨 吴文渊 《软件学报》 EI CSCD 北大核心 2015年第2期297-304,共8页
对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性... 对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的. 展开更多
关键词 可信计算 多分支循环程序 终止性分析
下载PDF
多项式循环程序的秩函数探测
5
作者 李轶 冯勇 《软件学报》 EI CSCD 北大核心 2019年第11期3243-3258,共16页
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的... 秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数. 展开更多
关键词 可信计算 多分支循环程序 终止性 秩函数
下载PDF
模拟股市交易系统交易过程的VFP程序实现
6
作者 胡德昆 林祥友 《西昌师范高等专科学校学报》 2001年第2期32-36,共5页
为配合投资专业的投资实习而开发的西昌师专模拟股市交易系统,采用Visual Foxpro6.0的循环结构和多分支结构程序实现了网络系统中股票交易和等待交易过程复杂的数据处理。
关键词 交易 等待交易 VFP循环结构程序 多分支结构程序 并发控制
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部