形式计算的计算量与信息熵的关系以及在算法优化中的应用

通过对计算建立形式计算的模型,在形式计算模型下研究信息量与形式计算输入/输出信息熵[1]的关系。并利用计算量与信息熵的关联结论,优化在JPG编码算法[3]中的核心算法DCT。

Q460高强钢简支梁整体稳定极限弯矩计算式研究

为揭示《钢结构设计标准》(GB 50017—2017)、《高强钢结构设计标准》(JGJ/T 483—2020)中Q460高强钢梁整体稳定设计方法的差异,提出精确的Q460高强钢梁整体稳定极限弯矩计算式,通过梳理现有文献,提出了钢梁整体稳定极限弯矩的指数形式的一般计算式;根据GB 50017—2017的规定,提出了其稳定系数的统一计算式及对应的“稳定系数-正则化长细比”曲线表达式;提出了理想受弯构件的“稳定系数-正则化长细比”曲线表达式。对比了GB 50017—2017和JGJ/T 483—2020的“稳定系数-正则化长细比”曲线,归纳了其特点,并分析了现有钢梁整体稳定的指数形式极限弯矩计算式存在的问题。基于GB 50017—2017的基准弯矩,提出了Q460高强钢梁整体稳定极限弯矩的指数形式计算式,解决了JGJ/T 483—2020无法直接确定正则化长细比的问题,并采用14个双轴对称、单轴对称工字形截面简支梁的试验数据验证了本文建议公式的精度。研究表明,对于Q460/Q460GJ高强钢简支梁整体稳定的极限弯矩,本文建议的指数形式计算式较现行标准GB 50017—2017、JGJ/T 483—2020中的计算式具有更高的精度。

基于移动Agent的移动计算形式理论分析

移动计算是在网络技术发展中涌现出的一种新计算范型。文章旨在从形式抽象的角度来认识基于移动Agent技术的移动计算的本质特点。文中分析了移动计算平台的综合特征 ,重点介绍了基于移动Agent技术的Seal演算模型。分析了位置 ,移动等概念在模型中的刻画 ,以及各自的交互 。

促进各种计算形式的有机融合

数学课程标准把运算作为必须具备的数学应用技能之一，提出要重视口算，加强估算，删减大数目笔算，引进计算器计算。口算、估算、笔算、计算器计算作为计算的四种形式，其教育价值不言而喻。但在研究其教学策略的同时，却很少涉及它们之间的关系，殊不知它们之间是相互联系着的，如果有机融合，能相互影响、

动态项重写计算

1.引言 项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计算及图灵机相同的计算能力.正是它的简洁性及计算能力使它受到广泛的研究和应用:项重写系统为抽象数据类型提供类型、为函数型语言提供操作语义、为定理自动证明提供推理工具.对于项重写系统本身也有大量的研究:如合流性、终止性、等价性等[1-5].

云计算研究综述

介绍了云计算产生的背景和云计算的定义,辨析了云计算与其他计算形式的区别,阐述了云计算的特点及其体系结构,展望了云计算的发展前景。

桥梁下部结构选型及设计形式

针对目前桥梁下部结构选型及设计形式确定过程存在的问题,以实际工程项目为例,分析桥梁下部结构各类型的特点与适用性,并提出了结构形式稳定性计算的方法策略,其目的是为相关建设者提供一些理论依据。桥梁下部结构设计只有与工程项目的实际情况进行充分结合,才能使确定的结构型式具有适用性。

“互联网+”时代下计算机创新创业人才培养模式探索

要想提高高等学校毕业生就业率,就必须要加强高校创业教育改革,抓住"互联网+"时代的创新机制的有力机会,根据计算机专业的特点,建立"互联网+"时代的创新型计算机人才培养方案,如此可以增强大学生的创新能力与创业兴趣。

一种基于虚拟组织的网格安全协议形式化验证方法

虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础。对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂。通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协议形式化验证方法,实现了网格环境下多用户协同计算安全协议的分析与证明。

计算机辅助语言教学的优势

计算机辅助语言教学主要采取多媒体及网络教学两种形式,为外语教学提供了崭新的教学手段和方法 ,与传统教学法相比,它具有无可比拟的优势,如:突出了学习者的主体地位;优化了语言学习环境;突破了语言学习的时空局限等。

高层建筑地下室结构设计中的若干问题

简要介绍了高层建筑大底盘地下室结构设计中常见的一些问题,从地下室的抗浮问题、不均匀沉降问题、结构超长问题、基础形式和计算方法以及人防设计五个方面展开叙述,针对以上问题提出了一些解决方案,并辅以一定的经济分析比较。

会计账户构造与常量数学的契合和对常量数学的超越——兼论第一部会计著作出现在数学著作中的缘由

文章运用现代语言学方法,从语言学角度分析了13～15世纪时期会计账户的构造。定义会计账户是一个人工语言符号。以此为基础,将会计账户人工语言符号与常量数学作对比分析,得出了会计账户人工语言符号与常量数学契合并对常量数学超越的结论,进而从逻辑上解释了会计史上第一部会计著作出现在数学著作中的缘由。

改进统计平均数教学方法

改进统计平均数教学方法厦门大学杨灿一、问题的提出在“统计学原理”的教材编写和实际讲授中，笔者认为，应该适当体现以下教学思想：（１）平均数是统计数列的重要特征；（２）各种常用的平均数具有统一的数学形式和相对确定的数量关系；（３）平均数作为统计指标具有特...

坡面土壤水蚀建模方法比较

首先阐述了坡面土壤水蚀建模的必要性。考虑到原有水蚀模型类型的不足 ,对当前水蚀模型按解题方法重新归为形式逻辑计算模型及辩证逻辑计算模型两类。其中 ,形式逻辑计算模型又分为经验模型、半概念半经验模型、半过程半经验模型以及理论模型 4类。

四算融合渗透 彰显数运算的育人价值

小学阶段的数运算内容主要包括加、减、乘、除的意义认识和整数、小数、分数的四则运算,每一种运算又包含着口算、笔算、估算和简算这四种计算形式。四算之间具有密切相连的内在关系,教学中不能将这四者的关系进行人为的割裂。数运算的教学要以有机融合、综合渗透的方式进行。一、口算和笔算融合渗透,

电力智能单元传输规约安全性分析模型研究

电力智能单元传输规约的安全性是保障智能电网中智能通信实现高速、可靠、安全的基础。为了构建适用于电力智能单元传输规约的安全性分析模型,概述了主流的协议安全性分析理论与方法。基于符号模型的形式化方法包括逻辑推理、模型检验、定理证明;基于计算模型的计算方法包括RO模型、BCP模型、CK模型以及UC模型;基于计算可靠性理论的方法包括映射方法、模型方法、形式化方法的计算可靠性以及计算方法的直接形式化。提出了面向智能电网领域的电力智能单元传输规约安全性分析模型,为进一步的电力智能化单元传输规约的安全性分析奠定了基础。

调和平均数是不是独立的平均数——兼与周雄鹏同志商榷

调和平均数是不是一种独立的平均数?我认为,作为一种数学的平均数,调和平均数是一种独立的平均数;作为统计学上的平均数,调和平均数不是一种独立的平均数,而是算术平均数的变形。 从数学的角度讲,算术平均数和调和平均数是两种独立的平均数。因为: 1.两种平均数的计算公式不同。 设x为变量值,w为同一数值出现的次数,则:

质量平均数

一、单元质量平均数的计算质量平均数,从表面上看好象这种提法是多余的,那一个平均数不是质与量的统一体,统计指标就是质与量的统一体,指标是概念化的数值,这是众人皆知的事实,但是,正是由于这一事实的存在,因此当你在统计数量时,往往会无意中忽略质的特征,或者全然不加考虑。我们知道统计是客观现象和过程的数量描述(记述),在进行数量描述的过程中,要大量采用数学的方法(加、减、乘、除)来完成这一任务,正是由于这种关系。