(R,k)-多项式与平坦性

设K是一个域，一个超曲面f(x1,x2,…,xn)＝0的坐标环是K[x1,…xn]/f,令R＝K[x1,…,xn-1],则K[x1,…,xn]＝R[xn].坐标环为R[xn]/f．根据Hilberx合冲定理,R[xn]的整体同调维数是n．本文中假设R是一个有单位元的交换环，f是R上的一个多项式，A＝R[x]/(f)．我们定义了一个(R，k)-多项式，它是首一多项式的推广，即当k＝0时，它是环R上的一个首一多项式．本文的主要结果是当f是(R,k)-多项式时，A是忠实平坦的R-模，并且当A的同调维数为有限时，其整体同调维数满足GD(A)≤GD(R)≤GD(A)+pdR(A)≤GD(A)+1，这里我们认为R的同调维数是有限的．     

Spark环境下基于网格索引的轨迹k近邻查询方法

移动对象轨迹的k近邻(k nearest neighbor trajectories,kNNT)查询是一种重要的空间信息服务,主要用于寻找与给定轨迹最近邻的k条轨迹,被广泛地应用于智能交通、信息推荐等领域。随着轨迹数据量的快速增长,由于单机计算资源的限制,传统集中式环境下的kNNT查询效率和可扩展性无法满足实际要求。为了解决这个问题,设计了轨迹数据的分布式网格索引结构,该索引在Spark环境下将轨迹切分并映射到网格中,并引入轨迹还原表以保留查询时候选子轨迹段间的连续性。基于此索引,提出了Spark环境下的轨迹k近邻查询方法kNNT-Grid。实验结果表明,kNNT-Grid方法在分布式环境下实现了良好的查询效率和可扩展性,能够应对海量轨迹数据的k近邻查询需求。     

正则 α-次预解族与积分 α-次预解族

为研究不适定的抽象Cauchy问题,Da Prato引入了正则半群,而 Arendt则引入了积分半群的概念.deLaubenfels给出了这两种半群之间的联系.本文将 delaubenfels 的上述结论推广到了正则α-次预解族和积分α-次预解族上.最后给出这个定理的一些简单推论.     

基于NNI注视指数的塔台管制员情景意识研究

为研究塔台管制员在任务不同阶段的注视模式与情景意识（Situation Awareness,SA）的关系,搭建模拟塔台管制的眼动试验平台,设计3组不同难度的试验,用NASA-TLX量表评估被试的任务负荷,利用方差分析方法验证试验难度设计的合理性;利用3D-SART量表评估被试的SA水平,利用NNI算法分别计算和识别试验前期和后期被试的注视模式,并结合操作绩效,分析不同任务难度下管制员前期和后期的NNI注视指数与SA的关系。结果表明,被试在试验后期的NNI注视指数受试验难度的影响更为显著,且试验后期NNI注视模式呈离散型分布的被试具有更高的SA水平和操作绩效。     

一些简化的NP完全实例类

(k，s)-SAT是命题满足性问题限制在一种特殊的命题公式上，该命题公式具有每个子句只有k个不同的文字且每个变元出现的次数少于s次的特点。已经验明对于正整数k，s存在一个指数函数f，满足：对任意s≤f(后)，所有的(k，s)-SAT例都是可满足的，而(k,f(k)-SAT却是一个NP-完全问题。目前为止，只知道f(3)和f(4)的精确值．对于，是否可计算是一个仍未解决的问题．由于每个满足某种条件的数值序列对应一个MU(1)中的公式，在[2]中，作者S．Horry和S．Seizder通过对数值序列的运算来构造(k，s)-SAT中的MU(1)公式例，得到了函数厂的可计算上界函数。但当k比较大时，该方法不太实用。作者定义了一种树规则来减少数值计算的步数，得到了一个确定的实用的算法来计算函数f的上界，该上界接近[2]中的上界，同时，也得到了一些NP-完全满足性问题类。     

两层广义线性规划

给出二层广义线性规划最优解极点可达性的一个充分条件 .此外 ,利用容许集的极点与下层问题可行集的极点间的关系给出“第 k最好”算法的一种快捷、方便的实现 .算例表明算法是有效的 .     

关于p~k元域中的n方元素

设 F为 pk元域 ,n为正整数 .本文建议 F中的 n方元素的概念 ,给出 n方元素的特征性质 .最后 ,给出 n方元素的应用     

Set （ k, n ）-Exactly covering problem

<正> With the (k,n) -threshold scheme of secret sharing in the field of information security technology asan application background,the concept of set ( k,n)-exact cover is presented in this paper.It is a modificationof the original concept of set covering problem.It is also different from the concept of exact coverdefined by J.E.Hopcroft.Some properties of ( k,n) -exact cover are investigated;a sufficient conditionfor a set to be ( k,n ) -exactly coverable is given.It follows that a feasible assignment scheme of a set forthe (k,n) -exact cover is obtained if this set satisfies the sufficient condition.     

由相同元件组成的顺序k／n（F）系统可靠性的计算方法

给出了当由ｉ．ｉ．ｄ．（统计独立，分布相同）元件组成系统的情况下，普通型线状／环状顺序ｋ／ｎ（Ｆ）系统和特殊型线状／环状顺序ｋ／ｎ（Ｆ）系统的可靠性计算公式。方法简单、实用     

The role of apolipoprotein E in lipid metabolism in the central nervous system

The critical roles of apolipoprotein E (apoE) in regulating plasma lipid and lipoprotein levels have been extensively studied for over 2 decades. However, an understanding of the roles of apoE in the central nervous system (CNS) is less certain. This review will summarize the available experimental results on the role of apoE in CNS lipid homeostasis with respect to its modulation of sulfatide trafficking, alteration of CNS cholesterol homeostasis and apoE-induced changes in phospholipid molecular species in specialized subcellular membrane fractions. The results indicate that apoE mediates sulfatide trafficking and metabolism in the CNS. Moreover, although apoE does not affect the cholesterol mass content or the phospholipid mass levels and composition in the CNS as a whole, apoE modulates cholesterol and phospholipid homeostasis in selective subcellular membrane compartments. Through elucidating the roles of apoE in CNS lipid metabolism, new insights into overall functions of apoE in neurobiology can be accrued ultimately, leading to an increased understanding of CNS lipid metabolism and the identification of novel therapeutic targets for CNS diseases.Received 9 January 2004; received after revision 28 February 2004; accepted 10 March 2004