安徽参与"一带一路"建设的路径

"一带一路"建设是新时期我国根据国际国内经济形势变化做出的重大战略部署,旨在打造中国对外开放的升级版。本文分析了安徽参与"一带一路"建设的现实基础,提出要从交通基础设施互联互通、对外贸易提升、产业合作、科技创新合作、体制机制创新等方面参与"一带一路"建设。     

“一带一路”倡议下海南国际化人才培养模式探析

"一带一路"作为国家顶级合作倡议,除了造福沿线国家和人民之外,也对人才培养提出了更高的要求。在此背景下,海南作为"一带一路"建设的重要节点,亟须培养一批能适应新时代发展的高素质国际化人才。基于现有人才培养模式,本研究从开设国际联合教育实验室、校政企共建资源、涉外人才培养以及海南本土人才培养四方面进行深入探析,为"一带一路"倡议下海南国际化人才培养模式的创新提供建议。     

考虑规模效应的一带一路海运枢纽网络比较研究

为优化海上丝绸之路的海运枢纽网络,推行"一带一路(BR)"的倡议,在传统轴辐式海运网络的基础上分别建立线型、环型枢纽网络结构,并引入规模效应折扣,用遗传算法求解不同海运网络的枢纽选址问题.最后,根据结果对3种不同的网络结构即轴辐式网络和线型、环型枢纽网络的适用性和总成本进行比较分析.结果表明:在"一带一路"倡议提出的背景下,改变单分配轴辐式网络结构,构造线型、环型枢纽网络,能够充分发挥政策引导的规模效应,从而降低总运输成本.进一步证明"一带一路"倡议对于沿线地区发展海运贸易具有积极作用.     

关于多个无挠自由子模DMi的交模与其秩之间的关系公式

主要利用主理想整环D上的分块矩阵,得到一种直接求多个无挠自由子模的交模的理论方法-初等变换法;并在此基础上,给出了多个无挠有限生成子模的秩之间的关系公式.     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

天宫一号与载人飞船组合体能源管理设计与验证

天宫一号和载人飞船构成组合体期间,载人飞船处于停靠状态,由天宫一号负责组合体能源管理.基于供电安全性和传输功率的要求,组合体进行了近端采样反馈电压控制的并网供电架构设计.经过仿真、地面测试和在轨飞行试验验证,表明天宫一号与载人飞船组合体供电并网设计正确,为载人空间站工程各组合体间供电并网设计提供了有力保证.     

基于图形特征的尺寸识别算法

根据工程图尺寸标注、粗糙度标注、形位公差标注的拾取方式,获取其DXF (Drawing Exchange Format)组码信息并挖掘出尺寸标注的关键信息.以此建立尺寸标注与图形结构的关系,提出并实现了一种基于图形特征的尺寸识别算法.通过分析各类标注信息的特点,对其进行分类提取,然后以此为据,对尺寸链进行分层式跟踪识别.根据三等原则建立多视图间联系,以点扩线,实现对一题多解现象的综合识别与纠错.     

纯电动汽车电子加速踏板可靠性控制研究

为确保加速踏板信号的可靠性,采用非接触式霍尔传感器作为电子加速踏板位置传感器,对踏板位置传感器信号提出一种改进的一阶低通滤波算法,进行2次滤波消除信号突变,并结合电动汽车电机驱动特性对加速踏板位置传感器信号进行故障诊断.通过建立踏板信号控制模型仿真,测试了整个控制过程的可靠性.结果表明,踏板信号出现毛刺及过高、过低或同步误差较大等异常时能准确判断出各种故障状态,该控制方式可满足纯电动汽车电子加速踏板可靠性控制的要求.     

认知语言学对多义现象的解释

一词多义是人类语言中存在的普遍现象。本文运用认知语言学范畴化理论对英语多义现象产生的的原因和机制进行分析,认为一个词的多个义项是从一个原型义项演变过来的,而各个义项是在认知的基础上通过隐喻、转喻而生成的。     

电脑商场

正有一个电脑商场,坐落在城市的西郊。商场里安装了许多电脑,商场里的一切物品都由一台电脑总机——中控电脑指挥。商场的大门上方装有一个大电路盘,将商场内各个角落的电脑相连,并将商场的相关数据输入中控电脑,为商场的有序管理提供