西安文理学院数学与计算机学院
- 作品数：360 被引量：1,033H指数：12
- 相关作者：董爱菊闫焱惠存阳于萍王永安更多>>
- 相关机构：陕西师范大学数学与信息科学学院西北大学数学系西安建筑科技大学理学院更多>>
- 发文基金：国家自然科学基金陕西省教育厅科研计划项目陕西省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术文化科学经济管理更多>>
- 多值Φ-强增生算子方程解的Ishikawa迭代逼近被引量：1
- 2006年
- 在一致光滑的实Banach空间中,研究多值Φ-强增生算子方程解的Ishikawa和Mann迭代逼近问题.给出了具误差的Ishikawa迭代序列和具误差的Mann迭代序列强收敛到方程f∈Tx和方程f∈x+Tx的惟一解定理.
- 冉凯杨小康
- 关键词：多值迭代序列
- 模糊命题演算系统的一个新的等价形式被引量：1
- 2010年
- 在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：（（（A→C）∨（B→C））→（A∧B→C））,同时放弃约定＂P∧Q是﹁（﹁P∨﹁Q）的简写＂,所得的系统L0^＊与L^＊等价。
- 马巧云吴洪博
- 关键词：模糊逻辑命题演算等价形式
- 语言多属性决策评价采掘工作面通风效果被引量：1
- 2010年
- 针对采掘工作面通风效果评价过程中专家更习惯于运用语言评语评价通风效果,基于语言多属性决策方法给出一种基于语言评价标度的评价模型来评价采掘工作面通风效果,并实例验证了该方法的可行性和简便性。
- 梁晓茹
- 关键词：多属性决策工作面通风
- 关于不定方程x^2+y^2+z^2=1+dxyz的解被引量：2
- 2010年
- 通过基本初等变换以及同余定理等有关理论讨论了方程x2+y2+z2=1+dxyz的解,并给出了全部解。
- 杨小康
- 关键词：整除同余
- 套子代数上的局部广义导子与核值保持映射
- 2012年
- 运用算子理论的方法,研究了半局部广义导子、双局部广义导子以及核值保持映射之间的关系.证明了因子Von-Neumann代数中套子代数上的半局部广义导子、双局部广义导子以及核值保持映射均为广义导子.
- 周建锋刘年福
- 关键词：套子代数广义导子
- 利用遗传算法求解装箱问题被引量：4
- 2005年
- 遗传算法通过编码技术,运用繁殖、杂交和突变等遗传算子,对染色体组成的初始种群,进行适应度分析,构成优胜劣汰、适者生存的自然环境,产生出新的更加优良的种群.经过若干代的进化,最终求得适合问题的最优解.
- 李大可杨花娥
- 关键词：遗传算法装箱问题遗传算子
- 多元建构模式——面向二十一世纪西安市中学数学骨干教师培训模式研究被引量：1
- 2006年
- 对有关中学数学骨干教师培训模式的理论进行探讨,应在充分借鉴其他骨干教师培训模式的基础上,提出我们的培训理念,并利用数学的方法为我们的培训建立三维培训坐标系,给出建立一般模式的方法。并运用此方法,尝试创建适合西安市中学数学骨干教师培训的“一心二导三自四结合”的多元建构培训模式。
- 董爱菊张筱蘅韩军李建军
- 逻辑系统H_α中的广义语义MP规则被引量：2
- 2009年
- 将修正的Kleene逻辑系统中的语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则、语义([α+]-MP)规则,使得对Hα系统中的广义重言式有了更进一步的认识.另外,逻辑系统-W中的广义语义MP规则也成为其中的一个特例.
- 于鸿丽吴洪博
- 关键词：模糊逻辑广义重言式
- 屏幕图像实时传输方法研究及一种改进实现被引量：1
- 2009年
- 本文介绍了计算机屏幕图像实时传输的一般原理和方法,并提出了一种改进的方法实现计算机屏幕图像实时传输,此方法基于TCP协议和GDI+库。经过实验,证明此方法是可行的。
- 张红祥车鹏飞
- 关键词：屏幕图像TCPGDI+
- Linux虚拟服务器研究
- 2007年
- 网络应用的日益发展对服务器的处理能力提出了更高地要求。利用集群技术可以较好地解决这一问题。Linux虚拟服务器(Linux Virtual Server,LVS)就是Linux环境下的高效而且开源的负载均衡的集群解决方案。本文介绍了LVS的基本结构及分类、director的基本原理以及调度算法。
- 海小娟
- 关键词：集群LVS负载均衡调度算法
