您的位置： 专家智库 > >

陈仪香

作品数：67 被引量：148H指数：7
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术理学电子电信自然科学总论更多>>

合作作者

文献类型

  • 52篇期刊文章
  • 7篇专利
  • 5篇会议论文
  • 2篇科技成果

领域

  • 41篇自动化与计算...
  • 23篇理学
  • 3篇电子电信
  • 1篇自然科学总论

主题

  • 6篇拓扑
  • 5篇硬件
  • 5篇软硬件
  • 5篇互模拟
  • 5篇DOMAIN...
  • 5篇程序设计
  • 4篇语言
  • 4篇设计语言
  • 4篇拓扑学
  • 4篇联网
  • 4篇感器
  • 4篇程序设计语言
  • 4篇传感
  • 4篇传感器
  • 3篇形式化
  • 3篇异构
  • 3篇软硬件协同
  • 3篇嵌入式
  • 3篇嵌入式系统
  • 3篇人工智能

机构

  • 44篇华东师范大学
  • 18篇上海师范大学
  • 4篇上海电子信息...
  • 3篇陕西师范大学
  • 3篇淮北师范大学
  • 3篇安徽工程大学
  • 2篇苏州大学
  • 2篇教育部
  • 1篇北京大学
  • 1篇北京控制工程...
  • 1篇杭州电子科技...
  • 1篇杭州职业技术...
  • 1篇浙江理工大学
  • 1篇西安电子科技...
  • 1篇黄山学院
  • 1篇中国科学院上...
  • 1篇中国空间技术...
  • 1篇郑州轻工业大...
  • 1篇徐州师范学院

作者

  • 66篇陈仪香
  • 10篇张敏
  • 5篇马艳芳
  • 4篇潘海玉
  • 4篇胡国胜
  • 4篇吴新星
  • 3篇李慧勇
  • 2篇刘晗
  • 2篇王娜
  • 2篇吴恒洋
  • 2篇尹艳
  • 1篇孙莉萍
  • 1篇胡伟
  • 1篇陈婕
  • 1篇吴中海
  • 1篇苗启广
  • 1篇栾天骄
  • 1篇金晟毅
  • 1篇吴晶
  • 1篇王泉

传媒

  • 6篇模糊系统与数...
  • 5篇上海师范大学...
  • 5篇计算机科学
  • 4篇软件学报
  • 2篇数学学报（中...
  • 2篇计算机学报
  • 2篇计算机工程
  • 2篇计算机应用研...
  • 2篇Journa...
  • 2篇陕西师大学报...
  • 2篇单片机与嵌入...
  • 2篇空间控制技术...
  • 1篇科技通报
  • 1篇数学进展
  • 1篇计算机研究与...
  • 1篇控制理论与应...
  • 1篇计算机应用
  • 1篇计算机工程与...
  • 1篇工程数学学报
  • 1篇自动化技术与...

年份

  • 1篇2024
  • 3篇2023
  • 3篇2021
  • 2篇2020
  • 3篇2019
  • 3篇2017
  • 3篇2016
  • 9篇2015
  • 3篇2014
  • 4篇2013
  • 3篇2012
  • 3篇2011
  • 1篇2009
  • 2篇2008
  • 1篇2007
  • 3篇2006
  • 2篇2005
  • 1篇2004
  • 2篇2003
  • 1篇2002
共 67 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于通行时间和车速预测的动态路径规划算法和系统
本申请公开了一种基于通行时间和车速预测的动态路径规划算法及系统，算法包括下层算法OptSub和上层算法DyPath，依据汽车行驶过程中未来路径预测通行时间数据，实时动态地规划车辆行驶路径，以使车辆在复杂路径中通行时间最短...
陈仪香刘鹏晨李凯旋
文献传递
完全相容稳定模糊谓词转换器
2009年
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。
马艳芳陈仪香
关键词：DOMAIN理论半拓扑
基于知网的虚拟人情感建模研究被引量：2
2008年
虚拟人及其和谐交互技术是当前信息科学和生命科学研究的热点。情感信息处理是人工智能和认知科学研究一直关注的问题。本文将研究基于知网的虚拟人情感模型,该模型由冷静、愤怒、快乐、悲伤、放松和恐惧六个维度组成六维空间。通过实例模拟表明,此模型可以很好地对人类的情感进行仿真。
王琦陈仪香
关键词：知网虚拟人人工智能人工情感
Dom ain理论中的映射被引量：1
2002年
Domain理论的目的是为程序设计语言提供数学语义模型 ,信息状态域的指称称为 Domain,而程序的指称是 Domain间的映射。本文主要介绍 Domain理论中的三类重要映射—— Scott连续映射、Berry的稳定映射以及 CM映射的定义以及等价刻画和表示。
陈仪香
关键词：DOMAIN理论程序设计语言
Semitopological Systems被引量：2
1998年
The aim of this paper is to establish the theory of semitopological systems,which has general topological spaces, fuzzy topological spaces, topological molecular lattices, and topological systems as special cases.
陈仪香
一种软件可信性量化评估与设计方法
本发明公开了一种软件可信性量化评估与设计方法，包括如下步骤：可信性量化需求步骤：根据软件的领域特性对软件进行可信性需求分析，获得可信性量化分析结果；可信性需求包括软件属性、软件子属性定义，每个子属性对应的度量元定义，可信...
陈仪香马煜婧李岩王保华
文献传递
面向物联网的智能传感器节点系统设计被引量：2
2015年
无线传感器网络(WSN)是物联网核心应用技术之一,由于WSN中节点多、数据量大,传感器将原始数据直接传至后台的传统方法会产生大量的能耗并增加后台处理压力。本文结合物联网WInternet的框架以及软硬件协同设计思想,提出了一种面向该物联网的系统设计与实现方法:将变频算法融入传感器节点高效采集数据,使智能传感器节点具有计算数据和制动外部设备的功能,并可实现就近计算,同时将Pipe协议嵌入其中,使得不同平台间无缝连接,以及节点设备对外提供服务。
何康力陈仪香王江涛
关键词：物联网软硬件协同UML
区间值进程演算的可加模型
2006年
进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型(简称AICCS),以解决在并发通讯系统中产生的不确定性．在该模型中,前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义,引入了进程的量化这一概念,在此基础上引入强互模拟和μ-强互模拟的概念,并且讨论了其相关性质．
周洁陈仪香
航天嵌入式软件可信性度量方法及应用研究被引量：10
2015年
航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.
王婧陈仪香顾斌郭向英王保华金晟毅徐建张居阳
Domain理论及其在程序设计语言中的应用
陈仪香孙莉萍周洁吴恒洋
本研究成果围绕着计算机程序设计语言的数学基础理论及其在形式语义学中的应用展开了系统研究，具体为指称语义的论域理论、公理语义的非Hoare型逻辑系统、以及不确定性程序的形式语义等方面。成果由Disjunctive命题逻辑系...
关键词：
关键词：程序设计语言
全选 清除 导出
共7页<1234567>
聚类工具0