检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于模型的软件系统监测方法

计算机研究与发展 2010年第7期47卷 1175-1183页

作者：邵津邓芳王千祥北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软... 详细信息

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果.

关键词：软件维护软件质量保障软件系统监测运行时验证约束模型

基于可控LC串联谐振的高重频高精度脉冲充电电源

在线全文

学校读者我要写书评

暂无评论

高电压技术 2018年第9期44卷 3022-3027页

作者：梁勖赵读亮林颖方晓东中国科学院安徽光学精密机械研究所合肥230031 中国科学技术大学合肥230029

针对集成电路光刻用准分子激光光源的高重复频率、高精度和高稳定脉冲充电应用需求,设计了一种基于可控LC串联谐振的脉冲充电电源,采用实时检测电路总能量、短路电感中断谐振过程和储能电容精准泄放的技术方案,实现了输出的高重频、高... 详细信息

针对集成电路光刻用准分子激光光源的高重复频率、高精度和高稳定脉冲充电应用需求,设计了一种基于可控LC串联谐振的脉冲充电电源,采用实时检测电路总能量、短路电感中断谐振过程和储能电容精准泄放的技术方案,实现了输出的高重频、高精度以及每脉冲充电电压精确可调。对该充电电源的工作过程进行了理论分析,研究了系统的要点和难点,完成样机并与高重频准分子激光系统联机运行。在激光器初级储能电容5.44μf.条件下,实现了最大充电电压1.92 kV、充电重复频率4 kHz.充电电压精度〈0.05%的输出特性,系统的能量传输率达到40 kJ/s,各项指标均满足集成电路光刻用准分子激光光源的实际应用需求。

关键词：脉冲电源串联谐振准分子激光高重频高精度

在线全文

学校读者我要写书评

暂无评论

超宽带穿墙雷达动目标跟踪成像算法研究

仪器仪表学报 2010年第3期31卷 500-506页

作者：孟升卫黄琼吴世有陈洁方广有中国科学院电子学研究所北京100190 哈尔滨工业大学哈尔滨150086 中国科学院研究生院北京100190

利用超宽带穿墙雷达探测跟踪墙后人体目标在城区巷战、反恐斗争和人质救援等领域的应用日益广泛。动目标检测与成像算法是穿墙雷达信号处理的两大关键部分,针对传统的动目标检测方法的不足,本文研究了一种提取动目标回波信息的自适应背... 详细信息

利用超宽带穿墙雷达探测跟踪墙后人体目标在城区巷战、反恐斗争和人质救援等领域的应用日益广泛。动目标检测与成像算法是穿墙雷达信号处理的两大关键部分,针对传统的动目标检测方法的不足,本文研究了一种提取动目标回波信息的自适应背景去除方法,并考虑到墙体影响,对传统的后向投影成像算法进行改进。利用f.TD数值仿真和外场实验验证了对隐藏在墙后运动目标跟踪成像,研究结果表明,本文算法对天线形式要求简单,准确度高,实时性好。

关键词：超宽带雷达动目标检测穿墙成像后向投影

在线全文

学校读者我要写书评

暂无评论

多针–平板电极气液两相介质阻挡的放电特性

高电压技术 2016年第3期42卷 731-738页

作者：方志谈坚杨静阮陈南京工业大学电气工程与控制科学学院南京210009

为深入理解气液两相介质阻挡放电的机理和特征,利用多针–平板电极结构,测量了气液两相DBD的电学和光学放电特性,研究了放电电气参量及放电空间主要粒子强度随外加电压的变化趋势,并根据实验结果建立了放电的等效电路模型,利用其结合放... 详细信息

为深入理解气液两相介质阻挡放电的机理和特征,利用多针–平板电极结构,测量了气液两相DBD的电学和光学放电特性,研究了放电电气参量及放电空间主要粒子强度随外加电压的变化趋势,并根据实验结果建立了放电的等效电路模型,利用其结合放电机理对所得到的结果进行了分析和讨论。结果表明:气液两相DBD的放电与纯气相DBD放电相类似,但还要考虑液体阻抗对放电的影响,其放电电流为阻容性,超前电压的角度f.气相放电可用电压控制电流源(VCCS)、电阻和可变电容来等效,而液体可用可变电阻等效,计算得到放电前其值为825?。

关键词：低温等离子体介质阻挡放电多针电极气液两相放电特性发光图像发射光谱电气模型

f.C烷基化反应原位增容PS/POE共混物中降解的抑制和增容效果的优化

在线全文

学校读者我要写书评

暂无评论

高分子学报 2009年第8期19卷 763-768页

作者：郭正虹方征平程捷浙江大学宁波理工学院高分子材料与工程研究所宁波315100 浙江大学高分子复合材料研究所高分子合成与功能构造教育部重点实验室杭州310027

在聚苯乙烯(PS)/聚烯烃弹性体(POE)/AlCl3共混物中引入苯乙烯(St)单体,增加了共混体系中的不饱和结构,AlCl3催化剂与St反应生成大量的初始碳正离子,这些初始碳正离子进攻POE链生成更多的大碳正离子,进而形成更多的PS-graf.-POE共聚物,... 详细信息

在聚苯乙烯(PS)/聚烯烃弹性体(POE)/AlCl3共混物中引入苯乙烯(St)单体,增加了共混体系中的不饱和结构,AlCl3催化剂与St反应生成大量的初始碳正离子,这些初始碳正离子进攻POE链生成更多的大碳正离子,进而形成更多的PS-graf.-POE共聚物,提高了接枝效率.进而,采用"两次挤出"技术,即先原位增容制成接枝母料,然后接枝母料再与PS和POE二次挤出,可以在一定程度上缓解组份的降解,使共混物的力学性能得到进一步的改善.

关键词：原位增容 f.C烷基化反应聚苯乙烯(PS) 聚烯烃弹性体(POE)

在线全文

学校读者我要写书评

暂无评论

不同反应机理的火焰面模型模拟射流火焰

航空动力学报 2022年第11期37卷 2465-2478页

作者：王方蔡江涛张健金捷北京航空航天大学能源与动力工程学院航空发动机数值仿真研究中心北京100191 北京航空航天大学江西研究院南昌330096 北京航空航天大学成都航空动力创新研究院成都611930 清华大学航空发动机研究院北京100084

用一维火焰分析并构建火焰面数据库,基于稳态层流火焰面(SLf.)模型分析不同化学反应机理对火焰面数据库及模拟结果的影响。基于大涡模拟(LES)程序AECSC(aero engine combustor simulation code)软件,SLf.模型结合DRG(direct relation gr... 详细信息

用一维火焰分析并构建火焰面数据库,基于稳态层流火焰面(SLf.)模型分析不同化学反应机理对火焰面数据库及模拟结果的影响。基于大涡模拟(LES)程序AECSC(aero engine combustor simulation code)软件,SLf.模型结合DRG(direct relation graph)方法简化机理、Smooke机理、GRI 3.0详细机理模拟高雷诺数甲烷射流f.ame D、E、f.焰,其中GRI 3.0机理的温度平均值和脉动值与实验数据最接近。相比LES-概率密度函数输运方程湍流燃烧(TPDf.模型,LES-SLf.方法计算速度快,整体精度接近TPDf.算结果。对化学机理影响火焰面数据库,从而影响模拟时间和精度的原因进行了系统分析。LES-SLf.模型结合详细机理速度快、精度合适,未来可以进一步用燃烧室算例检验,具有应用的潜力和发展价值。

关键词：高雷诺数湍流火焰层流稳态火焰面模型大涡模拟湍流射流火焰 AECSC软件

水对钴基f.scher-Tropsch合成的影响

在线全文

学校读者我要写书评

暂无评论

化学进展 2006年第1期18卷 45-50页

作者：周玮房克功陈建刚孙予罕中国科学院山西煤炭化学研究所煤转化国家重点实验室太原030001 中国科学院研究生院北京100049

近年来钴基f.scher-Tropsch合成(f.T合成)成为C1化学领域的研究热点。在f.T合成中,水是主要产物之一,它不可避免地影响着催化剂性能。本文就水对钴基f.T合成的影响进行了评述,重点讨论了水对催化剂活性、选择性和稳定性的影响。

关键词： f.scher-Tropsch合成钴基催化剂水活性选择性稳定性

胆道外科单病种标准化音视频健康教育的实施与评价

在线全文

学校读者我要写书评

暂无评论

护士进修杂志 2011年第8期26卷 743-744页

作者：洪芳芳陈才谭李军桂林医学院附属医院广西桂林541001

目的探讨胆道外科单病种标准化音视频健康教育的实施效果。方法将符合纳入标准的80例胆道外科病人随机分为两组(各40例)。对照组采用传统健康教育方法,观察组采用单病种标准化音视频健康教育方法,评价两组健康教育效果。结果观察组健康... 详细信息

目的探讨胆道外科单病种标准化音视频健康教育的实施效果。方法将符合纳入标准的80例胆道外科病人随机分为两组(各40例)。对照组采用传统健康教育方法,观察组采用单病种标准化音视频健康教育方法,评价两组健康教育效果。结果观察组健康教育效果明显优于对照组。结论胆道外科单病种标准化音视频健康教育效果优于传统健康教育,值得在临床单病种健康教育中推广应用。

关键词：胆道外科健康教育音视频护理

在线全文

学校读者我要写书评

暂无评论

一种支持实时增量更新的并行包分类算法

计算机研究与发展 2010年第11期47卷 1903-1910页

作者：张树壮罗浩方滨兴哈尔滨工业大学计算机网络与信息安全技术研究中心哈尔滨150001 中国科学院计算技术研究所北京100190

UTM(unif.ed threat management)技术的提出和应用要求多维包分类算法能够支持实时的增量更新.但由于以往的研究都侧重于加快算法的查找速度,这一需求已经成了目前包分类算法在实际应用中的一个瓶颈.提出一种二维trie树结构来组织分类规... 详细信息

UTM(unif.ed threat management)技术的提出和应用要求多维包分类算法能够支持实时的增量更新.但由于以往的研究都侧重于加快算法的查找速度,这一需求已经成了目前包分类算法在实际应用中的一个瓶颈.提出一种二维trie树结构来组织分类规则,并给出了相应的查找及更新算法.利用trie结构的特性将各种长度的前缀组合进行分组,并依此将整个规则集分成多个子集.查找时将每一次查找过程分解成若干个可以独立运行的子任务,每个子任务处理一个子集.两级混合trie结构保持了规则之间的独立性,因此可以快速地对单条规则进行增量删除或添加.实验结果表明,本算法在保持高速查找的基础上,将单条规则的增量更新操作速度提高到了和单次查找操作同样的量级,同时并行查找使得算法对规则类型和规模的敏感度大大降低,具有较好的可扩展性.

关键词：包分类并行查找增量更新混合trie结构规则子集