-
题名基于符号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
-
-
作者
郭存友
-
机构
湖南省油澧县第一中学
-
出处
《信息技术教育》
2003年第10期30-31,共2页
-
文摘
信息技术与学科教学,谁整合谁并不重要。学本致用,以用促学。本专辑展示了8篇在信息技术课堂上整合其他学科知识的教学设计。而其整合的目的,旨在潜移默化地培养学生应用信息技术学好其他学科、解决实际问题的意识和能力,希望对您有所启示。
-
关键词
QBASIC语言
程序设计
《分支结构的程序》
教学设计
数学难题
信息技术
-
分类号
G633.67
[文化科学—教育学]
-
-
题名基于分支程序逆向评估的安全多方计算
- 6
-
-
作者
俞强生
古天龙
徐周波
宁黎华
-
机构
桂林电子科技大学广西可信软件重点实验室
-
出处
《桂林电子科技大学学报》
2015年第3期222-227,共6页
-
基金
国家自然科学基金(61100025
61262030
+1 种基金
61363030)
广西自然科学基金(2014GXNSFAA118354)
-
文摘
针对传统决策函数表示计算复杂度高、编码规模大、参与者局限于2方问题,提出一个基于边值二叉决策图和分支程序逆向评估的解决方案。引入边值二叉决策图(EVBDD)技术,给出一种基于EVBDD的安全2方计算协议;引入分支程序逆向评估方法,将安全计算参与者由传统的2方扩展到多方;借助基于边值二叉决策图的安全计算协议为基础协议,设计一个基于分支程序逆向评估安全多方计算协议;对协议的正确性、安全性和效率进行分析。与现有解决方案相比,新协议提高了效率,弥补了因隐私泄漏出现的安全问题。
-
关键词
安全多方计算
决策函数
边值二叉决策图
分支程序
-
Keywords
secure multi-party computation
decision function
edge-valued binary decision diagram
branch program
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种分支程序的调度方法
- 7
-
-
作者
张静
刘键
-
机构
武汉华中理工大学计算机系
-
出处
《计算机工程与科学》
CSCD
1996年第4期16-22,共7页
-
文摘
本文对分支程序的调度进行了研究,提出了一种行之有效的静态调度方法—MP 调度法。该方法基于分支的执行频度,采用多阶段调度的思想,分为实例生成、实例调度、调度表的合并等三个阶段。该法在静态调度中考虑了动态因素,得到了较好的调度结果。
-
关键词
任务图
进程调度
分支程序
并行程序
-
Keywords
task graph
process scheduling
response time
execution instance
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名汇编语言系列讲座(二) 分支与循环程序设计
- 8
-
-
作者
孙文杰
-
机构
廊坊陆军导弹学院
-
出处
《电脑编程技巧与维护》
1996年第11期52-54,共3页
-
文摘
程序的基本结构形式有三种:顺序结构、分支结构和循环结构。顺序结构程序无分支、无循环、无转移。一般的程序都是由多个顺序执行的程序块组成,但单独的顺序结构程序不多,下面对后两种进行介绍。 一、分支程序设计 在处理问题时,经常要根据事情不同的情况作出选择、判断,以得出相应的解决问题的方法。
-
关键词
程序设计
分支程序
循环程序
汇编语言
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名分支式程序教学法在体育系田径技术教学中的应用
- 9
-
-
作者
陈建华
-
机构
赣南师范学院体育系
-
出处
《赣南师范大学学报》
1987年第S1期74-85,共12页
-
文摘
分支式程序教学法是程序教学法的一种。将它应用于体育系田径技术教学中,在可查阅的体育专业资料里,尚无先例。 本文首先分析了分支式程序教学法的特点及其在田径技术教学中应用的可能性,然后详细地介绍了以撑竿跳高教学为试验项目的分支式程序教学试验全过程。在介绍中,重点讲述了撑竿跳高分支式教学程序的编制。 本文的最后部份,就试验结果进行了定性与定量相结合的讨论。在讨论的基础上,提出了全文的结论:分支式程序教学法是田径技术教学中一种行之可能,行之有效的好方法。
-
关键词
分支式程序
撑竿跳高
学习过程
专业资料
教学试验
教学机器
试验结果
三单元
学习进度
技术结构
-
分类号
G6
[文化科学—教育学]
-
-
题名第六讲 简单程序和分支程序设计
- 10
-
-
作者
朱国江
-
出处
《电子与电脑》
1992年第6期23-28,共6页
-
-
关键词
机器语言
程序设计
分支程序
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名Keil C51程序设计-多分支复合条件程序设计
- 11
-
-
作者
侯济恭
-
机构
南威软件股份有限公司
-
出处
《电脑编程技巧与维护》
2015年第17期11-12,17,共3页
-
基金
2013年福建省科技重大专项专题项目2013HZ0004-1
-
文摘
设计一种准开关语句模式,即利用循环语句while、条件语句if和跳出循环break语句,实现多分支控制,其整体结构是一个类switch结构。循环语句将多分支程序形成一个控制结构体(相当于switch),条件语句和跳出循环语句组合实现各分支控制(相当于case),最后以break终止循环(相当于default)。本句式提供一种用户自定义多分支程序设计的方法,解决了多分支程序设计中程序的诸多问题,并可实现程序的自动生成。
-
关键词
单片机
C51语言
分支程序
开关语句
程序设计
-
分类号
TP311.11
[自动化与计算机技术—计算机软件与理论]
-
-
题名汇编语言顺序、分支与循环程序设计
- 12
-
-
作者
徐旭
李玉珏
-
出处
《电脑编程技巧与维护》
2004年第11期6-8,16,共4页
-
文摘
一、顺序程序设计
顺序程序中的指令从开始到结束一直是顺序执行的,中间无分支、无循环、无转移.
例2.32位无符号整数乘法.设32位乘数放在MH:ML字单元,32位被乘数放在NH:NL字单元中,64位乘积存放在结果单元.
-
关键词
汇编语言
顺序程序
分支程序
循环程序
程序设计
-
分类号
TP313
[自动化与计算机技术—计算机软件与理论]
-
-
题名QB编程零起点分支结构程序
- 13
-
-
作者
俞咪华
-
机构
北京
-
出处
《少年电世界》
2003年第8期52-54,共3页
-
文摘
俞老师:这一讲我们要学习程序的分支结构,在生活中我们经常会遇见这样的情况:需要判断现在究竟是要做这件事还是做另一件事。例如:“晚餐作业”问题:该用晚餐了,而作业还没有完成,现在是先用餐还是先把作业完成? 小飞侠:如果是在实际生活中,这个问题就得椒据实际情况而定,但如果要用程序表进出来该怎么说呢? 俞老师:这就需要把自己的判断条理化、规范化,然后把“晚餐作业”问题用语句表述成:
-
关键词
QBASIC语言
程序设计
分支结构程序
字符串
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名QBASIC编程一点通(2) 分支结构程序设计
- 14
-
-
作者
吴建锋
-
机构
浙江省绍兴柯桥中学
-
出处
《少年电世界》
2002年第2期13-15,共3页
-
文摘
大家好,上一期我们用QBASIC编了一个加法计算器(别嫌弃哦,毕竟才刚刚开始嘛),当时我们是用下面这个程序来完成两个数的加法运算的:
-
关键词
QBASIC语言
分支结构程序设计
计算机
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名多项式循环程序的秩函数探测
- 15
-
-
作者
李轶
冯勇
-
机构
中国科学院重庆绿色智能技术研究院
-
出处
《软件学报》
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
[自动化与计算机技术—计算机系统结构]
-
-
题名谈谈运用程序教学法进行排球课的教学
- 16
-
-
作者
刘宝仁
-
机构
曲阜师大
-
出处
《体育科技》
1989年第1期36-39,共4页
-
文摘
一、前言为了提高排球教学的效果,近年来有不少人进行过排球教学方法方面的改革和实验,研究出一些行之有效的教学方法。程序教学法就是其中的一种。到底程序教学法的效果如何。
-
关键词
程序教学法
排球课
排球教学
教学法教学
反馈原理
教学效果
反馈信息
教学方法
动作方法
分支式程序
-
分类号
G80
[文化科学—运动人体科学]
-
-
题名思想政治课教学方法首论(六)──程序教学
- 17
-
-
作者
胡兴松
-
机构
深圳大学师范学院附中
-
出处
《中学政治教学参考》
1999年第1期10-13,共4页
-
文摘
学习过程是作用于学习者的刺激和学习者对它作出反应之间的联结的形成过程。——斯金纳程序教学又称“机器教学”“自动教学”,是一种依靠教学机器或程序教材呈现学习程序,使学生循序渐进地进行个别学习的教学方法。在思想政治课教学方法改革的过程中,我们应吸取程序教...
-
关键词
程序教学法
思想政治课教学
教学方法改革
劳动产品
斯金纳
直线式程序
学习者
分支式程序
教学机器
多媒体辅助教学
-
分类号
G633.2
[文化科学—教育学]
-
-
题名程序教学法及其在体育教学中的应用
被引量:3
- 18
-
-
作者
池建
-
出处
《体育教学》
1990年第2期36-37,共2页
-
文摘
程序教学法是一种以自学程序教材为主的教学形式,以控制论为基本观点对教学过程进行分析和控制的方法。首先,根据教材的内在结构、将教材按逻辑次序分成一系列的步骤和问题,组成最合理的学习程序。学生按一定逻辑编写的专门教材进行学习,根据个人的知识水平、学习能力,调整自己的学习速度。
-
关键词
程序教学法
学习程序
体育教学
机器教学
学习速度
学习能力
教学单元
分支式程序
直线式程序
发现学习法
-
分类号
G6
[文化科学—教育学]
-
-
题名堆栈技术及其在程序设计中的灵活运用
- 19
-
-
作者
张兰群
-
机构
江苏海事职业技术学院江宁校区船舶与机电工程系
-
出处
《电脑学习》
2005年第6期45-46,共2页
-
文摘
讲述了汇编语言程序设计中堆栈的概念及堆栈技术在程序设计中的灵活运用。
-
关键词
子程序
分支程序
堆栈
参数传递
现场保护
汇编语言
-
Keywords
Subroutine Branch Program Stack Parameter Transmit Protect Scene Assembly Language
-
分类号
TP313-4
[自动化与计算机技术—计算机软件与理论]
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名模拟股市交易系统交易过程的VFP程序实现
- 20
-
-
作者
胡德昆
林祥友
-
机构
西昌师专计算机科学系
-
出处
《西昌师范高等专科学校学报》
2001年第2期32-36,共5页
-
文摘
为配合投资专业的投资实习而开发的西昌师专模拟股市交易系统,采用Visual Foxpro6.0的循环结构和多分支结构程序实现了网络系统中股票交易和等待交易过程复杂的数据处理。
-
关键词
交易
等待交易
VFP循环结构程序
多分支结构程序
并发控制
-
分类号
C
[社会学]
-