整环Z[c~(1/2)]中的素元及非唯一分解环

本文主要证明了整环 Z[c~(1/2)]当 c 为-1,2,-2,3时为唯一分解环。给出判断整环 Z(c~(1/2))中元素为素元的条件,并进而给出确定 Z[c~(1/2)]为非唯一分解环的特殊方法。     

浅析Horizon的WebPAC系统

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

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

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

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

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

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

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

分次Z-正则环

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

兰坪被毛孢粗多糖延缓衰老的功效研究

兰坪虫草是近几年报道的新种,是冬虫夏草的近缘种,具有较高药用价值。为探明兰坪虫草无性型兰坪被毛孢粗多糖延缓衰老的功效,从兰坪被毛孢发酵产物中提取粗多糖,分析不同浓度粗多糖(0.01%~0.3%)对雌、雄果蝇成虫寿命的影响。结果表明,兰坪被毛孢粗多糖对果蝇成虫的平均寿命、最高寿命和半数死亡时间都有不同程度的延长效果。一定剂量范围内,随粗多糖浓度增加延寿效果提高,但其作用具有浓度的最大阈值。粗多糖浓度达到0.2%时延寿效果最好,使雌雄果蝇的平均寿命延长率分别达到42.17%和21.47%。粗多糖浓度超过0.2%后,其延寿效果反呈现下降趋势。兰坪被毛孢粗多糖的延寿效果还具有性别差异,其对雌果蝇的延寿效果较好。研究结果将为进一步解释兰坪被毛孢的药理活性奠定基础。     

3流猜想的等价刻画

Tutte的3流猜想是每个没有3边割的无桥图有无零3流.这里主要说明对于5边连通图这个猜想也是成立的.     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

四元拟循环码计数

分析了四元拟循环码的代数结构,指出当Z 4上长为mn的拟循环码在m为奇数时,可分解为一些有限数目的循环不可约子模的直和,然后,再用这样分解得到的拟循环码计数.