一类三种群食物链模型的混沌及其控制

对Hastings和Powell提出的三种群食物链模型在稳定点的性态作了分析,并利用MATLAB进行数值仿真,说明了该系统产生混沌的过程,同时考虑到浮游植物的毒素释放作用,引入毒素释放率近似函数将系统状态控制到有序.     

一类离散双险种风险模型的破产概率

研究了一类离散双险种风险模型,对此模型得到了最终破产概率的一般表达式,Lundberg不等式,及当险种Ⅱ的保费收取随机序列与两险种的个体索赔额均服从指数分布时的有限时间破产概率的上界估计.     

加氢站运营管理云服务平台的设计与实现

针对当前加氢站运营管理存在的人工依赖程度高、管理效率偏低、站内设备运行状态数据的分析与预测困难等不足,研发了数据采集软网关以解决现有站控系统对外接口单一、无法满足多站点并发通信需求的技术难点,设计了加氢站信息对象模型并开发了加氢站运营管理云服务平台,实现高效、快捷的站内设备管理与安全生产监管,保障加氢服务安全、可靠、高...     

汽车用先进高强钢板材断裂性能研究进展

根据汽车碰撞过程的动态应变响应和大变形特点,针对汽车用先进高强钢板材,从断裂失效机理、影响材料断裂行为的关键因素、断裂预测模型、基于复杂承载工况下材料的断裂预测模型建立方法等多方面进行论述。基于应力三轴度、洛德角、应变速率及极限断裂应变于一体的断裂准则模型,相比于传统方法可实现对汽车安全件碰撞性能的高精度预测,具有行业推广应用价值。     

基于SWAN-MIKE21嵌套模型在大连湾某工程区的波浪后报模拟应用

近海工程中,需分析波浪在工程区的传播特点.采用SWAN-MIKE21嵌套模型对某工程海域进行波浪后报模拟分析,同时进行波浪实测.模拟结果与实测平均绝对误差在0.2 m以内.SWAN-MIKE21嵌套模型兼顾了大尺度模型计算速度,小尺度地形网格划分及后处理.后报模拟结果表明,波浪主要影响因素为外海波浪和区域风场.外海波浪...     

直线感应电动机直接推力控制及其仿真

介绍了一种与旋转电机模型类似的单边直线感应电动机动态模型,该模型考虑了边端效应对电机参数及性能的影响,这对于习惯使用经典旋转电动机模型的工程技术人员而言是极其方便的。基于该模型,推导出了直接推力控制的磁链观测单元,并在此基础上建立了直接推力控制直线感应电机传动系统的Matlab/Simulink仿真,进行了初步的应用分析。仿真结果与分析结论初步表明该系统在直线感应电动机控制中的可行性及鲁棒性。     

信息化和信息公开进程中的档案编研工作概说

档案编研工作是档案业务建设中的一个重要组成部分,是档案馆（室）主动、系统和广泛地开展提供利用服务的一种方式。通过开展档案编研工作,提高了档案馆（室）的工作水平,加速了信息传递速度,扩大了信息传递范围,实现了资源共享,保护了档案原件。随着信息时代的到来,档案部门面临计算机、多媒体等技术的挑战,档案工作从传统的档案实体管理方式向全面的档案信息管理和档案信息服务方向转变,已成为一种必然的趋势,档案编研工作也面临新的变革。因此,大力开发档案信息资源,拓宽思路,加大编研工作的力度,已成为新时期档案工作的重要课题。为此,本刊举办《基于信息化和信息公开的档案编研工作》讲座,邀请特约作者、四川大学公共管理学院教授、档案学硕士点负责人、四川省秘书学会教育专业委员会主任黄存勋同志主讲,分6期介绍信息化、信息公开与档案编研工作,档案编研成品的类型,档案编研的基本程序及几种档案编研成品的编制等,希望能对大家提高实际工作水平有所帮助。     

刚性滑板-复位橡胶隔震支座性能研究

为研发一种自复位功能的刚性滑板-复位橡胶隔震支座,对支座刚性承压滑移元件摩擦特性、免承压复位橡胶块剪切特性和整体支座的力学性能进行了试验研究,并采用ABAQUS有限元模型分析了整体支座的力学特性.研究结果表明:刚性承压滑移元件动摩擦系数在0.020～0.027之间、免承压复位橡胶元件的水平等效刚度为129.33 kN/...     

基于自回归模型的船舶姿态运动预报

介绍了自回归时间序列分析法的建模预报原理,并给出了船舶纵摇运动预报应用实例。为检验船舶纵摇运动预报效果,还用船舶纵摇观测数据进行了仿真研究,将真实曲线与预测曲线比较,观察其拟合程度的好坏。实例分析表明,自回归预报算法简单且容易实现,预报精度约为4.6%左右。自回归时间序列分析法亦可用于船舶横摇、首摇等姿态的时间序列预报,该方法在工程中具有很大的实用价值。     

基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...