华东师范大学软件学院
- 作品数：524 被引量：2,669H指数：22
- 相关作者：刘静张居阳余志军蔡海滨刘晓更多>>
- 相关机构：复旦大学计算机科学技术学院浙江大学计算机科学与技术学院复旦大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学文化科学经济管理更多>>
- 面向复杂随机系统的启发式统计模型检测方法
- 2016年
- 统计模型检测是一种高效的验证技术,常用于复杂的随机系统验证,如分布式算法等,而在超长路径上对性质进行验证时,其验证效率会急剧降低。为解决这个问题,提出一种启发式的统计模型检测算法。在对路径进行验证时,会查找帮助剪枝的最短前缀;在后续抽样时,利用前缀信息直接判定路径是否满足给定性质,避免进入费时的路径验证阶段。在与PRISM的比较中,它的路径验证次数相对更少,且平均抽样路径长度更短。因此统计模型检测技术可应用于超长路径上的性质验证。
- 何佳张敏郭延楠吕悦
- 关键词：启发式算法PRISM
- 完全相容稳定模糊谓词转换器
- 2009年
- 谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。
- 马艳芳陈仪香
- 关键词：DOMAIN理论半拓扑
- 台风场景的视景仿真
- 台风每年给全世界人们带来了巨大损失,而以往对台风的仿真研究主要都集中在数值仿真方面,缺少对台风场景的真实感仿真.本文研究了台风场景的三维仿真,首先建立了三维台风风场模型,然后模拟场景中不同物体在不同条件下的运动,包括刚体...
- 刘传林王长波董冰谢步瀛
- 关键词：碰撞检测真实感绘制视景仿真
- 文献传递
- 面向服务的计算专刊前言被引量：5
- 2007年
- 随着Internet的普及和基于Internet的应用的延伸，以Web服务为基础的分布式计算模式SOC应运而生，其目的是有效解决在分布、动态、异构环境下，数据、应用和系统集成的问题．SOC将www上静态的、无结构的Web页面扩展到拥有自主行为的、具备执行任务能力的Web服务，融合了网格计算中“无处不在的、集成的计算与资源环境”的思想，在面向对象、基于构件的开发、分布式对象计算及Web技术基础上，提出了一种新的软件开发、部署和集成的模式．
- 何积丰金芝李宣东
- 关键词：分布式计算模式分布式对象计算WEB服务WEB页面WEB技术
- 基于C-V模型的图像分割研究被引量：1
- 2009年
- 活动轮廓模型已经成功应用于图像分割,它可以是基于边界的,也可以是基于区域的。在演化过程中,关键问题是如何使水平集函数逼近符号距离函数。CHAN-VESE(C-V)模型是基于Mumford-Shah分割模型和水平集的,它不依赖图像梯度而检测目标,但其距离保持能力较差。在对C-V模型研究的基础上,提出了一个解决其距离保持问题的办法。
- 高勇郭建李存华
- 关键词：图像分割水平集
- 从交互情景出发的需求捕获方法及其支撑工具被引量：10
- 2011年
- 需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.
- 陈小红尹斌金芝
- 关键词：需求捕获情景
- UML和MVC设计模式在霓虹灯软件建模的应用
- 2005年
- 介绍基于统一建模语言UML(UnifiedModelingLanguage)的建模过程和MVC(Model-View-Controller)设计模式,并以霓虹灯七彩花样编辑软件的建模为例,论述基于UML和MVC相结合进行系统分析和设计的方法,建立并实现面向对象的软件模型。
- 韩琴蓝红莉
- 关键词：UMLMVC设计模式面向对象霓虹灯
- 基于INTERNET的消费者抗衡势力研究被引量：2
- 2004年
- 对于在市场中拥有一定经济力量的大企业而言,不仅仅要受到来自于竞争对手的约束,同时也会受到消费者与供应商的约束。消费者的利益并非体现为在市场中被动地选择最优的商品,而应该体现为主动地创造出相应的选择。虽然消费者抗衡势力的说法很诱人,但在经济实践中,消费者抗衡势力却很难实现。INTERNET的飞速发展使得消费者能够通过网络形成足够大的规模以获取抗衡势力。
- 徐薇程新章
- 关键词：网络时代消费者抗衡势力
- 掌上型设备仿真编辑器
- 2002年
- 目前掌上型个人通信产品以GSM移动电话为主。由于键盘的限制 ,在GSM移动站(MobileStation)上编辑用户名、电话号码及短消息等内容很不方便。PC上的仿真软件编辑工具有助于用户操作。文中主要介绍其同步控制方法。
- 董军
- 关键词：同步控制个人通信GSM移动电话
- 一种可用于编译器调试的目标代码验证方法
- 2005年
- 传统编译器测试方法是通过比较预期的结果和待测的结果是否一致,以确定编译器是否存在错误。在此基础上,提出了引入参考编译器和参考仿真器的测试方法,在指令集软件仿真过程中生成可用于编译器调试的动态数据信息文件,对参考动态数据信息文件和待测动态数据信息文件进行比较,编译器测试工具可根据比较的结果来确定待测编译器存在错误的位置,这对编译器的调试是非常有用的。
- 琚小明姚庆栋
- 关键词：软件测试编译器
