H.264/SVC的RTP封装算法及其应用

可伸缩视频编码（Scalable Video Coding,SVC）一般采用实时传输协议（Real-time Transport Protocol,RTP）保证视频数据流的实时传输和质量监测。在分析SVC码流结构和RTP 协议的基础上实现了H.264/SVC视频数据的RTP 封装算法,提出基本层与增强层分离的方法用于模拟可伸缩视频流在模拟测试环境中的传输,提出基于RTP 封装的差错隐藏方法解决质量增强层数据丢失问题。实验结果证明了封装算法的有效性、标准兼容性和可扩展性。     

矿业物资采购管理信息系统设计研究

矿业企业的生产物资种类繁多,对日常单据处理的及时性和准确性要求高。因此,开发针对矿业企业的物资采购管理系统尤为重要。给出矿业物资采购管理信息系统设计的目标、主要功能模块以及业务流程。     

以负载均衡和数据缓存为例谈操作系统启发式教学

针对在传统操作系统教学中存在灌输知识的状况和计算机多处理器并发带来的影响,从多核环境下的简单问题出发,在分析操作系统多核环境下进程调度的基础上,提出如何完美实现负载均衡机制。通过增加Cache数量和容量增加数据命中率,提升系统性能,结合学生学习新课程知识的实际,以启发式案例教学的方式系统分析操作系统在多核环境下的进程调度问题,使学生从一个简单问题入手逐渐掌握较深入的知识。     

基于企业信息系统开发的模式技术研究

在企业信息化建设过程中,仍存在着软件开发速度慢、质量难以保证的问题。模式技术的出现,提升了软件的可重用性,提高了软件产品的开发速度和生产效率,同时也提高了软件产品的质量,已经成为现代企业级信息系统开发中广泛应用的技术以及学术界研究的热点方向。     

关于数控机床机座的铸造模式的探讨

文章主要阐述了数控机床利用消失模铸造工艺生产,中压机床机座铸件的生产过程,对冲压机床机座铸件,从浇注位置的选择及浇注工艺的设计,模样组合,涂料涂挂,装箱浇注和过程控制等方面进行了深入探索和实践。     

基于进程边界的类切片方法

程序切片技术是辅助程序理解的一种重要手段,其核心思想是分而治之。借鉴程序切片核心思想,引入了类切片的概念,并给出了基于进程边界的类切片生成方法,并对该方法进行了系统的实验研究。     

运维管理平台工作流引擎设计

论述在运维管理平台设计中针对业务发展对系统功能的不断要求引入工作流引擎.实现方便地创建公文流程,不需要编写任何代码;方便地构建业务流程,并能无缝融合到现有的IT服务流程中;方便流程配置、管理,通过图形化工具来确定流程的定义功能,方便流程的变更.     

Ready to preorder: The case of weak process semantics

Recently, Aceto, Fokkink and Ingólfsdóttir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time-branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence—its kernel. Moreover, if the former axiomatisation is ω-complete, so is the latter. Subsequently, de Frutos Escrig, Gregorio Rodríguez and Palomino generalised this result, so that the algorithm is applicable to any preorder at least as coarse as the ready simulation preorder, provided it is initials preserving. The current paper shows that the same algorithm applies equally well to weak semantics: the proviso of initials preserving can be replaced by other conditions, such as weak initials preserving and satisfying the second τ-law. This makes it applicable to all 87 preorders surveyed in “the linear time-branching time spectrum II” that are at least as coarse as the ready simulation preorder. We also extend the scope of the algorithm to infinite processes, by adding recursion constants. As an application of both extensions, we provide a ground-complete axiomatisation of the CSP failures equivalence for BCCS processes with divergence.     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Evolving BlenX programs to simulate the evolution of biological networks

We present a formal approach to study the evolution of biological networks. We use the Beta Workbench and its BlenX language to model and simulate networks in connection with evolutionary algorithms. Mutations are done on the structure of BlenX programs and networks are selected at any generation by using a fitness function. The feasibility of the approach is illustrated with a simple example.