搜索结果: 1-15 共查到“计算机科学技术基础学科 系统”相关记录917条 . 查询时间(1.343 秒)
中国科学院上海微系统所等在斑马鱼大脑空间信息表达机制研究方面取得重要进展（图）
空间 信息 机理
2024/10/11
动物是如何表达外部环境和自身位置并利用这些信息完成空间探索，是脑科学的重要研究领域之一。然而，鱼类是如何表达外部环境地图并进行空间定位的机理尚不清楚。中国科学院上海微系统与信息技术研究所研究员李孟与德国马克斯-普朗克学会生物控制论研究所的科研人员合作，使用国际领先的跟踪显微镜技术，在斑马鱼大脑中发现了与其他物种相似的空间表达与计算机理。相关研究成果以《幼年斑马鱼端脑中空间表征的群体编码》（A po...
CNCC|第四届高能效图计算架构和系统软件论坛邀你共议图计算现状及发展趋势
图计算 架构 系统软件
2024/9/18
图计算作为分析事物之间关联关系的重要工具，已广泛地应用于社会治理、医疗健康、电网分析、计算材料、计算育种、EDA等众多领域。然而，近年随着人工智能等蓬勃发展，数据之间的关联关系变化速度日益加快，数据自身及其关联关系的附属信息也日益丰富。为了从这些数据中获取有用信息，新型图计算应用（例如：图神经网络、流图计算、超图计算）涌现，图计算需求日益复杂多样。
中国科学院软件所在实时系统不透明性的可判定问题取得理论进展（图）
系统 理论 观测 自动机
2024/9/20
2024年7月24日，中国科学院软件研究所天基综合信息系统全国重点实验室安杰副研究员（第一作者）的论文The Opacity of Timed Automata被形式化方法领域顶级国际学术会议International Symposium on Formal Methods （FM 2024）接收。论文关注实时系统的不透明性（Opacity）这一信息安全性质，针对广泛使用的实时系统形式模型时间自动...
网络和信息安全是事关国家安全和国家发展、事关广大人民群众工作生活的重大战略问题。上海科技大学信息科学与技术学院系统与安全中心（System and Security Center，以下简称SSC）长期关注计算机系统优化设计和保护信息安全与隐私，并开展相关研究。近期，SSC在信息安全与数据隐私等方面取得一系列重要进展，尤其在安全与隐私领域四大知名学术会议上，即IEEE S&P、ACM CCS、NDS...
海洋所系统解释全球海洋中尺度涡海表热力信号变化特征及机理（图）
系统解释 海表热力信号 机理
2024/4/27
2024年4月17日，中国科学院海洋研究所李晓峰研究团队基于多源遥感和实测数据，系统揭示了全球海洋中尺度涡在运动过程中的海表热力信号变化特征，并阐明其产生机理。成果以封面文章形式发表于国际学术期刊《深海研究I》（Deep Sea Research Part I）。
2024年3月11日，《自然·神经科学》在线发表了题为《实时分析大规模神经成像，实现神经动态的闭环研究》的论文，报道了中国科学院脑科学与智能技术卓越中心杜久林研究组、穆宇研究组和自动化研究所蒿杰研究组的合作研究。研究成果已授权发明专利“光学脑机接口系统和方法”（专利号：ZL202310131178.9）。
中国科学院合肥物质科学研究院专利：一种检测诱导错误攻击下安全芯片安全性能的系统
全省卫生健康系统网络安全和信息化工作会议暨网络安全与平台应用培训班在太原举办
山西省 网络安全 培训班
2024/1/15
2023年8月30日至31日,省卫生健康委在太原举办全省卫生健康系统网络安全和信息化工作会议暨网络安全与平台应用培训班。委党组成员、副主任、省爱卫会专职副主任阴彦祥出席并讲话。
中国科学院高能物理研究所专利：一种基于计算机分层扫描成像CL系统的扫描装置及检测方法
基于平行Petri网的制造系统调度与控制一体化方法
调度 控制 平行Petri网 赋时Petri网
2024/1/17
为了消除制造系统调度层与控制层之间的隔阂,实现对生产事件快速灵活响应,本文提出了一种调度与控制一体化的方法.首先,定义了一种新型Petri网模型,即平行Petri网,从而集成地描述了传感器、执行器、任务和资源信息,构建制造系统的信息物理系统模型;其次,提出了一种从平行Petri网到赋时Petri网的抽象简化方法,大规模压缩优化调度所需搜索的状态空间;再次,定义了策略Petri网以描述最优调度策略....
中国科学院声学研究所专利：一种加密授权管理系统的双重分组的四层加密方法
中国科学院声学研究所专利：一种基于贝叶斯推理的码元改写信息隐藏检测方法及系统
中国科学院声学研究所专利：一种基于安全基线模型的网络数据安全检测方法及系统
中国科学院声学研究所专利：一种HTML5 web worker迁移方法及系统
中国科学院声学研究所专利：一种面向云存储数据加解密的流式处理系统及方法