吴新星
- 作品数:13 被引量:7H指数:2
- 供职机构:上海电子信息职业技术学院计算机应用系更多>>
- 发文基金:国家自然科学基金上海市教育委员会重点学科基金上海市浦江人才计划项目更多>>
- 相关领域:自动化与计算机技术理学文化科学更多>>
- 网络微积分中的最小加拟反卷积及其应用被引量: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实训室建设