钮俊
- 作品数：40 被引量：238H指数：6
- 供职机构：宁波大学更多>>
- 发文基金：国家自然科学基金浙江省自然科学基金宁波市自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学文化科学更多>>
- 基于Petri网可达分析的代码搜索方法被引量：1
- 2022年
- 复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率.
- 丁雪儿钮俊张开乐毛昕怡
- 关键词：代码复用语义搜索PETRI网模型
- 一种基于组合赋权法的Web服务选择策略被引量：5
- 2017年
- 针对Web服务选择中服务请求偏好权重表达的模糊性及服务质量(QoS)属性值间存在的相互制约关系等问题,提出一种基于组合赋权法的Web服务选择策略。首先利用模糊层次分析法(FAHP)和主成分分析法(PCA)分别计算主观QoS权重和客观QoS权重;然后综合主、客观QoS权重利用组合赋权法(CWA)计算服务请求的综合QoS权重;最后提出一种综合评价函数,以保障所选择的服务在满足服务请求偏好的基础上,能更准确地反映候选Web服务总体QoS水平。实例分析表明该方法是有效的。
- 孙秀廷钮俊宫清勃李阵
- 关键词：组合赋权法综合评价
- "新工科"背景下地方高校操作系统课程教学改革的思考
- 在信息技术领域，操作系统起到至关重要的作用，在美国禁令下Google停止向华为提供Android系统服务使得国内对操作系统的关注度不断提升。操作系统作为计算机及其相关专业的必修课，其在教学方式、教学内容、实验实践等方面仍...
- 江先亮金光钱江波钮俊
- 关键词：操作系统课程教学改革
- 基于模型检测的无线传感器网络拓扑验证方法
- 2021年
- 无线传感器网络(Wireless Sensor Networks, WSNs)是由众多空间分布的、紧密交织的物理组件组成,其拓扑结构作为支撑各种应用的底层结构,空间特性直接影响网络的功能性能。但已有研究缺少对节点拓扑性质的分析验证。针对此问题,提出一种基于模型检测的WSNs拓扑验证方法。首先分析WSNs拓扑相关验证需求;构建基于闭包空间的WSNs拓扑验证模型;使用形式化规约语言对验证需求进行形式化描述;最后结合验证需求通过模型检测算法对WSNs功能、性能等进行验证。分析及实验表明,该方法能够自动、完备地对网络拓扑进行验证。
- 王佳钮俊毛昕怡
- 关键词：无线传感器网络拓扑结构可靠性
- 一种组合物联网服务功能与性能统一的可信验证方法
- 本发明涉及一种组合物联网服务功能与性能统一的可信验证方法，包括以下步骤：a.根据组合物联网服务需求，进行任务划分，构建侯选服务库；b.基于扩展BPEL，设计组合服务脚本；依据服务执行情况划分状态空间，计算参数，将脚本描述...
- 钮俊
- 文献传递
- 云环境下可用性感知的并行任务调度方法被引量：17
- 2013年
- 云计算是一种新兴的计算模式,倡导一切皆服务.云计算由于能够共享分布在世界各地的计算资源,在大规模计算和数据存储中越来越受到重视.云计算是当前IT工业界、学术界研究的热点领域,云环境中的资源可用性已成为云计算不可忽视的问题.对于云计算,当处理器的处理速度不同,不是一直可用于计算时,可用性成为设计和发展云计算系统的关键需求.根据并行任务图及树形云平台的结构特点,分别讨论了影响并行任务可用性需求和计算资源可用性保障的关键因素,给出一种可用性的量化计算公式.并且通过感知任务"可用性需求"和计算资源"可用性保障",实现可用性匹配,提出了两种可用性感知的调度算法Afsa和Agsa.模拟实验表明该算法能够改善云环境中资源可用性和可靠性,对提高任务调度的成功率具有实际意义.
- 曹洁曾国荪钮俊许金超
- 关键词：云计算任务调度
- 数字校园的信息安全风险评估研究与实践
- 2012年
- 本文依据我国制定的信息安全风险评估标准和国际有关标准,研究和设计针对数字校园的信息安全风险评估流程和框架,并利用该流程针对实际的数字校园对象进行实例验证,风险评估结果验证了该流程的合理性和可行性。
- 吕新荣钮俊陆世伟
- 关键词：数字校园风险评估信息安全
- 基于模型检测的时间空间性能验证方法被引量：6
- 2010年
- 对具有不确定性的复杂系统如网络协议等的性能进行分析是当前的研究热点.将空间资源分析纳入到性能评估过程,用模型检测技术验证时间或空间性能是否满足期望的需求约束.用能刻画不确定性的连续时间Markov回报过程(Continuous-Ti me Markov Reward Process,CTMRP)作为时间或空间性能验证模型;用正则式表示路径约束,扩展连续随机回报逻辑CSRL(Continuous Stochastic Reward Logic)的时态路径算子,用以刻画更加广泛的基于状态或路径的时间或空间性能验证属性;提出并证明CTMRP在确定性策略下空间时间可达概率的对偶性质,将带有约束的空间性能验证最终转化为时间性能的可达分析,给出验证算法.文中的结论和算法为复杂系统的性能分析提供了新的思路和方法.
- 钮俊曾国荪王伟
- 关键词：不确定性对偶
- 基于预期延迟值的扩散转发路由算法被引量：1
- 2016年
- 针对现有延迟容忍网络路由算法在消息传递过程中分发不灵活的问题,提出基于节点通话历史记录计算预期通断时长以及消息传递延迟值,并根据结果选择节点、分配副本数进行消息转发的路由算法(MDESF)。在算法不同阶段,根据节点的活跃度选择中继节点,再分配传递消息的副本数目,加快分发,降低延迟。同时为保证消息及时传递,在单副本阶段选择最优节点转发。本算法同时提出内存管理策略,提高消息转发成功率。仿真实验表明,该算法相对其他同类算法在投递率、交付时延和网络拥塞比率方面综合表现更优。
- 刘鑫金光江先亮钮俊
- 关键词：延迟容忍网络内存管理策略
- 支持随机服务请求的云虚拟机按需物理资源分配方法被引量：16
- 2017年
- 针对云平台按负载峰值需求配置处理机资源、提供单一的服务应用和资源需求动态变化导致资源利用率低下的问题,采用云虚拟机中心来同时提供多种服务应用.利用灰色波形预测算法对未来时间段内到达虚拟机的服务请求量进行预测,给出兼顾资源需求和服务优先等级的虚拟机服务效用函数,以最大化物理机的服务效用值为目标,为物理机内的各虚拟机动态配置物理资源.通过同类虚拟机间的全局负载均衡和多次物理机内各虚拟机的物理资源再分配,进一步增加服务请求量较大的相应类型的虚拟机的物理资源分配量.最后,给出了虚拟机中心基于灰色波形预测的按需资源分配算法ODRGWF.模拟实验结果表明,该算法能够有效地提高云平台中处理机的资源利用率,对提高用户请求完成率以及服务质量都具有实际意义.
- 曹洁曾国荪匡桂娟张建伟马海英胡克坤钮俊
- 关键词：云计算虚拟化
