基于分布谓词检测的环境显式化建模与处理技术研究

结题报告
项目介绍
AI项目解读

基本信息

  • 批准号：
    61272047
  • 项目类别：
    面上项目
  • 资助金额：
    80.0万
  • 负责人：
    黄宇
  • 依托单位：
    南京大学
  • 学科分类：
    F0203.软件理论、软件工程与服务
  • 结题年份：
    2016
  • 批准年份：
    2012
  • 项目状态：
    已结题
  • 起止时间：
    2013-01-01 至2016-12-31

项目摘要

In order to support the design and implementation of Internetware systems in open environments, this proposal studies the explicit modeling and processing of environment context. Predicate detection is introduced as the basic approach to environment context modeling and processing, and three key aspects are explored: modeling of environment state evolution, specification of temporal properties of environment, and detection of specified environment properties. Middleware infrastructure for explicit environment modeling and processing is also developed to support the development and operation of Internetware systems..This proposal inherits the basic research problem and technical approach of our last project. Based on the techniques developed in our last project, this proposal aims to develop a systematic framework of techniques for explicit modeling and processing of environment context.
为了支持面向开放环境的网构软件系统的构建，本项申请研究开放环境显式化建模与处理技术，引入了分布谓词检测技术作为基本技术手段，从环境状态及其变化建模、环境时序特性规约、环境特性运行时检测这三个方面展开深入地研究。并在此基础上研究环境显式化建模与处理支撑平台，为网构软件系统提供开发和运行支持。.本项申请在基本问题和技术路线方面，延续上一期青年基金的初步探索；同时在上一期项目取得单点技术突破的基础上，进一步研究如何形成一套系统化的分布异步环境感知方法；为环境感知应用的构建提供全面充分的支持。

结项摘要

随着网络互联技术的发展，软件运行环境逐渐由封闭、静态、可控变得开放、动态、难控。为此我们需要将对环境的感知和应变从应用逻辑中尽可能地分离出来予以显式的处理。开放环境固有其分布性，而现有的环境显式化建模与处理技术未能充分考虑环境的分布性。为此，本项研究以分布谓词检测为基本技术途径，系统研究如何显式化地建模与处理分布环境，在环境数据分发、环境变化建模、环境特性规约与检测、环境感知中间件与应用开发等方面取得了良好的进展。

项目成果

期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（1）
专利数量（0）
Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas
验证数据副本读/写跟踪的流水线 RAM 一致性
  • DOI：
    10.1109/tpds.2015.2453985
  • 发表时间：
    2016-05
  • 期刊：
    Ieee Transactions ON Parallel and Distributed Systems
  • 影响因子：
    5.3
  • 作者：
    De Biasi, Marzio;Huang, Yu;Cao, Jiannong;Lu, Jian
  • 通讯作者：
    Lu, Jian
CBBR: enabling distributed shared memory-based coordination among mobile robots
CBBR：实现移动机器人之间基于分布式共享内存的协调
  • DOI：
    10.1007/s11432-016-5593-x
  • 发表时间：
    2015-11
  • 期刊：
    Science China-Information Sciences
  • 影响因子：
    8.8
  • 作者：
    Jiang, Xue;Huang, Yu
  • 通讯作者：
    Huang, Yu
Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems
概率原子2原子性：在分布式存储系统中实现几乎强一致性
  • DOI：
    10.1109/tc.2016.2601322
  • 发表时间：
    2017-03
  • 期刊：
    IEEE Transactions on Computers
  • 影响因子：
    3.7
  • 作者：
    Hengfeng Wei;Yu Huang;Jian Lu
  • 通讯作者：
    Jian Lu

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi || "--"}}
  • 发表时间：
    {{ item.publish_year || "--" }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor || "--"}}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ patent.updateTime }}

其他文献

钢铁厂废弃物对重金属镉的吸附性能及机理研究
  • DOI：
    --
  • 发表时间：
    2016
  • 期刊：
    水处理技术
  • 影响因子：
    --
  • 作者：
    黄宇;郑凤莲;孙秀云;王连军
  • 通讯作者：
    王连军
吊罗山热带雨林雾天空气负离子含量分布特征及其与气象要素的关系
  • DOI：
    --
  • 发表时间：
    2015
  • 期刊：
    海南师范大学学报(自然科学版)
  • 影响因子：
    --
  • 作者：
    司婷婷;罗艳菊（通讯作者）;黄宇;赵志忠;毕华;张振磊
  • 通讯作者：
    张振磊
明线监管的取消可以改善信息环境吗?——来自中期业绩预告的证据
  • DOI：
    10.19629/j.cnki.34-1014/f.171115003
  • 发表时间：
    2018
  • 期刊：
    华东经济管理
  • 影响因子：
    --
  • 作者：
    黄宇;黄晓蓓;宋云玲
  • 通讯作者：
    宋云玲
FMG载荷地面试观测导行跟踪系统的设计与实现
  • DOI：
    10.15940/j.cnki.0001-5245.2020.04.005
  • 发表时间：
    2020
  • 期刊：
    天文学报
  • 影响因子：
    --
  • 作者：
    陈垂裕;林佳本;白先勇;邓元勇;黄宇;郭晶晶
  • 通讯作者：
    郭晶晶
基于周期FRFT的多分量LFMCW雷达信号分离
  • DOI：
    --
  • 发表时间：
    --
  • 期刊：
    航空学报
  • 影响因子：
    --
  • 作者：
    黄宇;刘锋;王泽众
  • 通讯作者：
    王泽众

其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi || "--" }}
  • 发表时间：
    {{ item.publish_year || "--"}}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor || "--" }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
empty
内容获取失败，请点击重试
重试联系客服
title开始分析
查看分析示例
此项目为已结题，我已根据课题信息分析并撰写以下内容，帮您拓宽课题思路：

AI项目思路

AI技术路线图

黄宇的其他基金

面向分布式云存储系统的模型检验驱动的探索测试技术研究
  • 批准号：
    62372222
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
基于网构软件范型的分布共享数据服务技术研究
  • 批准号：
    61772258
  • 批准年份：
    2017
  • 资助金额：
    61.0 万元
  • 项目类别：
    面上项目
面向网构软件的环境显式化与处理技术研究
  • 批准号：
    60903024
  • 批准年份：
    2009
  • 资助金额：
    17.0 万元
  • 项目类别：
    青年科学基金项目

相似国自然基金

{{ item.name }}
  • 批准号：
    {{ item.ratify_no }}
  • 批准年份：
    {{ item.approval_year }}
  • 资助金额：
    {{ item.support_num }}
  • 项目类别：
    {{ item.project_type }}

相似海外基金

{{ item.name }}
{{ item.translate_name }}
  • 批准号：
    {{ item.ratify_no }}
  • 财政年份：
    {{ item.approval_year }}
  • 资助金额：
    {{ item.support_num }}
  • 项目类别：
    {{ item.project_type }}
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了

AI项目解读示例

课题项目：调控A型流感病毒诱导IFN-β表达的机制研究

AI项目摘要：

本研究聚焦于TRIM2蛋白在A型流感病毒诱导的IFN-β表达中的调控机制。A型流感病毒是全球性健康问题，其感染可导致严重的呼吸道疾病。IFN-β作为关键的抗病毒因子，其表达水平对抗病毒防御至关重要。然而，TRIM2如何调控IFN-β的表达尚未明确。本研究假设TRIM2通过与病毒RNA或宿主因子相互作用，影响IFN-β的产生。我们将采用分子生物学、细胞生物学和免疫学方法，探索TRIM2与A型流感病毒诱导IFN-β表达的关系。预期结果将揭示TRIM2在抗病毒免疫反应中的作用，为开发新的抗病毒策略提供理论基础。该研究对理解宿主抗病毒机制具有重要科学意义，并可能对临床治疗流感病毒感染提供新的视角。

AI项目思路：

科学问题：TRIM2如何调控A型流感病毒诱导的IFN-β表达？
前期研究：已有研究表明TRIM2参与抗病毒反应，但其具体机制尚不明确。
研究创新点：本研究将深入探讨TRIM2在IFN-β表达中的直接作用机制。
技术路线：包括病毒学、分子生物学、细胞培养和免疫检测技术。
关键技术：TRIM2与病毒RNA的相互作用分析，IFN-β启动子活性检测。
实验模型：使用A型流感病毒感染的细胞模型进行研究。

AI技术路线图

        graph TD
          A[研究起始] --> B[文献回顾与假设提出]
          B --> C[实验设计与方法学准备]
          C --> D[A型流感病毒感染模型建立]
          D --> E[TRIM2与病毒RNA相互作用分析]
          E --> F[TRIM2对IFN-β启动子活性的影响]
          F --> G[IFN-β表达水平测定]
          G --> H[TRIM2功能丧失与获得研究]
          H --> I[数据收集与分析]
          I --> J[结果解释与科学验证]
          J --> K[研究结论与未来方向]
          K --> L[研究结束]
关闭
close
客服二维码