西安交通大学理学院基础科学研究中心 
研究主题：渐近公式 均值 真度 L-函数 DIRICHLET_L-函数
研究学科：自动化类 电子信息类
- 计量逻辑学(Ⅰ)
- 1
- 《工程数学学报》陕西师范大学数学研究所;西安交通大学基础科学研究中心 王国俊 出版年：2006
- 关键词：真度 相似度 伪度量 发散度 相容度 计量逻辑
- 一种新型的三I算法及其逻辑基础
- 2
- 《自然科学进展》陕西师范大学数学研究所;西安交通大学基础科学研究中心 王国俊 宋庆燕 出版年：2003
- 关键词：Fuzzy推理 三I算法 过半可信原则 R0-型三角模 逻辑系统 形式化推理机制 数理逻辑
- 平移空间的线性结构
- 3
- 《数学学报（中文版）》陕西师范大学数学研究所;西安交通大学基础科学研究中心 西安 710049;陕西理工学院教学系 王国俊 白永成 出版年：2005
- 关键词：线性空间 HAHN-BANACH定理 共鸣定理 构作 有界线性算子 ABEL群 证明 平移 线性结构 移植
- 关于Dirichlet L-函数的一次加权均值
- 4
- 《系统科学与数学》西安交通大学基础科学研究中心 易媛 张文鹏 出版年：2000
- 关键词：DIRICHLETL-函数 渐近公式 高斯和 一次加权均值
- 关于正整数的立方部分数列
- 5
- 《咸阳师范学院学报》西安交通大学基础科学研究中心 张文鹏 出版年：2003
- 关键词：立方部分 均值 渐近公式
- 广义Dedekind和与L-函数的一类恒等式
- 6
- 《数学学报（中文版）》西安交通大学基础科学研究中心 张文鹏 出版年：2001
- 关键词：广义-Dedekind和 L-函数 均值 恒等式 BERNOULLI多项式 解析方法 算术性质
- 逻辑方程解的性质
- 7
- 《模糊系统与数学》陕西科技大学理学院;陕西师范大学数学与信息科学学院;西安交通大学基础研究中心 于鹏 王国俊 出版年：2009
- 关键词：Blooe函数 真度 相似度 发散度 逻辑方程 不相容理论
- MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
- 8
- 《数学学报（中文版）》陕西师范大学数学研究所;西安交通大学基础科学研究中心 王国俊 周红军 出版年：2009
- 关键词：MV代数 Lukasiewicz命题逻辑 真度
- 三值命题逻辑系统L3^＊中逻辑理论性态的拓扑刻画
- 9
- 《数学学报（中文版）》陕西师范大学数学研究所;西安交通大学基础科学研究中心 折延宏 王国俊 出版年：2009
- 关键词：命题逻辑系统L3^＊ 三值逻辑度量空间 相容性
- 模糊模态逻辑中的永真式与准永真式 ( EI收录)
- 10
- 《电子学报》陕西师范大学数学研究所;安康学院数学系;西安交通大学基础科学研究中心 胡明娣 王国俊 出版年：2009
- 关键词：模糊模态逻辑 基本模态逻辑 永真式 有效公式 准永真式 模态逻辑系统M￡*
