维普期刊资源整合服务平台（V6.5）

54篇 您的检索式：作者名="Magureanu"

选中清除导出查看参考文献查看引证文献引用追踪共3页首页上一页第1页下一页末页 /3 跳转

	题名	作者	年代	出处	被引量
1	Degradation of pharmaceutical compound pentoxifylline in water by non-thermal plasma treatment显示文摘	Monica Magureanu Daniela Piroi Nicolae Bogdan Mandache Victor David Andrei Medvedovici Vasile I. Parvulescu	2010	Water Research2010，，11：	2
2	Validation of static properties in unified modeling language models for cyber physical systems显示文摘Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.	Gabriela MAGUREANU Madalin GAVRILESCU Dan PESCARU	2013	Journal of Zhejiang University-Science C(Computers and Electronics)2013，14，5：	2
3	Decomposition of methylene blue in water using a dielectric barrier discharge: Optimization of the operating parameters显示文摘	Magureanu M Piroi D Mandache N B	2008	Journal of Applied Physics2008，104，10：	1
4	(Zr, Sn)TiO4 thin film for application in electronics显示文摘	Nistor M Gherendi F Magureanu M	2005	Applied Suoface Science2005，247，：	1
5	Catalytic abatement of volatile organic compounds assisted by non-thermal plasma 显示文摘	Kiwi-Minsker L Subrahmanyam Ch Magureanu M	2006	Applied Catalysis B: Environmental2006，65，12：	1
6	Chlorinated organic compounds decomposition in a dielectric barrier discharge 显示文摘	MAGUREANU M MANDACHE N B PARVULESCU V I	2007	Plasma Chem Plasma Process2007，27，6：	1
7	The boundary element method for electromagnetic problems 显示文摘	Brebbia C A Magureanu R	1987	Engineering Analysis1987，4，4：	1
8	查看详情显示文摘	C Subrahmanyam M Magureanu A Renken L Minsker-Kiwi		0，，：	1
9	Pulsed multipoint-to- plate corona discharge for VOC abatement显示文摘	Magureanu M Mandache N B Ruset C	2004	Adv Oxidation Teehnol2004，7，2：	1
10	Improved performance of non-thermal plasma reactorduring decomposition of trichloroethylene:optimization of thereactor geometry and introduction of catalytic electrode显示文摘	MAGUREANU M MANDACHE N B PARVULESCU V L	2007	Applied Catalysis B:Environmental2007，74，34：	1
11	Improved performance of non-thermal plasma reactor during decomposition of tri-chloroethylene:optimization of the reactor geometryand introduction of catalytic electrode显示文摘	MAGUREANU M MANDACHE N B PAR-VULESCU V I	2007	Applied Ca-talysis:B Environmental2007，74，34：	1
12	Improved performance of non-thermal plasma reactor during decomposition of trichloroethylene:Optimization of the reactor geometry and introduction of catalytic electrode显示文摘	Magureanu M Manache N B Parvulescu V I	2007	Appl Catal:B2007，74，：	1
13	Non thermal plasma abatement of tri-chloroethylene enhanced by photocatalysis显示文摘	SUBRAHMANYAM C H MAGUREANU M LAUB D	2007	Journalof Physical Chemistry:C2007，111，11：	1
14	Nonthermal plasma abatement of trichloroethylene enhanced by photocatalysis显示文摘	Subrahmanyam Ch Magureanu M Laub D	2007	J Phys Chem C2007，111，11：	1
15	Nonthermal plasma abatement of trichloroethylene enhanced by photocatalysis显示文摘	SUBRAHMANYAM C MAGUREANU M LAUB D	2007	Physical Chemistry C2007，111，11：	1
16	Decomposition of methylene blue in water by corona discharges显示文摘	Magureanu M Piroi D Gherendi F	2008	Plasma Chem Plasma Process2008，28，：	1
17	Mechanism of C2 hydrocarbon formation from methane in a pulsed microwave 显示文摘	Heintze M Magureanu M Kettlitz M	2002	Journal of Applied Physics2002，92，12：	1
18	Decomposition of methylene blue in water by corona discharges 显示文摘	Magureanu M Piroi D Gherendi F	2008	Plasma Chem Plasma Process2008，28，：	1
19	Methane conversion into acetylene in a microwave plasma: optimization of operating parameters 显示文摘	Heintze M Magureanu M	2002	Journal of Applied Physics2002，92，5：	1
20	Mechanism of C2 hydrocarbon formation from methane in a pulsed microweve显示文摘	HEINTZE M MAGUREANU M KETTLITZ M	2002	Journal of Applied Physics2002，92，12：	1

返回顶部每页显示：

共3页首页上一页第1页下一页末页 /3 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示