对序列紧空间中点集性质的证明

在一维动力系统中,若I为实线段,已经证明了回归点、链回归点通过f的n次迭代,有R(f)=R(fn),CR(f)=CR(fn).把实线段上点集的有关性质推广到序列紧空间中进行证明,得到了R(f)=R(fn),ω(f)=ω(fn)和CR(f)=CR(fn)在序列紧空间成立.     

基于特征的零件信息模型实现

针对协同开发环境中产品零件信息集成的需求，该文使用基于特征的建模技术，在特征分类的基础上对零件进行信息建模，并在该模型上建立了满足实际应用的零件工程数据库系统，为产品零件信息集成提供了有效的保障。     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

塔河1区三叠系下油组油藏精细地质建模

塔河1区三叠系下油组油藏属大底水、薄油层、受构造控制的砂岩孔隙型块状底水未饱和油藏。目前存在的主要问题是生产井普遍见水,含水上升过快、递减加大。水平井产液剖面出现异常。油藏总体动用程度偏低,高含水后治理难度增大,堵水措施有效率低．对油藏开发带来了严重威胁。因此有必要加强底水油藏地质特征的认识。进行油藏精细描述。建立适应油田开发调整的三维地质模型．从而为油藏数值模拟打下良好的基础。该区块的地质建模过程,采用目前较为先进的Petrel软件,充分利用钻井、地震、测井、地层对比等信息。结合夹层解释结果。在孔渗曲线的基础上。采用夹层建模和随机建模相结合的建模方法．通过对各种随机模型的对比评价分析。建立了接近油藏实际地质特征的三维精细地质模型,从三维空间上识别出夹层的类型、厚度和分布。认为塔河1区三叠系下油组油藏主要受到断层和夹层控制,这为开展底水水侵模式研究打下了一定基础。     

科学与艺术的结晶《Mandelbrot-Julia混沌分形图谱》——五大宇宙定律与时空谱

提出了一种具有Mandelbrot-Julia混沌分形图谱的曼德布罗特(Mandelbrot)混沌分形时空观,对经典的逃逸时间算法加以改进,提出了旋转逃逸时间算法,构造了一系列由复映射变换f1(z)=zm+c(m≥2,m∈N)和f3(z)=zω+c(ω=α+iβ)所确定的广义Mandelbrot集(简称M-集或M-分形图)及其对应的Julia集(简称J-集或J-分形图),提供了对其深入研究的新现象、新图形和新规律"图中嵌图、形中镶形、拉压与折叠、统计自相似、无限周期有稠性、混沌分形有新序".算法利用面向WEB的Java Applet技术实现,提供了一种基于Internet的分布式混沌分形理论研究机制.     

Rough算子求解不一致信息系统的约简算法

为求解不一致信息系统的属性约简,在经典粗集理论模型的基础上,许多学者提出了上、下分布约简等方法,但是,这些方法尽可能保持了原决策系统的决策分布情况并且当数据集基数较大时,时间空间复杂度都较大。本文从另一个视角将大数据库中记录看成概率事件,利用粗集理论导出规则的模糊性度量方法—Rough算子,在多数优先的原则的基础上,将不一致信息系统转化为一致信息系统,并基于此提出了递增式反向求解方法。这种反向求解思想也为在大数据库中求解约简提供了可能。     

最大理论密度线邻近级配沥青混合料的VMA变化分析

为研究沥青混合料的级配曲线改变后矿料间隙率(VMA)的变化规律,以Superpave最大理论密度线级配为基准级配,在此基础上设计了三种级配曲线变化方式,并应用Hudson法分析了各变化级配矿料间隙率的变化规律.三种级配曲线变化形式分别为平行变化级配、绕起点旋转级配和绕最大理论密度线上4.75 mm粒径通过率点旋转级配.分析发现最大理论密度线级配曲线按不同方式改变后,其矿料间隙率的变化有不同的特点.     

钙通道Cav3.1的S4区域在其电压依赖性失活过程中的作用

电压依赖性失活在钙通道的生理功能中起重要作用, 参与通道失活的分子结构域目前还不清楚. 为研究T型钙通道Cav3.1分子中第4跨膜区(S4)在电压依赖性失活中的作用, 用Cav1.2通道(无电压依赖性失活)的S4区替换Cav3.1 (快速电压依赖性失活)的相应S4区域, 构建嵌合通道(chimera), 并在卵母细胞中表达, 用双电极电压钳记录其通道电流. 结果显示, 替换结构域Ⅰ中的S4使Cav3.1的稳态失活曲线左移, V_0.5失活和k_失活值显著改变; 替换其余结构域(Ⅱ~Ⅳ)的S4对失活的电压依赖性无显著影响. 结果表明, 结构域Ⅰ的S4参与通道的失活过程, 不同结构域的S4 在Cav3.1失活中的作用不同, 提示结构域Ⅰ的S4可能起偶联膜电位变化与通道失活的作用, 膜电位变化引起S4移动可能是通道失活区分子结构变化的触发因素.     

无限集的基数

证明了■。     

基于位置关系约束的SAR图像与光学图像匹配

SAR图像与光学图像有较大差异,为实现SAR图像与光学图像的匹配,提出了一种新的多子区SAR景象匹配算法。算法依据SAR图像噪声特性,提出了用于SAR图像边缘提取的基于小波包变换的改进断面检测法。匹配中将实时图分为多个子区,由子区灰度标准差和频谱直方图判别其可匹配性,用各子区位置分布关系约束匹配结果。匹配搜索策略为基于提升小波的金字塔分层搜索。用SPOT-5卫星光学基准图进行了大样本实验,实验结果表明了该方法是一种有效的图像匹配方法,具有鲁棒性,并且与中心点匹配方法相比,能为飞行器定位提供更多有效信息。