It was found that traces of water in the reaction medium would result in a great increase of gel and a decrease of Molecular weight of the poly(2-methoxy,5-(2'-ethylhexyloxy)-1,4-phenylene vinylene) during the pol...It was found that traces of water in the reaction medium would result in a great increase of gel and a decrease of Molecular weight of the poly(2-methoxy,5-(2'-ethylhexyloxy)-1,4-phenylene vinylene) during the polymerization, which ultimately led to inferior film qualities and device properties. The device (ITO/PEDOT/MEH-PPV/Ba/Al) with MEH-PPV prepared under dry conditions has an external quantum efficiency of above 2.0%.展开更多
Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approac...Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approach for the detection of implicit information leaks in business process execution language(BPEL)based on information flow analysis.We introduce an adequate meta-model for BPEL representation based on a Petri net for transformation and analysis.Building on the concept of Petri net place-based noninterference,the core contribution of this paper is the application of a Petri net reachability graph to estimate Petri net interference and thereby to detect implicit information leaks in web service composition.In addition,a case study illustrates the application of the approach on a concrete workflow in BPEL notation.展开更多
基金This work were supported by the National Natural Science Foundation of China (Project No29992530-6) and the Natural Science Foundation of Guangdong Province (Grant No. 990623).
文摘It was found that traces of water in the reaction medium would result in a great increase of gel and a decrease of Molecular weight of the poly(2-methoxy,5-(2'-ethylhexyloxy)-1,4-phenylene vinylene) during the polymerization, which ultimately led to inferior film qualities and device properties. The device (ITO/PEDOT/MEH-PPV/Ba/Al) with MEH-PPV prepared under dry conditions has an external quantum efficiency of above 2.0%.
基金Project supported by the National High-Tech R&D Program(863)of China(No.2015AA015303)the National Natural Science Foundation of China(No.61272083)
文摘Information leak,which can undermine the compliance of web-service-composition business processes for some policies,is one of the major concerns in web service composition.We present an automated and effective approach for the detection of implicit information leaks in business process execution language(BPEL)based on information flow analysis.We introduce an adequate meta-model for BPEL representation based on a Petri net for transformation and analysis.Building on the concept of Petri net place-based noninterference,the core contribution of this paper is the application of a Petri net reachability graph to estimate Petri net interference and thereby to detect implicit information leaks in web service composition.In addition,a case study illustrates the application of the approach on a concrete workflow in BPEL notation.
