左天军
- 作品数：11 被引量：47H指数：4
- 供职机构：西安电子科技大学计算机学院软件工程研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- Windows Media技术在流媒体开发中的设计与应用被引量：3
- 2001年
- 本文介绍了Windows Media技术的特点,研究了Windows Media系统的开发过程,讨论了系统的组成设计,给出了系统在网络点播、远程教学及收费电视中的应用。
- 左天军杨学良
- 关键词：WINDOWSMEDIA远程教学INTERNET
- Java虚拟机动态类加载的形式化模型被引量：3
- 2005年
- Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误。尽管JDK1.2通过引入一种类加载约束策略修正了这个错误,但是由动态加载引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加载相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。
- 左天军朱智林韩俊刚陈平
- 关键词：JAVA虚拟机用户自定义名字空间操作语义语义描述欺骗
- 基于流技术的Web系统的设计和实现
- 随着Interne应用的普及,越来越多的用户期望通过Interne实时发布和接收视频音频等多媒体信息,基于Web的多媒体实时通信已经成为Interne应用的一个重要研究课题.该文在研究了流技术在多媒体实时通信中的应用,设...
- 左天军
- 关键词：流技术INTERNEWINDOWSMEDIAJMF
- 文献传递
- 采用JMF开发流媒体应用的研究被引量：7
- 2001年
- 本文介绍了多媒体实时传输协议RTP和开发多媒体应用的JMF API,研究了JMF的回放机制,讨论了JMF接收和回放媒体流的方法。
- 左天军杨学良
- 关键词：流媒体JMF多媒体通信应用程序INTERNET
- 移动计费系统中数据异常的预防与检测被引量：4
- 2004年
- 为了满足移动计费应用的基本要求,需要将大批量的基本数据常驻内存。分析了内存中 数据异常产生的原因,在借鉴数据通信中的CRC技术的基础上,探讨了在内存数据管理中,采用在每 个数据片断上都设置一个校验码的方式,进行内存数据一致性的检查,结合传统数据库的日志技术和 检查点技术,给出了实现内存数据异常检测和预防的基本方法。
- 朱智林左天军韩俊刚
- 关键词：校验码数据异常
- Linux操作系统的实时化分析被引量：13
- 2004年
- 随着实时操作系统的广泛应用和Linnx的迅速发展,人们更加关注实时Linux的开发问题。文中,我们讨论了调度策略、内核的可重入性、中断处理以及内存管理机制等关键问题。这些问题与Linux扩展到实时操作系统密切相关。然后,我们详细分析了两个有代表性的实时Linux,即RT Linux和KURT Linux的主要实现。我们还介绍了它们自己的特性以及它们之间的基本差异。最后提出了未来的研究工作。
- 左天军左圆圆陈平
- 关键词：LINUX实时操作系统调度算法内核
- 小卫星星务综合模拟测试系统被引量：4
- 2005年
- 本文分析了小卫星星务综合模拟测试系统的特点和性能,借助模拟测试系统的硬件结构,给出了动态的请求/应答关系并且讨论了监测数据信号的定义和解决方法。通过小卫星,介绍了该方法的实现且证明了其有效性。
- 朱智林左天军王竹平陈平
- 关键词：星星有效性信号小卫星硬件结构
- 基于Linux的电信高可用软件的设计与实现被引量：3
- 2004年
- 许多关键业务应用要求系统能够持续稳定地运行以便为用户提供不问断的服务。高可用系统通过配置冗余硬件和故障监控处理软件,可以大幅度地提高系统的可用性。本文设计实现了一个基于Motorola CPX8216和HA-Linux的电信高可用应用软件。实验证明该软件能够自动检测系统控制节点和服务进程的错误、失效,并且当发生这种情况时能够自动将系统控制和服务切换到备用节点。文中最后指出了需要进一步研究的问题。
- 左天军左圆圆陈平
- 关键词：LINUX电信应用高可用性容错设计
- Java动态类加载分析被引量：8
- 2005年
- 动态类加载是Java的一个重要功能,它支持Java在运行时安装程序组件。Java的动态加载具有惰性加载、用户自定义加载策略以及动态名字空间等新特征。本文详细讨论了Java的动态加载机制,研究了动态加载与Java平台安全性之间的关系,分析了针对类加载的典型攻击,讨论了形式化验证的方法和存在的相应问题,最后总结全文并指出进一步研究的方向。
- 左天军朱智林韩俊刚陈平
- 关键词：动态加载JAVA平台用户自定义形式化验证名字空间
- Java虚拟机安全性的形式化分析和验证
- 本文提出了一种描述Java虚拟机语义的形式化模型，该模型包含Java虚拟机安全体系结构中两个最重要的特性：字节码验证和动态类加载。具体地，本文定义了Java虚拟机语言(JVML)的一个子集，给出了该子集的类型系统和操作语...
- 左天军
- 关键词：操作语义定理证明
