基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

张量广义特征值的S-型包含区域

设{A,B}为m阶n维正则张量对,通过将指标集N={1,2,…,n}划分为非空真子集S及其补集S珚=N/S,利用分类讨论的思想以及张量对{A,B}某些元素选取的任意性和不等式缩放技巧,解决了张量对{A,B}的特征值定位问题,并给出张量对{A,B}特征值的S-型包含区域.数值结果表明,所得包含区域比已有包含区域更精确.     

浅析“四项负责制”在高校图书馆的实施——以湖北工程学院图书馆为例

分别从"四项负责制"的基本概念入手,阐述了在高校图书馆实施"四项负责制"的基本内容及基本要求,以湖北工程学院图书馆为例,介绍了该馆倡导和推行"四项负责制"的情况,以提高图书馆整体服务质量。     

藏文名词类同义词在Web索引上的研究

搜索引擎在对网络资源进行适时定位时,往往疏漏同义词而导致所要信息的遗漏,这些问题引起了智能搜索引擎支持同义词查询的相关研究.文章试图通过藏语名词类同义词的研究来提高Web索引的查准率和查全率.     

宁波市公共自行车服务满意度评价模型构建研究

以宁波市公共自行车为例，将因子分析法与二项logistic法相结合，对采集的1 688份居民满意度有效问卷展开分析。利用因子分析法筛选出6个因子，利用二项logistic法剔除并筛选出5个有效因子构建公共自行车服务满意度评价模型，合理评估当前宁波市公共自行车服务满意度。同时，利用随机抽取并不参与建模的5%问卷样本对评价模型进行校验，以确保模型的准确性与合理性。该研究有助于合理评价当前宁波市居民对公共自行车的服务满意度，同时适用于对未来一段时间内公共自行车服务满意度的预测。     

带有临界增长的Kirchhoff方程极小能量变号解的存在性

为了深入研究Kirchhoff方程的性质,讨论了带有Hartree项和临界增长非线性项的Kirchhoff方程极小能量变号解的存在性。利用能量泛函在变号Nehari流形上的下确界C_λ收敛于0,得到空间E紧嵌入L~6(R~3)这一技术性结果。结果表明,利用限制变分方法和定量形变引理获得极小化序列对应的极小值点是该问题的非平凡解。研究方法在理论证明方面得到了良好的结果,对研究其他Kirchhoff方程解的存在性有一定的指导意义。     

用MUX实现组合逻辑的卡诺图列解法

本文采用卡诺图列解法来处理MUX组件的地址变量少于待发生逻辑函数变量的设计问题。方法简单易行、适用范围广。尤其是对于含有任意项的逻辑函数中任意项的处理,提供了寻找最佳方案的途径。     

逻辑函数化简的一种新思路

本文探讨逻辑函数化简的一种新方法。本方法依据函数项相互衍生的特点建立函数项相互连接与涵盖关系来进行筛选。其优点是使化简思路明确,化简工作量减少,特别是对于变量数较多的逻辑函数的化简更呈现其优越性。     

关于同伦正则单态

同伦单态在文献[1]和[2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下:     

E-n-伪矩形性拟正则半群

本文是在[1]的基础上,将半群s的幂等元集E(S)由埋想推广为n-伪理想,然后来给出S的结构。本文未用到格林关系,因而证明有别于[1],而且[1]是我们的特例。