Mini CSP—R语言的操作语义

详细给出了面对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。     

氮气往复压缩机组及管道振动分析与改造

综合分析了引起往复压缩机组和管道振动过大的原因,对机组及附属装置进行了全面的声学和应力分析,从源头消减了气流脉动幅值,对压缩机组及附属装置提出了切实可行的整改方案,整改后机组运行状况良好,振动烈度从最大98mm/s降到10mm/s,使机组做到了长周期、稳定运行。     

集客专线管理系统研究

集客专线业务在各运营商中都占有很重要的地位,但网管系统尢法对其进行有效的管理,只有用户申诉才会发现故障,信息管理手段落后。本文针对现有集客专线网管系统的问题,提出了集客专线的信息化管理手段,实现集客专线的信息化管理和告警预知等。     

基于二维码的备件管理系统研究

随着城域网规模的不断扩大,给备件管理工作带来了很大困难,为提高备件管理效率和准确性,本文提出了采用二维码标签和开发智能手机APP的方式实现备件的信息化管理。     

一个面向对象的实时分布式语言的指称语义

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．     

目标代码混淆技术综述

逆向工程领域的进步，一方面提升了软件分析能力，另一方面，给软件安全带来更大的挑战。目标代码混淆技术是对软件进行保护的一种有力手段，能够有效地阻挡对软件的恶意分析。文中从逆向分析的角度出发介绍了目标代码混淆技术的分类及几种典型的目标代码混淆技术的实现及混淆效果。     

基于二三层联合检测的城域接入层环网保护机制

由于宽带业务的大带宽特性,传统SDH设备无法提供足够的带宽来实现宽带业务的环路保护。受投资额度所限,城域网偏远接人层局点无法进行波分改造。为提高城域网接入层业务的安全性,提出一种基于二三层联合检测的接入层环网保护机制,实现环上业务的自动切换。     

计算机病毒的计算复杂度问题

计算机病毒对计算机系统及软件造成各种各样的损害,除了一些常见的损害,例如删除数据或程序、修改系统信息以外,它们还造成一些非破坏性的影响,例如消耗大量的存贮及时间。这个问题涉及到计算机病毒的计算复杂度。文章初步探讨计算机病毒的计算复杂度问题,从数学上证明两个基本结论：存在计算机病毒,它的传染过程具有任意大计算复杂度;存在计算机病毒,被感染程序的执行过程具有任意大的计算复杂度。除此而外,文章简要讨论计算机病毒检测过程的计算复杂度问题。     

Linux进程调度算法分析

在Linux系统中,进程作为实体自始至终运行在系统之中,进程使用系统的资源,而进程的调度更是影响系统的性能:进程响应时间尽可能快,后台进程的吞吐量尽可能高,进程"饿死"现象尽可能避免,低优先级和高优先级进程需要尽可能调和.本文从Linux 2.4.0内核角度分析影响进程调度的各个因素和调度处理流程,以及在SMP(Symmetric Multi Processing)的进程调度处理.