-
公开(公告)号:CN101534292B
公开(公告)日:2012-05-02
申请号:CN200810101763.X
申请日:2008-03-11
Applicant: 北京邮电大学
Abstract: 本发明公开了一种文件接收的方法,包括:a、向管理服务器发送互联交换请求;b、对来自管理服务器的交换信息进行解析;c、根据解析得到的交换信息参数对来自文件发送网关的文件进行接收;d、对文件的接收过程进行监控并生成文件接收结果;e、将文件接收结果上报给管理服务器。本发明还提供了一种互联与交换系统和互联与交换网关,由互联与交换网关对数字媒体内容的传输过程进行控制,采用断点续传机制,提高了数字媒体内容传输的可靠性;对传输过程中的数字媒体内容进行加密,提高了数字媒体内容传输的安全性。
-
公开(公告)号:CN101237333B
公开(公告)日:2011-06-29
申请号:CN200710002988.5
申请日:2007-01-31
Applicant: 北京邮电大学
Abstract: 本发明公开了一种基于多网络融合的支持多种业务的通用业务平台,包括:业务接入单元,连接于各网络运营商的通信网络,用于接入各种通信业务,提供协议支持并与消息处理单元进行数据交互;消息处理单元,接收业务接入单元的业务请求,判断请求的类型,调用业务引擎单元中的业务实例;接收业务引擎单元发送的业务指令并转发至业务接入单元;业务引擎单元,用于向各通信业务提供运行支持,根据消息处理单元发送的业务调用请求而执行业务,根据执行结果触发新业务请求,并将新请求返回至消息处理单元;管理单元,分别连接于上述各单元并完成对其的协调管理。本发明为各网络运营商提供一共用的平台而实现不同网络服务的融合;该平台更新、维护方便。
-
公开(公告)号:CN102073588A
公开(公告)日:2011-05-25
申请号:CN201010622570.6
申请日:2010-12-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明提供一种基于代码静态分析的多线程死锁检测方法及系统,该方法包括:对待测软件源程序进行词法、语法及语义分析,生成抽象语法树和控制流图;通过遍历抽象语法树,生成程序的指向分析图,对程序中的线程类进行分析,生成线程类并发特征集合;通过对控制流图的遍历,对程序进行可达分析,生成线程并发特征集并进行分析,生成占有请求特征集和锁图并进行分析,检测潜在的死锁,找到锁对象的门锁集合,删除不同线程锁对象存在相同门锁情况的死锁,更新潜在死锁集合;通过并发与逃逸分析,删除不可能的死锁情况,得到最终的死锁集合。应用本发明的方法及系统能够有效检测两个或多个线程产生死锁的情况,提高测试精度和自动化程度。
-
公开(公告)号:CN101847122A
公开(公告)日:2010-09-29
申请号:CN201010188376.1
申请日:2010-06-01
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用异常控制流集的软件测试方法及系统。本发明所提供的软件测试方法及系统,是通过异常模式状态机描述运行时异常行为,可以支持对控制流的扩展和故障的自动检测;通过运行时异常控制流扩展传统异常控制流,将抛出运行时异常的边加入其中,以支持对新故障的检测;结合现有静态测试技术,通过迭代方程生成运行时异常控制流集,以实现控制流扩展和新故障检测的交替迭代执行。通过以上方法扩展传统分析路径,达到提高故障报告率的目的。
-
公开(公告)号:CN101840372A
公开(公告)日:2010-09-22
申请号:CN201010185904.8
申请日:2010-05-28
Applicant: 北京邮电大学
IPC: G06F11/36
Abstract: 本发明公开一种应用符号分析的软件测试方法,该方法包括:A、给出一个符号运算系统,包括符号表达式的表示、化简、运算和计算符号表达式的取值区间;B、给出将程序中各变量间的具体运算映射为符号运算的方法;C、给出程序分支语句对符号取值限定区间的计算方法;D、给出符号分析在程序控制流图上的计算方法。应用本发明的应用符号分析的软件测试方法,能够处理软件静态测试中的变量相关性问题,精确地计算每个程序位置上的变量取值信息,提高软件静态测试的准确性。
-
公开(公告)号:CN101610285A
公开(公告)日:2009-12-23
申请号:CN200910087255.5
申请日:2009-06-15
Applicant: 北京邮电大学
Abstract: 本发明公开了一种IPv4与IPv6共存网络中对等联网(P2P)通信方法,通过在所述IPv4与IPv6共存网络中安装运行Tracker的双协议栈服务器、设置支持网络地址转换-端口转换(NAT-PT)功能的IPv4/IPv6双协议栈路由器,IPv4 Peer或IPv6 Peer下载P2P种子文件,从所述种子文件中提取Tracker服务器信息,IPv4 Peer或IPv6 Peer向Tracker服务器注册,得到邻居节点信息,再由IPv6 Peer发起连接,建立与IPv4 Peer的握手交互联系,并通过所述路由器完成地址转换,从而建立起IPv4 Peer与IPv6 Peer的资源交互,实现IPv4与IPv6网络的互通。采用本发明方法,不但解决了不同版本IP协议之间的P2P通信问题,而且通过提供这种不同版本Peer间的通信机制,对IPv6的推广具有重要意义。
-
公开(公告)号:CN101593332A
公开(公告)日:2009-12-02
申请号:CN200810113246.4
申请日:2008-05-28
Applicant: 北京邮电大学
Abstract: 本发明公开了一种电子合同管理系统,属于互联网通信技术应用领域。所述系统包括外部通信接口、数据接口、数据库、合同生成模块、合同分发模块、交易信息收发模块、合同查询模块。本发明同时还公开了一种电子合同管理系统的实现方法,合同生成模块通过接收接受方或提供方的合同意向信息生成电子合同,然后由合同分发模块将所述电子合同加密分发给合同签订的双方,并解密所述接受方及提供方返回的合同收到确认信息后,再通过交易信息收发模块对交易双方上报的交易信息进行分析,并根据分析结果对电子合同的状态进行修改。使用本发明提供的电子合同管理系统及其实现方法,可以提高网上电子商务交易的安全性、可靠性。
-
公开(公告)号:CN101068243A
公开(公告)日:2007-11-07
申请号:CN200710065357.8
申请日:2007-04-12
Applicant: 北京邮电大学
Abstract: 本发明公开了一种处理网关层与业务层的消息交互系统以及发送、接收方法,所述系统包括协议网关层与业务应用层,其中该系统还包括消息分发层,用于实现协议网关层与业务应用层之间进行消息交互时消息的处理及转发;消息分发层中进一步包括用于实现协议网关层上报的统一接口、以及业务应用层调用的统一返回地址的接口模块,所述消息分发层通过所述接口模块与所述协议网关层、所述业务应用层相连。采用本发明处理网关层与业务层的消息交互系统以及发送、接收方法,能通过设置消息分发层,并与设置在该消息分发层中的接口模块相匹配,实现统一接口以及调用的返回地址,更好的提供对多业务以及网络承载能力的支持。
-
-
-
-
-
-
-