用学术研究推动《高等数学》教学课题的开展 被引量：11

1

作者 赵临龙 杜贵春 +2 位作者 王昭海 汪义瑞 谢克藻 《数学教育学报》 北大核心 2008年第4期77-78,共2页

《高等数学》教材建设中应考虑理论的时代性，强调数学的价值性，突出数学的应用性．在学生创新能力培养方面应倡导学习与研究相结合的学习方法，引导大学生课余时间开展研究活动，通过竞技活动提高大学生的创新能力．

关键词 精品课程 高等数学 教材建设 教学研究

在线阅读 下载PDF 职称材料

Ekeland变分原理导出的向量均衡系统解的存在性 被引量：1

2

作者 成波 刘三阳 《工程数学学报》 CSCD 北大核心 2010年第3期562-566,共5页

本文研究了定义在度量空间上的向量均衡系统解的存在性问题。利用非线性标量化方法,将向量优化问题转化为数量优化问题,得到了Ekeland变分原理的一个向量形式推广。用向量形式Ekeland变分原理,证明了向量均衡系统解的存在性定理。结果表... 本文研究了定义在度量空间上的向量均衡系统解的存在性问题。利用非线性标量化方法,将向量优化问题转化为数量优化问题,得到了Ekeland变分原理的一个向量形式推广。用向量形式Ekeland变分原理,证明了向量均衡系统解的存在性定理。结果表明,如果函数满足向量形式Ekeland变分原理和上半连续性条件,那么向量均衡系统的解集非空。 展开更多

关键词 向量均衡 向量均衡系统 EKELAND变分原理 近似解

在线阅读 下载PDF 职称材料

一类高阶变系数线性微分方程的解法 被引量：2

3

作者 王彦海 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第S1期53-55,共3页

利用高阶变系数线性微分方程的不变量组，通过线性变换和求特殊类型的Ｒｉｃｃａｔｉ方程的一个特解。

关键词 高阶变系数线性方程 不变量组 解法

在线阅读 下载PDF 职称材料

一个新的混沌系统的同步研究 被引量：4

4

作者 杨高翔 《四川兵工学报》 CAS 2009年第5期63-65,共3页

主要应用变量反馈同步法对一个新的混沌系统的同步进行设计和研究.在线性反馈控制中,分析了三个状态变量的情形,结合Lyapunov稳定性理论证明了在控制反馈增益R1,R2,R3作用下,误差系统的稳定性;在非线性反馈控制中,设计了实现混沌同步的... 主要应用变量反馈同步法对一个新的混沌系统的同步进行设计和研究.在线性反馈控制中,分析了三个状态变量的情形,结合Lyapunov稳定性理论证明了在控制反馈增益R1,R2,R3作用下,误差系统的稳定性;在非线性反馈控制中,设计了实现混沌同步的控制器,并用Lyapunov稳定性方法证明了在同步控制器的作用下,系统可以实现全局同步,数值仿真结果表明所设计的混沌控制器的可行性. 展开更多

关键词 混沌同步 反馈控制 LYAPUNOV函数

在线阅读 下载PDF 职称材料

基于色彩纹理特征的图像分类及应用 被引量：8

5

作者 耿国华 王克刚 李康 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第1期53-56,共4页

目的研究彩色数字图像的计算机分类识别方法并应用于古瓷片的自动分类。方法提出了一种色彩纹理特征的提取模型,采用该模型,利用IGabor滤波器提取数字图像的色彩纹理特征,并构造支持向量分类机(SVM)分类器组。结果实现了高准确率多类别... 目的研究彩色数字图像的计算机分类识别方法并应用于古瓷片的自动分类。方法提出了一种色彩纹理特征的提取模型,采用该模型,利用IGabor滤波器提取数字图像的色彩纹理特征,并构造支持向量分类机(SVM)分类器组。结果实现了高准确率多类别图像的自动分类识别,并成功应用于古瓷片的自动分类。结论色彩纹理特征提取方法将颜色与纹理进行融合,增强了数字图像之间的特征区分能力。 展开更多

关键词 图像 色彩 纹理 分类 支持向量机

在线阅读 下载PDF 职称材料

经典逻辑度量空间上的反射变换 被引量：13

6

作者 胡明娣 王国俊 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第6期1-4,共4页

探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不... 探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质. 展开更多

关键词 经典逻辑 LINDENBAUM代数 逻辑度量空间 反射变换 自同构 不动点 Gdeln值逻辑度量空间

在线阅读 下载PDF 职称材料

模糊模态逻辑中的永真式与准永真式 被引量：8

7

作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式. 展开更多

关键词 模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式 模态逻辑系统M￡*

在线阅读 下载PDF 职称材料

具有HollingⅡ类反应函数捕食模型的扩散作用 被引量：4

8

作者 武海辉 窦霁虹 王秋芬 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第2期189-194,共6页

目的讨论一类具有HollingⅡ类功能反应函数的捕食模型在不同斑块环境下的扩散性质。方法常微分方程定性与稳定性理论。结果在第一象限内找到了该系统的一个吸引域,证明了它的正解都是长久存在的,且当系统满足一定的条件时,系统的正平衡... 目的讨论一类具有HollingⅡ类功能反应函数的捕食模型在不同斑块环境下的扩散性质。方法常微分方程定性与稳定性理论。结果在第一象限内找到了该系统的一个吸引域,证明了它的正解都是长久存在的,且当系统满足一定的条件时,系统的正平衡点是局部渐近稳定的,给出了在正平衡点的某一领域内有惟一的小振幅空间周期解的充分条件,并通过具体的例子进行数值仿真,说明了定理的正确性。结论此系统更能准确地描述现实世界。 展开更多

关键词 吸引域 HollingⅡ类反应函数 HOPF分支 周期解

在线阅读 下载PDF 职称材料

经典逻辑度量空间中的模2次范整线性空间结构 被引量：11

9

作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2011年第4期899-905,共7页

将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空... 将次范整线性空间理论用于研究经典逻辑度量空间([F(S)],ρ).构造出了([F(S)],ρ)中的一类等距变换,证明了这类等距变换之集构成一个群;进而证明了经典逻辑度量空间([F(S)],ρ)相对于此结构构成带有模2加法性质的次范整线性空间,且此空间同构于有限域F(2)上的线性赋范空间;建立了范数与逻辑公式的真度以及范数与逻辑度量空间中的度量ρ之间的关系. 展开更多

关键词 逻辑度量空间 平移群 次范整线性空间 真度 有限域F(2)上的线性赋范空间

在线阅读 下载PDF 职称材料

基于FPGA的便携式逻辑分析仪设计 被引量：6

10

作者 王庆春 何晓燕 《电子测量技术》 2012年第10期80-83,共4页

以设计的便携式逻辑分析仪是以FPGA芯片作为数据处理和系统控制核心,使用FPGA片内双口RAM进行数据存储、有限状态机实现触发控制和显示驱动,再用LCD12864液晶模块完成终端的输出图形显示。在DE0-Nano FPGA(Altera Cyclone IV)开发板上... 以设计的便携式逻辑分析仪是以FPGA芯片作为数据处理和系统控制核心,使用FPGA片内双口RAM进行数据存储、有限状态机实现触发控制和显示驱动,再用LCD12864液晶模块完成终端的输出图形显示。在DE0-Nano FPGA(Altera Cyclone IV)开发板上的测试结果表明,所设计的低成本便携式逻辑分析仪可以实现8通道逻辑组合触发或4级序列触发的工作模式,也具有8级采样率预置调节和被测信号频率直接读出的功能。 展开更多

关键词 FPGA 逻辑分析仪 液晶显示屏 有限状态机

在线阅读 下载PDF 职称材料

基于FPGA的手持式示波器设计 被引量：5

11

作者 王庆春 何晓燕 《现代电子技术》 2013年第10期106-108,共3页

在此设计的低成本手持式示波器是以ADC128S022模/数转换芯片为数据采集前端;使用FPGA片内双口内建RAM进行数据存储、有限状态机实现示波器的触发控制和显示驱动;最后再用LCD12864液晶模块完成终端的低成本图形显示。在DE0-Nano FPGA(Alt... 在此设计的低成本手持式示波器是以ADC128S022模/数转换芯片为数据采集前端;使用FPGA片内双口内建RAM进行数据存储、有限状态机实现示波器的触发控制和显示驱动;最后再用LCD12864液晶模块完成终端的低成本图形显示。在DE0-Nano FPGA(Altera Cyclone IV)开发板上的测试结果表明,所设计的手持式示波器可以实现模拟信号任意电平上升沿或下降沿的触发测量;垂直灵敏度和扫描速度调节、波形参数的直接读出等功能。 展开更多

关键词 FPGA 示波器 液晶显示屏 有限状态机

在线阅读 下载PDF 职称材料

衰落信道下加权抵消的线性并行干扰消除多用户检测器 被引量：3

12

作者 张东红 廖桂生 《系统工程与电子技术》 EI CSCD 北大核心 2010年第5期881-885,共5页

在衰落信道下,提出了具有加权抵消的线性并行干扰消除多用户检测器(weight-cancelled linear parallel interference canceller,WLPIC),不同于传统的线性并行干扰消除检测器(linear parallel interference canceller,LPIC)估计多址干扰... 在衰落信道下,提出了具有加权抵消的线性并行干扰消除多用户检测器(weight-cancelled linear parallel interference canceller,WLPIC),不同于传统的线性并行干扰消除检测器(linear parallel interference canceller,LPIC)估计多址干扰的方法,WLPIC利用前一级软输出乘以一个相应的加权系数来恢复后一级期望用户信号中的多址干扰,并进行干扰抵消。基于最小均方误差准则,给出了加权系数的计算公式。对WLPIC进行了误码性能分析。理论分析和仿真结果表明,WLPIC能有效地克服远近效应,性能优于LPIC和匹配滤波检测器。 展开更多

关键词 并行干扰消除 多址干扰 加权系数 最小均方误差准则 误码性能

在线阅读 下载PDF 职称材料

Banach空间中p阶Bessel列的扰动 被引量：1

13

作者 王秋芬 曹怀信 武海辉 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2011年第3期397-404,共8页

应用算子论方法研究Banach空间X中p(1<p<∞)阶Bessel列的扰动问题,对X中的任一p阶Bessel列f={fi}i∈I,定义了有界线性算子Tf:X*→lp,建立了从全体p阶Bessel列组成的Banach空间BpX(I)到算子空间B(X*,lp)上的等距线性同构α:f→Tf,... 应用算子论方法研究Banach空间X中p(1<p<∞)阶Bessel列的扰动问题,对X中的任一p阶Bessel列f={fi}i∈I,定义了有界线性算子Tf:X*→lp,建立了从全体p阶Bessel列组成的Banach空间BpX(I)到算子空间B(X*,lp)上的等距线性同构α:f→Tf,并给出了p阶Bessel列的扰动定理. 展开更多

关键词 扰动 p阶Bessel列 BANACH空间

在线阅读 下载PDF 职称材料

关于Riccati方程的可积条件研究的再讨论 被引量：6

14

作者 赵临龙 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第5期713-715,共3页

目的补充R iccati方程的可积条件。方法等式的等价变换。结果完善了R iccati方程的可积条件。结论得到可积R iccati方程的判断方法。

关键词 RICCATI方程 可积条件 等价变换

在线阅读 下载PDF 职称材料

WBR_0-代数的Fuzzy蕴涵理想 被引量：1

15

作者 吴苏朋 赵彬 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2015年第6期1119-1126,共8页

通过在WBR0-代数上引入Fuzzy蕴涵理想的概念,讨论Fuzzy蕴涵理想的基本性质,得到了Fuzzy蕴涵理想的几种等价刻画.通过定义Fuzzy同余关系,建立Fuzzy蕴涵理想和Fuzzy同余之间的关系,并利用Fuzzy蕴涵理想诱导了商代数,得到了WBR0-代数的同... 通过在WBR0-代数上引入Fuzzy蕴涵理想的概念,讨论Fuzzy蕴涵理想的基本性质,得到了Fuzzy蕴涵理想的几种等价刻画.通过定义Fuzzy同余关系,建立Fuzzy蕴涵理想和Fuzzy同余之间的关系,并利用Fuzzy蕴涵理想诱导了商代数,得到了WBR0-代数的同态基本定理. 展开更多

关键词 WBR0-代数 Fuzzy蕴涵理想 FUZZY同余关系 商代数

在线阅读 下载PDF 职称材料

R_0代数中的正蕴涵MP滤子和固执MP滤子 被引量：3

16

作者 吴苏朋 《计算机工程与应用》 CSCD 北大核心 2008年第20期67-69,共3页

在R0代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。

关键词 R0代数 正蕴涵MP滤子 固执MP滤子

在线阅读 下载PDF 职称材料

基于Gram-Schmidt正交化法的串行干扰消除算法 被引量：1

17

作者 张东红 廖桂生 《西南交通大学学报》 EI CSCD 北大核心 2008年第5期561-565,共5页

基于Gram-Schmidt正交化法,提出了一种改进的串行干扰消除算法.不同于传统的串行干扰消除算法,该算法运用Gram-Schmidt正交化法,通过扩频序列获取正交序列作为最优解扩码,使得检测器每一级最强用户的解扩码与其他用户的扩频码所张的子... 基于Gram-Schmidt正交化法,提出了一种改进的串行干扰消除算法.不同于传统的串行干扰消除算法,该算法运用Gram-Schmidt正交化法,通过扩频序列获取正交序列作为最优解扩码,使得检测器每一级最强用户的解扩码与其他用户的扩频码所张的子空间正交,从而实现对多址干扰的完全抑制.给出了具有幅度失配的系统误码率近似公式,讨论了幅度失配对检测性能的影响.仿真结果表明,改进算法能有效抑制CDMA系统中的多址干扰,改善系统性能. 展开更多

关键词 码分多址(CDMA) 串行干扰消除检测算法 Gram-Schmidt正交化法 多址干扰 误码性能

在线阅读 下载PDF 职称材料

基于MMSE检测的分组串行干扰抵消检测器 被引量：1

18

作者 张东红 廖桂生 《西南交通大学学报》 EI CSCD 北大核心 2010年第5期739-744,共6页

为减小传统串行干扰抵消(SIC)检测器的时延,改善每一级的检测性能,采用对角加载法和组距分组法,提出了一种改进的SIC检测器.该检测器对每一级用户特征波形的相关矩阵进行对角加载,通过加载量的选择,使得分组用户的输出信干比最大,从而... 为减小传统串行干扰抵消(SIC)检测器的时延,改善每一级的检测性能,采用对角加载法和组距分组法,提出了一种改进的SIC检测器.该检测器对每一级用户特征波形的相关矩阵进行对角加载,通过加载量的选择,使得分组用户的输出信干比最大,从而实现最小均方误差(MMSE)检测,检测器每一级线性算子的更新仅与对角加载量有关.理论分析和仿真结果表明,与传统的SIC检测器和MMSE检测器相比,改进的SIC检测器降低了检测时延,误码率更低. 展开更多

关键词 对角加载 MMSE检测 分组检测 串行干扰消除 误码率

在线阅读 下载PDF 职称材料

序列积的若干性质 被引量：1

19

作者 邵春芳 《重庆理工大学学报（自然科学）》 CAS 2010年第9期103-107,共5页

设ε(H)表示Hilbert空间H上全体正压缩算子构成的集合,P(H)表示Hilbert空间H上全体正交投影算子构成的集合。A∈ε(H)为一个量子效应,简称效应。若A,B∈ε(H),称A°B=A21BA12为效应A和B的序列积。运用算子分块的技巧,分别讨论了当算... 设ε(H)表示Hilbert空间H上全体正压缩算子构成的集合,P(H)表示Hilbert空间H上全体正交投影算子构成的集合。A∈ε(H)为一个量子效应,简称效应。若A,B∈ε(H),称A°B=A21BA12为效应A和B的序列积。运用算子分块的技巧,分别讨论了当算子A,B∈ε(H)或A,B∈P(H)时,效应A和B的序列积A°B∈P(H)的等价条件。基于算子的空间分解理论,进一步使得量子效应的几何结构更加清晰化,以便于研究它的相关性质。 展开更多

关键词 量子效应 Sharp量子效应 正交投影 算子分块

在线阅读 下载PDF 职称材料

关于线性算子广义Bott-Duffin逆的一点注记

20

作者 杜鸿科 邵春芳 +1 位作者 许俊莲 姬淑凤 《数学物理学报（A辑）》 CSCD 北大核心 2011年第4期1071-1076,共6页

该文推广了邓彬和陈果良在文献[7]中所得的关于矩阵的广义Bott-Duffin逆的若干结果.基于算子的空间分解理论,证明了这些结果对无穷维希尔伯特空间上的有界线性算子也是成立的.值得指出的是该文所用的数学思想和方法与文献[7]中所用的方... 该文推广了邓彬和陈果良在文献[7]中所得的关于矩阵的广义Bott-Duffin逆的若干结果.基于算子的空间分解理论,证明了这些结果对无穷维希尔伯特空间上的有界线性算子也是成立的.值得指出的是该文所用的数学思想和方法与文献[7]中所用的方法是完全不同的. 展开更多

关键词 广义逆 BOTT-DUFFIN逆 算子矩阵 幂等算子

在线阅读 下载PDF 职称材料