云南高校图书馆联盟文献共享服务平台- 程序数据

程序数据: 作品数：31被引量：30H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：董晓刚李斌陈睿顾斌孙家泽更多>>; 相关机构：三星电子株式会社深圳市腾讯计算机系统有限公司浙江华睿科技股份有限公司松下电器产业株式会社更多>>; 相关期刊：《电脑爱好者》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>; 相关基金：国家自然科学基金山东省“泰山学者”建设工程项目云南省应用基础研究基金更多>>

精细化的BPEL程序数据竞争动态检测方法被引量：2: 《计算机集成制造系统》2022年第10期3064-3080,共17页鲁伟娜鲁法明包云霞曾庆田段华; 国家自然科学基金资助项目(61602279);山东省泰山学者工程专项基金资助项目(ts20190936);山东省高等学校青创科技支持计划资助项目(2019KJN024);国家海洋局海洋遥测工程技术研究中心开放基金资助项目(2018002);山东科技大学领军人才与优秀科研创新团队资助项目(2015TDJH102)。; 鉴于传统的数据竞争动态检测方法对因果关系的建模不够准确,且将互斥关系处理为因果约束,导致多种误报或漏报,对业务流程执行语言(BPEL)活动间的因果关系进行精细划分,提出一种基于新型逻辑时钟的因果关系精细化识别方法,并联合向量时...; 关键词：数据竞争并发缺陷 WEB服务组合业务过程管理逻辑时钟

微信小程序数据可视化应用课程设计: 《科学与信息化》2022年第12期143-145,共3页李可; 微信小程序已经在日常生活中得到了广泛的应用,伴随着大量的数据,如何更加有效地分析、统计、展示在小程序中成为一个难点,本文通过机房管理中数据的可视化应用,对Echarts数据可视化库创建柱状图、饼形图、仪表盘图加以了解。; 关键词：微信小程序数据可视化 Echarts数据可视化

高精度的大规模程序数据竞争检测方法被引量：1: 《软件学报》2021年第7期2039-2055,共17页高凤娟王豫周金果徐安孜王林章吴荣鑫张川苏振东; 国家自然科学基金(62032010)。; 随着技术的不断发展,软件系统的非确定性(uncertainty)不断增强,数据竞争是并发系统这一类典型的非确定性软件系统中常见的缺陷.尽管数据竞争静态检测近年来取得了巨大进展,但其面临的重要问题仍然存在.先前的静态技术要么以分析精度为...; 关键词：数据竞争 MHP分析静态分析

Petri网的反向展开及其在程序数据竞争检测的应用被引量：3: 《软件学报》2021年第6期1612-1630,共19页郝宗寅鲁法明; 国家自然科学基金(61602279,61472229);国家重点研发计划(2016YFC0801406);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省博士后创新专项基金(201603056);鲁渝科技协作计划(cstc2020jscx-lyjsAX0008);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学领军人才与优秀科研创新团队项目(2015TDJH102)。; 展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定,以此为目标,有望缩减网系统展开的规模.为此,针对安全Petri网的...; 关键词：PETRI网可覆盖性判定反向展开启发式优化数据竞争检测

基于物联网技术的小程序数据安全传输方法被引量：1: 《电子技术与软件工程》2021年第11期243-244,共2页程亚维; 本文提出基于物联网技术的小程序数据安全传输方法。随着小程序数据传输量日益增大,数据传输的安全性问题已经无法忽视。基于物联网技术构建安全的传输路径,设计数据加密处理模块和数据解密处理模块。设计实验测试该方法与传统方式安全...; 关键词：物联网技术数据传输多路径传输拥塞率

基于NB-IoT的多道并行程序数据召测模型研究被引量：3: 《现代电子技术》2021年第3期16-20,共5页黄海洋; 传统的多道并行程序数据召测模型对于病毒的抵御能力较差,导致安全系数较低。为此,基于NB-IoT研究了一种新的多道并行程序数据召测模型。首先分析NB-IoT技术的实现机制,并结合无线网络确定传输机制,引入5个不同的运行线程,与节点匹配包...; 关键词：窄带物联网多道程序并行程序数据召测隐形缓存安全系数

长虹ZLS69H机芯液晶彩电典型故障维修: 《家电维修》2018年第11期15-17,共3页宋智明; 长虹ZLS69H机芯液晶彩电的主芯片型号为MSD6A938（U100），其他主要IC的型号及功能见表1。U100与外部6块DDR3（MU300～MU305）存储器完成不同图像格式归一处理，并暂存用户应用程序数据。U100与U42（东芝EMMC存储器）等元件组成整机控...; 关键词：液晶彩电故障维修机芯长虹芯片型号图像格式程序数据控制系统

小程序能否“跳”上新台阶?被引量：2: 《上海信息化》2018年第3期16-20,共5页潘达; 微信在2017年12月推出的6.0版本中,加入了一款全新小程序游戏——"跳一跳"。通过这款上线三天玩家数便突破4亿的小游戏,似乎可以窥探出小程序"跳跃"的野心。; 关键词：程序功能互联网行业台阶小游戏程序数据数据分析张小龙应用

程序数据