左半正则B-拟-Ehresmann半群

良B-拟-Ehresmann半群是幂等元子带B满足一些条件的半群,其中B被称为投射带。纯整半群、型W半群、纯整超rpp半群和投射纯整幺半群都是良B-拟-Ehresmann半群。本文刻画了投射带是左半正则带的良B-拟-Ehresmann半群。     

故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

Performance Analyses of Production Inventory Systems Considering Service Time and Product Returns of Online Shopping

This paper considers a production inventory system with service time and product returns,dependent on the characteristics of online shopping behaviors. The customers arrive according to a Poisson process, in which the arriving customer requires an item in the inventory, as well as a server service that the service time is exponentially distributed. Moreover, there is one production facility to produce items according to(s, S) policy, and the production time also follows an exponential distribution. In the beginning, the stationary joint distribution is obtained in the product form for the queue length and the on-hand inventory level. Additionally, the resulting distribution is applied to derive some performance measures, which can be adopted to numerically calculate the optimal(s, S)policy. Finally, numerical analyses are processed to investigate the effects of some system parameters on the performance measures. The numerical results clearly indicate that the product return rate has a significantly monotonic effect on the optimal policy and optimal cost.     

有界复形的 Modi ed Ringel Hall 代数的结构常数

设k是有限域.A是k上的满足一定有限性条件的本质小的遗传阿贝尔范畴.本文研究了有界复形范畴的modified Ringel—Hall 代数MH(A)中零微分复形乘积的结构常数，给出了它们与A的Ringel-Hall 代数H(A)的Hall数之间的关系.     

基于CAN-FD总线的车载网络安全通信

以数据加密和入侵检测为基础,建立了一种基于灵活数据速率控制器局域网络的汽车通信网络信息安全方法.提出了包括安全传输、安全启动、时间同步与密钥分配的汽车网络安全通信协议,并通过建立网络仿真模型验证安全协议的有效性.搭建了基于硬件实例的安全通信节点,测试硬件节点的实际通信性能和加密性能.最后针对汽车通信网络潜在的攻击方式,以Dolev-Yao入侵模型攻击和拒绝服务攻击为测试方法,对安全通信模型进行了安全性攻击测试和入侵检测功能验证,确定了网络入侵检测的判定指标.测试结果验证了该方法的安全性和可用性.     

驻波演示实验研究

详析驻波演示实验,分析驻波稳定出现时,因音叉臂的振幅(即入射波源的振幅)恒为A0,故弦线长必为:L=Nλ/2±λ/12=(n=1,2,3,…),以校正一些资料中取L=nλ/2(n=1,2,3,…)之误.     

置换杨图的组合性质及其应用

置换杨图本质上是A.Postnikov在研究完全非负Grassnann元胞及其元胞分解时所定义的]-图(]-diagram)的一个子集.它的发现引起许多组合学者的关注和研究,其中L.K.Williams和E.Steingrí-sson是最先关注这类组合结构的,他们在研究它的组合性质时发现了它与置换群之间存在着一一对应关系Ψ.从置换杨图本身的结构出发按照行递归的方式给出了Ψ是一一映射的一个新方法,利用这种方法可简单地将任意的一个排列π∈Sn分解成若干圈的乘积形式,并且每个圈中的元素都是按递减顺序排列.     

基于效能仿真的舰艇综合防御鱼雷作战决策优化

采用深弹拦截与机动规避综合防御声自导鱼雷,是舰艇水下防御的一种新型作战样式。为了给装备指控自动化和训战法决策提供参考,采用蒙特卡罗方法对该作战过程进行了数字仿真,得到了规避概率、拦截概率和生存概率等3个作战效能指标的估计值。通过效能分析提出舰艇如何机动以获取有利深弹发射态势这一问题,分析影响因素及约束条件并建立了决策优化模型;采用遗传算法并以示例形式求解优化模型,由散点拟合得到了舰艇机动路线。针对不同鱼雷报警位置条件下的防御态势,分析比较了舰艇机动对舰艇生存概率的优化效果。     

基于等离子体的GTS模型气动减阻研究

为探究等离子体对类厢式货车的气动减阻效果,以GTS模型为研究对象,采用数值仿真的方法,分别研究了当来流风速为20 m/s时,3个位置处等离子体布置角度、激励电压对GTS模型的气动减阻效果并分析其减阻机理,然后进行组合工况的分析.研究结果表明,等离子体是通过诱导近壁面气体定向流动使流动分离点后移、推迟流动的分离,从而减小GTS模型前后压差阻力、降低整车气动阻力系数,等离子体布置的位置在流动分离点后方并且靠近流动分离点.单个位置激励时,等离子体布置在GTS尾部两侧时气动减阻效果最好,最大减阻率为5.09%;组合工况时最大减阻率可达6.01%.当来流风速一定时,等离子体存在最佳布置角度与激励电压.     

乡村振兴背景下农业特色小镇发展的综合评价——以东北三省13个农业特色小镇为例

通过收集、筛选和理性分析综合性评价指标，构建了包括经济发展、社会进步、生态环境、城乡统筹和现代农业等5个方面的农业特色小镇发展综合评价指标体系，并采用TOPSIS法对东北三省13个全国第一、二批农业特色小镇的发展现状进行了实证研究.研究结果表明，农业现代化与可持续发展的步调不一致；“四个现代化”之间未能达到协调发展；高城镇化率未能加快城乡一体化的进程.针对这些问题，提出稳固特色经济发展、强化区域间资源互动、改造传统农业和优化农业现代化发展环境等建议.