为什么我们会算得慢?

从所周知,运算求解能力是高中数学新课标中所要求的基本数学思维能力之一.心理学家梅伊尔指出:一个人不会解一道题,不是因为他不能找到一种解法,而在于他习惯的运算方法妨碍了它去想出恰当的解题方法.由此可见,在破解一个数学问题时,除了要在思维上寻觅适当的方法外,     

透析消参求轨迹的路径

求已知两个曲线的交点的轨迹是解析几何中常见的轨迹问题,这类问题难点往往在消参,不同的设参、不同的认识角度消参,繁简程度截然不同,笔者通过以下一题多法消参揭示消参的路径及注意点,以飨读者.题目已知两条直线l1：x＋my＋6=0与     

处理参数问题的思维路径

参数问题广泛地存在于高中数学的各类问题中，也是近几年来高考重点考查的热点问题之一．本文将介绍处理参数问题的几种主要方法．     

改进蚁群算法优化周期性车辆路径问题

周期性车辆路径问题(PVRP)是标准车辆路径问题(VRP)的扩展,PVRP将配送期由单一配送期延伸到T(T＞1)期,因此,PVRP需要优化每个配送期的顾客组合和配送路径。由于PVRP是一个内嵌VRP的问题,其比标准VRP问题更加复杂,难于求解。本文采用蚁群算法对PVRP进行求解,并提出采用两种改进措施——多维信息素的运用和基于扫描法的局部优化方法来提高算法的性能。最后,通过9个经典PVRP算例对该算法进行了数据实验,结果表明本文提出的改进蚁群算法求解PVRP问题是可行有效的,同时也表明两种改进措施可以显著提高算法的性能。     

基于无线Mesh网络的一种信道分配算法及路由协议

提出了在多信道环境下的无线Mesh网络中的一种混合型路由协议TOIRP(tree-based and on-de-mand integrated routing protocol)以及一种分布式的信道分配算法CLBCA(channel load based channel assign-ment).TOIRP协议采用HWMP(hybrid wireless mesh protocol)所提出的混合路由技术,将基于树的路由与传统的AODV(ad hoc on-demand distance vector)路由相结合,减少路由发现的时延,同时采用了一种新的路由判据CETTI(cumulative expected transmission time with interference).该路由判据充分考虑多信道的特性,设计了一种量化通信干扰的方法,将干扰分为外部数据流对路径的干扰以及路径内部数据流的干扰两个方面,并综合考虑了跳数、时延等因素,提高了网络的吞吐量.信道分配算法分为收发器与邻居节点绑定和收发器与信道绑定两个部分,将信道的负载作为选择信道的标准,避免了多信道中常见的信道依赖所造成的影响,并且提高了信道的利用率.模拟结果表明,采用新的路由判据后,网络的吞吐量最优情况下得到提升.     

一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

二硫化钴多孔风叶结构助力肼辅助高效电解产氢

以泡沫镍(NF)为基底,采用一步水热法制备了主晶相为CoS₂、夹杂少量NiO相、具有三维多孔风叶结构的CoS₂/NF电极材料。当溶液中钴硫物质的量之比为1∶5时,在140℃下保温18 h,获得了由10 nm厚度的纳米片构成的三维风叶结构的晶态CoS₂/NF电催化剂。CoS₂/NF在肼氧化及析氢反应中均表现出优异的催化性能,在水合肼碱性介质中,获得-10 mA·cm^-2的析氢电流密度时,需要的过电势仅为83 mV,获得50 mA·cm^-2的氧化电流密度时,需要的肼氧化电位仅为51 mV(vs RHE);在水合肼辅助电解水双功能电解槽中,获得100 mA·cm^-2的电流密度时,需要的分解槽压仅为0.550 V,远低于其在同条件下全水分解的2.075 V,大幅减小了电能消耗,极大地提高了电解水产氢效率。无论在三电极体系还是双电极体系,CoS₂/NF均表现出优异的长效稳定性及耐用性。分析认为,电极表面多孔风叶结构的形成,...     

砂土双屈服面的数值建模

通过研究中密砂在等p路径和增p路径下的三轴试验曲线,发现其应力-塑性应变关系曲线在常规应力范围内具有较好的量纲一化特性。选择合适的指标对砂土三轴试验数据进行量纲一化,以量纲一的试验数据为训练样本进行神经网络训练,得到了两种砂土比较理想的双屈服面神经网络模型。研究结果表明两种路径下屈服面是不同的,该方法能反映应力路径的相关性。     

CO2在Cu表面还原成碳氢化合物的DFT计算研究

应用密度泛函理论（DFT）反应能计算及最小能量路径分析研究了CO2在气相和电化学环境中于Cu(111)单晶表面的还原过程。气相中,CO2还原为碳氢化合物的反应路径可能为：CO2(g) + H* → COOH* → (CO +OH)* → CHO*;CHO + H* → CH2O* → (CH2 + O)*;CH2* + 2H* → CH4或2CH2* → C2H4。整个反应由CO2(g) + H* → COOH* → (CO +OH)*,(CO + H)* → CHO*和CH2O* → (CH2 + O)*等几个步骤联合控制。在-0.50V (vs RHE) 以正的电势下,CO2在Cu(111)表面电化学还原主要形成HCOO-和CO吸附物;随着电势逐渐负移,CO2加氢解离形成CO的反应越来越容易,CO成为主要产物;随电势进一步变负,形成碳氢化合物的趋势逐渐变强。与CO2的气相化学还原不同的是,电化学环境下CO质子化形成的CHO中间体倾向于解离形成CH,而在气相中CHO中间体则倾向于进一步质子化形成CH2O中间体。     

单架飞机受干扰后飞机路径恢复多项式算法研究

飞机路径恢复是航班调整中保证航班能够运行的必要条件之一,而传统目标下的飞机路径优化问题是NP-hard的。本文针对单架飞机受到干扰后,基于最小最大目标的同机型飞机路径最优化问题,给出了一个新的多项式时间算法。首先基于航空公司调整航班的常用原则,提出把最大航班延误时间最小化作为问题的目标。然后根据问题的一些特点和目标形式,设计出解构造算法,得到飞机路径恢复问题的最优解,并分析出算法的复杂度为O(n²)。相对于一般的最小最大二分图匹配算法(复杂度为O(n³log(n))),该算法具有较小的时间复杂度。最后用实例验证了解构造算法的有效性。该研究结果将为航空公司减少航班延误提供理论和方法支持。