关于复数教学的几点思考

随着实数向复数的扩张,数的概念、几何意义及运算都变得更加抽象.如何加强感性认识,关键在于如何实现从实数到复数的认识迁移和提升.通过复数概念及运算中几个知识点分析了复数与实数的联系与区别,加深对复数概念的理解,促进复数的运算和解题能力的提高.     

扩展的G-KRA抽象模型

将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程, 根据物理世界W中对象所属域的不同生成多重域抽象模型, 并讨论了两种情况下域抽象模型Wi和Wj间的域关系： W的多重域模型W_i和W_j中的构成对象交集为空（即W_i和W_j中不存在有跨域行为的实体）; W的多重域模型W_i和W_j中的对象实体存在跨域行为. 扩展后的框架R丰富了物理世界W的模型表示, 使对象感知由平面感知变为立体感知, 应用多种领域知识生成相互关联的不同域模型, 增强了模型的推理能力.     

抽象算子在微分运算中的应用

根据文献［１］,微分算子是一种基本的较简单抽象算子,本文阐明了微分运算法则也可以用算子方法建立起来,特别是在涉及高阶微商的复杂微分运算方面,抽象算子方法以极高的效率建立了丰富的定理,而无需传统的微分学依赖于归纳法。     

关于某些抽象函数原型问题的研究

抽象函数问题既能考查学生对函数概念和性质的理解,又能考查学生的推理和论证能力.利用极限的相关理论和实数理论,给出了4个抽象函数的原型问题的证明.     

实数理论再议

极限是分析中基础和核心概念，由于有理数域对极限的不完备性，给出了实数的定义，讨论了实数的代数运算，大小关系和实数序列的收敛问题。     

抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

基于FPGA的快速浮点除法器IP核的实现

利用Altera的Quartus II软件开发平台在FPGA上实现了快速浮点除法器IP核的设计.该IP核的算法采用存储运算过程中的一些乘积项,有效地减少了除法运算过程中的移位操作,提高了浮点除法的运算速度及算法的效率.同时,基于FPGA的浮点除法器IP核具有很好的可移植性和复用性,适合应用到各种嵌入式和通用处理器中,从而提高复杂数字系统的设计效率,具有广泛的推广应用价值.     

复数域的有限扩张

本文论述了复数域是由实数域出发,满足通常运算算律,且使方程 ax=b(a≠0)有唯一解的唯一数域.     

ARM11 MPCore性能分析与优化研究

ARM11 MPCore是最新的嵌入式多核处理器,传统的嵌入式软件在该平台上不能发挥该处理器的所有性能.针对这个问题,对ARM11 MPCore的基本运算能力与ARM9处理器进行了对比分析,提出了使用硬件向量浮点单元及并行计算的软件优化方法,实验结果表明优化后的MPCore浮点处理能力是ARM9系列处理器的浮点处理能力的10倍左右.对于多核架构,可以采用并行计算模型对软件进行优化,试验结果表明,对整数运算采用OpenMP并行计算模型优化后,实验程序的效率提高3.8倍左右.对于嵌入式多媒体处理,提出了使用硬件向量浮点单元对DCT运算进行优化,对视频解码、音频解码以及音视频同步显示采用并行处理的方法进行优化.实验结果表明,这两种优化方法能提高软件在ARM11 MPCore平台上的运行效率,提高了系统的整体性能.     

巧用欧拉公式解问题

欧拉公式将三角函数运算转化成复数域中的指数运算,在各类结合三角函数及指数函数形式运算中能起到很好的简化作用。而在涉及微积分运算时,与实变复值函数相结合更凸显其优越性,体现了实数域与复数域的和谐统一。     

试论文前摘要的编写规范

文前摘要是学术论文的有机组成部分,它与提要有很大区别。摘要一般分为报道性、指示性和报道——指示性三种类型,学术期刊文前摘要大多采用报道性摘要。文前摘要的内容结构分为目的、方法、结果、结论、其它五项,其写作的基本要求是客观、简洁、完整、规范。     

关于音乐抽象本质的若干思考

根据音乐美学、艺术社会学、心理学、声学等学科知识,通过对中外理论的分析,可知“音乐的本质是抽象”的.     

论科技论文的中外文摘要写作

阐述了论文摘要写作的重要性,指出了论文摘要写作中存在的问题,强调说明论文摘要的四要素,介绍了外文摘要的写作方法。     

关于在Banach空间中取值的绝对连续函数

讨论了取值于Ｂａｎａｃｈ空间中的弱（强）囿变强弱（强）绝对连续函数的某些性质，并把某些结论用于经典实分析。     

基于交换机的接口软件抽象设计

介绍了交换机的接口以及如何划分交换机接口。同时,在交换机接口共性的基础上,提出了接口抽象的软件设计思想,并实现了接口软件的通用性设计。     

抽象素数定理

研究了抽象Zeta-函数ζG(z)的非零区域,作为其应用给出了抽象素数定理的一个渐近公式。     

基于颜色、形状的情感图像检索

图像所含的内容丰富多彩,是用物理特征无法完整表达的.目前常用的图像检索技术是基于内容的图像检索,检索出的图像在某些程度上无法满足用户的需求.提出了一种基于颜色和形状的情感图像检索方法,讨论了图像的物理特征--颜色和形状的提取与表达.分析不同颜色、特征所激起人的不同情感的反应,建立情感库,用模糊神经网络建立底层物理特征到高层语义特征的联系,实现基于情感语义的图像检索,实现真正的以人为主导的信息检索,提高人机交互的和谐性和检索效率.     

如何写好学报论文的摘要

本文研究了高校学报论文摘要的构成和写作规范,分析了英文摘要的语法特点,阐明了写好学报论文摘要应注意的问题,可为学报论文作者撰写论文时所参考。     

谈英汉翻译中的抽象具体化

中西方文化和思维差异决定了英语和汉语两种语言的不同。英语语言使用大量的抽象名词和抽象表达来描述客观事物和现象的本质和特点。本文主要讨论了在英语翻译中如何把抽象名词和抽象表达形象化、具体化。     

撰写科技英文摘要应当注意的几个问题

指出撰写科技论英要时经常出现的一些问题，同时讨论了撰写科技论英要的有关标准。