章程
- 作品数:9 被引量:58H指数:2
- 供职机构:上海交通大学更多>>
- 发文基金:高等学校国家重点实验室和教育部重点实验室访问学者专项基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术金属学及工艺医药卫生电子电信更多>>
- 基于机器学习和程序分析相结合的程序调试技术研究
- 如何提高程序正确性是软件工程领域的一个核心问题。由于软件系统的复杂性以及程序缺陷的多样性,尚不存在普适的方法能保证程序绝对正确。一旦缺陷在程序运行中引发故障,则需要通过程序调试定位并修复缺陷。实际的程序调试需要大量人工参...
- 章程
- 关键词:缺陷修复日志分析数据挖掘
- 文献传递
- 富血小板血浆通过上调内皮祖细胞的Notch1信号通路促进糖尿病大鼠创面愈合
- 目的本研究旨在验证联合应用PRP与EPC移植在糖尿病创面愈合中的应用以及探寻其中的分子机制。方法提取大鼠体内的EPCs以及构建sh Notch-EPCs,同时制备含有不同浓度PRP,用于EPCs的培养,分别检测EPCs的...
- 章程
- 关键词:内皮祖细胞富血小板血浆糖尿病创面
- 实时视频传输的反馈拥塞控制策略被引量:47
- 2002年
- 提出了的视频实时传输体系结构,采用基于实时传输协议()和实时传输控制协议()的反馈拥塞控制算RTP/UDP/IPRTPRTCP法,控制发送端视频编码器输出的比特率,以使得整个基于的网络视频传输系统既能充分利用网络带宽又不引起网络拥塞,从而减少时IP延,降低丢包率,为视频数据的接收者提供一个较好的图象质量。
- 章程李建华
- 关键词:国际互联网实时视频传输RTCP协议
- IP网络端对端传输拥塞控制策略的研究
- 近年来,随着信息技术的迅猛发展,基于IP的网络应用也随之大量增加.新的网络应用对网络拥塞控制策略提出更高的要求.虽然网络拥塞控制策略实现方式多种多样,但由于目前几乎所有的网络应用还是利用端对端的传输协议为它们提供数据传输...
- 章程
- 关键词:拥塞控制TCP协议TCP友好性IP组播
- 文献传递
- 支持契约式设计的Java静态验证器的研究被引量:1
- 2008年
- 基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。
- 章程赵建军沈备军陈昊鹏
- 关键词:JAVA
- 用于支持契约的AOP代码生成器的研究与实现被引量:1
- 2007年
- 面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点。
- 章程
- 关键词:代码生成器
- 一种Web站点网页资源保护设计方案被引量:7
- 2002年
- 针对当前网络主页不断受到黑客攻击,给网络带来不良影响,危害了互联网事业的健康发展,提出了一种有效的解决方案--基于散列算法的文件系统扫描检测与恢复系统,预防网络黑客的攻击,并在一旦网络被黑客攻破后及时报警与恢复;有效地保护网页资源。
- 李家国李建华章程
- 关键词:互联网WEB站点散列函数
- 基于静态分析的高精度程序日志解析技术被引量:1
- 2013年
- 针对现有的程序日志解析技术准确率较低的问题,提出一种新的日志解析技术。该技术结合过程间和过程内程序分析,在程序的抽象语法树上进行过程间的方法调用分析,同时利用Java字符串分析技术进行过程内的数据流分析,将两者结合为程序源代码中的日志点构造自动机,并以自动机来匹配程序日志。实验结果表明,与现有的日志解析技术相比,该方法能够明显提高日志解析的精度。
- 范惊章程
- 关键词:抽象语法树自动机
- VeriJava中静态验证器的设计与实现
- 软件的可靠性一直是工业界和学术界关注的焦点,随着软件系统的规模和复杂度的不断增长,如何保证其可靠性成为了亟待解决的问题。软件开发方法和软件工程也在不断发展,当今主流的面向对象方法已经走过了20多个年头,它在提供给系统良好...
- 章程
- 关键词:软件开发契约式设计JAVA语言
- 文献传递