尾矿库水量平衡法调洪演算影响因素分析

为研究尾矿库水量平衡法调洪演算相关影响因素对演算结果的影响,采用MATLAB软件进行了不同调洪库容和泄流能力的调洪演算,分析调洪库容和泄流能力对调洪演算结果的影响。计算结果表明,调洪库容和泄流能力的减小对调洪演算结果影响较大,尤其是泄流能力减小对调洪演算结果的影响尤为明显。     

利用Tableau实现网络信息安全MAP职业能力测评

在大数据可视化软件Tableau中自定义算法、做问题模型搭建,利用参数能够键入值的特点和数据做联动,实现根据用户输入或选择的不同内容生成个性化图表和结论,以此实现"1+X"网络信息安全专业MAP职业能力测评.通过爬虫爬取和分析中华英才网、Boss网站超过1000个数据分析职位的需求,确立职业评价模型后再到Tableau做问题模型搭建.职业评价模型、MAP职业能力评价的数据既可以给招聘单位提供用人参考,也可以帮助在校教师调整教学模式、重构教学内容,把技能和素养进行有效融合.     

基于洪水计算与调洪演算评价尾矿库排水系统

尾矿库排水系统是否能够顺利及时的将库内水排出是其发生安全事故的一个主要因素,因此尾矿库排水系统的排水能力对其安全运行尤为重要。以DCG尾矿库增容设计工程为例,对尾矿库不同运行工况下进行洪水计算与调洪演算,并分析了不同运行工况下尾矿库拟定排水系统的排水能力,计算与分析结果表明:在不同运行工况下,尾矿库的排水系统均能将设计频率下入库内洪水安全有序的排出,调洪所需库容小于有效库容,对应工况下出现的最高洪水位低于相应坝顶标高,不会出现洪水漫坝现象,尾矿库拟定的排水系统在不同运行状况下能够满足防洪排水要求。     

一种飞机大气数据仪表检测仪的设计

以某型飞机备用大气数据仪表进行快速、可靠测试的检测仪的研制为背景，详细介绍了大气数据仪表检测仪的设计思路。该检测仪由动压和静压源两部分组成，在操作阀的控制下，向检测系统提供精准的模拟动压和静压，测量显示部分完成对输出动压和静压参数的显示，实现对飞机大气数据仪表的校准。     

利用Pi演算实现对服务交互流程的设计

Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。     

一类链路调度器的统一随机服务曲线研究

随着基于通信网络的业务应用不断的增加,已有的通信网络因所需负载的业务流种类的增加而需改进或提升服务性能。新设计出来的通信网络需为其所负载的业务数据流提供新的Qos服务保证．这要求寻找某种方法对计算机通信网络中的网络构成单元或其组合进行建模与性能保证分析。通信链路调度器网络构成单元对通信网络所能提供的Qos保证影响尤其突出．基于网络演算对这类通信网络构成单元及其组合进行服务保证分析,首先便是寻找这类网络构成单元的紧致性服务曲线。     

面向统计QoS保障的多时间尺度接纳控制算法

采用在线测量的方法计算业务流的统计特性估计其突发水平以便选择合适的业务流模型。为了保障业务流的统计QoS,基于选定的业务流模型,通过有效带宽和有效包络的转换定理,获得多分形和自相似业务流的有效包络。然后,采用统计网络演算获得QoS参数进行接纳控制决策,并且通过选择接纳时机减小接纳控制本身对QoS的影响。仿真结果表明该算法能够准确地选择流模型,满足流模型的统计延迟要求,提高带宽利用率。     

描述变胞机构构态变换的关联矩阵法

基于变胞机构的变拓扑结构特性,提出了3种基本变胞过程:构件数目变化、运动副数目变化和连接方式变化,这些过程的组合使用可实现全部变胞要求.为了完整、简便、清晰地描述构态变换过程,提出运用含有运动副类型的关联矩阵及其逻辑运算对变胞过程进行描述,同时给出了构态变换方程的逻辑表达式和实现变胞过程的4种基本变胞矩阵.该方法能直观...     

基于负载分类的交换式以太网的实时性研究

为了满足交换式以太网中部分数据的实时性,该文应用网络演算对周期性实时数据和突发性实时数据进行分析,同时对受控类负载采取负载分类的方法,赋以不同优先级并采用静态优先级队列的策略进行调度。仿真结果表明,负载分类的策略有效地将强实时负载任务的延迟控制在一定值内,同时大幅度降低了受控类负载的平均时延,特别是降低了较高优先级受控类负载的时延,从而提高了数据的实时性。     

命题μ-演算局部模型检测高效算法设计

命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为d/2,大大提高了算法的计算效率。