您的位置： 专家智库 > >

吴琼

作品数：5 被引量：7H指数：1
供职机构：华东理工大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术农业科学理学轻工技术与工程更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇化学工程
  • 1篇轻工技术与工...
  • 1篇环境科学与工...
  • 1篇农业科学
  • 1篇一般工业技术
  • 1篇理学

主题

  • 2篇实时系统
  • 2篇自动机
  • 1篇动力学
  • 1篇烟草
  • 1篇液相
  • 1篇液相色谱
  • 1篇液相色谱-质...
  • 1篇乙烯
  • 1篇映射
  • 1篇智能开关
  • 1篇智能型
  • 1篇质谱
  • 1篇质谱联用
  • 1篇软件开发
  • 1篇色谱
  • 1篇时间自动机
  • 1篇糖苷
  • 1篇嵌入式
  • 1篇嵌入式实时系...
  • 1篇酰基

机构

  • 5篇华东理工大学
  • 1篇华南师范大学
  • 1篇上海烟草集团...
  • 1篇上海应用技术...

作者

  • 5篇吴琼
  • 1篇杜一平
  • 1篇费婷
  • 1篇邵志清
  • 1篇陈丽琼
  • 1篇吴达
  • 1篇吴婷
  • 1篇沙云菲
  • 1篇刘刚

传媒

  • 1篇分析测试学报
  • 1篇计算机科学

年份

  • 1篇2023
  • 2篇2016
  • 1篇2008
  • 1篇2007
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于着色时间Petri网的实时系统的形式验证被引量：6
2008年
嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证。本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质。最后,用实例证明此方法有效。
吴琼邵志清刘刚陈丽琼
关键词：时间自动机
组装-聚合法制备聚苯乙烯-聚丙烯酸胶束和凝胶
高分子纳米材料是纳米科技的重要组成部分，已被广泛用于生物科学、材料科学、机械制造等领域。然而，有效制备高分子纳米材料的方法仍比较有限，还需进一步探索和发展。本论文采用先组装再聚合的方法，制备了具有不同聚集体结构的高分子纳...
吴琼
关键词：聚苯乙烯聚丙烯酸耗散粒子动力学流变性质
基于时间自动机的uml动态属性模型的映射与验证
嵌入式实时系统多数应用在安全性要求较高的场合，因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。如何为嵌入式实时系统的开发人员提供界面友好、易于使用，又能对设...
吴琼
关键词：嵌入式实时系统软件开发
文献传递网络资源链接
N-丙烯酰基甘氨及其衍生物在智能型分离膜中的应用展望
智能型分离膜是一种具有响应分离性能的膜材料，利用分离膜的智能开关响应特性可实现生化物质的分离提纯、药物控制释放、活性物质的分离精制和仿生科学等领域的应用.N-丙烯酰基甘氨及其衍生物是具有热敏特质的智能分子，将其引入分离膜...
陈桂娥吴琼许振良孙威广徐孙杰郑晓鹏
关键词：智能开关分离纯化
利用特征中性丢失和非靶向液相色谱-质谱联用技术鉴定烟草中的糖苷成分被引量：1
2023年
烟草中的糖苷化合物是非常重要的香气前体物质,了解糖苷化合物的种类和结构对于烟草的种植和加工均有重要意义。该文基于糖苷化合物在质谱分析中的特征中性丢失和非靶向液相色谱-质谱分析技术,建立了一种对烟草中糖苷化合物进行筛选和鉴别的方法。共筛选出60种糖苷化合物,其中糖元部分主要由己糖、脱氧己糖或两者的二糖或三糖组成。对苷元的二级质谱碎片离子进行了详细的结构解析,结合文献资料和现有数据库共鉴定出酚酸类、黄酮类、生物碱类、萜烯类、固醇脂类及神经酰胺类苷元共23种结合态糖苷化合物。所发现的糖苷化合物种类丰富,为后续研究烟草的香气成分及其影响因素提供了重要的物质基础。
吴琼汪阳忠安彤沙云菲沙云菲费婷费婷吴达吴婷
关键词：糖苷烟草液相色谱-质谱联用
全选 清除 导出
共1页<1>
聚类工具0