您的位置： 专家智库 > >

上海市科学技术发展基金(06dz15004-1)

作品数：10 被引量：23H指数：3
相关作者：邵志清陈丽琼罗勇军刘冬梅范贵生更多>>
相关机构：华东理工大学上海应用技术学院淮海工学院更多>>
发文基金：上海市科学技术发展基金国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学更多>>

文献类型

  • 10篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇模糊集
  • 2篇AGENT技...
  • 2篇PETRI网
  • 2篇AGENT
  • 1篇电力
  • 1篇电力系统
  • 1篇多尺度
  • 1篇一致性
  • 1篇映射
  • 1篇用户
  • 1篇用户期望
  • 1篇语义
  • 1篇通信
  • 1篇通信协议
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇能耗
  • 1篇企业
  • 1篇企业服务总线
  • 1篇企业管理

机构

  • 10篇华东理工大学
  • 1篇淮海工学院
  • 1篇青岛大学
  • 1篇上海应用技术...

作者

  • 9篇邵志清
  • 3篇陈丽琼
  • 2篇刘冬梅
  • 2篇范贵生
  • 2篇罗勇军
  • 1篇王秀英
  • 1篇丁雪丰
  • 1篇程华
  • 1篇房一泉
  • 1篇虞才珠
  • 1篇顾勋梅
  • 1篇宋国新
  • 1篇周翔

传媒

  • 4篇华东理工大学...
  • 2篇计算机应用与...
  • 2篇计算机科学
  • 1篇计算机工程与...
  • 1篇计算机工程与...

年份

  • 6篇2009
  • 4篇2008
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Petri的分布式实时嵌入式软件合理性分析被引量：1
2008年
合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。
陈丽琼邵志清王秀英范贵生
关键词：PETRI网
用户期望质量驱动的Web服务优化选取被引量：6
2009年
提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。
刘冬梅邵志清虞才珠陈丽琼
关键词：面向服务架构服务质量用户期望模糊集
基于ASM的活动图一致性规则研究
2009年
从概念的角度分析了活动图并发结构的不足,系统地研究了时序模糊状态下的语义描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型,从分支、合并、事件捕获等方面定义了详尽的规则,提高了模型的正确性、可验证性和一致性。
周翔邵志清薛炳蔚
关键词：统一建模语言活动图鉴别器工作流
Agent技术的发展与应用被引量：5
2009年
近年来,我国对Agent技术的理论和应用进行了广泛的研究,Agent技术已经从科学研究开始进入实际应用阶段。对我国的Agent研究以及有代表性的应用进行总结。
罗勇军邵志清
关键词：AGENT电力系统交通控制企业管理
Agent技术的标准化进程与前景被引量：3
2009年
近年来,Agent技术的标准化进程发展迅速。以IEEE标准化委员会FIPA(TheFoundation for intelligent Physical Agents)和AgentLinkⅢ为代表的组织在标准化进程中做出了关键贡献:1)制订相关的软件标准;2)促进Agent与其它技术的协同;3)促进Agent技术的应用和实施。对Agent的标准化进展和应用前景做概述。
罗勇军邵志清
关键词：AGENTFIPA
基于模糊集的面向服务计算QoS扩展模型被引量：2
2008年
面向服务的研究是当今网络应用研究的热点,服务的QoS计算又是其中的重要部分。已有文献建立过一些服务质量评价模型,用于服务QoS的计算,但是将用户对服务的期望和上下文一起加以考虑的却极少。对具有相似期望的用户进行选择,只允许具有相似期望的评价影响对服务的总评价,并应用模糊数学思想,根据属性的权重和用户的权重,提出一种QoS的模糊计算模型,从而得到更加精确而有意义的QoS度量。
刘冬梅邵志清
关键词：QOS度量SOC模糊集
面向对象方法的功能点度量被引量：2
2008年
功能点分析(FPA)本身只能度量系统静态的方面,不能考虑到对象的交互性和对象的行为。基于FPA,结合面向对象系统的特点,提出了一种面向对象方法的功能点,完成了从FPA方法到面向对象方法概念上的映射和度量规则上的映射,并给出了该方法具体的度量过程,为Web应用的度量奠定了坚实的理论基础。
顾勋梅邵志清
关键词：功能规模度量映射
基于分形插值函数重构的网络流量多尺度结构研究
2008年
根据网络流量的非线性特征,及分块分形插值函数能模拟分形信号的优点,对震荡类型不同的两类流量重构,发现其对不同尺度流量拟合误差都很小,提出将该方法用于在很大尺度范围内的网络流量多尺度结构研究。进一步研究采用分块FIF重构的信号与原信号在多分形、能谱等分形特性和统计特征方面的保持能力;通过对信号FIF重构过程的分析,讨论了分块FIF构造过程与重构信号的多分形多尺度结构间的关系。提出分块FIF方法是基于流体技术研究网络流量多分形多尺度结构的有效工具。
程华房一泉邵志清
分布式实时嵌入式系统的能耗建模与分析被引量：4
2009年
为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。
陈丽琼邵志清范贵生
关键词：PETRI网能耗通信协议
一种使用混合匹配的有限服务自动组装算法
2009年
提出了语义企业服务总线的概念,并给出了相应的原型设计及实现该总线所涉及的技术。针对语义Web服务的自动组装问题,设计了一种使用混合匹配的有限服务自动组装算法,相比手工和半自动的组装方法,该算法能实现语义Web服务的全自动组装。
丁雪丰宋国新
关键词：语义
全选 清除 导出
共1页<1>
聚类工具0