朱洪宝
- 作品数:4 被引量:3H指数:1
- 供职机构:上海大学计算机工程与科学学院更多>>
- 发文基金:上海市教育委员会重点学科基金国家自然科学基金上海市教育发展基金更多>>
- 相关领域:自动化与计算机技术更多>>
- uClinux操作系统实时性能的研究与改进
- 随着信息技术和网络技术的不断发展,嵌入式产品越来越广泛地应用到科学研究、军事工业和消费电子等行业。但实时性能作为嵌入式系统最重要的特性,却严重制约着嵌入式系统在某些重要行业的应用,比如视频实时数据采集和工业实时控制等。改...
- 朱洪宝
- 关键词:UCLINUX操作系统嵌入式系统LINUX内核优先级调度源代码
- 文献传递
- 基于多Agent的动态服务器集群研究
- 2008年
- 针对信息服务系统面临的服务器性能瓶颈、海量信息与用户个性化需求的矛盾这两个突出问题,以内容服务平台为例,引入了多Agent技术与服务器集群技术,提出了基于多Agent的负载均衡策略,实现服务器整体性能提升,通过JADE平台实现服务器结构的迁移,通过原型系统实现了集群节点的动态选取。
- 毕德闯袁捷朱洪宝汪斌
- 关键词:代理服务器集群负载均衡
- 通用调度框架的改进及其在Linux中的实现被引量:1
- 2008年
- 在嵌入式Linux实时系统中,要求内核对不同时间约束的任务采用不同的调度算法。但目前Linux内核采用单一的实时调度模式,不能灵活地执行多种调度算法,也就无法满足实时系统中实时任务的时间约束。引入了一种能够在Linux内核调度中执行多种调度算法的框架,即通用调度框架(GSF),并改进了其中的多算法调用机制,从而更好地在Linux内核中实现GSF。
- 朱洪宝袁捷
- 关键词:实时调度分配器
- Web应用的UML协作图建模与形式化规格说明被引量:2
- 2008年
- 针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。
- 汪斌袁捷缪淮扣毕德闯朱洪宝
- 关键词:WEB应用UML协作图形式化规格说明自动化工具