University of Macau

About: University of Macau is a education organization based out in Macao, Macau, China. It is known for research contribution in the topics: Computer science & Population. The organization has 6636 authors who have published 18324 publications receiving 327384 citations. The organization is also known as: UM & UMAC.

Significantly Enhanced Energy Density in Nanocomposite Capacitors Combining the TiO2 Nanorod Array with Poly(vinylidene fluoride).

Abstract: A novel inorganic/polymer nanocomposite, using 1-dimensional TiO2 nanorod array as fillers (TNA) and poly(vinylidene fluoride) (PVDF) as matrix, has been successfully synthesized for the first time. A carefully designed process sequence includes several steps with the initial epitaxial growth of highly oriented TNA on the fluorine-doped tin oxide (FTO) conductive glass. Subsequently, PVDF is embedded into the nanorods by the spin-coating method followed by annealing and quenching processes. This novel structure with dispersive fillers demonstrates a successful compromise between the electric displacement and breakdown strength, resulting in a dramatic increase in the electric polarization which leads to a significant improvement on the energy density and discharge efficiency. The nanocomposites with various height ratios of fillers between the TNA and total film thickness were investigated by us. The results show that nanocomposite with 18% height ratio fillers obtains maximum increase in the energy densi...

Angiogenic Effect of Saponin Extract from Panax notoginseng on HUVECs In Vitro and Zebrafish In Vivo

Abstract: Angiogenesis plays an important role in a wide range of physiological processes such as wound healing and fetal development. In fact, many diseases are associated with imbalance in the regulation of angiogenesis in which there is either excessive or insufficient blood vessel formation. Panax notoginseng, a blood circulation invigorating herb, is commonly used in traditional Chinese medicine to treat circulation-related diseases. However, the biological effects of saponin extract from Panax notoginseng (PNS) on angiogenesis and the underlying mechanisms are yet to be fully elucidated. This investigation describes the angiogenic effects of PNS on human umbilical vein endothelial cells (HUVECs) in vitro and zebrafish in vivo. The 2,3-bis(2-methoxy-4-nitro-5-sulfophenyl)5[(phenylamino)carbonyl]2H-tetrazolium hydroxide (XTT) assay and microscopic cell counting demonstrated that the extract was able to stimulate the proliferation of HUVECs. Meanwhile, the numbers of invaded cells and tube branches were significantly increased in PNS treatment groups. PNS was also shown to promote changes in the subintestinal vessels, a feature of angiogenesis, in zebrafish. In addition, by using real-time polymerase chain reaction (PCR), PNS was found to enhance vascular endothelial growth factor (VEGF) and kinase-domain region/fetal liver kinase-1 in mice (KDR/Flk-1) mRNA expression, and the PNS-induced HUVECs proliferation could be abolished by a KDR/Flk-1 inhibitor. Furthermore, the proliferation of HUVECs induced by PNS was significantly attenuated by inhibitors of PI3K-Akt-eNOS. All the results suggest that PNS can promote angiogenesis, and that the proangiogenic effects involve the VEGF-KDR/Flk-1 and PI3K-Akt-eNOS signaling pathways.

A formal semantics of UML sequence diagram

Abstract: We present a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical structure tree. The static semantics of a sequence diagram is to check whether it is consistent with the class diagram declaration as well as with its well-formed tree structure. Meanwhile, the dynamic semantics is defined in terms of the state transitions that are carried out by the method invocations in the diagram. When a message is executed, it must be consistent with system state, i.e., object diagram and the state diagrams of its related objects. The semantics clearly captures the consistency between sequence diagram with class diagram and state diagram. Therefore, it is useful to develop the model consistent checking functions in UML CASE tools. And it also can be used to reason about the correctness of a design model with respect to a requirement model.