期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
一种过程数据流的实时可视化方法 被引量:2
1
作者 陈红倩 李慧 +2 位作者 方艺 陈谊 周贝贝 《系统仿真学报》 CAS CSCD 北大核心 2015年第10期2560-2566,共7页
为实现过程状态数据的实时可视化,提出了一种基于静态数据载体的数据可视化方法。该方法建立静态载体模型;针对不同的数据状态,建立与载体模型匹配的数据分段展示模型,并根据数据值设置模型颜色或纹理;将各静态模型和动态分段模型按逻... 为实现过程状态数据的实时可视化,提出了一种基于静态数据载体的数据可视化方法。该方法建立静态载体模型;针对不同的数据状态,建立与载体模型匹配的数据分段展示模型,并根据数据值设置模型颜色或纹理;将各静态模型和动态分段模型按逻辑关系顺序连接,并依次绘制获得可视化结果。以油井灌浆过程为例,阐述了流式状态数据的同步展示方法。实验结果表明:文中方法能够实现对动态状态数据的直观准确展示,且处理效率能满足实时交互需求。 展开更多
关键词 数据可视化 实时可视化 过程数据流 油井灌浆
在线阅读 下载PDF
一种面向审查的过程内数据流异常自动检测方法 被引量:2
2
作者 卞磊 刘超 金茂忠 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期71-76,共6页
审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程... 审查是预防代码缺陷的重要手段,但审查耗时,浪费人力,需要自动化工具对其进行辅助.数据流异常是审查中着重检查的缺陷之一,本文提出了一种基于有穷自动机的过程内数据流异常的检测方法.此方法首先对被测过程进行静态分析,得到被测过程的逻辑路径;而后基于有穷自动机和已获得的逻辑路径,通过每个数据项的状态迁移来判断数据流是否存在异常.本文介绍的方法面向审查,并不局限于某种特定的语言,并且一定程度上提高了数据流异常检测和审查的效率. 展开更多
关键词 审查 过程数据流异常 有穷自动机 静态检测
在线阅读 下载PDF
数据流分析方法 被引量:13
3
作者 李慧贤 刘坚 《计算机工程与应用》 CSCD 北大核心 2003年第13期142-144,共3页
数据流分析是一项编译时使用的技术,它能从程序代码中收集程序的语义信息,并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述;并简要地介绍了所提出的需求过程间数据流分析的方法。
关键词 数据流分析 数据流框架 需求过程数据流分析
在线阅读 下载PDF
静态检测中断驱动程序的数据竞争 被引量:9
4
作者 霍玮 于洪涛 +1 位作者 冯晓兵 张兆庆 《计算机研究与发展》 EI CSCD 北大核心 2011年第12期2290-2299,共10页
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一... 直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍. 展开更多
关键词 微控制器 中断驱动程序 数据竞争检测 过程数据流分析 副作用分析
在线阅读 下载PDF
面向学生过程表现的协作问题解决能力评估研究 被引量:5
5
作者 吴斓 余胜泉 +1 位作者 骈扬 刘阳 《中国电化教育》 CSSCI 北大核心 2022年第7期87-96,共10页
立德树人,促进学生全面发展是新时代教育评价改革的宗旨,践行全面发展评价观基于学生全学习过程数据,为此需要借助信息技术实现对过程行为数据的自动采集和分析,提高评估的效率和准确性。该研究以协作问题解决能力为评估对象,探索信息... 立德树人,促进学生全面发展是新时代教育评价改革的宗旨,践行全面发展评价观基于学生全学习过程数据,为此需要借助信息技术实现对过程行为数据的自动采集和分析,提高评估的效率和准确性。该研究以协作问题解决能力为评估对象,探索信息技术创新评估工具的实践路径。在“评估三角”理论的指导下,首先从协作问题解决能力“多维-交互”的本质出发构建三维能力评估框架;其次,依托PSAA平台设计和开发基于过程数据流的协作问题解决能力自动化评估系统,实现集触发行为、采集行为、编码行为、推断能力和报告结果于一体的评估流程,并设计了对过程行为数据特别是会话内容质性特征的自动编码模型;最后,以B市140名初中生为实验对象验证了该评估系统的有效性、有用性和易用性。未来还需不断融合新理论和新技术改进和创新测评方法和工具,助推面向学生过程表现的核心素养评估的落地。 展开更多
关键词 协作问题解决能力评估 人人协作 过程数据流
在线阅读 下载PDF
Viscoelasto-plastic rheological experiment under circular increment step load and unload and nonlinear creep model of soft rocks 被引量:23
6
作者 赵延林 曹平 +2 位作者 王卫军 万文 刘业科 《Journal of Central South University》 SCIE EI CAS 2009年第3期488-494,共7页
The viscoelastic-plastic creep experiments on soft ore-rock in Jinchuan Mine III were performed under circular increment step load and unload. The experimental data were analyzed according to instantaneous elastic str... The viscoelastic-plastic creep experiments on soft ore-rock in Jinchuan Mine III were performed under circular increment step load and unload. The experimental data were analyzed according to instantaneous elastic strain, visco-elastic strain, instantaneous plastic strain and visco-plastic strain. The result shows that instantaneous deformation modulus tends to increase with the increase of creep stress; soft rocks enhance the ability to resist instantaneous elastic deformation and instantaneous plastic deformation during the multi-level of load and unload in the cyclic process. In respect of specimen JC1099, the ratio of visco-elastic strain to visco-plastic strain varies from 3.15 to 6.58, and the ratio has decreasing tendency with stress increase as a whole; creep deformation tends to be a steady state at low stress level; soft rocks creep usually embodies accelerated creep properties at high stress level. With the damaging variable and the hardening function introduced, a nonlinear creep model of soft rocks is established, in which the decay creep is described by the nonlinear hardening function H of viscidity coefficient. The model can describe the accelerated creep of soft rocks since the nonlinear damaging evolvement variable D of deformation parameter of rocks is introduced. Three stages of soft rocks creep can be described with the uniform creep equation in the nonlinear creep model. With this nonlinear creep model applied to the creep experiments of the ore-rock of Jinchuan Mine III, the nonlinear creep model's curves are in good agreement with experimental data. 展开更多
关键词 rheological experiment nonlinear creep damaging HARDENING soft rocks
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部