符号表达式相关论文
传统离散建模的对象通常仅针对变换器自身,而对于控制环路中的调节器及PWM调制器仍然采用s域的模型,这会导致模型的失准,本文对Buc......
<正>数学学科核心素养包括:数学抽象、逻辑推理、数学建模、直观想象、数学运算和数据分析.带着对数学学科核心素养中如何通过数学......
软件安全是计算机安全的首要问题，各种因为软件漏洞引起的安全问题层出不穷，造成了重大的经济损失。软件测试是保障软件安全的有效手......
MATLAB 在高等数学中有很广泛的应用，比如：求极限、导数、微分、积分、函数的极值、泰勒展开式、无穷级数和微分方程求解等。本文研......
假言判断的前后件是变项,它可以是正判断,也可以是负判断,不管是何种类型的判断,在进行逻辑演绎时,都应把它看作一个整体单位,而不......
平面设计是利用平面媒体传达信息为目的的，设计者应准确把握住它应用的符号和影响方法上的互动，保证这些符号恰如其分地表述设计者的......
AutoLISP是一种主要应用在AutoCAD上的二次开发语言,具有强大的图形处理能力。本文通过实例介绍了在对AutoCAD进行二次开发时AutoL......
对测量和地球科学计算中5种常用地球半径进行了全面系统的比较,借助计算机代数系统推导出常用地球半径之间的差异最值点及其对应的......
针对网络通讯软件的Fuzzing技术受限于协议格式，尤其是未知协议难以保证测试效果，提出了基于符号表达式的协议分析方法．将数据包关键......
1 模拟电路设计技术简史及现状利用计算机获得符号网络函数的研究始于60年代初期.但是到了70年代中期,由于当时的符号分析技术只能......
为满足不同情况下大地测量计算研究的要求和需求,对大地测量计算中常用曲率半径进行了全面系统的分析比较,借助Mathematica软件推......
数学公式是数学定理的符号表达式,在数学中处于十分重要的地位。公式掌握的熟练与否,关系到问题是否能顺利解决。由于公式符号语言......
给出了确定无源网络函数及其灵敏度全符号表达式的拓扑方法,该方法是以图论为基础,利用连通图中树与K-树树支导纳乘积之和,方法简......
<正> 本文作者首先提出以“信息学(Informatics)”一词代替“计算机和信息科学”的术语,以表明这是一个形式化的基本理论;进而提......
文章系统阐述了符号模拟方法的基本思想、实现过程，并与数值模拟方法进行了比较。...
针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联......
由于机械臂大部分为不规则、不均匀的连杆构成,所以在计算过程中使用质心法推导,简化了运算过程,降低了运算复杂度,仿真结果表明,......
<正>人教版初中化学在第四和第五单元,连续设置了元素符号、化学式、化学方程式以及利用化学方程式的计算等专业化学知识,是初中化......
<正>代数运算以算术运算作为基础,并且与算术运算共享相同的运算法则,但是算术解题与代数解题也有很大的不同。算术的解题活动是通......
简要介绍了符号迭代法的基本思想；以椭球大地测量学中常见的反问题为例，借助具有强大符号运算功能的计算机代数系统Mathematica，采用......
一、设计思路本课题的教学设计以生活常识的探讨来引入（发现问题）。使课堂处于一种轻松但又能引人思考的气氛中。学生思考后，通过作出......
<正> LISP 是一种专门用来处理表(List)和二叉树(binary trees)的程序设计语言。它于1960年发展起来的,旨在专门用于表格处理,因此......
<正>方程是古典代数的基本内容,也是对学生进行代数思维启蒙的重要材料。本文拟从不同的视角看方程及其教学。一、历史文化视角法......
<正>当人们将研究的重点从有效教学转向高效教学的时候,实际上是对教学的效果性有了更深刻的认识,对教学的效果有了更高的期求,也......
随着互联网的高速发展,各种网络应用软件层出不穷,并被广泛地应用于政府部门、金融、电子商务等领域,这些软件的安全问题将会直接......
LISP语言是专为处理符号表格而设计的一种语言,它在人工智能的许多领域中都得到了广泛的应用,因此逐渐引起人们的注意。 本文扼要......
卫星星历的计算涉及三种近点角,利用近点角间的几何关系,借助计算机代数系统推导出近点角间的差异极值点及对应的差异极值符号表达......
