首页 | 本学科首页   官方微博 | 高级检索  
检索     
共有20条相似文献,以下是第1-20项 搜索用时 937 毫秒

1.  有限时段源一维水质模型的求解及其简化条件  被引次数:1
   武周虎《中国水利水电科学研究院学报》,2017年第5期
   有限时段源一维水质模型的求解及其简化为按瞬时源处理的判别条件,对事故性排放污水的应急计算具有十分重要的意义。在等强度有限时段源条件下,采用变量替换和拉普拉斯变换方法,求解了河流污染物浓度分布的解析解。在不同的简化条件下,讨论了该解析解与可对比解析解的一致性。定义了排放数Wt=u2t0/Dx,提出了有限时段源可以按瞬时源计算的临界时间tkWt)方程和简化判别条件:当扩散历时t<tk,按有限时段源的浓度分布公式计算;当扩散历时ttk,按瞬时源的浓度分布公式计算。    

2.  ZrO2/SiO2棱镜偏振膜的膜系优化设计与制备  被引次数:2
   沈自才  孔伟金  宋永香  汤兆胜  范正修《激光技术》,2005年第29卷第1期
   对以K9玻璃为基底,采用ZrO2和SiO2为高低膜料来制备棱镜偏振膜,并进行膜系优化设计.设计指标为:波长540nm处满足Tp>99%,Ts<1%.优化结果表明,膜系以H3L(HL)13H3LH为最佳膜系.测试结果表明,此膜系完全满足设计指标,偏振性能优良.探讨了参考波长对偏振膜工作带宽的影响.    

3.  3x+1推广函数T(x)不动点的存在区域分析与数值算法  
   刘帅  车翔玖  王钲旋《电子学报》,2011年第39卷第10期
    3x+1推广函数T(x)的不动点性质及存在区域分析是分形中的一个重要研究问题.T(x)是结构复杂的超越函数,其在复平面上的不动点难于求解,不动点性质难于估计,这成为进一步研究T(x)动力系统的一个障碍.首先通过T(x)的拓扑不变性,给出了T(x)在复平面上存在不动点的构造性证明,分析了不动点的存在区域及其性质.根据存在区域,给出了T(x)的不动点在复平面上的分布.通过不动点的分布,提出了一种求T(x)不动点的数值算法.找到了T(x)在复平面上的多个收敛域,并绘制了收敛域处的分形图形.数值实验结果表明,本文算法正确、简捷.    

4.  模态K4D4系统的归结推理  被引次数:1
   孙吉贵  李乔  刘叙华《软件学报》,1995年第6卷第12期
   本文将P.Enjalbert和L.FarinasdelCerro提出的模态归结推理方法推广到命题模态逻辑K4D4系统,建立了K4逻辑的归结推理RK4D4逻辑的归结推理R D4,分别证明了RK4RD4关于K    

5.  具有模态词□φ=1V2φ且可靠与完备的公理系统  
   邓少波  黎敏  曹存根  眭跃飞《软件学报》,2015年第26卷第9期
   提出具有模态词□φ=1V2φ的命题模态逻辑,给出其语言、语法与语义,其公理化系统是可靠与完备的,其中,12是给定的模态词.该逻辑的公理化系统具有与公理系统S5相似的语言,但具有不同的语法与语义.对于任意的公式φ,□φ=1V2φ;框架定义为三元组W,R1,R2,模型定义为四元组W,R1,R2,I;在完备性定理证明过程中,需要在由所有极大协调集所构成的集合上构造出两个等价关系,其典型模型的构建方法与经典典型模型的构建方法不同.如果1的可达关系R1等于2的可达关系R2,那么该逻辑的公理化系统变成S5.    

6.  一类约化梯阵的RaRb表示  
   王浩《软件学报》,1997年第8卷第10期
   本文首先阐明线性RaRb变换之间的关系,并提出了算法MRab,再引用标准线性RaRb变换,证明了RaRb变换与算法MRab求解方程组的能力是等价的.然后讨论MRab与算法ALT之间的关系,进而说明受ALT攻击的那些有限自动机包含    

7.  NMG-代数中同态核的结构刻画  
   周红军  马琴  兰淑敏《软件学报》,2017年第28卷第10期
   逻辑代数上的Bosbach态与Riečan态是经典概率论中Kolmogorov公理的两种不同方式的多值化推广,也是概率计量逻辑中语义计量化方法的代数公理化,是非经典数理逻辑领域中的重要研究分支.现已证明具有Glivenko性质的逻辑代数上的Bosbach态与Riečan态等价,并且逻辑代数的Glivenko性质是研究态算子的构造和存在性的重要工具,因而是态理论中的研究热点之一.研究了NMG-代数基于核算子的Glivenko性质,证明NMG-代数具有核基Glivenko性质的充要条件是该核算子是从此NMG-代数到其像集代数的同态,并给出NMG-代数中同态核的结构刻画.这里,NMG-代数是刻画序和三角模<([0,1/2,TNM]),([1/2,1,TM])>的逻辑系统NMG的语义逻辑代数.    

8.  不同通信模型下的全光树环网波长分配算法  被引次数:1
   许胤龙  王启华  陈国良《软件学报》,2006年第17卷第2期
   研究了波分复用全光树环网在不同通信模型下的波长分配算法及其最坏性能分析.对于静态模型,证明了5L/2是树环网所需波长数的紧界.对于动态模型,提出了一种近似比为∑i=1hmaxrRi[log|V(r)|]+h的波长分配算法,其中h为树环网的基树的层数,Ri为树环网中处于第i层的环的集合,|V(r)|为环r上的节点数.对于增量模型,提出了一种近似度为O[log2(t+1)]的波长分配算法,其中t为树环网中的环数.    

9.  Title:The study of deposition conditions effect on the structural and photo- thermo electrical properties of SnxSy optical semiconducting thin films prepared by spray pyrolysis technique  
   M. R. Fadavieslam  N. Shahtahmasebi  M. Rezaee-Roknabadi  M. M. Bagheri-Mohagheghi《半导体学报》,2011年第32卷第11期
   Tin sulfide thin films (SnxSy) with an atomic ratio of y/x = 0.5 have been deposited on a glass substrate by spray pyrolysis. The effects of deposition parameters, such as spray solution rate (R), substrate temperature (Ts) and film thickness (t), on the structural, optical, thermo-electrical and photoconductivity related properties of the films have been studied. The precursor solution was prepared by dissolving tin chloride (SnCl4, 5H2O) and thiourea in propanol, and SnxSy thin film was prepared with a mole ratio of y/x = 0.5. The prepared films were characterized by X-ray diffraction (XRD), scanning electron microscopy (SEM) and UV-vis spectroscopy. It is indicated that the XRD patterns of SnxSx films have amorphous and polycrystalline structures and the size of the grains has been changed from 7 to 16 nm. The optical gap of SnxSx thin films is determined to be about 2.41 to 3.08 eV by a plot of the variation of (αhν)2 versus related to the change of deposition conditions. The thermoelectric and photo-conductivity measurement results for the films show that these properties are depend considerably on the deposition parameters.    

10.  核磁共振法纵向弛豫时间表征胶料中生胶并用比及白炭黑用量的研究  
   朱舒东  冯鸣  周兵  张丽杰《橡胶科技》,2016年第14卷第8期
   研究用核磁共振(NMR)法纵向弛豫时间(t1)表征胶料中生胶并用比及白炭黑用量。对不同生胶、白炭黑或炭黑填充的硫化胶和未硫化胶的t1测试和分析得出:不同生胶具有不同的t1;同种生胶,测试温度越高,t1越长;硫化胶的t1与生胶并用比及白炭黑用量有极高的相关性。NMR法测试胶料t1可作为快速定量分析胶料生胶并用比及白炭黑用量的新方法。    

11.  在消息传递并行机上的高效的最小生成树算法  被引次数:5
   王光荣  顾乃杰《软件学报》,2000年第11卷第7期
   基于传统的Borǔ vka串行最小生成树算法,提出了一个在消息传递并行机上的高效的最小生成树算法.并且采用3种方法来提高该算法的效率,即通过两趟合并及打包收缩的方法来减少通信开销,通过平衡数据分布的办法使各个处理器的计算量平衡.该算法的计算和通信复杂度分别为O(n2/p)和O((tsp+twn)n/p).在曙光-1000并行机上运行的实际效果是,对于有10 000个顶点的稀疏图,通过16个节点的运行加速比是12.    

12.  基于遗传算法的超导磁储能装置H2/H鲁棒控制器设计  
   江全元  程时杰  曹一家  李艳《水电自动化与大坝监测》,2002年第26卷第12期
   提出了应用GA(遗传算法)设计H2/H鲁棒控制器的一般方法。使得在满足闭环系统的H范数小于指定的工程要求的条件下误差信号的H2范数最小。该问题可归结为一个带约束条件的极小值优化问题,并通过一种改进的遗传算法加以解决。该设计方法能对具有任意控制器结构的控制系统进行参数优化。与传统的鲁棒控制器设计方法相比,所提出的方法不仅可以提高控制器的鲁棒性,还具有易于进行参数优化的优点。将所提出的方法应用于超导磁储能装置(SMES)PI型鲁棒控制器的设计,时域仿真结果表明所设计的控制器具有很好的鲁棒性,在不同的运行工况下均能有效阻尼电力系统的振荡。此外,控制器还具有结构简单、易于工程实现的优点。    

13.  基于遗传算法的超导磁储能装置H2/H鲁棒控制器设计  
   江全元  程时杰  曹一家  李艳《电力系统自动化》,2002年第26卷第12期
   提出了应用GA(遗传算法)设计H2/H鲁棒控制器的一般方法。使得在满足闭环系统的H范数小于指定的工程要求的条件下误差信号的H2范数最小。该问题可归结为一个带约束条件的极小值优化问题,并通过一种改进的遗传算法加以解决。该设计方法能对具有任意控制器结构的控制系统进行参数优化。与传统的鲁棒控制器设计方法相比,所提出的方法不仅可以提高控制器的鲁棒性,还具有易于进行参数优化的优点。将所提出的方法应用于超导磁储能装置(SMES)PI型鲁棒控制器的设计,时域仿真结果表明所设计的控制器具有很好的鲁棒性,在不同的运行工况下均能有效阻尼电力系统的振荡。此外,控制器还具有结构简单、易于工程实现的优点。    

14.  Sylvatraxx 4401树脂对半钢子午线轮胎胎面胶性能的影响  
   赵菲  房师涛《橡胶工业》,2016年第63卷第9期
   研究Sylvatraxx 4401树脂对半钢子午线轮胎胎面胶性能的影响。结果表明:在胎面胶中加入Sylvatraxx 4401树脂,可以改善填料的分散性,提高硫化胶的耐磨性,降低压缩生热;随着Sylvatraxx 4401树脂用量的增大,白炭黑的分散效果改善,胶料的t10t90呈延长趋势,MLMH呈减小趋势,硫化胶的压缩生热降低,耐磨性和抗湿滑性提高,滚动阻力降低。    

15.  边界效应与尺寸效应模型的本质区别及相关设计应用  
   管俊峰  胡晓智  李庆斌  吴智敏《水利学报》,2017年第48卷第8期
   本文研究了边界效应模型(BEM)与尺寸效应模型(SEM)的本质区别及设计应用功能。研究发现:对于SEM,不同缝高比α的试件须应用4个不同的多参数经验方程,且SEM仅限于试验数据拟合功能。BEM仅有唯一解析解,一方面,可由试验数据拟合确定材料参数——断裂韧度KIC和拉伸强度ft;另一方面,可由已确定的KICft建立描述结构破坏的完整设计曲线。基于BEM,进一步分析了试件到结构变化(尺寸高度W从25到25000 mm),对材料3种破坏模式(ft强度控制、KIC韧度控制、准脆性断裂)的本质影响规律。理论研究表明:对于裂缝非常长和尺寸非常大的结构,已满足线弹性断裂条件,因而无须采用尺寸效应模型。尺寸效应的研究仅可应用于裂缝尖端靠近前边界或者后边界的情况,尺寸效应仅为边界效应的特例。最后,基于W依次为40、93、215和500 mm,α依次为0、0.02、0.075、0.15和0.3的混凝土三点弯曲梁的断裂试验成果,采用BEM系统分析了不同试验数据的组合情况对材料参数KICft确定的影响规律。试验结果分析表明:当试验数据满足一定数量后,从整体数据中任意删去1组或2组数据,采用BEM确定的KICft变化较小而基本一致。由不同尺寸W而相同缝高比α的几何相似试件,或不同缝高比α而相同尺寸W试件的峰值荷载Pmax,都可确定出材料参数KICft。本文所提BEM为解决由小尺寸试件确定无尺寸效应的材料参数,及由材料参数预测实际结构破坏等问题提供了新的思路。    

16.  不同类型的基体对0-3型压电复合材料性能的影响  被引次数:9
   刘颖 张洪涛《复合材料学报》,1997年第14卷第1期
   制备了PZT/环氧树脂和PZT/尼龙两种0-3型压电复合材料。研究表明,以尼龙-1010为基体的复合材料的饱和极化电场Es和时间ts均比环氧树脂E-20为基体的复合材料低,而压电系数d33却比后者高。    

17.  PressurelessSintered 3Y-TZP/20%Al2O3 Composite Ceramic  
   The stock solutions with cations′concentration of 0.4 mol/L were prepared by dissolving ZrOCl2.8H2O  Y《中南工业大学学报(英文版)》,2000年第7卷第1期
   Nanometer 3Y-TZP/20%Al2O3 (mass fraction) composite powders prepared by the chemical coprecipitation method were pressureless sintered at 1550 °C for 2 h. Effects of calcining temperatures at 800 °C, 1 000 °C, and 1 200 °C on phase structure, relative density, and Vicker’s hardness of the sintered bodies were studied. The results show that 1 000 °C was the optimal calcining temperature, and the powder calcined was composed of tetragonal zirconia with the Scherrer crystalline size of 6.3nm. The relative density was up to 98.5% under pressureless sintering, and the sintered body was t-ZrO2 (without m-ZrO2)+α-Al2O3 with the average size of 0.4 μm. Foundation item: State Key Laboratory for Powder Metallurgy(No.9706-36) Biography of the first author: YIN Bang-yao, born in 1966, majoring in advanced ceramic materials.    

18.  加清净剂汽油长期储存清净性能的变化规律  被引次数:2
   田高友  熊春华《石油学报(石油加工)》,2008年第24卷第6期
    采用模拟进气阀沉积物试验方法,详细考察了加清净剂汽油长期储存清净性的影响因素和变化规律。结果表明,加清净剂汽油长期储存的清净性主要受储存时间(t)和汽油种类影响。无论是空白汽油还是加清净剂汽油,随着储存时间的延长,清净性变差,进气阀沉积物生成量(mIVD)呈线性递增,即mIVD =k×t+bkmIVD的变化速率。加清净剂汽油的k与空白汽油的k呈线性关系,同时与汽油储存安定性密切相关。结合改善汽油储存安定性能和优选长期稳定性优异的清净剂两种方式,可以防止加清净剂汽油长期储存清净性显著降低,实现加清净剂汽油长期储存使用。    

19.  Multi-log2N交换网络的性能分析模型及控制算法  
   刘晓锋  赵有健  吴亚娟《软件学报》,2013年第24卷第3期
   高速多平面交换网络解决了其内部冲突问题,但需要相应的路由控制算法的辅助,否则,内部冲突不能彻底解决.这是因为包在输入级路由平面的选择不够恰当,容易导致路由冲突的产生.因此,根据冲突链路集的思想,给出一种Multi-log2N交换网络的控制算法.该算法控制分组在路由平面间的选择,不仅能够适用于RNB和SNB,还能实现单播和多播的控制,保障Multi-log2N完全实现无阻塞.另一方面,Multi-log2N消除了内部的链路冲突,提高了交换速率,但对其交换性能缺乏系统的理论分析.给出一种基于嵌入式马尔可夫链的分析模型,对Multi-log2N网络中队列的使用及分组在队列中的平均等待时间、平均队长等相关性能指标进行了系统的分析,为基于Multi-log2N的光交换节点的设计提供了良好的理论依据.    

20.  基于类型理论的领域数据建模和验证及案例  
   乌尼日其其格  李小平  马世龙  吕江花《软件学报》,2018年第29卷第6期
   数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换。本文面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM)。DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t:T?。DDMM给出了领域数据建模的方法,即构建K1(原子类型)、K2(数据元)、K3(数据元目录)三层框架,生成表示K3层数据元目录之间关系的类型规则。在此基础上,给出了数据元目录序列的定义及其正确性判定算法。基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证。    

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

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