浅谈国际工程承包合同的管理

论述了国际工程与国内工程合同的不同点，并从费用、进度、质量三方面阐述了国际工程承包合同的管理以及在合同执行过程中应该注意的一些事项。     

举高消防车支腿CAD系统的研制

介绍了针对举高消防车支腿设计的ＣＡＤ专用软件系统,该系统以Ｖｉｓｕａｌ Ｃ＋＋为应用软件,将ＭＦＣ与ＡＲＸ编程方式相结合对ＡｕｔｏＣＡＤ进行二次开发,并融进大量专业设计人员的经验,建立知识库,形成一套实用的专用ＣＡＤ系统。     

基于消息顺序图和Petri网的移动应用监测平台建模分析

随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。     

呼叫准入约束下Macro-Femto小区选择GSPN模型研究

随着数据业务快速增长,仅靠宏蜂窝网络已无法满足流量需求;飞蜂窝网络可以有效分流宏蜂窝流量, 近年来 所构成的Macro-Femto架构得到了较广泛的部署。Macro-Femto网络部署的关键问题之一是小区选择,由于飞蜂窝网络频谱资源有限,进行小区选择时仍需考虑呼叫准入控制(Call Admission Control,CAC)。图形化的广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)具有并行性、不确定性和异步特性以及强大的分析复杂系统的功能。针对Macro-Femto网络的呼叫准入约束机制,通过分析呼叫对信道的占用情形,在改进呼叫重审机制的基础上,建立了呼叫准入控制策略GSPN模型。利用建立的GSPN模型,分析了不同呼叫准入控制策略对新呼叫和切换呼叫阻塞率的影响,给出了部分重审机制的呼叫准入控制策略。在分析飞蜂窝的高速服务特性和宏蜂窝的高负载能力的基础上,结合部分重审呼叫准入策略和GSPN方法,提出了基于负载的飞蜂窝优先选择方案(Load-Based Femto-Priority Selection Scheme,LFP)。仿真结果表明,较典型的飞蜂窝优先选择方案,所提出的LFP方案对新呼叫的阻塞率和切换呼叫的掉线率分别降低了2.7%和4.6%。     

LTE-A飞蜂窝网络自相似业务流的端到端时延边界分析

LTE-A是一种4G移动通信标准,可满足移动数据业务对传输带宽的要求。为解决移动通信网络中室内信号质量较差的问题,LTE-A标准采用飞蜂窝技术作为室内无线接入解决方案。针对LTE-A飞蜂窝网络的时延边界问题,运用随机网络演算方法分析业务流的自相似性质和MIMO信道的时变特性,构建了LTE-A飞蜂窝网络中自相似业务流的随机到达与随机服务模型。围绕所构建的到达与服务模型,运用有效带宽理论和chernoff界方法,给出了自相似业务流的端到端时延边界。NS3仿真验证表明,在信道带宽和业务流优先级等指标不同的情形下,所给出的理论端到端时延边界与仿真时延的偏差在2ms以内,较为准确有效,可为确保LTE-A飞蜂窝网络的服务质量提供依据。     

QoS保障的LTE-A飞蜂窝资源块分配与MCS选择研究

针对LTE-A飞蜂窝网络下行链路的资源块(Resource Block,RB)分配与调制编码策略(Modulation-and-Co-ding Scheme,MCS)选择问题,构建了整数线性规划模型,以在保障每个飞蜂窝用户最小吞吐量的需求下,最大化飞蜂窝系统吞吐量。其中,吞吐量是衡量网络性能最重要的服务质量(Quality of Service,QoS)指标之一。鉴于此问题是一个NP难问题,提出了一种ACOGA智能优化算法。该算法结合遗传算法(Genetic Algorithm,GA)与蚁群优化(Ant Colony Optimization,ACO)算法,可实现RB的动态分配与MCS的动态选择,并收敛到一种近优的分配策略。其中,GA算法动态地优化ACO算法中的参数配置,ACO算法利用优化后的参数配置执行RB分配与MCS选择。仿真表明,与采用静态参数配置的ACO算法相比较,ACOGA算法可使飞蜂窝系统的吞吐量提高12%以上,并显著提高了收敛速率。     

入侵检测系统中文件完整性检查的研究

1 引言随着计算机技术特别是网络技术的发展,开放的互连的计算机系统为通信和资源共享提供了便利,但随之而来的是更多的系统安全问题。系统的安全是一个体系,建立在各种安全机制集成的基础上,入侵检测系统(Intrusion DetectionSystem,简称IDS)作为系统安全的一道重要防线,主要是通过多种手段监控系统来发现入侵。文件完整性检查是IDS中的关键部分之一,它通过检查系统关键资源的变化情况来为入侵的发现提供依据。然而目前这方面软件的检查方式并不     

薄壁钢管杆件结构几何和材料非线性性能研究

本文根据Von Misses屈服准则及Prandtl-Reuss增量关系推导出了理想弹塑性材料、薄壁钢管杆件单元的弹性及弹塑性增量本构关系。采用根据上述本构关系和有限分割有限元法编制的程序,本文首先对国外近来发表的一些实验结果及理论计算结果进行了分析比较,其次对一个具有42个杆件的穹顶网壳进行了非线性全过程分析。     

5G中多接入边缘计算的联合部署架构设计

提出了多接入边缘计算（MEC）在接入侧和核心网中的联合部署架构.利用容器和微服务模式设计MEC的敏捷部署方案,通过修改基站的数据面协议栈,完成MEC流量高效地分辨和调度,并基于智能域名解析,实现接入网、核心网中MEC业务的智能联合调度.实验测试结果表明,该架构能够根据业务特性合理地分配分布式的MEC处理节点,降低了完成任务的时延,提升了可扩展性.相较于独立部署架构和传统的业务分配方式,本架构在第5代移动通信系统（5G）的网络低时延场景下具有更好的性能.