一种基于规则表达式约束的序列模式增量式挖掘算法

序列模式挖掘是数据挖掘中的研究热点之一。在挖掘过程中需要用户的参与日益显得重要。为了提高挖掘过程中的交互性，本文提出了一个基于规则表达式约束的序列模式增量式挖掘算法RE_IncUp。该算法首先利用约束对已经挖掘出的频繁序列模式进行预处理，缩小了搜索范围；然后采用模式扩展方法把规则表达式约束和增量挖掘过程融为一体，并且采用先修剪后计算支持度的方法进一步缩小了搜索范围，降低了支持度的计算量。该算法允许用户不断改变约束条件，实现交互式挖掘而且可将挖掘的目标仅仅聚焦到用户感兴趣的模式上。实验表明该算法对序列模式的维护和满足用户的需求都是十分有效的。     

基因科技面临的人权困境及出路

基因科技是人权课题的新领域。基因科技的发展面临难以抉择的人权困境。该文从平等权、生命健康权、隐私权、性权利和生育权、人权的类本质等方面分析基因科技涉及的人权问题,从科技人员自律、加强社会基因科技认知和风险防范意识、强化政府的责任意识、坚持用马克思主义人权观指导基因科技研究等方面探索了摆脱此种人权困境的出路。     

血吸虫膜相关抗原基因的克隆

目的:筛选日本血吸虫(Schistosoma japonicum,S.japonicum)新的疫苗候选抗原基因.方法:以S.japonicum成虫DNA为模板,PCR扩增相关基因,然后将其克隆XpBS-T载体,通过菌落PCR对产物进行检测,对阳性克隆子测序,与GeneBank中的已知相关序列进行比对分析.结果:菌落PCR获得一条与PCR产物一致的DNA片段,序列测定结果表明PCR产物与S.japonicum 22.6 kDa抗原分子核苷酸序列具有高度同源性.其目的基因大小636 bp,具有一个189 bp的ORF,能编码63个氨基酸.ORF不是全长的阅读框,只获得部分编码区.表达产物可含有一个包含9个氨基酸残基的潜在螺旋跨膜片段(25～33位)和一个酪氨酸激酶磷酸化位点(38～39位).讨论:成功克隆出一个与S.japonicum 22.6kDa抗原编码基因有高度同源性的基因.预测该基因为膜相关蛋白基因,可编码血吸虫体表膜相关蛋白.在生理机能上,该膜相关蛋白可能是信号传递分子.     

一类三次微分系统极限环的存在性和唯一性

研究一类三次微分系统dx/dt=-y(ax2+bx+1)+Dx-lx3 dy/dt=x(ax2+bx+1)在a=0,b≠0与b2=4a两种情形下,讨论该系统极限环的存在性和唯一性.     

一类延迟微分方程的并行Rosenbrock方法

针对刚性大系统,根据实际数值仿真和科学计算的需要,提出了一类并行Rosenbrock方法.该方法将不同级分配到不同的处理器上同时计算,以提高计算效率.将其用到一类延迟微分方程上,并对其稳定性及收敛性进行讨论.该方法不需要迭代,具有良好的稳定性.     

莘数理论(I)

本文给出了莘数的定义与性质,从而扩张了经典数系,并对莘数范围内解方程作了初步的准备。     

四阶变系数线性微分方程的不变量解法

通过研究四阶变系数线性微分方程的不变量，得到了四阶变系数线性微分方程的一些可积类型．     

一类齐次常微分方程的求解定理

提出一类齐次常微分方程，经过变量替换，给出求积分因子的方法及其求解定量，所得结论是对相关文献问题的扩广。     

一类二阶时滞微分方程解的振动性质

利用函数平均技巧,改进并推广了有关论文中所给出的二阶时滞微分方程解的振动性准则,得到了一类二阶时滞微分方程解的振动性质的一些新的充分判据.     

方程dx/dt=-Q(x,x(t-1))具有周期为4的周期解的一个条件

给出了微分差分方程 dx/dt=-Q(x,x(t-1))具有周期为4的周期解的一个条件.