戚正伟
- 作品数:143 被引量:100H指数:6
- 供职机构:上海交通大学更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划上海市科学技术委员会资助项目更多>>
- 相关领域:自动化与计算机技术电子电信自然科学总论环境科学与工程更多>>
- 分离式虚拟机及其虚拟机架构、构建方法和优化方法
- 本发明提供了一种分离式虚拟机架构,包括一个或多个虚拟机处理器,其中每一个虚拟机处理器均包括运行于不同物理处理器上的虚拟机运行模块和虚拟机监控模块,虚拟机运行模块和虚拟机监控模块之间通信连接。同时提供了一种基于该架构实现的...
- 戚正伟余博识贾兴国吴承刚管海兵
- 一种基于底层NUMA感知的NFV实现方法
- 本发明公开了一种基于底层NUMA感知的NFV实现方法,包括以下步骤:步骤1、获得Node间的访问延迟和带宽信息,形成信息矩阵;步骤2、解析NFV编排信息,获得NFV服务链的具体信息;步骤3、根据Node之间的访问延迟和带...
- 李健李阳德马汝辉戚正伟管海兵
- 文献传递
- 基于重写逻辑的并发实时程序验证的优化处理系统及其方法
- 一种计算机应用技术领域的基于重写逻辑的并发实时程序验证的优化处理系统及其方法,该系统包括:程序模型模块、性质模型模块和重写逻辑验证模块,通过重写逻辑验证并发实时程序,将系统的模型和即将验证的性质均采用代数模型进行状态空间...
- 戚正伟管海兵梁阿磊
- 文献传递
- 基于硬件虚拟化的Xen实时性增强系统及其方法
- 一种计算机应用技术领域的基于硬件虚拟化的Xen实时性增强系统及其方法,该系统包括:实时客户虚拟机友好性模块、事件驱动机制模块和多实时客户虚拟机负载平衡模块,实时客户虚拟机友好性模块在客户虚拟机进行调度时,将该实时客户虚拟...
- 俞培杰朱旻高尚戚正伟管海兵
- 文献传递
- WTP协议层分片重组传输机制的设计与性能分析被引量:1
- 2008年
- 简述了WTP分片重组机制,并给出了它的设计的精要部分,又采用概率模型的方法分析了它的传输性能。基于这一分析,更进一步讨论了分组大小参数对传输性能的影响。
- 何巍陈英戚正伟
- MMS客户端的设计与实现被引量:4
- 2008年
- 介绍了多媒体信息服务,即彩信MMS(Multimedia Messaging Service)的收发流程,提出了MMS客户端的模块设计方案,将PDU的编解码能力和具体的编解码行为分离,并给出了MMS客户端的具体实现,顺利完成彩信收发功能。
- 金雪骥陈英何巍戚正伟
- 关键词:彩信协议数据单元同步多媒体集成语言
- 基于Qtopia的智能手机进程间通信的研究与实现被引量:4
- 2008年
- 语音通信、短信收发作为智能手机的基本功能,硬件上由GSM模块提供完备支持,在软件上除了定制应用程序以外,还需要一个后台服务进程对智能手机基本应用事件进行监控及响应。以Qt/Embedded+Qtopia作为应用程序开发平台,分析了其内部的进程间通信机制,设计并实现了智能手机基本应用程序的后台服务进程。
- 高少琛戚正伟陈英
- 关键词:智能手机嵌入式GUI进程间通信QT/EMBEDDEDQTOPIA
- 基于网络请求数据的移动端软件质量态势感知系统及方法
- 本发明提供了一种基于网络请求数据的移动端软件质量态势感知系统,包括:网络错误收集模块、数据传输模块和态势感知与预警模块;其中:所述网络错误收集模块,设置于移动终端,用于收集移动终端发起网络请求遇到错误情形时的请求数据以及...
- 刁子恒姚朋夏鸣远戚正伟
- 文献传递
- 基于D3S的分布式系统监控技术
- 2009年
- 调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
- 章甫源戚正伟
- 关键词:分布式系统线性时态逻辑
- 一种基于APP实例指纹和设备指纹的手游登录验证方法及系统
- 本发明涉及一种基于APP实例指纹和设备指纹的手游登录验证方法及系统,方法包括以下步骤:S1、在手游用户登录时收集移动终端上计算设备指纹需要的设备软硬件信息;S2、在手游用户登录时收集手游移动APP上计算APP实例指纹需要...
- 丁贞锴戚正伟夏鸣远齐明陈一雄