oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 3 )

2019 ( 413 )

2018 ( 8032 )

2017 ( 8353 )

Custom range...

Search Results: 1 - 10 of 365988 matches for " 刘园 徐宝文? "
All listed articles are free for downloading (OA Articles)
Page 1 /365988
Display every page Item
java并发系统的acp模型

计算机科学 , 2003,
Abstract: feasibilityandefficiencyofanalyzingconcurrentprogramsmostlyrelyontheprograms′representations.thispaperproposesamodelofjavaconcurrentsystembyusingacp,sothatjavaconcurrentsystemcanbetrans-formedtoprocessalgebraexpressions
ACP Model of Java Concurrency
Java并发系统的ACP模型

LIU Yuan XU Bao-Wen,
,

计算机科学 , 2003,
Abstract: Feasibility and efficiency of analyzing concurrent programs mostly rely on the programs' representations. This paper proposes a model of Java concurrent system by using ACP.so that Java concurrent system can be transformed to process algebra expressions which facilitate model checking or some further analysis.
面向路径覆盖的演化测试用例生成技术
谢晓,,史亮?,聂长海?
软件学报 , 2009,
Abstract: 为了解决目前结构性演化测试主要集中于面向语句、分支等覆盖标准,缺乏面向路径覆盖标准的问题,提出了基于相似性度量的适应值函数构造方法,以用于生成覆盖指定路径的测试用例.首先给出适应值函数构造基本模型,即利用测试数据的真实执行轨迹来评估它相对于指定路径的适应值.该模型的核心在于度量执行轨迹与指定路径之间的相似度,为此给出了3种不同的相似度度量算法.该模型可以完全自动化地为每一条目标路径构造出特定的适应值函数.实验结果表明,相对于其他路径测试方法,该方法在针对复杂路径的情况下具有一定的优势.此外,实验结果还指出了该方法的适用性范围和局限所在.
基于区间估计的风电出力多场景下静态电压安全域研究
,,赵子兰,福潮,
电工技术学报 , 2015,
Abstract: 提出一种建立风电多场景的新方法,用于计算发生概率较大的风电出力场景及该场景下的系统静态电压安全域边界。该方法依据风速的威布尔分布特性,能够在参数未知的情况下,利用实测风速的极大似然估计和Fisher信息矩阵,对风速的形状参数、尺度参数进行满足置信度α的区间估计,再根据Gamma函数与威布尔分布n阶矩阵的关系,来计算实际风速期望的近似区间,继而计算风电的出力水平;再依据该出力水平区间的上、下限求得能适应大部分风电扰动的基于割集功率空间的静态电压稳定域实用边界。最后通过实例验证该方法的实用性和有效性。
四种鲟鱼线粒体PCR-RFLP鉴定方法的研究
董传举,,晓勇,宋迎楠,,孙效
生物技术通报 , 2014, DOI: 10.13560/j.cnki.biotech.bull.1985.2014.12.013
Abstract: 利用线粒体序列开发高效准确的分子鉴定方法广泛应用于水产品易混物种的鉴定中。应用PCR-RFLP技术,对鲟鱼易混种开展了分子生物学鉴定方法研究。结果表明,利用一组引物对8种鲟鱼线粒体基因进行PCR扩增,分别应用限制性内切酶TaqαI、AvaII和EagI-HF、NaeI对扩增产物进行酶切,并用3.0%的琼脂糖凝胶检测PCR产物的酶切结果,可从8种鲟鱼易混种中分别鉴别出中华鲟、小体鲟、达氏鳇以及欧鳇。所建立的方法操作简单,在保证鱼种存活基础上只需剪取少量鳍条,便可快速准确地进行常见鲟鱼和不同鲟鱼产品的鉴别,大大增加了鉴定结果的准确性和可信度,极大地提高了工作效率。
基于公交IC卡数据的公交客流统计方法
,邓春瑶,
中国公路学报 , 2013,
Abstract: ?为了获得准确可靠的居民公交出行信息,从而为公交系统的规划和优化提供数据支持,提出了基于公交IC卡数据的公交客流统计方法。结合公交系统GPS应用,建立了基于公交IC卡数据和GPS信息的时刻匹配上车站点判断方法;利用基于站点吸引权的下车站点判断方法对下车人数进行了推算,并针对单个乘客刷卡情况对居民出行情况进行研究,给出了基于刷卡间隔与换乘阈值的关系、换乘距离及运行方向的换乘识别方法,同时明确了符合居民出行情况的换乘参数确定方法。最后利用哈尔滨市现有公交IC卡数据、GPS数据及线路站点数据,对该方法的有效性进行了验证。结果表明:所提出的利用公交IC卡数据进行公交客流统计的方法是有效的。
Genetic Test Case Generation for Path-oriented Testing
面向路径覆盖的演化测试用例生成技术

XIE Xiao-Yuan,XU Bao-Wen,SHI Liang,NIE Chang-Hai,
谢晓
,,史亮,聂长海

软件学报 , 2009,
Abstract: Nowadays many researches have focused on structural ET based on statement and branch coverage and there are few researches on path-oriented ET. To solve this problem, this paper provokes an approach to construct the fitness function for test case generation in path-oriented ET based on the similarity evaluation techniques. First, a basic model for fitness function design is provided. The core of the model is to evaluate the similarity between the execution track and the target path. Accordingly three different algorithms for the similarity evaluation are provided. This model can automatically generate fitness function for each target path. The empirical studies present the superiority of the approach over several other path-oriented testing techniques, especially for the complex paths. Besides, the limitation and the applicable scope of the approach are pointed out.
深水栽培无节水芹铅污染原因探究
Study on the Causes of Pb Pollution in Inarticulate Water Dropwort Cultivated in Deep Water
 [PDF]

, 周双庆, 季美娣, 加宽, 詹国勤, 建国
International Journal of Ecology (IJE) , 2016, DOI: 10.12677/IJE.2016.52003
Abstract:
为探索金坛无节水芹铅污染原因及控制技术,对其主产区土壤、灌溉水、肥料和水芹产品进行了取样检测分析。结果表明,主产区土壤样品铅含量均不超标,肥料中铅含量也符合国家标准要求,而灌溉水中铅浓度却有18.2%超标。当灌溉水中铅浓度达到无公害芹菜生产水环境质量标准中允许铅含量的上限时(0.05 mg/L, NY 5010-2002),主栽品种扬州白芹茎中铅含量为0.263 mg/kg,超过国家标准允许值(0.1 mg/kg, GB 2762-2012) 163%。相关分析表明,灌溉水中铅浓度与成熟期扬州白芹茎中铅含量呈极显著正相关(r = 0.7980, P < 0.01)。造成金坛无节水芹铅污染的原因,主要是灌溉水铅含量超标,其次是长期的深水灌溉的栽培方式。金坛无节水芹特殊的深水栽培方式决定了其灌溉水执行的标准要高于无公害蔬菜产地环境条件中规定的灌溉水质量指标要求,即不是≤0.05 mg/L,而应≤0.03 mg/L。
In order to investigate Pb pollution causes in Jintan inarticulate water dropwort (Oenanthe stolonifera) and the control technologies, soils, irrigation water, fertilizers and water dropwort products were sampled to test Pb concentrations in the production areas. The results showed that Pb concentrations in all soil and fertilizer samples were below the maximum allowable concentrations (MAC, according to the Chinese Standards) for safe production, but Pb concentrations exceeded the MAC in 18.2% of the irrigation water samples. When Pb concentration in the irrigation water reached the MAC (0.05 mg/L, NY 5010-2002), Pb concentration of water dropwort was 0.263 mg/kg, which was 163% higher than the MAC for water dropwort (0.1 mg/kg, GB 2762-2012). Further analysis indicated that there was positive and highly significant (r = 0.7980, P < 0.01) correlation between irrigation water and Jintan inarticulate water dropwort in Pb concentrations. There- fore, the Pb pollution in irrigation water is the main cause for Pb accumulation in Jintan inarticulate water dropwort. The secondary cause for Pb pollution of Jintan inarticulate water dropwort is deep water cultivation. The results reveal that Pb concentration in the irrigation water, for safe production of Jintan inarticulate water dropwort, must be controlled below 0.03 mg/L.
“双心医学”模式在慢性心衰伴抑郁障碍患者中的应用
,
天津医药 , 2014,
Abstract: ?目的:探讨“双心医学”模式在慢性心衰伴抑郁障碍患者中的应用。方法:采用phq-2和phq-9患者健康问卷对住院的慢性心衰患者进行问卷调查,选出符合条件的80例患者,随机分为常规组(40例)和干预组(40例)。常规组给予常规药物治疗,干预组在常规药物治疗基础上给予“双心医学”模式干预,3个月后再次测评,将干预组患者干预前后积分进行统计学分析。结果与常规组比较,干预组phq-9总分有显著降低(p<0.01),2组治疗后较治疗前lvef、bnp、crp均明显改善(p<0.05)。干预组治疗3个月后lvef、bnp、crp改善情况明显优于常规组。结论“双心医学”模式在治疗慢性心衰的同时化解患者的心理问题,缓解抑郁情绪,达到心血管和心理双重治疗,改善患者预后,促进康复。
开放系统中4株丝状真菌的成球生长及其对染料的吸附脱色
效梅,,李玮,李智慧,
环境科学 , 2005,
Abstract: 考察了4株丝状真菌对3种高水溶性染料的吸附脱色,研究了开放体系中影响菌丝成球生长及染料吸附的几个关键因素并探讨了菌丝球多次重复接种的可行性.结果显示,4菌株对酸性艳红B的去除率接近100%;木霉对3种染料的脱色率均超过99%.开放系统中低时间研磨菌丝的高浓度接种木霉成球良好,酸性艳红B去除近100%.菌丝球的重复接种加速了染料的吸附去除,废水脱色时间从一次接种的72h减至3次接种的12h.
Page 1 /365988
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.