浅析Horizon的WebPAC系统

本文阐述了OPAC的发展过程，强调了在网络信息环境下，图书馆应重视基于Web的公共查询系统的建设，结合实际，对Horizon的全球信息查询问系统WebPAC的工作原理及其系统性能进行了论述。     

具有2n个解的绝对值方程问题

利用矩阵的性质, 得到了绝对值方程存在2ⁿ个解的条件, 并构造了一些具有2ⁿ个解的绝对值方程.     

含p-Laplace算子的三阶Sturm-Liouville边值问题正解的存在性

用Krasnosel’skii不动点定理,得到了含p-Laplace算子的三阶Sturm-Liouville边值问题{(Ф_p(u″(t)))′+q(t)f(t,u(t),u′(t),u″(t))=0,t∈(0,1),αu(0)-βu′(0)=0,γu(1)+δu′(1)=0,u″(0)=0正解的存在性,其中:Ф_p(s)=|s|~(p-2)s,p1;Ф_p~(-1)=Ф_q,p~(-1)+q~(-1)=1;f:[0,1]×[0,+∞)×R×R→[0,+∞)连续.     

Sylow子群的极大子群s*-置换嵌入的有限群

利用Sylow子群的极大子群的s*-置换嵌入性研究有限群的p-幂零性和超可解性,并给出了一个群属于给定的饱和群系的新的判别准则.     

基于模糊小波聚类混合的多目标覆盖质量评估方法

面向双层无线传感器网络覆盖质量评估,设计出基于模糊小波聚类混合的多目标覆盖质量评估方法。建立网络单元概念和双层网络模型,在各汇聚节点开展各子目标预处理。集中建立二次预警机制:设计基于模糊小波神经网络的分析融合子系统,实现一次预警,选出显著低效覆盖单元;构建决策输出子系统,设计基于k均值聚类算法的多等级网络单元评价体系,实现二次预警,并呈现全部低效覆盖单元。实验表明,该方法从覆盖面积、能耗均衡、传输便利等方面综合评估,能够精确判定低效覆盖单元,有助于及时重部署,维护网络健康运行。     

埃尔金建构主义的逻辑根基

埃尔金以“不当步骤”和“正确物”思想改造传统建构主义，并通过解释名称指称为之作出系统辩护。她强调诠释和理解在解释语言-世界之间关系中的作用，以此批判主流名称指称理论，并对指称概念进行扩充。埃尔金为其建构主义的辩护是不彻底的，但它道出了融合分析哲学和诠释学重构认识论的必要性。     

环中的n-核对合元与n-正规元

通过在环R中引进n-核对合元与n-正规元的概念,给出n-核对合元的刻画及Moore-Penrose可逆的n-正规元的性质.结果表明,若a∈R~■,m,n∈N,则a是n-核对合元当且仅当(a~*)~n=(a~#)~n、当且仅当(a~*)~na~m=(a~■)~na~m、当且仅当(a~*)~na~m=a~m(a~■)~n、当且仅当a~m(a~*)~n=(a~■)~na~m.     

间冷式电冰箱箱体的Z传递函数模型（Ⅰ）——数学方法

为了在间冷式冰箱动态仿真中较快地计算箱内空气温度变化,提出基于Z传递函数计算箱内空气温度的方法。首先采用状态空间方程描述三种边界条件下的单个箱壁动态传热过程,并通过Leverrier-Faddeeva算法求得三种边界条件下单个箱壁的Z传递函数;其次,由单个箱壁的Z传递函数计算得到整个箱室的Z传递函数;最后利用整个箱室的Z传递函数,可求得每一时刻的箱内空气温度的代数关系式。提出的计算方法可避免每个时刻对于箱体传热动态方程的求解,节省仿真时间。     

一类具有Z2—等变性质的五次平面哈密顿向量场的全局性质

利用定性分析的方法，研究一类具有Z2－等变性质的五次哈密顿系统，画出了其全局相图。     

分次Z-正则环

在群分次环中定义分次Z—正则性，它是文[1]中VonNeuman正则性的推广。文中首先证明了分次Z—正则环类构成一个分次根类，[2]且此根对分次理想是遗传的，最后给出分次Z—正则环的一个特征刻划。