基于数据库事务并行性的语义分类

事务管理机制的任务是高度操作序列,使它们以一致的方式运行。但是,这种读写操作的语义单一,难以充分描述应用程序中的语义,因此不能为高度机制提供灵活高效的高度方式,另外并发控制机制的效率,在很大程度上取决于能否最大限度地利用操作之间的可并行性和可交换性。本文主要介绍了一种事务语义分类方法和有效利用可交接性,可并行性的一种数据库算法。     

多版本与加锁在数据库事务管理中的比较

在数据库系统（DBMS）的发展过程中,出现了两种比较成熟的并发事务控制方法,即传统的加锁机制和基于时间戳排序的多版本机制。结合两个典型DBMS产品,详细比较这两种机制在处理并发和恢复时的不同,从而说明多版本机制在事务管理方面的优越性。     

一类具功能反应的食饵——捕食者模型的定性分析

研究了具功能反应的食饵-捕食者两种群模型：x=xg（x）-yφ（x） y=y（-d＋eφ（x）），在g（x）和φ（x）均为非线性的情形下，讨论了系统的平衡点的性态，系统无环的充分条件和在正平衡点外围存在极限环的条件。     

类Cantor测度的上密度

设函数迭代系统S（x）={S1（x）,S2（x）}的吸引子为F其中S1（x）=1/3x,S2（x）=1/3x＋1/3。所诱导的μ不变测度称为类cantor测度,记s=log2／log3,用θ°s（μ,x）表示S维上密度．本文给出了对 x∈F,θ^＊s（μ,x）的明确公式。     

一阶线性常微分方程通解公式的一个注记

本文讨论了一类一阶线性常微分方程dy/dx=p（x）y＋q（x）,其中∫p（x）dx=∫du（x）/u（x）,在代通解公式时应注意的一个问题。     

基于Semantic Web的文献领域本体构建及推理研究

以文献检索为实例,结合本体构建工具（Protege）和本体推理机（Racer）,利用OWL本体描述语言表示文献领域本体的语义信息,提出了文献本体结构和语义词典结构,重点分析了文献检索本体推理功能及关键字语义词典本体推理扩展,实现了文献的语义化及智能化检索。     

连续变量非线性差分方程有界解的振动性

通过分析技巧,给出差分方程△（x（t）＋p（t）x（t-r））-f（t,x（t-σ（t）））=0,t≥t0有界解振动的充分条件,改进了现有文献中的结果。     

三种抽样信号时频特点的对比与分析

在《信号与系统》课程中主要的抽样信号有三种,分别是理想抽样信号xs（t）=x（t）δTs（t）,离散时间信号x（nTs）和离散时间序列x （n）,谈谈三种抽样信号时频特点的对比与分析。     

一类形如f（x）｜g（x）｜函数的导数求法

本文试图利用f（x）｜g（x）｜导数之间的关系,以及关于求可导函数与不可导函数的乘积的导数定理,给出形如,f（x）｜g（x）｜的函数的导数的一种求法。     

积分学基本公式的推广

在一般的微积分学教程中，都在较强的条件下给出了积分学基本公式（即Newton—Leibniz公式）。有的教程还给出了它们的推广公式。本文把推广了的积分学基本公式的条件进一步减弱，得到积分学基本公式的又一个推广。为方便计，我们把上述两个定理引用如下。定理１（积分学基本公式）若（１）f（x）在闭区间犤a，b犦上连续；（２）F（x）为f（x）在犤a，b犦上的任意一个原函数，即F＇（x）＝f（x），则ba∫f（x）dx＝F（b）－F（a）定理２（推广了的积分学基本公式）若（１）f（x）在闭区间犤a，b犦上可积；（２）F（x）在犤a，b犦上连续；…     

Ф压缩型集值映射列的公共不动点定理

在度量空间中,研究了Ф压缩型集值映射列的公共不动点定理,给出了如下结果：设集值映射序列Ai：X→Pf（x）满足：任意ij=1,2,…,x,y∈X及u∈Ax,存在v∈Ay,使得d（u,v）≤Ф（d（x,y）,d（x,Ax）,d（y,Aiy）,d（y,Aix））：则{Ai}有公共不动点。     

基于潜在语义索引和遗传算法的文本特征提取方法

本文采用潜在语义索引（LSI）和遗传算法（GA）进行文本特征提取。在采用潜在语义索引将语义关系体现在VSM（Vector Space Model）中,通过奇异值分解（SVD,Singular Value Deccvaposition）可以有效地降低向量空间的维数,但通过维数约简后的文本特征仍要保持在数百维左右,因此本文采用遗传算法在此基础上继续降维。实验结果表明,这两种方法结合可以极大的降低文本向量空间的雏数,并能提高分类准确率。     

关于函数的可导性的注记

通过将差商f（x0＋h）-f（x0）/h转化为某种离散过程的极限,得到了函数f（x）在点X0处可导的一个充要条件．     

2^2n的棋盘格的顶点标号

对2^2n的棋盘格的顶点标号进行了研究,在马克杰的《优美图》一书中已经解决了2^0的棋盘格的顶点标号,且说明了这种图是优美的。此处解决了对一般的n（n=1,2…）,2^2n的棋盘格的顶点标号,其一般表达式为： θ（x2k^（l））=k k=0,1,…,2^（n-1） θ（x2（k-l）^（l）=2^（2^n＋2）-k＋1 k=1,2,…,2^k θx2k^（2）=θ（x（2k-2n-2）^（l）＋2^n＋1 k=2^（k-1）＋1,2^（n-1）＋2,…,2^k θx2（k-l）^（2）=θ（2k-1-2^k^（l）-2^n k=2k-1＋1,2＋,…,2^n θx2（k＋1）^（2）=θ（x（k＋1）-1 k=22n＋1＋2＋T（2^n＋1）,…,2^n＋2 θ（xk）=θ（xk-2%（n＋1-2）＋（-1）^k（2^n＋1＋1） ＋T（2^n＋1）（T=0,1,…,2^n-2-2） 并且对它的优美性进行了证明     

弹簧作功问题研究

弹簧作功是变力做功，其要素有（1）弹簧的弹力f=k△x（k是弹性系数），（2）积分区间即弹簧伸长或压缩的量△x．在不同的坐标系下积分变量x不一定等于△x．但不论坐标系如何建立，弹簧作功的结果是一样的。     

连续信息离散化的混淆误差的估计

我们证明了如果f∈Lp^1（R）,f’（x）=O（（1＋｜x｜）^-1/p-δ）,δ〉0且f’在R上任何有限区间上Riemann可积,则‖f—Hσ（f）‖p（R）≤Cpσωb^-1-[f＇,1/σ]。其中Hσ（f）是f通过由其样本{f（kπ/σ）}k∈Z和｜f＇（kπ/σ｜k∈Z在Lp（R）中的指数2σ型整函数空间B2σ,p中的Hermite型的插值算子,ωk^-（f,t）t=sup｜b｜≤T‖△b^kf（x）‖p（R）为函数f的k阶光滑模。     

双关的原型范畴阐释

本文尝试运用原型范畴理论来探索双关。双关所关涉的两层意义分别是其语义范畴的语义原型成员（显性意义）和语义边缘成员（隐性意义）。双关是借助前者为中介而达到后者的一种语言现象。在双关的产生和理解中，前者占有优先权，要达到后者则需付出更多的精力，而后者却是双关主要的关键所在。     

基于梁格法的箱型拱桥内力分析

随着桥梁跨度的增加,设计上不仅基于桥梁的x—z平面（x方向为桥梁的跨越方向）控制设计,而且关心横桥向（Y方向）的强度和刚度。分别采用粱格法和单梁法分析工程中广泛采用的箱型拱桥的内力。     

单调似然比族双侧假设可以不存在UMPU检验

举例证明了：存在这样的单调似然比分布放｛f（x,θ）dμ（x），θ∈Θ｝），其双侧假设H（θ_1≤θ≤θ_2）没有一致最优无偏（UMPU）检验，也存在这样的非指数族的单调似然比族，其假设的UMPU检验存在。     

截断情形下污染分布的非参数估计

设X1，X2，…，Xn是一列iid随机变量，其分布为Fα(t)=（1-α）F1t) αF2（t)，其中：α∈[0,1]，F1(t),F2(t)都是定义在R^1上的分布函数，在下列条件下：（1）上述污染数据又被另一iid的随机变量序列u1,u2,… ,u3截断；（2）F2（x)分布已知；（3）存在某个可测函数M（x)，使μ1=∫M(s)dF1(x)已知，构造出了α和F1（x)的估计。并证明了其强相合性。