发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
已关闭
  • 文献求助详情
标题
Unveiling Physical Semantics of PLC Variables Using Control Invariants
使用控制不变量揭示PLC变量的物理语义
相关领域
计算机科学 语义学（计算机科学） 程序设计语言 控制（管理） 理论计算机科学 人工智能
网址
https://doi.org/10.1109/tdsc.2024.3434622
DOI
10.1109/tdsc.2024.3434622 doi
其它 期刊：IEEE Transactions on Dependable and Secure Computing
作者：Zeyu Yang; Liang He; Yucheng Ruan; Peng Cheng; Jiming Chen
出版日期：2024-01-01
求助人
懵懂的绍辉 在 2025-05-25 20:18:21 发布自山西，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. STKVS: secure technique for keyframes-based video summarization model
  2. Edge caching and computing of video chunks in multi-tier wireless networks
  3. ИСПОЛЬЗОВAНИЕ ПОТЕНЦИAЛA СОЦИAЛЬНЫХ ПAРТНЕРОВ В ПОДГОТО...
  4. SLA Aware Optimized Task Scheduling Model for Faster Execution of Workloads Among Federated Clouds
  5. Achieving Parameter of DBSCAN Based on Datagrid
  6. Susquehanna Chorale Spring Concert "Roots and Wings"
  7. Study and Two Types of Typical Usage of DataGrid Web Server Control
  8. Bidirectional Sort and Choosing a Row to Update or Delete by Click Any Cell in DataGrid
  9. Using DataGrid Control to Realize DataBase of Querying in VB6.0
  10. PACWON: A parallelizing compiler for workstations on a network
　...点击展开更多...　
求助 / 应助时间线

  • 5小时前，求助关闭

    懵懂的绍辉 懵懂的绍辉 Lv1 求助人 关闭了本次求助。

    说明 已经找到【积分已退回】

  • 5小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    20:18:26 未找到该文献，机器人已退出，请等待人工下载
    20:18:23 科研通AI机器人（广州）收到请求，开始寻找文献
    20:18:21 已向机器人发送请求

  • 5小时前

    懵懂的绍辉 懵懂的绍辉 Lv1 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
刚刚
平淡安阳发布了新的文献求助10
6秒前
万能图书馆的应助被平淡安阳采纳，获得10
14秒前
许三问完成签到 ，获得积分0
17秒前
卡琳完成签到 ，获得积分10
20秒前
30秒前
音悦台完成签到，获得积分20
43秒前
51秒前
55秒前
1分钟前
科研的熊完成签到，获得积分10
1分钟前
结实凌瑶完成签到 ，获得积分10
1分钟前
涛涛完成签到，获得积分20
1分钟前
烟花的应助被Chany采纳，获得10
1分钟前
赘婿的应助被ahu采纳，获得30
1分钟前
1分钟前
1分钟前
ahu发布了新的文献求助30
1分钟前
1分钟前
liangyiteng完成签到 ，获得积分10
1分钟前
诗亭发布了新的文献求助10
2分钟前
xinqianying发布了新的文献求助10
2分钟前
彭于晏的应助被等待的期待采纳，获得10
2分钟前
嘻嘻皮完成签到，获得积分10
2分钟前
万能图书馆的应助被嘻嘻皮采纳，获得10
2分钟前
2分钟前
2分钟前
仁者无惧完成签到 ，获得积分10
2分钟前
Lucas的应助被诗亭采纳，获得30
2分钟前
celia关注了科研通微信公众号
2分钟前
感动鞋垫发布了新的文献求助10
2分钟前
科研通AI5的应助被XH采纳，获得30
2分钟前
2分钟前
2分钟前
celia发布了新的文献求助10
2分钟前
jyy完成签到，获得积分10
2分钟前
李爱国的应助被科研通管家采纳，获得10
3分钟前
科研通AI2S的应助被科研通管家采纳，获得10
3分钟前
雪梅完成签到，获得积分10
3分钟前
情怀的应助被Evooolet采纳，获得10
3分钟前
高分求助中
Applied Survey Data Analysis (第三版, 2025) 800
Narcissistic Personality Disorder 700
The Martian climate revisited: atmosphere and environment of a desert planet 500
Plasmonics 400
建国初期十七年翻译活动的实证研究. 建国初期十七年翻译活动的实证研究 400
Towards a spatial history of contemporary art in China 400
Ecology, Socialism and the Mastery of Nature: A Reply to Reiner Grundmann 300
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号，转发送积分 3847640
求助须知：如何正确求助？哪些是违规求助？ 3390328
关于积分的说明 10561358
捐赠科研通 3110626
什么是DOI，文献DOI怎么找？ 1714425
邀请新用户注册赠送积分活动 825231
科研通“疑难数据库（出版商）”最低求助积分说明 775390
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通