期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于EPMM的软件过程性质合理性研究 被引量:2
1
作者 代飞 李彤 +3 位作者 谢仲文 秦江龙 刘金卓 钱晔 《计算机工程》 CAS CSCD 2014年第1期72-77,82,共7页
为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实... 为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。 展开更多
关键词 演化过程元模型 软件演化 软件过程 性质合理性 PETRI网 元模型
下载PDF
基于EPMM的软件过程结构合理性研究 被引量:2
2
作者 代飞 李彤 +2 位作者 谢仲文 莫启 金运志 《计算机科学》 CSCD 北大核心 2013年第8期186-190,共5页
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算... 为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。 展开更多
关键词 软件演化过程 软件演化 软件过程 性质合理性 PETRI网 元模型
下载PDF
Physical Properties and Electrochemical Performance of Solid K_2FeO_4 Samples Prepared by Ex-situ and in-situ Electrochemical Methods 被引量:2
3
作者 徐志花 王建明 +1 位作者 邵海波 张鉴清 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2007年第1期39-43,共5页
K2FeO4 powders were synthesized by the ex-situ and in-situ electrochemical methods, respectively, and characterized by infrared spectrum (IR), scanning electron microscopy (SEM), X-ray powder diffraction (XRD) a... K2FeO4 powders were synthesized by the ex-situ and in-situ electrochemical methods, respectively, and characterized by infrared spectrum (IR), scanning electron microscopy (SEM), X-ray powder diffraction (XRD) and BET. Their electrochemical performances were investigated by means of galvanostatic discharge and electrochemi-cal impedance spectroscopy (EIS). The results of physical characterization showed that the two samples have simi-lar structural features, but their surface morphologies and oriented growth of the crystals are different, which results in smaller specific surface area and lower solubility of the ex-situ electrosynthesized K2FeO4 sample. The results of discharge experiments indicated that the ex-situ electrosythesized K2FeO4 electrode has much larger discharge ca-pacity and lower electrode polarization than the in-situ electrosynthesized K2FeO4 electrode. It was found from the results of EIS that lower electrochemical polarization might be responsible for the improvement on the discharge performance of the ex-situ electrosynthesized K2FeO4 electrode. 展开更多
关键词 K2FeO4 ELECTROSYNTHESIS discharge performance electrochemical impedance spectroscopy (EIS)
下载PDF
The Electro-Physical Properties of Rhenium Chalcogenides' Thin Films 被引量:2
4
作者 Salakhova Elza Majidzadeh Vusala Ibraghimova Kamala Kalantarova Parvana 《Journal of Chemistry and Chemical Engineering》 2013年第6期518-521,共4页
The electro-physical properties of thin layers of rhenium chalcogenides' alloys, their dynamical and static ampere-voltaic characteristics were investigated. During the investigation of static and dynamical ampere-vo... The electro-physical properties of thin layers of rhenium chalcogenides' alloys, their dynamical and static ampere-voltaic characteristics were investigated. During the investigation of static and dynamical ampere-voltaic characteristics of rectifying contact of aluminium and rhenium chalcogenides' alloys the switching effects were found. 展开更多
关键词 ELECTROCHEMISTRY thin films rhenium chalcogenides.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部