高速网络协议：问题与答案

作者在本文中指出了吉比特网络的目标及其所带来的问题，采用了提出问题并回答问题（或说明可能答案）的方法来阐明。     

小型雷管生产工艺方法与质量保证措施

小型雷管的结构特点是体积小，装药量少．要保证小型雷管在传爆序列中可靠作用．除设计时已确定的结构形式、装压药条件、管壳材料等关键技术外，生产过程中工艺方法不同对产品质量具有不同的影响．本文从装药、压药、退模三道工序选用不同的工艺方法和设备对小型雷管装配生产质量的影响进行了对比分析，从而找出了最佳的生产工艺方法．并提出了相应的质量保证措施。     

An engineering process for the verification of real-time systems

The complete verification of the timing properties of a large critical system cannot be undertaken in a single step or with a single method. In this paper we present a process that links together a number of techniques and approaches that cover all stages of development from requirements analysis to code testing. The key elements of the process are: a constrained form of timed automata that uses delay and deadline to define temporal behaviour, notions of rely and guarantee to cover temporal dependencies, model checking for design verification, SPARK and Ravenscar restrictions for programming, and scheduling and response time analysis for asserting implementation compliance. Extended examples of the use of the process are given.     

洞庭湖区三口水系生态基流研究

近年来大型水利工程的建设与运行、洞庭湖区三口水系分流量的持续减少和三口水系地区水资源的不合理利用,导致三口水系的生态流量严重不足。基于洞庭湖区三口水系的主要水文站2003—2018年逐日平均流量和1973—2002年逐月平均流量数据,提出一种综合考虑不同水文学法的生态基流确定方法,得出逐月和全年的生态基流推荐值,并分析其保证率和影响因素。结果表明:新江口站、沙道观站、弥陀寺站、康家岗站和管家铺站的全年生态基流分别为208.18、49.44、75.39、2.52、93.94 m³/s,全年生态基流保证率分别为84.83%、37.52%、51.88%、21.84%、42.60%;各水文站汛期的生态基流最高值均出现在7月份,8月份、9月份和6月份依次递减,汛期的生态基流及其保证率明显高于非汛期。研究提出的方法和计算结果可为洞庭湖区三口水系的水生态修复提供参考。     

装备维修技术的发展及表面工程技术的应用

在研究未来维修技术发展特点及趋势的基础上，提出装备维修技术的发展方向和重点是装备状态监测、故障诊断与预测技术，装备修复关键技术，装备维修保障综合化信息化关键技术，装备延寿与再制造技术，装备维修技术创新性研究以及装备现场抢修技术。指出纳米颗粒复合电刷镀技术、高速电弧喷涂技术、纳米固体润滑干膜技术、纳米减摩与原位动态自修复技术等先进而实用的表面工程新技术、新材料、新设备、新工艺，对实现装备维修的快速化、自动化、智能化、信息化将发挥重要作用。     

OFDMA系统中基于多业务QoS保证的机会调度算法

针对正交频分多址接入（OFDMA）系统中多业务资源调度问题,提出了一种基于服务质量（QoS）的最小性能保证的资源机会调度算法。以系统总吞吐量优化为目标,根据业务的QoS参量设计子载波调度参数,并利用图论中最大加权双向匹配问题的求解算法,在各业务间公平分配子载波资源,保证了各业务的QoS要求。仿真结果表明,所提算法在保证各业务的最低速率要求的前提下有效地提高了系统总吞吐量性能。     

华东沿海城市水资源安全概念及未来战略示范研究

开展了水资源及水资源安全的基础理论,沿海城市水资源安全的内涵、外延及其特征等的研究与辨析,综述了水资源安全保障或发展的相关理论、技术手段或方法、政策与对策等方面的研究与实践进展;分析评估了华东沿海城市水资源特性、现状及安全保障问题;以上海水资源安全保障为例,研究提出了新时期及未来华东沿海城市水资源安全保障或发展的战略体系与框架,该框架体系包括目标层、体系层、战略层、战术层和保障层等。     

一种基于区分服务的嵌套队列调度算法

现有队列调度算法只能满足某一种特定类型业务流量的服务质量(QoS)需求,无法广泛支持多种类型业务流量。为此,提出一种基于区分服务的嵌套队列调度算法。将现有队列调度算法通过嵌套模型进行组合,并根据该嵌套模型进行队列调度,从而为多种类型业务流量提供均衡的QoS保障。仿真结果表明,该算法能够满足不同类型业务流量的QoS需求,其各项性能指标所达效果与最优效果的差距较小,并且在多种类型业务流量的支持方面比现有队列调度算法表现更好。     

基础项目融资中政府担保的定价

在基础项目融资中,政府提供的担保有效地促进了基础项目融资的发展.政府提供担保会给政府造成或有债务,需要采用定量方法研究担保,从而为政府的担保提供量化依据.论文在分析担保期权特性基础上,采用期权理论建立了担保的定价模型,并研究了模型在基础项目融资收益担保中的应用.     

巷道组过断层围岩控制技术研究

以深井巷道组过特大型断层（落差大于100m）破碎带为工程背景,采用数值模拟的办法对比分析了正常地层和断层破碎带中巷道组围岩的力学特征以及相互影响;结合断层破碎带围岩的实际情况,建立了＂早预测、短进尺、弱爆破、强支护、紧封闭、勤量测、防突水＂的断层带施工技术和综合保障体系,形成超前物探、超前加固、微震开挖、分步动态支护等综合配套技术,保证了巷道的施工安全。