演绎数据库虚关系的内部表示

介绍了演绎数据库的系统结构，并着重介绍了基于SQL Serverr之上的递归查询算法和将以规则形式存放于外存的虚关系转化为内部表示的过程。     

不可交换平延在同时相似下的标准形

设F是域,n为正整数,GLn(F)表示域F上的n级一般线性群,A,B为两个平延,当A与B不可交换时,P∈GLn(F),使P-1AP=T12(1),P-1BP可表为5种简单形式。     

差分方程xn+1=(α+βxn+γxn-1)/(A+Bxn+Cxn-1)两个猜想的证明

证明差分方程xn 1=α βxn γxn-1A B xn Cxn-1,n=0,1,…当C∈(0, ∞)时每个非负解是有界的.     

GFRP板材热性能分析

采用改进真空辅助树脂传递模塑(VARTM)工艺制备曲面玻璃纤维增强复合材料(GFRP)板材,通过动态热机械分析(DMA)实验测定板材玻璃态转化温度(Tg),以得到合适的热加工温度区间。模拟火灾情况下GFRP的工作表现并考虑阻燃剂对板材抗火性能的影响及有限元数值模拟以及不燃性实验进行分析,结果表明火灾情况下GFRP板材表现不佳,添加阻燃剂可以延缓材料升温,并延缓起火时间40%以上。     

心电图去基线漂移的数字滤波算法比较

心电图中的低频干扰是影响心电图识别的一个重要因素.介绍了三种常用的去基线漂移的数字滤波算法,并对滤波后的ST段失真情况进行讨论.     

猕猴桃浆二茂铁修饰碳糊电极对抗坏血酸的电催化作用的研究

研制了猕猴桃浆二茂铁修饰碳糊电极,探讨了该电极的性能和实用性.实验结果表明:该电极在KH2PO4-Na2HPO4缓冲溶液(pH=5.6)中对抗坏血酸的氧化具有良好的电催化作用,峰电位Epa=-0.04 V(vs.SCE),用差分脉冲伏安法测得的氧化电流与抗坏血酸浓度在1.00×10-5-1.00×10-3 mol·L-1范围内呈线形关系,检测限为1.00×10-6mol·L-1,电极具有良好的重现性和选择性,响应时间短,使用寿命14天以上.用于检测果汁饮料中的抗坏血酸结果满意.     

地理数据多边形动态显示的方法研究

0 引言 近年来,随着空间信息获取手段和方法的快速发展,大量与时空演变相关的地理信息被保存了下来.因此,如何利用现有信息来分析地理现象的空间演变特征,更直观地表达空间变化的信息,再现真实世界的情景就成为人们研究的重点.     

基于AJAX技术的WEB开发模式的研究与应用

AJAX是一套由诸多现有技术组合而成的一种新的设计模式.它允许WEB页面在不刷新整个页面的情况下与服务器端进行通信,可以提供更好的用户体验.文章首先对两种开发模式做了比较,阐述了AJAX的工作原理,然后给出一个经典的AJAX应用,最后对AJAX技术做出总结和展望.     

基于Geant4的多相流CT系统优化设计

针对多相流CT系统,利用基于蒙特卡洛方法的高能粒子输运仿真软件工具包Geant4分析,构建了多相流CT系统5源、7源和9源仿真模型.分析多相流CT系统的数学模型,并利用LBP、FBP以及ART算法进行了图像重建.基于散射光子比和重建图像质量等优化指标分析,进行了多相流CT成像系统的优化设计.实验表明,优化设计后的CT系统使层流、环流和泡状流的散射光子比分别降低到5.32%、5.33%和5.29%,有效抑制了光子散射,明显改善了再构图像质量.     

分片泛函多延迟微分方程Runge-Kutta方法的稳定性分析

将Runge-Kutta方法用于求解一类分片泛函多延迟微分方程,研究其数值解的稳定性.给出了其解析解的渐近稳定区域包含在其数值解的渐近稳定区域的充分必要条件.最后,用一些数值算例验证了理论结果.