期刊文献+
共找到238篇文章
< 1 2 12 >
每页显示 20 50 100
基础R_0代数的结构研究 被引量:15
1
作者 胡明娣 王国俊 《纺织高校基础科学学报》 CAS 2006年第3期205-209,共5页
引入了BR0-代数的正规MP滤子和布尔MP滤子,讨论了他们之间的关系:布尔MP滤子是正规MP滤子,但反之不成立.其次,给出了它们的特征性质.设M是BR0代数,则以下条件等价:(1)M是一个正规BR0代数,(2)M的每一个MP滤子是正规的,(3)M的MP滤子{1}是... 引入了BR0-代数的正规MP滤子和布尔MP滤子,讨论了他们之间的关系:布尔MP滤子是正规MP滤子,但反之不成立.其次,给出了它们的特征性质.设M是BR0代数,则以下条件等价:(1)M是一个正规BR0代数,(2)M的每一个MP滤子是正规的,(3)M的MP滤子{1}是正规的.最后刻画了正规BR0代数的结构:(1)F是布尔MP滤子当且仅当M/≈F是布尔代数;(2)M/≈F是正规BR0代数当且仅当F是正规MP滤子. 展开更多
关键词 BR0代数 正规BR0代数 正规MP滤子 布尔MP滤子
下载PDF
经典逻辑度量空间上的反射变换 被引量:13
2
作者 胡明娣 王国俊 《陕西师范大学学报(自然科学版)》 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
用学术研究推动《高等数学》教学课题的开展 被引量:11
3
作者 赵临龙 杜贵春 +2 位作者 王昭海 汪义瑞 谢克藻 《数学教育学报》 北大核心 2008年第4期77-78,共2页
《高等数学》教材建设中应考虑理论的时代性,强调数学的价值性,突出数学的应用性.在学生创新能力培养方面应倡导学习与研究相结合的学习方法,引导大学生课余时间开展研究活动,通过竞技活动提高大学生的创新能力.
关键词 精品课程 高等数学 教材建设 教学研究
下载PDF
模糊模态逻辑中的永真式与准永真式 被引量:8
4
作者 胡明娣 王国俊 《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合£*系统构造出了一类永真式和准永真式. 展开更多
关键词 模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式 模态逻辑系统M£*
下载PDF
构建知识结构图是促进数学教与学的有效策略 被引量:9
5
作者 王昭海 《陕西教育(高教版)》 2011年第11期70-70,74,共2页
本文通过介绍知识结构图的基本原理,分析了知识结构图作为一种学习策略,在教师教学和学生学习中的意义,指出了知识结构图是一种促进数学教学的有效策略。
关键词 知识结构图 数学 策略
下载PDF
基于色彩纹理特征的图像分类及应用 被引量:8
6
作者 耿国华 王克刚 李康 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第1期53-56,共4页
目的研究彩色数字图像的计算机分类识别方法并应用于古瓷片的自动分类。方法提出了一种色彩纹理特征的提取模型,采用该模型,利用IGabor滤波器提取数字图像的色彩纹理特征,并构造支持向量分类机(SVM)分类器组。结果实现了高准确率多类别... 目的研究彩色数字图像的计算机分类识别方法并应用于古瓷片的自动分类。方法提出了一种色彩纹理特征的提取模型,采用该模型,利用IGabor滤波器提取数字图像的色彩纹理特征,并构造支持向量分类机(SVM)分类器组。结果实现了高准确率多类别图像的自动分类识别,并成功应用于古瓷片的自动分类。结论色彩纹理特征提取方法将颜色与纹理进行融合,增强了数字图像之间的特征区分能力。 展开更多
关键词 图像 色彩 纹理 分类 支持向量机
下载PDF
基于FPGA的便携式逻辑分析仪设计 被引量:6
7
作者 王庆春 何晓燕 《电子测量技术》 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
新建本科院校考研现状调查、问题、分析及建议 被引量:8
8
作者 石卫国 《陕西教育(高教版)》 2011年第12期126-127,共2页
学生考研比率是评价高校教学质量的一个重要指标,本文通过对新建本科院校学生展开的考研情况调查与分析。发现新建本科院校及学生在考研方面普遍存在着考研气氛不浓,学生考研积极性不高,考生考研准备不足,考研所涉及的课程授课课时... 学生考研比率是评价高校教学质量的一个重要指标,本文通过对新建本科院校学生展开的考研情况调查与分析。发现新建本科院校及学生在考研方面普遍存在着考研气氛不浓,学生考研积极性不高,考生考研准备不足,考研所涉及的课程授课课时严重不足等,对此进行了分析并提出相应的建议,加强考研宣传,营造良好的学风、浓厚的考研氛围,加强考研指导和服务,强化基础教学,精心组建考研辅导团队等,以此促进学院考研工作。 展开更多
关键词 考研 调查 问题 分析 建议
下载PDF
一个具有可调变权能力的变权向量 被引量:7
9
作者 成波 刘三阳 《控制与决策》 EI CSCD 北大核心 2012年第1期82-86,共5页
依据变权向量的定义构造一个带参数的变权向量,并证明了变权向量与状态变权向量的关系定理;通过引入变权向量的相对调节度概念,求出了所构造的变权向量的相对调节度,并分析了其变权效果.最后运用该变权向量求解一个算例,所得结果表明,... 依据变权向量的定义构造一个带参数的变权向量,并证明了变权向量与状态变权向量的关系定理;通过引入变权向量的相对调节度概念,求出了所构造的变权向量的相对调节度,并分析了其变权效果.最后运用该变权向量求解一个算例,所得结果表明,该变权向量不但具有较强的变权能力,而且其变权能力将随参数取值的改变而变化. 展开更多
关键词 多目标决策 变权综合 变权向量 状态变权向量 相对调节度
原文传递
预拓扑空间的强连通性与局部强连通性 被引量:7
10
作者 黄永艳 汪义瑞 +1 位作者 田苏妹 李生刚 《纺织高校基础科学学报》 CAS 2011年第2期175-179,共5页
将强连通拓扑空间和局部强连通拓扑空间这2个概念一般化.运用拓扑和范畴论方法研究了强连通预拓扑空间和局部强连通预拓扑空间的一系列性质,证明了局部强连通预拓扑空间和连续映射构成的范畴LSCPS是topological construct.这一推广是合... 将强连通拓扑空间和局部强连通拓扑空间这2个概念一般化.运用拓扑和范畴论方法研究了强连通预拓扑空间和局部强连通预拓扑空间的一系列性质,证明了局部强连通预拓扑空间和连续映射构成的范畴LSCPS是topological construct.这一推广是合理的. 展开更多
关键词 一般化 预拓扑空间 强连通性 局部强连通性 TOPOLOGICAL CONSTRUCT
下载PDF
基于FPGA的多功能LCD显示控制器设计 被引量:5
11
作者 王庆春 何晓燕 崔智军 《电子设计工程》 2012年第23期150-152,156,共4页
通过对LCD1602/LCD12864显示模块控制时序和指令集的对比分析,利用Verilog HDL描述语言完成了多功能LCD显示控制模块的IP核设计.所设计的LCD显示控制器具有很好的可移植性,只需通过端口的使能参数配置便可以驱动LCD1602/LCD12864模块实... 通过对LCD1602/LCD12864显示模块控制时序和指令集的对比分析,利用Verilog HDL描述语言完成了多功能LCD显示控制模块的IP核设计.所设计的LCD显示控制器具有很好的可移植性,只需通过端口的使能参数配置便可以驱动LCD1602/LCD12864模块实现字符或图形的实时显示,并且该多功能LCD控制器的可行性也在CycloneII系列的EP2C5T144C8 FPGA芯片上得到了很好的验证。 展开更多
关键词 FPGA LCD显示控制器 IP核 有限状态机
下载PDF
基于FPGA的手持式示波器设计 被引量:5
12
作者 王庆春 何晓燕 《现代电子技术》 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
基于模糊C均值聚类和减法聚类结合的图像分割 被引量:4
13
作者 王克刚 齐丽英 《陕西理工学院学报(自然科学版)》 2008年第2期55-58,共4页
针对模糊C均值聚类算法(FCM)聚类过程中,初始聚类中心通过随机产生、类别数的确定通过预定义的方式实现的问题,利用减法聚类(SCM)以及聚类有效性函数,实现对FCM聚类过程的聚类中心和聚类类别数自动进行设定,实现了数据的自适应聚类,并... 针对模糊C均值聚类算法(FCM)聚类过程中,初始聚类中心通过随机产生、类别数的确定通过预定义的方式实现的问题,利用减法聚类(SCM)以及聚类有效性函数,实现对FCM聚类过程的聚类中心和聚类类别数自动进行设定,实现了数据的自适应聚类,并将其应用到了CT图像的自动分割中。实验结果表明,该方法是有效的。 展开更多
关键词 FCM SCM 有效性函数 图像分割
下载PDF
以科技活动为载体培养大学生的创造能力 被引量:7
14
作者 赵临龙 《继续教育研究》 北大核心 2010年第6期129-131,共3页
培养学生的创新精神和实践能力是时代的新要求,在长期教学活动中,经过探索和实践,提出:以大学生的科技活动为载体,加强大学生的创新精神和实践能力的培养。同时,提出大学生能力培养中的思考问题:1.引导大学生开展"学习研究"活... 培养学生的创新精神和实践能力是时代的新要求,在长期教学活动中,经过探索和实践,提出:以大学生的科技活动为载体,加强大学生的创新精神和实践能力的培养。同时,提出大学生能力培养中的思考问题:1.引导大学生开展"学习研究"活动,应成为每一位教师工作的职责;2.建立具有创新意识的教学评价体系,成为教学管理部门的重要任务。3.基本的教学投入,是实现教师转型的根本保证。 展开更多
关键词 大学生 能力 培养
下载PDF
次范整线性空间中的逆算子定理和闭图像定理 被引量:5
15
作者 成波 曹怀信 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第4期35-39,共5页
研究了次范整线性空间的性质,引入Q空间的概念,将泛函分析学中的开映射定理、逆算子定理与闭图象定理推广到次范整线性空间之中.
关键词 次范整线性空间 逆算子定理 开映射定理 闭图像定理
下载PDF
基于变权向量的群体评价信息集结方法 被引量:6
16
作者 成波 刘三阳 《控制与决策》 EI CSCD 北大核心 2012年第8期1246-1250,共5页
为了减轻群体评价中少数评价者的错误或偏见对群体评价结果的影响,提出基于变权向量的群体评价信息集结方法.根据各评价者的评价值与基于线性加权法的群体评价值的差别,确定了一个变权向量,给出了基于该变权向量的变权集结算子.实例分... 为了减轻群体评价中少数评价者的错误或偏见对群体评价结果的影响,提出基于变权向量的群体评价信息集结方法.根据各评价者的评价值与基于线性加权法的群体评价值的差别,确定了一个变权向量,给出了基于该变权向量的变权集结算子.实例分析表明,将该变权集结算子用于群体评价的信息集结,可以有效减轻少数评价者的错误或偏见对群体评价结果的影响. 展开更多
关键词 群体评价 信息集结 变权向量 线性加权法
原文传递
可积的Riccati微分方程的不变量变换讨论 被引量:6
17
作者 赵临龙 《数学的实践与认识》 CSCD 北大核心 2008年第16期205-209,共5页
对于可积的Riccati微分方程:L[y]=-y′+p(x)yn+Q(x)y+R(x)(p(x)R(x)≠0,n≠0,1)(0)L[y]=-y′+p(x)y2+Q(x)y+R(x)(p(x)R(x)≠0)(1)利用其不变量变换,给出方程(0)和(1)的可积充分条件,并对方程(1)的特解形式L[y0]=0,讨论其不变量变换的等... 对于可积的Riccati微分方程:L[y]=-y′+p(x)yn+Q(x)y+R(x)(p(x)R(x)≠0,n≠0,1)(0)L[y]=-y′+p(x)y2+Q(x)y+R(x)(p(x)R(x)≠0)(1)利用其不变量变换,给出方程(0)和(1)的可积充分条件,并对方程(1)的特解形式L[y0]=0,讨论其不变量变换的等效性;同时,对方程(1)的非特解形式L[y0]≠0,讨论其可积性. 展开更多
关键词 RICCATI方程 不变量变换
原文传递
关于Riccati方程的可积条件研究的再讨论 被引量:6
18
作者 赵临龙 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第5期713-715,共3页
目的补充R iccati方程的可积条件。方法等式的等价变换。结果完善了R iccati方程的可积条件。结论得到可积R iccati方程的判断方法。
关键词 RICCATI方程 可积条件 等价变换
下载PDF
变系数二阶线性微分方程一个新的可解类型再讨论 被引量:6
19
作者 权大学 赵临龙 《大学数学》 北大核心 2007年第3期121-124,共4页
利用二阶线性微分方程的不变量,给出二阶线性微分方程常系数与变系数、齐次与非齐次的统一解法,而且扩大了自由项函数的形式.
关键词 二阶线性微分方程 不变量 解法
下载PDF
具有HollingⅡ类反应函数捕食模型的扩散作用 被引量:4
20
作者 武海辉 窦霁虹 王秋芬 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第2期189-194,共6页
目的讨论一类具有HollingⅡ类功能反应函数的捕食模型在不同斑块环境下的扩散性质。方法常微分方程定性与稳定性理论。结果在第一象限内找到了该系统的一个吸引域,证明了它的正解都是长久存在的,且当系统满足一定的条件时,系统的正平衡... 目的讨论一类具有HollingⅡ类功能反应函数的捕食模型在不同斑块环境下的扩散性质。方法常微分方程定性与稳定性理论。结果在第一象限内找到了该系统的一个吸引域,证明了它的正解都是长久存在的,且当系统满足一定的条件时,系统的正平衡点是局部渐近稳定的,给出了在正平衡点的某一领域内有惟一的小振幅空间周期解的充分条件,并通过具体的例子进行数值仿真,说明了定理的正确性。结论此系统更能准确地描述现实世界。 展开更多
关键词 吸引域 HollingⅡ类反应函数 HOPF分支 周期解
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部