毕德闯 作品数:4 被引量:2 H指数:1 供职机构: 上海大学计算机工程与科学学院 更多>> 发文基金: 上海市教育委员会重点学科基金 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 更多>>
普适计算中目录服务平台的服务质量 2008年 改善普适计算环境服务质量的一个有效方法是建立目录服务平台(Contents Service Platform,CSP).按对称主动服务模型建立的CSP能够提供个性化主动服务,提升用户级服务质量.然而由于这种服务能力的执行开销,尤其是吸引了更多用户和服务导致服务器的性能瓶颈加剧,会间接损害服务质量.提出利用动态服务器集群来解决这一问题,实现端系统级的QoS保证,并利用仿真工具模拟了这种方法,分析了动态服务器集群性能和动态服务器选取的有关参数,实现了一个原型系统. 袁捷 王明辉 毕德闯关键词:普适计算 服务质量 负载均衡 仿真 普适计算中的主动服务和负载均衡研究 计算技术、通信技术、传感技术等新科技的飞速发展,使普适计算(PervasiveComputing,或称Ubiquitous Computing)正在成为现实。在普适计算环境中,服务具有多样性并且变化频繁,用户如何根据给定... 毕德闯关键词:普适计算 服务器负载均衡 服务器集群 QOS保证 文献传递 基于多Agent的动态服务器集群研究 2008年 针对信息服务系统面临的服务器性能瓶颈、海量信息与用户个性化需求的矛盾这两个突出问题,以内容服务平台为例,引入了多Agent技术与服务器集群技术,提出了基于多Agent的负载均衡策略,实现服务器整体性能提升,通过JADE平台实现服务器结构的迁移,通过原型系统实现了集群节点的动态选取。 毕德闯 袁捷 朱洪宝 汪斌关键词:代理 服务器集群 负载均衡 Web应用的UML协作图建模与形式化规格说明 被引量:2 2008年 针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。 汪斌 袁捷 缪淮扣 毕德闯 朱洪宝关键词:WEB应用 UML协作图 形式化规格说明 自动化工具