-
吴新星
-
-
- 所属机构:上海电子信息职业技术学院计算机应用系
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 胡国胜
- 作品数：120被引量：530H指数：12
- 供职机构：上海电子信息职业技术学院
- 研究主题：电力系统 小波变换 电机 故障信号 信号处理
- 陈仪香
- 作品数：67被引量：148H指数：7
- 供职机构：华东师范大学
- 研究主题：互模拟 DOMAIN理论 拓扑 拓扑学 程序设计语言
- 李明
- 作品数：25被引量：78H指数：5
- 供职机构：华东师范大学信息科学技术学院
- 研究主题：DDOS攻击 分布式拒绝服务 网络安全 攻击检测 自相似
- 李目海
- 作品数：18被引量：30H指数：3
- 供职机构：枣庄学院
- 研究主题：分布式拒绝服务 医学图像 抽取 组卷 随机抽取
- 单佩韦
- 作品数：7被引量：46H指数：2
- 供职机构：华东师范大学
- 研究主题：经验模式分解 自相似 网络流量 HILBERT 信号处理
- 网络微积分中最小加反卷积的研究
- 网络微积分是一种对网络队列系统性能进行定量分析的新型数学工具，它可以对网络中所遇到的流量问题给出深刻的刻画。本文从数学理论的角度出发，对网络微积分中的最小加卷积和最小加反卷积的性质做了深入的分析研究。
- 吴新星李明李目海单佩韦
- 关键词：网络队列系统
- 文献传递
- 跳过程的μ-不变测度-含单瞬时态情形
- 2010年
- μ-不变测度是随机过程中一类重要的测度.首先,本文得到了含有单瞬时态的q-过程存在性定理,并进一步说明了在一些特殊情况下可以只对q-对加条件,定理仍成立.然后,对给了含单瞬时态q-对的μ-不变测度,何时存在q-过程P(t),使得π是P(t)的μ-不变测度的问题进行了讨论研究,并给出了一个充分条件.
- 吴新星
- 关键词：Q-过程瞬时态
- 网络微积分中最小加反卷积的研究
- 网络微积分是一种对网络队列系统性能进行定量分析的新型数学工具,它可以对网络中所遇到的流量问题给出深刻的刻画。本文从数学理论的角度出发,对网络微积分中的最小加卷积和最小加反卷积的性质做了深入的分析研究。
- 吴新星李明李目海单佩韦
- 网络微积分中的最小加拟反卷积及其应用被引量：1
- 2008年
- 网络微积分是一种对网络中的流量问题给出定量刻画的新型数学工具,其理论基础是最小加代数.文章围绕最小加运算中的反卷积问题进行讨论,定义了最小加拟反卷积和最小加强拟反卷积,并且通过具体的例子说明了所给定义的意义.最后,还讨论了最小加强拟反卷积在优化服务器设计中的应用.
- 吴新星李明
- 概率拟Hoare逻辑
- 2016年
- 基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。
- 吴新星胡国胜陈仪香
- 关键词：HOARE逻辑
- Web服务降级替换的一致性问题及量化研究被引量：2
- 2015年
- 在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度对Web服务的降级替换进行了研究。
- 吴新星胡国胜陈仪香
- 关键词：WEB服务
- 构件近似匹配的度量研究被引量：2
- 2014年
- 针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。
- 吴新星胡国胜陈仪香
- 基于语言的软件可信性度量理论及其应用
- 软件是信息基础设施的灵魂.随着软件规模的日趋庞大，软件的可信性越来越引起人们的关注。可信软件基础研究已经成为国内外研究的一个热点，软件可信性度量的研究是其中一个重要研究内容。软件可信性度量的研究，需要有合适的度量方法，以...
- 吴新星
- 关键词：软件系统程序语言WEB服务
- 一种分布式拒绝服务攻击的检测模型被引量：1
- 2009年
- 提出了一种实时检测网络是否受到DDoS攻击的新模型,解决了传统检测方法难以区分突变正常流量与异常流量的问题。结合网络正常流量的特点,提出了检测DDoS攻击的新度量和检测算法。该算法不仅结构简洁、运算速度快;而且能够充分利用已知信息,具有较强的抗干扰能力。实际检测结果表明,本模型可实现对DDoS攻击的实时检测。
- 李目海李明吴新星李旭宏
- 关键词：分布式拒绝服务网络攻击网络检测计算机网络
- [α_1,α_2]1-概率拟Hoare逻辑及其可靠性证明
- 2015年
- 基于C.A.R.Hoare提出的Hoare逻辑,给出了[α_1,α_2]1-概率拟Hoare逻辑,并证明了其可靠性。
- 吴新星胡国胜陈仪香
- 关键词：HOARE逻辑
