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

1.  独立多处理机任务静态调度问题的近似算法  被引次数:1
   黄金贵  李荣珩《软件学报》,2010年第21卷第12期
   研究独立多处理机任务静态调度问题Pm|fix|Cmax,即在m个处理机系统中调度n个多处理机任务,每个任务指派到所需一组处理机上不可剥夺地执行.该问题应用广泛但早已证明为NP难问题,而且也不存在常数近似算法.分析了问题Pm|fix|Cmax和其中所有任务都是单位处理机时间的特殊情形Pm|fix,p=1|Cmax的调度,并利用实例划分(split scheduling,简称SS)、首次满足优先(first fit,简称FF)和最大宽度优先(large wide first,简称LWF)等方法,构造了问题Pm|fix,p=1|Cmax的√2m +1近似算法和问题Pm|fix|Cmax的2√m 近似算法,优于目前已有文献的最好结果.    

2.  气垫式调压室稳定断面积研究  
   李玲  陈冬波  杨建东  刘梅清《水利学报》,2016年第47卷第5期
   基于刚性水锤理论,考虑了压力管道的水流惯性及实际水轮机特性和调速器作用,运用稳定性理论,推导了气垫式调压室临界稳定断面积的详细公式。在此基础上分析最不利稳定断面积的取值,根据近年来国内十个不同水头段引水式水电站的资料,进行该公式各项参数的统计分析。结果表明:气垫式临界稳定断面详细公式主要由考虑水轮机特性的引水隧洞水流惯性项Fth1、压力管道项Fth2 及调速器特性项Fth3 三部分组成,在形式上与常规调压室一致,区别仅在于(1+m×p0/l0)倍的系数关系。气垫式调压室最不利稳定断面积取决于最大水头与设计水头之间的某个既能满足(1+m×p0/l0)较大,也能满足e >1的水头。随着电站设计水头的增大,系数(1+m×p0/l0)的值也呈线性增大趋势,不能笼统地判断气垫式调压室适用于高水头水电站,应根据电站的工程规模作进一步详细论证。    

3.  边界效应与尺寸效应模型的本质区别及相关设计应用  
   管俊峰  胡晓智  李庆斌  吴智敏《水利学报》,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为解决由小尺寸试件确定无尺寸效应的材料参数,及由材料参数预测实际结构破坏等问题提供了新的思路。    

4.  烟火药在定容条件下的爆燃p-t曲线仿真  
   赵象润  严楠  李朝振  闫利伟  赵变玲  王德君《含能材料》,2020年第28卷第6期
   通用的非线性显式动力学软件没有适用于模拟火工作动装置内烟火药作用过程的数学模型,导致动力学仿真只能采用多软件联合仿真。为简化仿真流程,采用MSC.Dytran软件新增的爆燃状态方程模拟烟火药在定容条件下的压力-时间历程(p-t曲线)。为验证仿真方法的适用性和准确性,进行了燃速较慢的炭黑/硝酸钾和燃速较快的铝/高氯酸钾两种烟火药的仿真和试验。对比分析了仿真结果与密闭爆发器试验结果在压力上升到半峰值(0.5pm)和到达压力全峰值(pm)两个时刻的时间差以及pm的相对误差。结果表明,炭黑/硝酸钾压力上升到0.5pm时,仿真结果和试验结果的时间差为0.03 ms,到达pm时的时间差为0.3 ms,pm的相对误差为7.4%~10%;与此相对应,铝/高氯酸钾在这两个压力点处的时间差分别为0.02 ms和0.1 ms,pm的相对误差在4%~6.3%。说明使用MSC.Dytran中的爆燃状态方程进行烟火药的p-t曲线仿真具有较好的准确性和适用性。    

5.  中国南北人群在中性环境下的生理适应性和主观评价  
   林宇凡  杨柳  任艺梅  郑武幸《重庆建筑大学学报》,2016年第38卷第5期
   研究中国南北人群在中性环境下,生理适应的自主神经调节和主观评价差异。采用实验设计,遴选16名南方大学生和16名北方大学生,测试生理参数,包括皮肤温度、心率、心率变异性(HRV)、血容量(BVP)、肌电(EMG),填写主观问卷。实验结果发现:1)中性环境,北方人群感觉是舒适的,各项评价指标接近中性和适中,数据较集中;南方人群感觉稍热,评价数据较离散,但热舒适(TCV)(p=0.106>0.05)、可接受程度(p=0.838>0.05)等几个主观评价与北方人群相比没有显著差异,说明南方人群有较宽的热中性温度区和较好的环境忍耐力;2)南北人群在中性环境下,平均皮肤温度有显著差异(p=0.006<0.05),且身体躯干部位的皮肤温度显著高于四肢皮肤温度(p=0.009<0.05;p=0.043<0.05;p=0<0.05;p=0<0.05;p=0.002<0.05),四肢皮肤温度差异不显著,肌电无显著差异(p=0.961>0.05)。心率和心率变异性的LF/HF比值,均值有差异,但不显著((p=0.265>0.05;p=0.618>0.05),但BVP有显著差异(p=0<0.05)。    

6.  岩石压缩系数测量方法的理论研究  被引次数:2
   李传亮《石油与天然气地质》,1998年第19卷第4期
   岩石压缩系数的常规测量方法是以Terzaghi方程为理论基础的。该理论将外压与内压的差值作为净围压是不妥当的,主要原因是没有考虑孔隙度的影响。正确的公式应是Po=PeffPi.有效压力是一个等效压力,变换围压或内压都能达到理想效果。据此,可将原有测量程序改进为:(1)保持内压Pi=Pair;(2)令Po=Pair,测量初始孔隙体积Vpo;(3)逐步升高Po,测一系列Vp;(4)将PoPi用改进后的公式换算成Peff,将得到Vp-Peff关系曲线,进一步可求出岩石压缩系数。经实际应用,改进后的方法有如下优点:(1)更正了原有效压力计算的错误;(2)避免了因围压过高带来的危险;(3)消除了因内压变化对体积系数的影响。    

7.  基于XYZ/E描述和验证容错系统  被引次数:2
   郭亮  唐稚松《软件学报》,2002年第13卷第5期
   研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.    

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

9.  有界模型检测的优化  被引次数:2
   杨晋吉  苏开乐  骆翔宇  林瀚  肖茵茵《软件学报》,2009年第20卷第8期
   G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.    

10.  排序的相互k-Skyband查询算法  
   蒋涛  张彬  余法红  柳晴  周傲英《软件学报》,2015年第26卷第9期
   不同于传统的k-Skyband 查询方法,提出一种相互k-Skyband 查询(MkSB),它从对称角度执行Skyline查询,找出所有既在q的动态k-Skyband(DkSB)中又在q的反向k-Skyband(RkSB)中的数据对象.进一步地,为了更好地支持用户决策和数据分析,排序操作被引入到MkSB算法中.因为MkSB 需要执行q的DkSB 和反向RkSB,故它需要遍历索引多次,从而导致了大量冗余的I/O 开销.利用信息重用技术和若干有效的修剪方法,MkSB 将多次的索引搜索合并成单次,极大地降低了I/O访问次数.同时,证明了基于窗口查询的MkSB(WMkSB)算法具有最低的I/O 代价.在真实与合成数据集上的实验结果表明,所提出的算法是有效的且明显胜过基于BBS 的算法,尤其WMkSB 算法具有极少的I/O 开销,通常能够减少95%以上的冗余I/O.    

11.  相应于无冲突依赖的规范化对象模式森林  被引次数:3
   吴永辉  周傲英《软件学报》,2002年第13卷第8期
   首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F的性质:P(F)是惟一的、不可分解的规范化对象模式森林的路径集合;M<=>OD(F)<=>P(F);P(F)是无(环的.这对于面向对象信息系统的开发有一定的意义.    

12.  饲粮中添加非淀粉多糖酶对断奶仔猪生长性能和血清生化指标的影响  
   王金伟  夏中生  何仁春  张兴  黄连莹  蒋志疆  韩定角  李志双  蒋志新《粮食与饲料工业》,2013年第12卷第2期
   研究玉米型饲粮和小麦型饲粮中分别添加不同水平的非淀粉多糖酶(NSP酶、木聚糖酶和β-甘露聚糖酶)对断奶仔猪生长性能和血清生化指标的影响。结果表明:玉米型基础饲粮中添加NSP酶对仔猪的生长性能和血清生化指标无显著影响(P>0.05);小麦型基础饲粮中添加NSP酶,显著提高了断奶仔猪的平均日增重和血清中的总蛋白、球蛋白和磷的含量(P<0.05),显著降低了谷草转氨酶的活性(P<0.05)。    

13.  新型内盐N-(2,2-二硝基乙基)氨基胍的合成与性能  
   赖媛  潘传鑫  周婷婷  段晓惠  伍波《含能材料》,2020年第28卷第4期
   以2,2-二硝基丙二醇为原料,经降解反应和取代两步反应合成了内盐型化合物N-(2,2-二硝基乙基)氨基胍,两步总反应产率为65%,采用X-射线单晶衍射分析、傅里叶变换红外光谱(FT-IR)、核磁共振谱(1H NMR、13C NMR)和元素分析等方法进行了结构表征;通过差热示差量热仪-热失重(DSC-TG)联用技术测定了其分解温度,利用等键方程和K-J方程预测了其能量参数。结果表明,内盐N-(2,2-二硝基乙基)氨基胍的晶体为单斜晶系,空间群为P21/n,晶胞参数为a= 8.8613(10) Å,b=6.4568(6) Å,c=13.4134(16) Å,α=90°,β=95.093(4)°,γ=90°,V=764.43(14) nm3Z=4,Dc=1.670 g·cm-3F(000)=400。其热分解温度为183.8 ℃,理论爆速为 8333 m·s-1,理论爆压为29.4 GPa;实测的撞击感度和摩擦感度较低,撞击感度为20 J,摩擦感度为120 N。    

14.  解耦合法研究1,1′-二羟基-5,5′-联四唑二羟胺盐(TKX-50)热分解(英)  
   祝艳龙  安静  丁黎  毕福强  周静  梁忆《含能材料》,2019年第27卷第8期
   为了研究1,1′-二羟基-5,5"-联四唑二羟胺盐(TKX-50)的热分解,分别采用热重和差示扫描量热法进行热分解试验研究,并采用MATLAB软件对重合部分进行解耦合,用Málek方法对TKX-50热分解过程进行动力学研究。结果表明,TKX-50的热分解过程分为两个阶段,用MATLAB 软件获得两个阶段完整的热分解曲线,并分别获得不同升温速率下各个阶段的TonsetTp、ΔH等基础参数。TKX-50的热分解遵循自催化反应模型,并分别获得动力学参数包括活化能、指前因子和动力学模型等,第一阶段:Ea=174.99 kJ?mol-1,lnA=40.75,f(α)=α0.917(1-α)0.509;第二阶段:Ea=149.60 kJ?mol-1,lnA=31.84,f(α)=α0.357(1-α)0.117    

15.  图象处理中边界转换的并行算法及其实现  
   杨 勃  陈 虎  陈国良《软件学报》,1998年第9卷第2期
   本文提出了一种把图象中边界转换成区域四分树的并行方法.该方法基于MIMD模型,并在曙光1000上实际运行.整个算法用P个处理器可以在时间O((B×logB)/P)内完成其中B是循环代码长度.该算法可应用于图象处理、计算机图形学、模式识别等领域.    

16.  像质评价中特征频率法的波差方差容限  
   李剑白《光学精密工程》,1983年第4期
   早在五十年代H.H.Hopkins和主之江都导出波差方差近似计算O.T.F的公式,用于象质评价。王之江据此还提出了低对比分辨本领的方差,为传递函数与几何象差的关系讨论提供了一条简便的途径。但是像质评价中低对比分辨本领方法使用起来困难较多,尤其是计算O.T.F时,只有大量计算不同频率的O.T.F值,才能比较准确地找到MTF=0.5(0.3)所对应的特殊频率,这就限制了该法在光学设计中的应用。    

17.  IEC闪变仪归一化时变特性对线性精度的影响  
   熊杰锋  张绍勇  程桂林  张海江《电力系统自动化》,2018年第42卷第24期
   IEC 61000-4-15标准认为矩形调制幅度(ΔV/V)与短闪Pst满足线性关系KPst=f(KΔV/V),要求闪变仪厂家标定出满足线性误差范围时K的最大值和最小值,IEC 61000-4-30标准进而要求A级闪变仪K的最大值必须为10。研究发现在实际线性测试中,严格依据IEC 61000-4-15标准设计的闪变仪K值的最大值仅为6,不满足IEC 61000-4-30标准A级闪变仪10的要求,指出该值不达标本质原因在于IEC闪变仪归一化环节的时变输出特性改变了矩形调制幅度。MATLAB仿真和实验测试证明了所提观点,该观点对于IEC 61000-4-30标准A级闪变仪的设计和测试规程的制定具有指导意义。    

18.  用于验证多智能体系统的APTL模型检测器  
   王海洋  段振华  田聪《软件学报》,2019年第30卷第2期
   由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑(alternating projection temporal logic,简称APTL)的模型检测工具.根据王海洋等人提出的APTL符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统(multi-agent system,简称MAS)的性质验证.MCMAS_APTL检查MAS是否满足具体性质的过程如下:首先,用解释系统编程语言(interpreted system programming language,简称ISPL)描述要验证的系统IS,用APTL公式P描述要验证的性质;然后,符号化表示系统IS,并将非P转化为范式;最后,计算所有满足非P的路径的起始状态集合.如果得到的状态集合中包含系统的初始状态,则说明系统不满足公式P;反之,则说明系统满足公式P.详细阐述了实现MCMAS_APTL的过程,并且通过验证机器人足球赛的例子展示了MCMAS_APTL的性能.    

19.  用C++开发WINDOWS 3.0的应用程序  
   张兴滔《计算机系统应用》,1994年第3卷第3期
   本文介绍了如何通过Borland C++开发WINDOWS 3.0的应用程序,同时说明了新一代面向对象的程序设计方法OOPObject-Oriented Programming)的基本特性和实现方法。    

20.  几乎最快与渐近最优的并行分枝界限算法  
   武继刚  计永昶  陈国良《软件学报》,2000年第11卷第12期
   分枝界限算法是求解组合优化问题的技术之一,它被广泛地应用在埃运筹学与组合数学中.对共享存储的最优优先一般并行分枝界限算法给出了运行时间复杂度下界Ω(m/p+hlogp),其中p为可用处理器数,h为扩展的结点数,m为状态空间中的活结点数.通过将共享存器设计成p个立体堆,提出了PRAM-EREW上一个新的一般并行分枝界限算法,理论上证明了对于h<p2p,该算法为最快且渐近最优的并行分枝界限算法.最后对0-r背包问题给出了模拟实验结果.    

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

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