互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

基于ASP的Web数据信息校对算法研究

本文阐述了基于B/S模式的三层体系结构,从集合的角度对信息校对中的难点进行分析,画出了信息校对算法流程图,并给出了基于ASP的Web数据信息校对算法。     

向量在数学解题中的运用

<正>向量是高中新教材中新增加的重要内容之一,它有着丰富的物理背景,它既是代数研究的对象,又是几何研究的对象,是集"数、形"于一身的数学概念,是抽象代数、线性代数、泛函分析中的基本数学模型。向量主要以平面几何,直角坐标系,三角函数等知识为基础。通过向量的学习,一方面将我们对量的数学表达式的认识带入到一个新的领域,另一方面将增进我们的空间想象能力,思维能力和分析、解决实际问题的能力。向量是一个很有用的数学工具,应用领域极为广泛,可渗透到众多的数学模块中,如向量在三角函数、立体几何、解析几何等中的应用,它们为数学问题开拓了新的思路,也使解题方法更加快捷与多样化,由于常规视角的转变,形成了新的探索途径,它不仅要求教师要学习新内容,而且要从思想方法上研究新内容的内涵实质,修整原有的认知,用向量的观点研究以往教材的知识结构体系,培养学生运用向量解决问题的意识。     

S连通空间及其性质

给出了拓扑空间是S连通空间的几个等价刻画,同时讨论了S连通子集及其性质,连通序列空间与S连通空间的性质,证明了拓扑空间X是S连通空间则X是连通序列空间的连续映象,连通序列空间的序列连续映象,连通序列空间的连续序列覆盖映象.     

２００３年SARS对中国交通客运量影响的后评价研究 ———基于本底趋势线全国２８个省（市）自治区的分析与估算

２００３年SARS是中国公众健康的“灾难”,交通旅客运输因此蒙受巨大损失。依据本底趋势线理论, 对此次危机的交通客运量损失进行了定量估算。结果显示：２００３年SARS共造成交通旅客损失１０畅０７亿人次,其 中,公路损失８畅８８亿人次,铁路损失１畅０５亿人次,航空损失１６１１畅７万人次,水运损失１９４３万人次;危机的生命 周期从２００３年４月开始,５～６月全面爆发,７～８月消减衰退,１１～１２月有一定的补偿;由于交通区位和SARS 疫情的差异,全国２８个省（市）自治区客运量损失可划分为４个等级,其中,广东、     

一类非齐次A-调和方程很弱解的唯一性

通过运用扰动向量场的Hodge分解理论来构造适当的检验函数,得到非齐次A-调和方程Dirichlet问题-divA(x,(△)u)=f(x)在Grand-Sobolev空间很弱解的唯一性理论.     

我国B2C电子商务企业发展现状及营销策略建议

电子商务随着互联网的普及而逐渐为中国居民所认识,其中网络购物作为一种新兴的购物方式已开始为中国居民所接受.文章通过对相关文献的研究及个案分析,在对我国B2C电子商务的现状进行考察的基础上,提出了我国B2C企业在发展中应通过合理定价,提升用户购物体验;积极改善售后和客服;细分市场,积极开拓垂直类市场;深挖平台价值,丰富收入来源等建议和方法来开拓市场和应对竞争.     

实时定量PCR检测B细胞恶性肿瘤中BCL11A基因的表达水平

目的:建立B细胞淋巴瘤/白血病BCL11A基因的定量检测方法,并分析其在B细胞恶性肿瘤中的表达水平。方法:利用实时定量RT-PCR分析B细胞淋巴瘤(18例)、B细胞性慢性淋巴细胞白血病(B-CLL,8例)、T细胞性急性淋巴细胞白血病(T-ALL,8例)和正常对照(15例)外周血单个核细胞(PBMC)中BCL11A基因的表达水平,以甘油醛-3-磷酸脱氢酶(GAPDH)基因作为内对照。结果:B-CLL组和B细胞淋巴瘤组患者PBMC中BCL11A表达水平均明显高于正常对照(P=0.000)和T-ALL组(P=0.000);T-ALL组和正常对照组BCL11A表达水平无显著差别(P=0.084);B-CLL组和B细胞淋巴瘤组BCL11A表达水平无显著差别(P=0.776)。在B细胞淋巴瘤不同的病例中,BCL11A表达水平有较大差异,其中最小值为0.04,最大值为9.70,中位值为1.00。结论:成功建立BCL11A基因的定量检测方法。     

相交格子集合边界探寻及其Matlab实现

给出一种针对标准正六面体格子集合中探寻两个格子集合公共边界的算法,并利用这种算法在上得到相应边界图示.在两个集合个数分别为和的情况下,算法的时间复杂度以及空间复杂度均为O(mn).     

太阳米粒组织目标特性对望远镜相关跟踪系统的影响

研究太阳目标特性对太阳望远镜相关跟踪图像稳定系统的影响,采用Hinode太阳光学望远镜的观测数据,对以2min为时间间隔采样的5幅太阳米粒组织图像进行相关计算.针对国家天文台正在研制的空间太阳望远镜(SST)主光学望远镜(MOT)相关跟踪图像稳定系统,分析了太阳米粒组织随时间衍化对相关跟踪系统图像移动计算精度的影响以及米粒组织动态变化对望远镜曝光时间的影响.仿真结果表明,更换参考图像时间不能大于2min,并且在保证算法实时性的情况下,选用参考图像的尺寸与相关跟踪系统定位精度成正比.