-
题名职业教育中学生计算思维能力的培养方案探析
被引量：8
- 1
-
-
作者
张兆芹
陈守芳
贾维辰
杨烜
-
机构
深圳大学
深圳大学师范学院
深圳市教育科学研究院
深圳大学计算机学院
-
出处
《职教论坛》
北大核心
2016年第3期14-19,共6页
-
基金
科技部科技支撑计划项目课题"计算思维能力培养及职教技能评测关键技术研究"(编号:2014BAH28F05)
主持人:杨烜
-
文摘
计算思维能力培养方案是学生计算思维能力培养的总体设计方案,是职业学校学生计算能力培养工作的蓝图和总体规划。论文根据职业教育中学生计算思维能力的echo认知模型,从中提炼总结了职业学校学生必须具备的问题约简能力、抽象推理能力、规律发现能力、问题优化能力、方案评价能力、并行处理能力、系统保护意识七个方面的计算思维能力要求,然后编制了针对职业学校学生进行的问卷调查,根据职业教育学生计算思维能力调查的结果分析,提出了职业教育学生计算思维能力的具体培养方案,并针对职业教育构建起一整套适应当前中国职业教育发展和学生发展的计算思维能力培养体系。
-
关键词
职业教育
计算思维能力
培养方案
评价体系
-
分类号
C710
[社会学]
-
-
题名工作流可满足性(≠,=)计数及其#P完全性
被引量：3
- 2
-
-
作者
翟治年
卢亚辉
余法红
周武杰
向坚
吴茗蔚
-
机构
浙江科技学院信息与电子工程学院
深圳大学计算机学院
嘉兴学院数理与信息学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2017年第3期605-611,共7页
-
基金
国家自然科学基金(No.61502429
No.61302112)
+3 种基金
浙江省自然科学基金(No.LQ15F020010
No.LY16F020027)
浙江省教育厅科研项目(No.Y201533771)
钱江人才计划(No.QJD1402023)
-
文摘
工作流可满足性(WS)是资源分配对访问控制(AC)策略提出的基本要求.相关工作主要围绕WS决策问题展开,通过找到一个具体的解来说明AC策略的正确性.然而为了进一步验证AC策略在资源异常情况下的合理性,统计所有解的数量将更有帮助.本文对互斥和绑定约束下的WS计数问题进行研究,通过构造从典范性#P完全问题#3SAT到该问题的多项式计数归约,证明其属于#P完全问题,为其恰当地求解奠定了理论基础.
-
关键词
工作流
访问控制
授权
约束
资源分配
可满足性
-
Keywords
workflow
access control
authorization
constraint
resource allocation
satisfiability
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名前向安全的代理盲签名方案
被引量：4
- 3
-
-
作者
张席
杭欢花
-
机构
深圳大学计算机软件学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第24期101-103,145,共4页
-
基金
国家自然科学基金(No.60903178)~~
-
文摘
密钥泄露问题对数字签名系统带来的后果是系统的崩溃,具有前向安全特性的数字签名体制就是针对密钥泄露问题提出的。基于前向安全性思想和代理盲签名理论,提出了一种新的具有前向安全性的代理盲签名方案。在该方案中,即使某一时刻代理签名者的密钥泄露,以前时段所产生的代理盲签名依然有效。对所提方案的正确性和安全性做了分析与讨论。
-
关键词
密码学
前向安全
代理盲签名
安全分析
-
Keywords
cryptography
forward security
proxy blind signature
security analysis
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
