首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
把LLL规约基之间的关系推广到半k-规约基上去,然后分析了在半k-规约基上最近平面算法。与Babai的结果相比,提高了近似率,并具有几乎相同的时间复杂性。  相似文献   

2.
李未 《中国科学(E辑)》2002,32(5):662-673
在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.  相似文献   

3.
在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.  相似文献   

4.
一种实用的互联网络拓扑结构RP(κ)及路由算法   总被引:1,自引:0,他引:1  
提出了一种基于Petersen图的互联网络RP(κ)。研究了该互联网络的性质,它具有良好的连接度、短的直径和简单的拓扑结构。在节点小于300的情况下,RP(κ)的直径低于Torus的直径,其最优分组的距离小于Torus最优分组的距离,特别是当分组节点数m满足6≤m≤100时,RP(κ)最优分组的距离近似等于Torus最优分组距离的一半。基于Petersen图结构,设计了点点通信、置换路由、广播路由和多对多路由算法,它们的通信效率分别为[k/2] 2,k 5,[k/2] 2和k 5。  相似文献   

5.
现代复合材料工艺中,广泛使用人造玻璃、碳基、Aarmid纤维结构作为增强功能材料。伴随先进纤维结构的出现,以纤维结构为加强基的复合材料,在航空、医疗、保健、电子、土木、化工以及 得到更为广泛地应用。本文首先综述各种先进纤维结构。其次,着重介绍新加坡国立大学在纤维结构材料方面的研究进展,包括:纤维结构加强基复合材料的设计、工艺、模拟及其在生物、电子封装、防卸方面的应用。  相似文献   

6.
将RMgCl(3倍量)和ZnCl2(1倍量)混合原位生成高效亲核性烷基化试剂有机锌酸复合物,来对二茂铁基酮进行烷基化反应,制备二茂铁基三级醇。获得了对二茂铁基酮的高效烷基化结果,如i-PrMgCl与二茂铁基乙酮的烷基化产率从20%提高到91%,还原副产物产率相应从36%降低至0%。较炕基锂和格氏试剂,前者能够有效地进行二茂铁基酮的烷基化,该方法将成为非常好的通用烷基化方法,并为工业化大量生产二茂铁基三级醇探索了道路。  相似文献   

7.
高维紧支径向小波框架的构造理论   总被引:1,自引:0,他引:1  
提出了构造高维紧支径向小波框架的一个新的理论框架,不同于多分辨分析,首先选取一个连续可微的紧支径向基函数,相当于一维MRA中的尺度函数;然后再利用这个径向一维函数和二阶导数来构造高维紧支径向小流。特别当这个径向基函数为局部支撑的无限光滑函数时,相应的高维径向小流也是局部支撑的无限光滑函数,这一特性对于一般的正交小波基是不具备的。  相似文献   

8.
针对一、二维椭圆方程构造了径向基无网格配置法;给出了解的存在唯一性;同时得到了基函数中自由参数c与求解精度的关系,以及节点均布时自由参数最佳取值的计算公式。将节点均布下得到的自由参数取值公式应用于节点任意排列的情况,其求解精度仍能得到保证,表明这种无网格方法对节点的位置不敏感。  相似文献   

9.
利用半人工光合系统(非光合微生物-纳米半导体生物杂化体系)将二氧化碳转化为高热值的甲烷有助于缓解全球温室效应和能源危机.作为生物杂化体系的关键组分,纳米半导体颗粒的结构及性质显著影响生物杂化体系的性能.本研究以油菜花粉为原料,成功构建Methanosarcina barkeri-天然碳基半导体生物杂化体系(M.bark...  相似文献   

10.
绿色能源-氢气及无机材料储氢的研究进展   总被引:1,自引:0,他引:1  
氢能是二十一世纪解决化石能源危机和缓解环境污染问题的绿色能源。实现氢能的利用,氢的储运是目前要解决的关键问题。本文简单介绍了高压储氢、液态储氢和固态储氢三种储氢方式,重点介绍了无机储氢材料的研究进展,如:金属,金属氧化物,碳基材料,化学氢化物,M—N—H体系,M—C—H体系等储氢材料,并对其进一步研究进行了展望。  相似文献   

11.
实现长期循环荷载作用下基床结构累积变形有效控制是建造高速铁路的技术难点之一.基于高速铁路无砟与有砟轨道路基承受列车动荷载特征,提出和完善了用于基床结构设计的荷载作用模式;根据循环荷载作用下土工填料累积变形演化状态的分类及阈值判别准则,结合室内单元结构填土模型试验,获得了级配碎石基床填料变形状态演化的阈值参数.以设计荷载条件和填料设计参数为基础,针对无砟与有砟轨道对基床变形状态控制的不同要求,采用结构分析原理,构建了基于累积变形演化状态控制的高速铁路基床结构设计计算方法,确定了无砟与有砟轨道基床结构累积变形分别满足快速稳定和缓慢稳定的状态控制要求,以地基系数K30值表征的关键参数指标.研究成果为实现高速铁路基床结构由构造设计向状态控制定值分析转变奠定了基础.  相似文献   

12.
液基细胞学检查技术在临床肿瘤筛查的研究进展   总被引:3,自引:0,他引:3  
液基细胞学检查技术是目前脱落细胞检查技术中的最优质的制片技术,对脱落细胞进行液基细胞学检查制片并观察诊断,可以提高对脱落细胞的恶性肿瘤检出率.本文通过对目前我国正在采用的各种液基细胞学检查技术的原理及其特点进行阐述,并对宫颈脱落细胞、体腔积液、尿液、痰液、纤支镜、细针穿刺及肛管直肠脱落细胞的应用及其前景提出改进,供临床细胞学病理检查工作者进行参考选择,以进一步普及液基细胞学检查的应用,提高时恶性肿瘤的早期诊断.  相似文献   

13.
近年来硅基光电子材料和器件受到高度的重视.利用外延生长和键合技术成功研制出硅基应变赝衬底、GexSi1-x/Si量子阱、高密度锗量子点、硅基InGaAsP/Si异质结,这些进展为硅基光电子器件提供了坚实的材料基础.同CMOS工艺相结合,实现了硅量子点1.17 μm的受激发射,研制出硅基Raman激光器、1.55 μm混合型激光器、高灵敏度的Si/Ge探测器、谐振腔增强型的SiGe光电二极管、调制频率30 GHz的SOI CMOS光学调制器和16×16的SOI光开关阵列等.硅光电子学将在光通信、光计算等领域获得重要应用.本文综述了国内外硅基光电子材料和器件的进展、我们的研究结果和硅基光电子学的发展趋势.  相似文献   

14.
面向21世纪的微电子技术   总被引:17,自引:0,他引:17  
本文对21世纪微电子技术的发展趋势作了一个展望。本文认为21世纪初的微电子技术仍将以硅基CMOS电路为主流工艺,但将突破目前所谓的物理“限制”,继续快速发展;集成电路将逐步发展成为集成系统;微电子技术将与其他技术结合形成一系列新的增长点,例如微机电系统(MEMS)、DNA芯片等将得到突飞猛进的发展。具体地,超微细光刻技术、虚拟工厂技术、铜互连及低κ互连绝缘介质、高κ栅绝缘介质、SOI技术等将在近几年内得到快速发展。21世纪将是我国微电子产业的黄金时代。  相似文献   

15.
在这篇论文中,我们提出了一个使用局部支撑径向基函数对三维散乱点进行Hermite插值或逼近的快速曲面重构方法.通过构造给定数据点集的一个层次结构,采用逐层精化的方式实现了全局曲面重构的效果,解决了因使用局部支撑径向基函数导致的问题.另外,设计一个基于逼近误差导向的径向基函数中心点选择策略,减少每层进行插值的数据点,从而使Hermite径向基函数曲面重构方法能处理百万以上规模的点云数据.实验结果显示,我们的方法还适用于极度非均匀分布或带噪声的点云数据的曲面重构.  相似文献   

16.
多孔硅反射镜基有机微腔器件的微结构和光电特性研究   总被引:1,自引:0,他引:1  
从微结构和光电特性方面研究了一种新型硅基微腔的有机发光器件(SBM-OLEDs): 硅基多孔硅分布Bragg反射镜(PS-DBR)/SiO2/ITO/有机多层膜/LiF/Al(1 nm)/Ag. 微腔器件的重要组成部分PS-DBR由低成本、高效率的电化学腐蚀方法制备. 场发射扫描电子显微图清晰显示: SBM-OLEDs具有纳米级层次结构和平整的界面. PS-DBR反射谱的阻止带宽160 nm, 且反射率达99%. SBM-OLEDs的反射谱中出现了标志此结构为微腔的共振腔膜. 在绿光和红光波段, 从SBM-OLEDs中都得到了改进的电致发光(EL)谱: 绿光(红光)EL谱的半高宽可由无微腔的83 nm (70 nm)窄化为有微腔时的8 nm (12 nm), 且为单峰发射, 微腔器件EL谱的色纯性有较大提高. 与非微腔器件相比, 发绿光和发红光的微腔在谐振波长处EL的强度分别增强了6倍和4倍. 对微腔器件的电流-亮度-电压(I-B-V)特性和影响器件寿命的因素也进行了讨论.  相似文献   

17.
网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务.传统软件构造技术缺乏对环境感知和适应的系统支持.本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化.进而,介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展.而后,讨论了一种先验环境模型及环境规约的开发方法原理,给出了相应的环境驱动逻辑的静态表达与运行实现机制.该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离.  相似文献   

18.
本文基于神经网络L—M优化算法,提出一种对EV71病毒的有效预测模型,利用matlab进行仿真模拟,结果和阜阳病毒感染情况非常符合。神经网络L—M优化算法克服了神经网络BP算法收敛速度慢的缺点,同时通过学习训练,本模型的神经系统具有有效性和通用性的特点。  相似文献   

19.
纳米Ta基阻挡层薄膜及其扩散体系电阻特性研究   总被引:1,自引:0,他引:1  
采用直流磁控溅射方法在p型(100)Si衬底上制备了3类Ta基纳米阻挡层薄膜及其对应的Cu/barrier/Si复合膜,并对薄膜样品进行了卤钨灯快速热退火(RTA).用四探针电阻测试仪(FPP),AFM,SEM-EDS,Alpha—step IQ台阶仪和XRD等分析测试方法对样品快速热退火前后的电阻特性和形貌结构进行了分析表征.实验结果表明,热处理过程中,凝聚、氧化和稳态效应同时出现,方块电阻的增大和下降趋势并存;而高温退火后Cu和Si发生互扩散形成的高阻相Cu3Si与更粗糙的表面形貌引起更强烈的电子散射导致了复合膜系方块电阻的急剧增加.  相似文献   

20.
数据的高速传输以及终端的高速移动,导致无线通信信道具有时间选择性与频率选择性两个特征,对MIMO-OFDM系统中基于导频的时间-频率双选择性衰落信道的信道估计问题进行了研究。首先,利用复指数基扩展信道模型来表示一个OFDM符号周期内双选择性衰落信道的变化;然后基于该复指数基扩展信道模型,提出了一种有效的MIMO-OFDM双选择性衰落信道的估计方法;最后在该估计算法的基础上,基于信道估计均方误差最小准则,对导频及其参数进行了优化设计,主要包括导频的个数、导频的插入位置以及导频的表达形式等,实验结果表明本文的算法在时间-频率双选择性衰落信道下具有很好的性能,并与理论分析结果相吻合。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号