课程文献中心 更多>>

关键词： 降雨   潮位   边缘分布函数   Copula函数   条件风险概率  

摘要： 为了预测长江干流高水位顶托时的洪涝风险，基于1965—2021年间江苏省仪邗地区的最大3 d面降雨量及同期潮位数据，首先通过构建边缘分布函数，并采用极大似然估计法精确估计参数；然后选取Archimedean Copula函数、椭圆Copula函数及Plackett Copula函数，并通过图形分析法和均方根误差综合评估和优选；最后构建降雨-潮位联合概率分布模型，并基于模型计算降雨-潮位的条件风险概率。结果表明：所选用的Copula函数能够有效拟合降雨-潮位联合概率分布，并且揭示降雨与潮位之间的关联性，当暴雨重现期为20 a时，相同重现期的潮位超过设计值的概率为3.35%,小于相同重现期的潮位本身发生的概率，说明降雨会对当地的潮位造成影响，两者之间存在相关性。

关键词： 自然数幂和   S   k次幂  

摘要： 设k,n为自然数,用S(n)表示前n个自然数的k次幂的和,即.

关键词： 圆   二次函数   初中数学  

摘要： 在圆与二次函数综合题的教学探究中,可通过引入实例,指导学生解析突破,后续对常规问题的解法进行总结归纳.教师需注重启发学生思维,结合图示引导学生思考,提升学生的解题思维能力.

关键词： 概念形成   本质理解   函数的奇偶性   高阶思维  

摘要： 以“函数的奇偶性”概念教学为例,通过介绍概念产生的历史渊源和发展历程,揭示概念的形成过程,积极调动学生数学思维,呈现数学概念从特殊到一般、从图形直观感知逐步抽象为代数结构关系的生成和同化的过程,达成概念本质理解,进而形成结构化认知,提升学生的高阶思维能力.

关键词： 函数向量化   SIMD   自动向量化  

摘要： 随着处理器技术的不断发展,SIMD(Single Instruction Multiple Data)向量化已经在各个领域得到广泛的应用。然而,过去的研究主要集中在循环和基本块上,而全函数向量化可以更好地利用SIMD指令的优势,从而提高应用程序的性能。文中提出了一种基于指导语句的函数向量化方法。首先,在涉及函数调用的循环上加上一种较为简单的指导语句,即可对循环中涉及函数调用的指令进行向量化。其次,对于被调函数的向量化采用全函数向量化的方式,生成向量化的全函数而不是对其内联。最后,处理循环中的函数调用点,生成向量化的函数调用指令。这种方法可以充分利用SIMD指令的优势,提高应用程序的性能。从ISPC基准测试和SIMD库基准测试中选取了10个基准测试来评估所提方法,实验结果表明该方法与标量相比,平均加速比达到了6.949倍。

关键词： 初中数学   二次函数   线段最值  

摘要： 二次函数常出现在初中数学的压轴题中,其一般形式为y=ax2+bx+c,其中a≠0.对于题目所要求的线段最大值,可以结合二次函数的性质使用,在解题过程中,首先要确定线段的存在范围,再将该范围内的端点代入二次函数解析式中,通过比较和计算等方式确定最大值.利用二次函数性质解决线段最值的这类问题综合性较强,除了要增强自身的计算能力,更需细心认真.

关键词： RISC-V   软硬件协同优化   数学函数   分段多项式拟合   嵌入式系统  

摘要： 在工业控制算法中,数学函数的计算往往需要大量的时钟周期,会影响算法的性能。本文对相关数学函数计算方法进行深入分析和方案对比,设计了一种适合硬件电路实现的基于Remez算法的分段查表多项式拟合方法来计算浮点数学函数,同时实现了相应的硬件电路以RISC-V自定义指令的方式与RISC-V处理器内核紧耦合。实验结果表明,与无自定义扩展指令相比,处理器计算数学函数的延迟减小了93.62%。相较于CORDIC指令集计算数学函数的方法,计算延迟减小了79.83%。这一成果为低成本、高实时性要求的RISC-V架构的嵌入式微处理器提供了新的思路和解决方案。

关键词： 森林资源调查   ArcMap   地形图   接图网   配准  

摘要： 文章以广西森林资源调查1∶1万地形图接图网的制作过程为例,利用ArcMap 10.8的渔网工具、创建自定义地理(坐标)变换工具和投影工具,制作了基于CGCS2000坐标系的1∶1万地形图接图网,以及1954北京坐标系转CGCS2000坐标系和1980西安坐标系转CGCS2000坐标系的1∶1万地形图接图网,旨在通过接图网,在CGCS2000坐标系下,快速、准确、高效地完成不同坐标系下的1∶1万地形图栅格配准。

关键词： 混合访问控制   图模型   上下文感知   区块链  

摘要： 针对现有访问控制模型在高负载情况下性能不足、缺乏对上下文信息的综合考虑等问题,提出一种支持上下文感知的图结构访问控制模型G-RABAC(graph-based role and attribute-based access control)。首先,G-RABAC结合RBAC(role-based access control)与ABAC(attribute-based access control)模型,将基于ABAC的访问控制策略可视化为授权图,定义角色间的关系为特殊的主体属性,实现了属性和上下文信息的高效管理。其次,构建了基于G-RABAC的访问控制框架,并设计了基于上下文的访问控制决策算法和风险感知算法,实现了支持多维上下文感知的访问控制。在此基础上,集成区块链和G-RABAC模型,设计了用户身份合法性验证合约,结合Web3.0技术有效监控和处理用户访问行为,提升了访问控制的安全性和透明性。实验结果表明,G-RABAC模型的访问控制效率显著提升,与所选基线方案相比,访问控制时间开销基本维持在230 ms以内,且能够在多用户并发场景中支持安全且细粒度的访问控制,具备更高的灵活性和扩展性。

关键词： 人智交互   人智协同   人机信任   生成式人工智能   人工智能生成内容  

摘要： [目的/意义]人智信任是实现高质量人智协作的基础与前提,人智协作的实践深化也进一步丰富了人智信任的视角特征。因此,在人智协作情境下解构人智信任的视角特征,对理解、巩固人智信任具有重要意义。[方法/过程]基于ANN和Q方法对人智信任进行维度划分与实证检验。一方面采用Q方法,从近10年来的相关文献对人智信任的形成视角进行定量聚类,对其特征构成进行定性归纳;另一方面采用ANN方法,基于ChatGPT的模拟情景实验对人智信任的视角特征进行实证检验。[结果/结论]Q方法的定量分析发现人智信任具有社会实体和作业工具的双重视角;Q方法的定性分析则进一步解构了两视角下人智信任的具体特征。具体而言,社会实体视角下的人智信任可以从感知、认知、评判维度解析,作业工具视角下的人智信任则由确定性、稳定性和机器能力的特征构成。此外,ANN的实证检验结果表明不同人智信任视角下的多重特征对用户满意度和持续使用倾向具有显著影响,即证明了对人智信任的维度划分具有较好的适用性。