王渊

作品数：13被引量：28H指数：3
导出分析报告
供职机构：江西师范大学更多>>
发文主题：课程教学以学生为中心答题穿戴成像板更多>>
发文领域：自动化与计算机技术文化科学电子电信机械工程更多>>
发文期刊：《计算机仿真》《计算机技术与发展》《科技资讯》《计算机教育》更多>>
所获基金：国家自然科学基金江西省自然科学基金江西省高等学校教学改革研究课题江西省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于超星平台的JavaScript程序设计课程教学改革被引量：1
《计算机教育》2023年第6期126-129,共4页王渊 柯胜男 汪万根 李弟平 熊小勇 
2019年江西省高等学校教学改革研究课题(重点)项目“大思政教育背景下‘价值引领·双翼引擎·八轮驱动’软件工程专业人才培养模式的研究与探索”(JXJG-19-2-21);2020年江西师范大学数字化优质教学资源建设项目“‘精品在线开放课程’Java Script程序设计课程”;2018年江西师范大学数字化优质教学资源建设项目“‘正大微课’Java Script程序设计课程”;2018年江西师范大学教学改革研究课题项目“基于移动微学习的课程微资源研发与应用”(JXSDJG1833);2020年江西省高等学校教学改革研究课题项目“‘金课’视域下‘思政引领+三位一体+三阶闭环’软件工程课程建设模式的研究与实践”(JXJG-20-2-40)。
针对Java Script程序设计课程目前教学中的问题,提出依托超星平台,以“学”为中心的“内容+实践+方法 +环境+评价”五位一体教学改革创新体系,介绍该体系的构建及教学应用过程,最后说明教学改革效果。
关键词：课程教学改革 JavaScript程序设计 超星平台 信息化教学创新 Web前端开发 
一种基于UPPAAL的智能合约属性形式化验证方法被引量：2
《江西师范大学学报（自然科学版）》2023年第1期45-51,共7页张取发 王昌晶 左正康 卢家兴 廖云燕 王渊 
江西省教育厅科技重点课题(GJJ220302,GJJ210307,GJJ2200303,GJJ2200304)资助项目.
针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,...
关键词：智能合约 UPPAAL 时间自动机 安全性 活性 
程序求精新策略及自动验证方法研究被引量：3
《郑州大学学报（理学版）》2022年第5期1-7,共7页左正康 黄志鹏 黄箐 王渊 王昌晶 
国家自然科学基金项目(61862033,61902162);江西省自然科学基金项目(20202BAB202015);江西省教育厅科技重点项目(GJJ210307)。
传统的程序求精策略无法求精至可执行程序,且存在验证的可信度低和自动化程度不高的问题。针对上述问题,提出一种较完整的程序求精策略并给出自动验证方法。使用递归定义函数技术刻画问题规约,基于Morgan精化规则程序求精至IMP程序,并...
关键词：程序求精 自动验证 Isabelle定理证明器 Morgan精化规则 
基于DDS的机载嵌入式软件仿真自测试方法被引量：6
《计算机仿真》2022年第10期50-53,172,共5页邹小花 王渊 
国家基金项目(61562063);江西省教育厅科学技术研究项目(GJJ191620)。
针对日益复杂的软件测试要求,在保证嵌入式软件的测试效果的同时,应降低测试成本,因此,设计基于DDS的机载嵌入式软件仿真自测试方法。选择S3C44BOX芯片和FPGA-EP2C8作为核心芯片,构建软件仿真测试平台,将测试模型设定为W模型格式,引入LL...
关键词：芯片 网络安全 嵌入式软件 模型格式 
序列折半划分问题的形式化推导
《计算机工程与科学》2022年第6期1063-1071,共9页左正康 梁赞杨 苏崴 黄箐 王渊 王昌晶 
国家自然科学基金(61862033,61902162);江西省自然科学基金(20202BABL202026,20202BABL202025,20202BAB202015);江西省教育厅科学技术重点研究项目(GJJ210307)。
形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列...
关键词：折半划分 形式化推导 分划递推 程序求精 
二叉树排序非递归算法推导及形式化证明被引量：6
《江西师范大学学报（自然科学版）》2020年第6期625-632,共8页左正康 方越 黄箐 廖云燕 王渊 王昌晶 
国家自然科学基金(61862033,61762049,61902162);江西省自然科学基金(20202BABL202026,2020BABL202025,20202BAB202015);国家留学基金(202008360094)资助项目.
非线性数据结构递归问题非递归算法的循环不变式的开发一直是形式化开发的难点.研究二叉树类非递归算法的推导及形式化证明方法,对二叉树排序算法进行推导,得出非递归Apla(Abstract Programming Language)算法及其精确而简单的循环不变...
关键词：二叉树类非递归算法 循环不变式 PAR平台 Dijkstra-Gries标准程序证明法 非线性数据结构 
一种预测群体用户访问行为的算法
《计算机技术与发展》2014年第2期59-62,66,共5页刘清华 黄明和 唐权华 王渊 
国家自然科学基金资助项目(6126037);江西师范大学青年成长基金项目(4499)
在电子商务发展中,商家需要理解用户访问网站的行为,为用户提供个性化服务,从而吸引用户购买商品。挖掘用户访问网站的行为是商家一个急需解决的问题,通过对Web日志进行挖掘是解决该问题的重要研究方法。提出了网页兴趣信息素的新概念,...
关键词：访问行为 兴趣信息素 蚁群算法 WEB日志挖掘 
“项目驱动”教学法在《Web程序设计》课程教学中的创新应用与研究被引量：1
《电脑知识与技术（过刊）》2013年第12X期7990-7991,共2页王渊 邓小方 郭斌 熊小勇 黄明和 谢谷萍 
江西师范大学2011年度教学改革研究立项课题研究成果
在Web技术迅速发展变化的今天,传统的Web程序设计课程教学已无法满足时代进步和人才培养的需要。该文结合"以学生为主体,以教师为主导"的教育思想,提出深化项目驱动教学,构建项目驱动教学创新模式,充分调动学生主观能动性和激发学生学...
关键词：WEB程序设计 项目驱动 创新 
基于MFC的试卷分析系统关键技术探讨被引量：1
《电子技术与软件工程》2013年第24期89-90,共2页王渊 刘清华 曹中华 
本文在当前教育信息化建设背景下,针对试卷分析系统,阐述了根据教育测量理论涉及的一些相关指标,并探讨了试卷分析系统设计及技术实现算法等。
关键词：MFC 试卷分析系统 教育测量 
《网页制作与网站设计》课程教学的研究与探索
《中国科教创新导刊》2010年第20期188-188,共1页王渊 怀自国 刘清华 郭斌 尹红 黄明和 
“江西省高等学校教学改革研究课题、江西师范大学教学改革研究课题”资助;课题编号:JXJG-08-2-17
本文结合《网页制作与网站设计》课程教学实际,着眼教学全过程研究与探索了如何开展课程教学,从而构造多方位的＂教与学＂空间。
关键词：网页制作与网站设计 课程教学 项目驱动教学 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部