登录    注册    忘记密码

陕西师范大学数学与信息科学学院数学系 收藏

导出分析报告

研究主题:数学    解题分析    非线性    解法    数学教学    

研究学科:生物科学类    自动化类    经济学类    电子信息类    社会学类    

被引量:1,886H指数:18WOS: 18 EI: 22 北大核心: 206 CSSCI: 16 CSCD: 310 RDFYBKZL: 9

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

628 条 记 录,以下是 1-10

二值命题逻辑中命题的真度理论
1
《中国科学(A辑)》陕西师范大学数学系;青海民族学院数学系;西安高技术研究所 王国俊 傅丽 宋建社  出版年:2001
国家自然科学基金重点资助项目(批准号:19831040)
利用势为2的均匀概率空间的无穷乘积在经典二值命题逻辑中引入了公式的真度概念以及公式间的相似度概念,进而导出了全体公式集上的一种伪距离,为二值命题逻辑的近似推理理论提供了一种可能的框架.
关键词:测度化映射  真度 相似度 误差  发散度 偏差  
数学文化观念下的数学素质教育
2
《数学教育学报》陕西师范大学数学系 黄秦安  出版年:2001
在数学文化的基本观念中,数学被赋予了广泛的意义.数学不仅是一种科学语言,一门知识体系,而且还是一种思想方法、一种具有审美特征的艺术.在此基础上,数学素质的含义应予以新的阐述,数学素质的本质是数学文化观念、知识、能力、心理...
关键词:数学文化 数学素质 数学素质教育 数学教育理念 数学课程改革 教学方法
Hilbert空间中的Bessel序列(英文) ( EI收录)
3
《工程数学学报》陕西师范大学数学系 曹怀信  出版年:2000
Supported by NNSF of China!( 1 9771 0 56)
研究了 Hilbert空间 H中的 Bessel序列 ,应用算子论方法给出了这种序列成为 H中的框架、紧框架、独立框架、Risez基、正规正交基的条件 ;建立了这些序列与 H到 l2中的相应算子之间的对应关系与构造这些序...
关键词:HILBERT空间 BESSEL序列 Risez基  正规正交基  
可防止欺诈的动态秘密分享方案 ( EI收录)
4
《通信学报》陕西师范大学数学系;西安电子科技大学密码研究所 张建中 肖国镇  出版年:2000
国家自然科学基金资助项目 !(6 96 730 2 5)
基于有限域上离散对数难解问题提出一个计算安全的动态秘密分享方案 ,本方案有效地解决了密钥的翻新与复用问题 ,其效率高且实用 ,特别是能检测伪子密 ,防止欺诈 ,且数据利用率较高。
关键词:动态秘密分享  信息安全 离散对象  
数学理解的案例分析
5
《中学数学教学参考(教师版)》陕西师范大学数学系 罗增儒  出版年:2003
关键词:数学教育 数学学习 数学理解 案例分析
不同蕴涵算子下的三Ⅰ算法
6
《陕西师大学报(自然科学版)》陕西师范大学数学系 周保魁 王国俊  出版年:1998
国家自然科学基金
对三Ⅰ算法作了进一步的推广,详细讨论了在Lukasiewicz蕴涵算子、Go¨del蕴涵算子和Gaines-Rescher蕴涵算子之下的FMP规则以及相应的三Ⅰ算法的表达形式,同时给出了三Ⅰ算法为P-还原的充分条件.
关键词:模糊推理 三I算法 模糊蕴涵算子 L蕴涵算子  
基于视觉模型的图像边缘检测算法 ( EI收录)
7
《电子学报》陕西师范大学数学系;西安交通大学人工智能与机器人研究所;西北工业大学计算机系 张永平 郑南宁 赵荣椿  出版年:2000
国家自然科学基金!(NO.69735010)
文章提出了一种基于视觉模型的图像边缘检测算法.作者采用具有反馈和前项控制连接的侧抑制模型进行图像信息进行处理,用零阶和二阶厄米特(Hermite)函数的组合产生系统的控制模板,组合系数通过梯度下降学习算法确定.这种以生物...
关键词:边缘检测 视觉模型 图像处理 算法  
金融风险管理的VaR方法及实证分析
8
《工程数学学报》西安交通大学理学院;西安理工大学理学院;陕西师范大学数学系;西安理工大学理学院 薛宏刚 徐成贤 李三平 苗宝山  出版年:2004
国家自然科学基金重大项目(10231060)资助.
本文研究了 VaR 的各种计算方法,并利用实际数据对不同时间段和不同置信水平下的单个资产 和投资组合的 VaR 值作了比较,说明了各种方法的优缺点和适应范围。
关键词:VAR 置信水平  投资组合
解题分析——谈错例剖析
9
《中学数学教学参考》陕西师范大学数学系 罗增儒  出版年:1999
关键词:判别式 二次方程  
基于变分的图像分割算法
10
《中国科学(E辑)》陕西师范大学数学系;西北工业大学计算机系;西安交通大学人工智能与机器人研究所 张永平 赵荣椿 郑南宁  出版年:2002
国家自然科学基金重点资助项目(批准号:69735010)
提出了一种新的基于变分的图像分割算法.该算法以图像的边缘点为插值点,通过极小化一个能量函数产生光滑的阈值曲面,进而实现图像分割.为了使所产生的阈值曲面保有原图像的边缘信息,同时又不过度锐化图像的边缘,采用非凸的能量函数,...
关键词:图像分割 变分 松驰算法  全局收敛  图像处理  阈值曲面  能量函数 图像边缘信息 插值
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心