您的位置: 专家智库 > >

吴新星

作品数:13 被引量:7H指数:2
供职机构:上海电子信息职业技术学院计算机应用系更多>>
发文基金:国家自然科学基金上海市教育委员会重点学科基金上海市浦江人才计划项目更多>>
相关领域:自动化与计算机技术理学文化科学更多>>

文献类型

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

领域

  • 9篇自动化与计算...
  • 3篇理学
  • 1篇文化科学

主题

  • 2篇元组
  • 2篇三元组
  • 2篇跳过程
  • 2篇网络
  • 2篇Q-过程
  • 2篇HOARE逻...
  • 2篇WEB服务
  • 2篇Q
  • 1篇队列
  • 1篇语言
  • 1篇职教
  • 1篇软件系统
  • 1篇实训
  • 1篇实训室
  • 1篇实训室建设
  • 1篇瞬时态
  • 1篇统计学习
  • 1篇统计学习理论
  • 1篇网络队列系统
  • 1篇网络攻击

机构

  • 11篇华东师范大学
  • 6篇上海电子信息...
  • 1篇复旦大学
  • 1篇枣庄学院
  • 1篇上海市智能信...

作者

  • 13篇吴新星
  • 5篇胡国胜
  • 4篇陈仪香
  • 4篇李明
  • 3篇李目海
  • 2篇单佩韦
  • 1篇方龙雄
  • 1篇李旭宏
  • 1篇张军平
  • 1篇肖佳

传媒

  • 5篇计算机科学
  • 1篇自动化学报
  • 1篇应用数学学报
  • 1篇电子技术(上...
  • 1篇应用概率统计
  • 1篇计算机教育
  • 1篇2008年中...

年份

  • 1篇2017
  • 1篇2016
  • 3篇2015
  • 1篇2014
  • 1篇2011
  • 1篇2010
  • 2篇2009
  • 3篇2008
13 条 记 录,以下是 1-10
排序方式:
网络微积分中的最小加拟反卷积及其应用被引量:1
2008年
网络微积分是一种对网络中的流量问题给出定量刻画的新型数学工具,其理论基础是最小加代数.文章围绕最小加运算中的反卷积问题进行讨论,定义了最小加拟反卷积和最小加强拟反卷积,并且通过具体的例子说明了所给定义的意义.最后,还讨论了最小加强拟反卷积在优化服务器设计中的应用.
吴新星李明
网络微积分中最小加反卷积的研究
网络微积分是一种对网络队列系统性能进行定量分析的新型数学工具,它可以对网络中所遇到的流量问题给出深刻的刻画。本文从数学理论的角度出发,对网络微积分中的最小加卷积和最小加反卷积的性质做了深入的分析研究。
吴新星李明李目海单佩韦
网络微积分中最小加反卷积的研究
网络微积分是一种对网络队列系统性能进行定量分析的新型数学工具,它可以对网络中所遇到的流量问题给出深刻的刻画。本文从数学理论的角度出发,对网络微积分中的最小加卷积和最小加反卷积的性质做了深入的分析研究。
吴新星李明李目海单佩韦
关键词:网络队列系统
文献传递
概率拟Hoare逻辑
2016年
基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。
吴新星胡国胜陈仪香
关键词:HOARE逻辑
Web服务降级替换的一致性问题及量化研究被引量:2
2015年
在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
吴新星胡国胜陈仪香
关键词:WEB服务
构件近似匹配的度量研究被引量:2
2014年
针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。
吴新星胡国胜陈仪香
Rademacher复杂度在统计学习理论中的研究:综述被引量:1
2017年
假设空间复杂性是统计学习理论中用于分析学习模型泛化能力的关键因素.与数据无关的复杂度不同,Rademacher复杂度是与数据分布相关的,因而通常能得到比传统复杂度更紧致的泛化界表达.近年来,Rademacher复杂度在统计学习理论泛化能力分析的应用发展中起到了重要的作用.鉴于其重要性,本文梳理了各种形式的Rademacher复杂度及其与传统复杂度之间的关联性,并探讨了基于Rademacher复杂度进行学习模型泛化能力分析的基本技巧.考虑样本数据的独立同分布和非独立同分布两种产生环境,总结并分析了Rademacher复杂度在泛化能力分析方面的研究现状.展望了当前Rademacher复杂度在非监督框架与非序列环境等方面研究的不足,及其进一步应用与发展.
吴新星张军平
关键词:统计学习理论
基于语言的软件可信性度量理论及其应用
软件是信息基础设施的灵魂.随着软件规模的日趋庞大,软件的可信性越来越引起人们的关注。可信软件基础研究已经成为国内外研究的一个热点,软件可信性度量的研究是其中一个重要研究内容。软件可信性度量的研究,需要有合适的度量方法,以...
吴新星
关键词:软件系统程序语言WEB服务
跳过程的μ-不变测度——含吸收态情形
2009年
本文对给了全稳定含吸收态的q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的μ-不变测度的问题进行了讨论研究,并给出了两个充要条件.
吴新星
关键词:Q-过程
高职物联网RFID实训室设计与实现被引量:1
2015年
实训是高职物联网专业学生技术技能培养的重要环节,实训室建设则是专业建设的重要组成部分。目前职业院校的物联网实训室设备大多是实验箱或实训台,集成度高,不利于对学生技术应用能力和创新能力的培养。文章介绍上海电子信息职业技术学院RFID实训室的建设经验,希望能为其他院校RFID实训室的建设提供借鉴。
胡国胜吴新星肖佳方龙雄
关键词:高职教育物联网专业RFID实训室建设
共2页<12>
聚类工具0