http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
AN EXECUTABLE SPECIFICATION LANGUAGE-ChiSL
Xu, Chuang,Xu, Yong Sen 대한전자공학회 1992 HICEC:Harbin International Conference on Electroni Vol.1 No.1
ChiSL, originally named NUSL, is an applicative executable specification language, centred around the concept of data abstraction, with module costruct in it. Both the algebraic and the model-oriented specification techniques of abstract data types are embedded in the language. ChiSL is an applicative language which is readable and mathematical. With the module construct, it is convenient to use ChiSL to write large specifications. Because the language is executable, a specification in ChiSL may be viewed as a prototype of the specified system and be executed on the supporting system. In this paper, we also show an application in developing a management system of library using ChiSL and its supporting system.
FoxM1 as a Novel Therapeutic Target for Cancer Drug Therapy
Xu, Xin-Sen,Miao, Run-Chen,Wan, Yong,Zhang, Ling-Qiang,Qu, Kai,Liu, Chang Asian Pacific Journal of Cancer Prevention 2015 Asian Pacific journal of cancer prevention Vol.16 No.1
Background: Current cancer therapy mainly focuses on identifying novel targets crucial for tumorigenesis. The FoxM1 is of preference as an anticancer target, due to its significance in execution of mitosis, cell cycle progression, as well as other signal pathways leading to tumorigenesis. FoxM1 is partially regulated by oncoproteins or tumor suppressors, which are often mutated, lost, or overexpressed in human cancer. Since sustaining proliferating signaling is an important hallmark of cancer, FoxM1 is overexpressed in a series of human malignancies. Alarge-scale gene expression analysis also identified FoxM1 as a differentially-expressed gene in most solid tumors. Furthermore, overexpressed FoxM1 is correlated with the prognosis of cancer patients, as verified in a series of malignancies by Cox regression analysis. Thus, extensive studies have been conducted to explore the roles of FoxM1 in tumorigenesis, making it an attractive target for anticancer therapy. Several antitumor drugs have been reported to target or inhibit FoxM1 expression in different cancers, and down-regulation of FoxM1 also abrogates drug resistance in some cancer cell lines, highlighting a promising future for FoxM1 application in the clinic.
Model Based on Alkaline Phosphatase and Gamma-Glutamyltransferase for Gallbladder Cancer Prognosis
Xu, Xin-Sen,Miao, Run-Chen,Zhang, Ling-Qiang,Wang, Rui-Tao,Qu, Kai,Pang, Qing,Liu, Chang Asian Pacific Journal of Cancer Prevention 2015 Asian Pacific journal of cancer prevention Vol.16 No.15
Purpose: To evaluate the prognostic value of alkaline phosphatase (ALP) and gamma-glutamyltransferase (GGT) in gallbladder cancer (GBC). Materials and Methods: Serum ALP and GGT levels and clinicopathological parameters were retrospectively evaluated in 199 GBC patients. Receiver operating characteristic (ROC) curve analysis was performed to determine the cut-off values of ALP and GGT. Then, associations with overall survival were assessed by multivariate analysis. Based on the significant factors, a prognostic score model was established. Results: By ROC curve analysis, $ALP{\geq}210U/L$ and $GGT{\geq}43U/L$ were considered elevated. Overall survival for patients with elevated ALP and GGT was significantly worse than for patients within the normal range. Multivariate analysis showed that the elevated ALP, GGT and tumor stage were independent prognostic factors. Giving each positive factor a score of 1, we established a preoperative prognostic score model. Varied outcomes would be significantly distinguished by the different score groups. By further ROC curve analysis, the simple score showed great superiority compared with the widely used TNM staging, each of the ALP or GGT alone, or traditional tumor markers such as CEA, AFP, CA125 and CA199. Conclusions: Elevated ALP and GGT levels were risk predictors in GBC patients. Our prognostic model provides infomration on varied outcomes of patients from different score groups.
Thermal Model for Power Converters Based on Thermal Impedance
Xu, Yang,Chen, Hao,Lv, Sen,Huang, Feifei,Hu, Zhentao The Korean Institute of Power Electronics 2013 JOURNAL OF POWER ELECTRONICS Vol.13 No.6
In this paper, the superposition principle of a heat sink temperature rise is verified based on the mathematical model of a plate-fin heat sink with two mounted heat sources. According to this, the distributed coupling thermal impedance matrix for a heat sink with multiple devices is present, and the equations for calculating the device transient junction temperatures are given. Then methods to extract the heat sink thermal impedance matrix and to measure the Epoxy Molding Compound (EMC) surface temperature of the power Metal Oxide Semiconductor Field Effect Transistor (MOSFET) instead of the junction temperature or device case temperature are proposed. The new thermal impedance model for the power converters in Switched Reluctance Motor (SRM) drivers is implemented in MATLAB/Simulink. The obtained simulation results are validated with experimental results. Compared with the Finite Element Method (FEM) thermal model and the traditional thermal impedance model, the proposed thermal model can provide a high simulation speed with a high accuracy. Finally, the temperature rise distributions of a power converter with two control strategies, the maximum junction temperature rise, the transient temperature rise characteristics, and the thermal coupling effect are discussed.
Faqing Xu,Lingli Zheng,Zhongnan Yang,Sen Zhang 한국식물학회 2020 Journal of Plant Biology Vol.63 No.5
Plant stigmas distinguish the pollen grains and allow compatible ones to fertilize female gametes. To analyze the underlying mechanism, conditional male-sterile mutations with impaired pollen coat and pollen–stigma recognition were isolated. The mutant pollen could germinate in vitro but not in vivo, suggesting that they are viable. The mutant stigma cells that contacted their own pollen-generated callose, a carbohydrate typically produced in response to foreign pollen. The defects of pollen hydration and fertilization in the mutants were rescued by high humidity, indicating that hydration is required for pollen–stigma interaction. Pollination with mixture of wild type and mutant pollens demonstrated that the pollen–stigma recognition of mutant pollen was disrupted. The mutant plants exhibited lack of stem waxes and postgenital fusion between aerial floral organs. In addition, the mutant pollen was deficient in very-long-chain lipids and had excess tryphine. Transmission electron microscopy analysis showed that mutant pollen had almost the same surface structure as the wild type at bicellular pollen stage. However, abnormal plastoglobuli were observed in the plastids of the mutant tapetum, which was an indicative of altered lipid accumulation. CER3 transcripts were found in anther tapetum and microspores at development stage 9. Our data reveal that CER3 is required for biosynthesis of tryphine lipids which function to maintain hydration for pollen–stigma recognition during fertilization.
Thermal Model for Power Converters Based on Thermal Impedance
Yang Xu,Hao Chen,Sen Lv,Feifei Huang,Zhentao Hu 전력전자학회 2013 JOURNAL OF POWER ELECTRONICS Vol.13 No.6
In this paper, the superposition principle of a heat sink temperature rise is verified based on the mathematical model of a plate-fin heat sink with two mounted heat sources. According to this, the distributed coupling thermal impedance matrix for a heat sink with multiple devices is present, and the equations for calculating the device transient junction temperatures are given. Then methods to extract the heat sink thermal impedance matrix and to measure the Epoxy Molding Compound (EMC) surface temperature of the power Metal Oxide Semiconductor Field Effect Transistor (MOSFET) instead of the junction temperature or device case temperature are proposed. The new thermal impedance model for the power converters in Switched Reluctance Motor (SRM) drivers is implemented in MATLAB/Simulink. The obtained simulation results are validated with experimental results. Compared with the Finite Element Method (FEM) thermal model and the traditional thermal impedance model, the proposed thermal model can provide a high simulation speed with a high accuracy. Finally, the temperature rise distributions of a power converter with two control strategies, the maximum junction temperature rise, the transient temperature rise characteristics, and the thermal coupling effect are discussed.