An Efficient Dynamic Group-Based Batch Verification Scheme for Vehicular Sensor Networks
作者：
Jiang, Liming;Wang, Yan;Tian, Jiajun;Jiang, Frank* ;Patterson, Nick;...
期刊：
Communications in Computer and Information Science ,2019年 1113:52-64 ISSN：1865-0929
通讯作者：
Jiang, Frank
作者机构：
[Jiang, Liming] Hunan Univ Sci & Technol, Sch Comp Sci & Technol, Xiangtan 411100, Hunan, Peoples R China.;[Tian, Jiajun; Wang, Yan] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Patterson, Nick; Doss, Robin; Jiang, Frank] Deakin Univ, Sch Informat Technol, Geelong, Vic 3216, Australia.
通讯机构：
[Jiang, Frank] D;Deakin Univ, Sch Informat Technol, Geelong, Vic 3216, Australia.
会议名称：
5th International Conference on Future Network Systems and Security, FNSS 2019
会议时间：
27 November 2019 through 29 November 2019
会议地点：
Melbourne, AUSTRALIA
会议主办单位：
[Jiang, Liming] Hunan Univ Sci & Technol, Sch Comp Sci & Technol, Xiangtan 411100, Hunan, Peoples R China.^[Wang, Yan;Tian, Jiajun] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.^[Jiang, Frank;Patterson, Nick;Doss, Robin] Deakin Univ, Sch Informat Technol, Geelong, Vic 3216, Australia.
会议论文集名称：
Future Network Systems and Security
关键词：
Batch verification;Dynamic group;RSU-assisted;VANETs
摘要：
The batch verification methods can relieve the bottleneck problem of vehicular authentication efficiency to accelerate the authentication speed during the group construction phase. However, in current batch verification methods, there exist some deficiencies such as the authentication methods applied in the actual scenario are sensitive to the group initialization and dynamic construction process and the intra-group communication efficiency have not been improved due to lack of effective dynamic group management. This paper proposes a fast and secure batch verification scheme based on dynamic group management and certificateless public-key cryptography. First, the two-way authentication between the proxy vehicle and the roadside unit (RSU) is established, and then the batch verification method relying on RSU-assisted are proposed based on dynamic management of the intra-group vehicles. Our method fully considers the security requirements of the group while solving certification efficiency. Theoretical analysis and simulation experiments show that compared with other existing solutions, the verification scheme in this paper reduces the computational delay and transmission overhead whilst increasing robustness in dynamic environments.
语种：
英文
展开
Corrigendum to “Optimal design methods for a digital human-computer interface based on human reliability in a nuclear power plant: Part 2: The optimization design method for component quantity” [Ann. Nucl. Energy 106 (2017) 247–255]
作者：
Jiang, Jianjun* ;Zhang, Li;Wang, Yiqun;Xie, Tian;Wu, Daqing;...
期刊：
Annals of Nuclear Energy ,2018年111:715 ISSN：0306-4549
通讯作者：
Jiang, Jianjun
作者机构：
[Jiang, Jianjun; Wang, Yiqun; Zhang, Mengjia; Zhang, Li; Xie, Tian] Univ South China, Human Factors Inst, Sch Management, Hengyang 421001, Hunan, Peoples R China.;[Jiang, Jianjun; Zhang, Li] Hunan Inst Technol, Sch Safety & Environm Engn, Hengyang 421002, Hunan, Peoples R China.;[Li, Min; Wu, Daqing] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Peng, Yuyuan] South China Univ Technol, Sch Comp Engn, Guangzhou Coll, Guangzhou 510830, Guangdong, Peoples R China.;[Peng, Jie] GuangDong Univ Finance & Econ, Informat Sci Coll, Guangzhou 510320, Guangdong, Peoples R China.
通讯机构：
[Jiang, Jianjun] U;Univ South China, Human Factors Inst, Sch Management, Hengyang 421001, Hunan, Peoples R China.
摘要：
The author regrets that the order of author list and affiliations of the above paper were incorrectly produced in the printed issue. The correct order of author list and affiliations appears above. The authors would like to apologise for any inconvenience caused. © 2017
语种：
英文
展开
A cognitive reliability model research for complex digital human-computer interface of industrial system
作者：
Jiang, Jianjun* ;Wang, Yiqun;Zhang, Li;Wu, Daqing;Li, Min;...
期刊：
Safety Science ,2018年108:196-202 ISSN：0925-7535
通讯作者：
Jiang, Jianjun
作者机构：
[Jiang, Jianjun; Wang, Yiqun; Zhang, Li; Li, Pengcheng; Xie, Tian; Dai, Licao] Univ South China, Human Factors Inst, Sch Management, Hengyang 421001, Hunan, Peoples R China.;[Jiang, Jianjun; Zhang, Li] Hunan Inst Technol, Sch Safety & Environm Engn, Hengyang 421002, Hunan, Peoples R China.;[Li, Min; Wu, Daqing] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Zhang, Anna; Wang, Shiwei; Shi, Xianyun; Li, Peiyao] Univ South China, Sch Econ & Management, Dept Informat Management & Informat Syst, Grade E Commerce 15, Hengyang 421001, Hunan, Peoples R China.
通讯机构：
[Jiang, Jianjun] U;[Jiang, Jianjun] H;Univ South China, Human Factors Inst, Sch Management, Hengyang 421001, Hunan, Peoples R China.;Hunan Inst Technol, Sch Safety & Environm Engn, Hengyang 421002, Hunan, Peoples R China.
关键词：
Digital human-computer interface;Cognitive reliability model;Bayesian network
摘要：
Nowadays, traditional human–machine interface has been converted into digital human–computer interface in most industrial control rooms, then, cognitive process and reliability are also bound to be different from traditional human–machine interface. Aiming at the situation, the authors in this paper propose a cognitive reliability model with influencing factors based on Bayesian network. Taking a nuclear power plant (Npp) as research background, taking simulative experiment as study way, parameter values in cognitive reliability mathematical model are obtained by analyzing much experimental data. The proposed model is reasonable, accurate, sensitive and convergent by analyzing experiment data. Cognitive error probabilities of some tasks regarding a hot transmission system (HTS) leak accident in a Npp are obtained according to the proposed model and simulative experiments. The model provides a simple and feasible approach to analyze cognitive reliability of operating process in digital human–computer interface. © 2017 Elsevier Ltd
语种：
英文
展开
从构造角度突破计算思维教学的探索
作者：
王颖
期刊：
教育教学论坛 ,2017年(37):142-144 ISSN：1674-9324
作者机构：
南华大学 计算机科学与技术学院,湖南 衡阳,421001;[王颖] 南华大学
关键词：
计算思维;教学;构造
摘要：
计算思维教学目前已成为大学计算机基础课程的教学热点，但其教学内容、教学模式及教学方法等教学要素都还处在探索和研究阶段。本文认为，计算思维的教学核心应该是思维，要突破思维的教学，关键是要让学生在思维过程中通过比较、分析、实践等活动理解和掌握计算思维的科学思维方法。鉴于此，本文主张计算思维教学应紧扣计算思维的构造本质，让学生由浅入深地学习和理解计算世界的经典构造样例，潜移默化地获取计算思维能力。
语种：
中文
展开
Optimal design methods for a digital human-computer interface based on human reliability in a nuclear power plant: Part 2: The optimization design method for component quantity
作者：
Jiang, Jianjun* ;Zhang, Li;Xie, Tian;Wu, Daqing;Li, Min;...
期刊：
Annals of Nuclear Energy ,2017年106:247-255 ISSN：0306-4549
通讯作者：
Jiang, Jianjun
作者机构：
[Jiang, Jianjun; Zhang, Li] Hunan Inst Technol, Sch Safety & Environm Engn, Hengyang 421002, Hunan, Peoples R China.;[Jiang, Jianjun; Wang, Yiqun; Zhang, Mengjia; Xie, Tian] Univ South China, Sch Econ & Management, Human Factors Inst, Hengyang 421001, Hunan, Peoples R China.;[Li, Min; Wu, Daqing] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Peng, Yuyuan] South China Univ Technol, Guangzhou Coll, Sch Comp Engn, Guangzhou 510830, Guangdong, Peoples R China.;[Peng, Jie] GuangDong Univ Finance & Econ, Informat Sci Coll, Guangzhou 510320, Guangdong, Peoples R China.
通讯机构：
[Jiang, Jianjun] H;[Jiang, Jianjun] U;Hunan Inst Technol, Sch Safety & Environm Engn, Hengyang 421002, Hunan, Peoples R China.;Univ South China, Sch Econ & Management, Human Factors Inst, Hengyang 421001, Hunan, Peoples R China.
关键词：
Affinity error probability mapping function;Human reliability;Quantity of components;Quick convergence search method
摘要：
This is the second in a series of papers describing the optimal design method for a digital human-computer interface of nuclear power plant (Npp) from three different points based on human reliability. The purpose of this series is to explore different optimization methods from varying perspectives. This present paper mainly discusses the optimal design method for quantity of components of the same factor. In monitoring process, quantity of components has brought heavy burden to operators, thus, human errors are easily triggered. To solve the problem, the authors propose an optimization process, a quick convergence search method and an affinity error probability mapping function. Two balanceable parameter values of the affinity error probability function are obtained by experiments. The experimental results show that the affinity error probability mapping function about human-computer interface has very good sensitivity and stability, and that quick convergence search method for fuzzy segments divided by component quantity has better performance than general algorithm. © 2017 Elsevier Ltd
语种：
英文
展开
Optimal design method for a digital human–computer interface based on human reliability in a nuclear power plant. Part 3: Optimization method for interface task layout
作者：
Jiang, Jianjun* ;Wang, Yiqun;Zhang, Li;Xie, Tian;Li, Min;...
期刊：
Annals of Nuclear Energy ,2016年94:750-758 ISSN：0306-4549
通讯作者：
Jiang, Jianjun
作者机构：
[Jiang, Jianjun; Zhang, Li; Wang, Yiqun; Xie, Tian] Univ South China, Sch Econ & Management, Human Factors Inst, Hengyang 421001, Hunan, Peoples R China.;[Zhang, Li] Hunan Inst Technol, Hengyang 421002, Hunan, Peoples R China.;[Li, Min; Wu, Daqing] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Hunan, Peoples R China.;[Peng, Yuyuan] S China Univ Technol, Guangzhou Coll, Sch Comp Engn, Guangzhou 510830, Guangdong, Peoples R China.;[Shen, Mengxu; Weng, Mengyun; Xie, Cen; Wang, Shiwei; Li, Peiyao] Univ South China, Sch Econ & Management, Dept Informat Management & Informat Syst, Grade Ecommerce 15, Hengyang 421001, Hunan, Peoples R China.
通讯机构：
[Jiang, Jianjun] U;Univ South China, Sch Econ & Management, Human Factors Inst, Hengyang 421001, Hunan, Peoples R China.
关键词：
Digital human–computer interface;Human reliability;Optimization method;Shortest moving path optimization algorithm
摘要：
This is the last in a series of papers describing the optimal design for a digital human–computer interface of a nuclear power plant (NPP) from three different points based on human reliability. The purpose of this series is to propose different optimization methods from varying perspectives to decrease human factor events that arise from the defects of a human–computer interface. The present paper mainly solves the optimization method as to how to effectively layout interface tasks into different screens. The purpose of this paper is to decrease human errors by reducing the distance that an operator moves among different screens in each operation. In order to resolve the problem, the authors propose an optimization process of interface task layout for digital human–computer interface of a NPP. As to how to automatically layout each interface task into one of screens in each operation, the paper presents a shortest moving path optimization algorithm with dynamic flag based on human reliability. To test the algorithm performance, the evaluation method uses neural network based on human reliability. The less the human error probabilities are, the better the interface task layouts among different screens are. Thus, by analyzing the performance of each interface task layout, the optimization result is obtained. Finally, the optimization layouts of spurious safety injection event interface tasks of the NPP are obtained by an experiment, the proposed methods has a good accuracy and stabilization. © 2016 Elsevier Ltd
语种：
英文
展开
MOOC支撑下的以计算思维为导向的大学计算机课程教学模式研究
作者：
丁琳;王颖;马淑萍
期刊：
计算机教育 ,2014年(9):30-33 ISSN：1672-5913
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001;[王颖; 马淑萍; 丁琳] 南华大学
关键词：
大学计算机;课堂教学;计算思维
摘要：
针对传统大学计算机课程教学存在的问题,在分析MOOC理念的基础上,阐述利用MOOC促进大学计算机课堂教学改革、构建新的大学计算机课堂教学模式的观点,为新形势下计算机课程教学改革和创新实践型人才培养提供策略.
语种：
中文
展开
计算思维特征探析
作者：
黄玲玲;杨剀;王颖;黄欣阳;阳小华
期刊：
计算机教育 ,2014年(17):12-15 ISSN：1672-5913
作者机构：
[黄欣阳; 王颖; 黄玲玲; 阳小华; 杨剀] 南华大学 计算机科学与技术学院,湖南 衡阳,421000
关键词：
计算;计算思维;计算本质;计算思维特征
摘要：
以计算发展过程为切入点剖析计算思维,指出在计算思维中,计算的本质是抽象的自动运行;探析计算思维作为一种思维方式具备的6个主要特征——抽象性、构造性、数字化、系统化、网络化和虚拟化,以期为计算思维能力的培养提供理论基础。
语种：
中文
展开
计算机公共课教学改革的实践
作者：
李海燕;阳小华;王颖;黄玲玲;陈汉亚
期刊：
浙江医学教育 ,2005年4(1):45-47 ISSN：1672-0024
作者机构：
南华大学计算机科学与技术学院,湖南,衡阳,421001;[王颖; 黄玲玲; 阳小华; 陈汉亚; 李海燕] 南华大学
关键词：
计算机公共课;教学改革
摘要：
通过对非计算机专业计算机课程教学、实践、考核等一系列环节的改革,有效地激发了学生的学习热情,提高了学生的实践和创新能力,促进了教师教学水平的提高,保证了教学质量。
语种：
中文
展开
多媒体教学软件开发应注重美学法则的运用
作者：
黄洁;王颖
期刊：
中国医学教育技术 ,2001年15(2):87-88 ISSN：1004-5287
作者机构：
南华大学计算机中心;[王颖; 黄洁] 南华大学
关键词：
美学;多媒体软件;教学;开发
摘要：
本文从美学的角度探讨了“美”应用于多媒体教学软件的重要性 ,并从美学的 6个方面对多媒体教学软件的开发提出了应用原则
语种：
中文
展开
