课程文献中心 更多>>

关键词： 数据库   并发事务   可串行化   闭包计算   逻辑公式  

摘要： 现代数据库技术支持并发用户,会产生大量的并发事务。为了提高数据库系统的性能和维护系统的一致性,必须保证事务并发执行的可串行化调度。可串行化检测是数据库系统中事务管理的关键技术,一般采用执行图的判定方法。从关系运算的代数方法出发,提出基于事务执行优先关系的闭包运算和由此建立的联合逻辑公式的计算,通过逻辑判定来检验并发事务的可串行化。通过定理证明和实例验证,该方法取得了同执行图判定相同的效果,而且判定更直观,更易于操作实现,不需要建立复杂的图数据结构和在图搜索中检测环是否出现。

关键词： 数学运算   高考   优化   运算法则   数学问题   运算结果   数学学科   运算方法  

摘要： 数学运算是新课标数学学科核心素养之一,数学运算是指在明晰运算对象的基础上,依据运算法则解决数学问题的素养.主要包括:理解运算对象,掌握运算法则,探究运算思路,选择运算方法,设计运算程序,求得运算结果等.数学运算是解决数学问题的基本手段.数学运算是演绎推理,是计算机解决问题的基础.数学运算主要表现为:理解运算对象,掌握运算法则,探究运算思路,求得运算结果.

关键词： 数学运算   提炼方法   素养   基础  

摘要： 下面以2019年全国高考Ⅰ卷(文理科)第22题为例谈谈如何在教学中提升学生的数学运算素养。

关键词： 小学数学   复习课   三个理解  

摘要： 要在复习课中提高课堂效率,需要教师加深对数学、学生、数学教学的理解,注意保底先行,确保教学面向全体学生,注意方法渗透,引导学生走向自主复习,注意控制题量,引导学生关注核心知识。

关键词： 动态网络   重要节点   h指数   H运算   K-shell   邻居节点  

摘要： 传统K-shell网络重要节点识别方法迭代时需网络全局拓扑信息,而且难以应用于动态网络。为解决该问题,提出基于邻域优先异步H运算的动态网络重要节点识别方法。首先,证明该算法收敛于Ks值,其次以各节点的度作为h指数初始值;然后,通过节点h指数排序和邻居节点h指数变化选择更新节点,同时针对动态网络节点的增减数目和最大度,修改h指数适应拓扑变化,直至算法收敛并找到重要节点。仿真实验结果表明,该方法通过邻居节点局部信息且以更高效率找到动态网络的重要节点,收敛时间在静态网络中较随机选择更新节点法与变化邻居选点法分别下降77.4%和28.3%,在网络拓扑变化后分别下降84.3%和38.8%。

关键词： 模拟集成电路设计   模拟IP   设计重用   工艺移植  

摘要： 模拟电路的设计重用是提高模拟与混合信号集成电路设计效率的重要途径.本文提出了一种基于gm/Id参数的不同工艺之间同一结构电路的设计移植方法.方法的基本思想是保持移植前后电路中部分关键MOS管的gm/Id参数,从而使移植后电路的性能也基本保持不变.介绍了基于BSIM等模型的gm/Id匹配及移植电路参数确定方法.给出了一个Miller补偿两级运放及一个折叠共源共栅运放从0.35μm工艺到0.18μm、0.13μm、90nm工艺的移植仿真结果.与现有方法相比,本文方法可以更小的计算代价,得到性能基本相同、但功耗与面积缩减的电路.

关键词： 数学运算   二次根式   教学   路径   优化   素养   运算法则   运算方法  

摘要： 数学运算是在明晰运算对象的基础上,依据运算法则解决数学问题的过程.主要包括:理解运算对象、掌握运算法则、探究运算方向、选择运算方法、设计运算程序、求得运算结果等.笔者就运算方法、运算方向、运算法则、运算结构及运算律这几个方面,紧紧围绕二次根式的运算教学,进行了实践与思考.

关键词： X86   ARM   CPU   指令系统  

摘要： 文章从5个方面比较了教学中普遍采用的两种CPU——X86 CPU和ARM CPU的差异。X86作为典型的CISC计算机汇编语言,指令系统复杂,主要应用于通用计算机中。ARM采用嵌入式系统中广泛采用的RISC结构,多应用于嵌入式领域〉只有采用比较的学习方法才能更好地掌握不同处理器的特点及应用需求,更有利于实际的系统开发.