MoritaContext的(I,k)-正则性

证明了若环T是具有一对零同态的Moritacontext环(A,B,M,N,ψ,(φ)),则有T/L(≌)A/I(+)B/J,其中L=(I,J,M,N)是环T的理想,I,J分别是A,B的理想;同时证明了一对具有零同态的Moritacontext环T=(A,B,M,N)是(L,k+l)-正则环,如果其中的环A和B分别是(I,k)-,(J,l)正则环,这里L=(I,J,M,N)是环T的理想,且任意给定的k,l∈N.     

虚拟激励法在香港青马悬索桥抖振分析中的应用(英)

青马悬索桥是香港新机场建设的中心工程,它对将新机场与香港岛和九龙的繁华商业区相连接起着关键作用．表述了一个全新的抖振分析方法,并利用这种方法对青马桥的抖振响应作了全面的研究．有限元理论和随机振动虚拟激励法相结合是新方法的主要特点．这种方法可以考虑振型间的耦合、结构不同部分间的相互作用、风场的非均匀性以及非均匀的结构性质等多种因素;同时由于使用了虚拟激励法使计算量降低到适合于常规工程分析的水平．这种抖振分析方法是通用的,可以推广到类似问题的求解．最后给出了青马桥的抖振分析结果并与传统方法进行了比较．     

保护层开采穿层拦截钻孔替代底板抽采巷瓦斯治理技术

保护层开采过程中,上覆煤岩体收采动卸压影响,煤体发生膨胀变形,煤层透气性大幅度增加,透气系数增大引起瓦斯流量增大,发生卸压增流效应。这样有利于瓦斯的抽采,通过高效的瓦斯抽采方法,可以达到消除被保护层煤与瓦斯突出危险性的目的。其中,使用底抽巷结合网格式上向穿层钻孔作为一种高效     

采用工艺巷防止高瓦斯易自燃综放面上隅角瓦斯积聚的探讨

上隅角瓦斯积聚是采用综呆放顶煤技术开采高瓦斯易自燃煤层必须面对的难题。文章提出了利用工艺巷防止综放面上隅角瓦斯积聚的方法。并且,根据计算流体力学理论建立数学物理模型,模拟计算了综放工作面及采空区内空气、瓦斯流动的规律,有力地论证了该方法的可行性和有效性,为我国高瓦斯易自燃煤层综放工作面的瓦斯防治工作提供了新的思路。     

钙通道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移动可能是通道失活区分子结构变化的触发因素.     

带黏弹性的半线性双曲型方程全局吸引子的上半连续性

利用一些最新结果,讨论了带黏弹性的半线性双曲型方程全局吸引子的上半连续性.     

跨库检索系统检索效率影响因素辨析

通过分析跨库检索系统的基本原理与步骤,从理论上探讨了跨库检索系统检索效率的影响因素,并提出了改进措施。     

东道海子凹陷东斜坡上乌尔禾组源-汇控砂控相规律

利用重矿物组合、砾石倾向、岩心、测录井及三维地震资料,采用古地貌恢复及多属性反演技术,对研究区上乌尔禾组源-汇控砂控相规律进行分析。研究表明：该区主要发育北部近源火山岩、中部较近源火山岩与侵入岩和南部沉积岩3个母岩区;识别出4大输砂沟槽,北部近源沟槽窄而陡,向南演化为宽而缓,砂体厚、物性差,含油性差、产量低,为扇三角沉积;中部3大沟槽划分为缓坡窄沟和缓坡宽沟2种类型,为辫状河三角洲沉积,前者砂体厚、物性好、含油性好、产量高,后者砂体较厚、物性较差、含油性较好、产量一般;输砂沟槽核部较翼部砾石粗、砂体厚、物性好,古低凸贫砂,物性差,泥岩为主。受源汇体系影响,中部3大输砂沟槽是最有利的勘探区。     

有效利用片上分块存储器

为了提高嵌入式多媒体应用的实时性能,提出了一种最大化数据并行访问以便充分发挥CPU处理能力的片上存储器分配方法。CPU指令的并行数据访问以及CPU与直接存储器存取(DM A)的并行访问都可能导致冲突,片外存储器的慢速存取也会导致CPU流水线停止。根据CPU处理数据的需要分配片上存储器,采用DM A动态地将数据转移到片上,减小存取慢速片外存储器带来的延时;充分利用CPU多条数据总线并行访问多个存储器块的能力和双端口存储器(DARAM)一个周期两次访问的能力,减小存储器带宽的限制。实验结果表明:合理分配存储器,程序执行时间最多减少了48%。存储器分配该方法简单,易于实现。     

基于主题感知的跨模态序列到序列生成模型

结构化数据和非结构化文本被视为两种不同的模态.数据到文本生成是自然语言生成领域中一个重要的跨模态任务,该任务的目标是对于给定的结构化数据,生成一段文本用以描述结构化数据中包含的关键信息.近年的研究工作通常关注于描述性文本的生成,虽然取得了一定的研究进展,但仅能做到信息的传递而不能带来任何增益.为解决这一问题,本研究数据...