检索结果：
返回 6 结果。
排序：
- 作者：
吴新星 ，张军平 （ 上海电子信息职业技术学院计算机应用系；复旦大学计算机科学技术学院；上海市智能信息处理重点实验室 ） - 出处： 自动化学报 2017 第43卷 第1期 P20-39
- 关键词： 机器学习 统计学习理论 泛化界 Rademacher复杂度
- 摘要： 假设空间复杂性是统计学习理论中用于分析学习模型泛化能力的关键因素.与数据无关的复杂度不同,Rademacher复杂度是与数据分布相关的,因而通常能得到比传统复杂度更紧致的泛化界表达.近年来,Rademacher复杂度在统计学习理论泛化能力分析的应用发展中起到了重要的作用.鉴于其重要性,本文梳理了各种
-
点击量：1
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 2016 第43卷 第4期 P177-181，191
- 关键词： Hoare逻辑 Hoare三元组 正确度 概率测度
- 摘要： 基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。
-
点击量：1
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 2015 第2期 P81-85，94
- 关键词： 进程演算 Web服务 降级替换 量化
- 摘要： 在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度
-
被引量：3
点击量：1
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 2015 第42卷 第B11期 P93-99
- 关键词： Hoare逻辑 Hoare三元组 正确度 概率测度
- 摘要： 基于C.A.R.Hoare提出的Hoare逻辑,给出了[α1,α2]1-概率拟Hoare逻辑,并证明了其可靠性。
-
点击量：1
期刊
- 作者：
胡国胜 ，吴新星 ，肖佳 ，方龙雄 （ 上海电子信息职业技术学院计算机应用系 ） - 出处： 计算机教育 2015 第20期 P106-110
- 关键词： 高职教育 物联网专业 RFID 实训室建设
- 摘要： 实训是高职物联网专业学生技术技能培养的重要环节,实训室建设则是专业建设的重要组成部分。目前职业院校的物联网实训室设备大多是实验箱或实训台,集成度高,不利于对学生技术应用能力和创新能力的培养。文章介绍上海电子信息职业技术学院RFID实训室的建设经验,希望能为其他院校RFID实训室的建设提供借鉴。
-
点击量：1
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 2014 第5期 P190-195
- 关键词： 构件 匹配 度量
- 摘要： 针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。
-
被引量：2
点击量：1
-
ORCID:
-
ResearcherID:
-
scopusID:
- 职称：副教授
- 当前任职二级机构： 通信与信息工程学院 通信与信息工程学院