检索结果：
返回 10 结果。
排序：
- 作者：
吴新星 ，张军平 （ 上海电子信息职业技术学院计算机应用系；复旦大学计算机科学技术学院；上海市智能信息处理重点实验室 ） - 出处： 自动化学报 2017 第43卷 第1期 P20-39
- 关键词： 机器学习 统计学习理论 泛化界 Rademacher复杂度
- 摘要： 假设空间复杂性是统计学习理论中用于分析学习模型泛化能力的关键因素.与数据无关的复杂度不同,Rademacher复杂度是与数据分布相关的,因而通常能得到比传统复杂度更紧致的泛化界表达.近年来,Rademacher复杂度在统计学习理论泛化能力分析的应用发展中起到了重要的作用.鉴于其重要性,本文梳理了各种
-
点击量：1
期刊
- 作者：
李俊燕 ，陶枫 ，吴新星 ，谭英姿 ，陆灏 （ 上海中医药大学附属曙光医院内分泌科糖尿病研究所中医临床重点实验室；上海电子信息职业技术学院 ） - 出处： 中国老年学杂志 2016 第36卷 第4期 P832-833
- 关键词： 2型糖尿病 基因多态性 锰超氧化物歧化酶 汉族
- 摘要： 目的 探讨上海汉族人群中锰超氧化物歧化酶(Mn SOD)基因多态性位点rs4880(V16A)与2型糖尿病的关系。方法 已经确诊的1 234例2型糖尿病患者作为病例组,选取1 272例正常健康个体作为对照组。收集研究对象血液标本5 ml,提取全基因组DNA。应用Taqman基因分型技术进行多态性检测
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 2016 第43卷 第4期 P177-181，191
- 关键词： Hoare逻辑 Hoare三元组 正确度 概率测度
- 摘要： 基于Hoare逻辑,给出了概率拟Hoare逻辑,用于刻画程序执行的正确度,定量地描述理论与程序(或软件)实际执行之间的差距,反映理论被程序实现的程度,从而量化理论上正确的程序在实际执行时出错的可能性,以及解释正确度很高的两个程序串行复合之后的整体正确度可能并不高等问题。
-
点击量：1
期刊
- 作者：
李俊燕 ，陶枫 ，陈清光 ，吴新星 ，谭英姿 ，陆灏 （ 上海中医药大学附属曙光医院；上海电子信息职业技术学院 ） - 出处： 中医杂志 2015 第17期 P1498-1501
- 关键词： 2型糖尿病 健脾清化方 基因表达谱 信号通路
- 摘要： 目的从基因转录水平角度探讨健脾清化方治疗2型糖尿病的可能作用机制。方法 50只Wistar大鼠随机选择40只建立2型糖尿病大鼠模型,另外10只大鼠作为对照组。造摸成功的30只大鼠随机分为模型组和健脾清化方组,每组15只。健脾清化方组大鼠给予健脾清化方15 g/(kg·d)灌胃,模型组大鼠给予相同容量
-
被引量：4
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 2015 第2期 P81-85，94
- 关键词： 进程演算 Web服务 降级替换 量化
- 摘要： 在开放的网络环境下,软件系统的可信性受到了更大的挑战,软件系统的降级替换是提高其可信性的方法之一。基于进程代数研究了Web服务的降级替换问题。在原有进程代数的基础上,添加了超时处理算子和延时处理算子,给出了Web服务降级替换一致性条件,从而保证了合成Web服务中降级替换的正确性。进一步地,从量化角度
-
被引量：3
点击量：1
期刊
- 作者：
李俊燕 ，陶枫 ，陈清光 ，吴新星 ，谭英姿 ，陆灏 （ 上海中医药大学附属曙光医院糖尿病研究所内分泌科中医重点临床实验室；上海电子信息职业技术学院 ） - 出处： 中华中医药杂志 2015 第30卷 第11期 P4070-4073
- 关键词： 健脾清化方 糖尿病 基因表达谱 代谢通路
- 摘要： 目的:探讨健脾清化方对2型糖尿病大鼠血液基因转录水平表达调控的作用机制。方法:采用链脲菌素(STZ)诱导建立2型糖尿病大鼠模型,随机分为空白组、模型组和健脾清化方中药组,连续灌胃4周。抽提大鼠总核糖核酸(RNA),采用昂飞(Affymetrix)基因芯片杂交,进行聚类分析、基因功能(GO)分析和信号
-
被引量：1
- 作者：
李俊燕 ，陶枫 ，吴新星 ，谭英姿 ，贺林 ，陆灏 （ 上海中医药大学附属曙光医院内分泌科,糖尿病研究所,中医临床重点实验室；上海电子信息职业技术学院；上海交通大学BIO-X研究院 ） - 出处： 实用医学杂志 2015 第18期 P3078-3080
- 关键词： 糖尿病,2型 多态性 TGF-β1
- 摘要： 目的:探讨上海汉族人群中转化生长因子-β1(TGF-β1)基因多态性位点T896C与2型糖尿病的关系。方法:采用病例-对照研究设计,以经确诊的1 234例2型糖尿病患者作为病例组,选取1 272例正常健康个体作为对照组。收集研究对照血液标本5 m L,提取全基因组DNA。应用Taqman基因分型技术
期刊
- 作者：
吴新星 ，胡国胜 ，陈仪香 （ 上海电子信息职业技术学院计算机应用系；华东师范大学教育部软硬件协同设计技术与应用工程研究中心 ） - 出处： 计算机科学 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:
- 职称：副教授
- 当前任职二级机构： 通信与信息工程学院 通信与信息工程学院