http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
The Domain Ontology and Domain Rules Based Requirements Model Checking
LI Zong-yong,WANG Zhi-xu,ZHANG Ai-hui,Xu Yong 보안공학연구지원센터 2007 International Journal of Software Engineering and Vol.1 No.1
Many ontology-based methods have been proposed and applied in order to elicit system requirements correctly and unambiguously. However, most of ontologies in these methods are purely conceptual models. Furthermore, the domain knowledge base only captures domain concepts and neglects domain-restricted rules. If the requirements model violate these rules or contradict the usual business behavior, they become unreasonable. This paper suggests a formal approach to precisely describe ontology using description logic at first, and then model the integrity rules and derivation rules which restrict the business behavior. All the rules are represented in three aspects: syntax, semantics and visualization. Finally, the requirements model checking framework is provided combining domain ontology and domain rules, which makes the requirements elicitation process both guided by domain ontology and restricted by domain rules. Therefore, the acquired requirements would comply with both business needs and domain knowledge.
Knockout of the EgriBLOS2 gene results in the transparent integuments of Ectropis grisescens larvae
Li Jia-Li,Zhuang Xiang-Lin,Yuan Ting-Ting,Cai Xiao-Ming,Luo Zong-Xiu,Bian Lei,Chen Zong-Mao,Li Zhao-Qun,Liu Nai-Yong 한국응용곤충학회 2022 Journal of Asia-Pacific Entomology Vol.25 No.1
The body colors of insects have evolved specialized roles in body protection, signaling and physiology. In some case, the larvae can camouflage their body colors to adapt the habitants and protect themselves. However, the genetic and molecular basis on larval body colors of the tea geometrid, Ectropis grisescens, remains poorly known. Here, we reported an effect of the lysosome-related organelles complex-1, subunit 2 (EgriBLOS2) gene knockout on larval integuments of E. grisescens, by using a clustered regularly interspaced short palindromic repeat (CRISPR)/CRISPR-associated protein 9 (Cas9) system. Combining transcriptomic data and PCR approaches, we first identified the EgriBLOS2 gene from E. grisescens, which encoded 137 amino acids and comprised 3 introns. In the phylogenetic analysis, EgriBLOS2 clustered in the Lepidoptera clade with high conservation to members in other lepidopteran species. Developmental expression profiles revealed that EgriBLOS2 was constantly tran scribed at each stage, in which its expression was significantly lower in 2nd instar larvae than that of other instars. After injecting EgriBLOS2-specific guide RNA and Cas9 messenger RNA into eggs, 70% of larvae showed the translucent integuments in G0 generation, with an emphasis on black splayed patterns in the 2nd and 8th segments of abdomens. However, some typical characteristics of larvae were not obviously changed in mutant instars, such as ocelli, mouthparts and other appendants. This study has unraveled the roles of EgriBLOS2 in the formation of larval integument colors, and provides an alternative strategy for pest management based on the colors in this species.
Yuan, Yong-cai,Li, Shu-cai,Zhang, Qian-qing,Li, Li-ping,Shi, Shao-shuai,Zhou, Zong-qing Techno-Press 2016 Geomechanics & engineering Vol.11 No.4
A modified grey clustering method is presented to systematically evaluate the risk of water inrush in karst tunnels. Based on the center triangle whitenization weight function and upper and lower limit measure whitenization weight function, the modified grey evaluation model doesn't have the crossing properties of grey cluster and meets the standard well. By adsorbing and integrating the previous research results, seven influence factors are selected as evaluation indexes. A couple of evaluation indexes are modified and quantitatively graded according to four risk grades through expert evaluation method. The weights of evaluation indexes are rationally distributed by the comprehensive assignment method. It is integrated by the subjective factors and the objective factors. Subjective weight is given based on analytical hierarchy process, and objective weight obtained from simple dependent function. The modified grey evaluation model is validated by Jigongling Tunnel. Finally, the water inrush risk of Shangjiawan Tunnel is evaluated by using the established model, and the evaluation result obtained from the proposed method is agrees well with practical situation. This risk assessment methodology provides a powerful tool with which planners and engineers can systematically assess the risk of water inrush in karst tunnels.
On Generating Fuzzy Systems based on Pareto Multi-objective Cooperative Coevolutionary Algorithm
Zong-Yi Xing,Yong Zhang,Yuan-Long Hou,Li-Min Jia 대한전기학회 2007 International Journal of Control, Automation, and Vol.5 No.4
An approach to construct multiple interpretable and precise fuzzy systems based on the Pareto Multi-objective Cooperative Coevolutionary Algorithm (PMOCCA) is proposed in this paper. First, a modified fuzzy clustering algorithm is used to construct antecedents of fuzzy system, and consequents are identified separately to reduce computational burden. Then, the PMOCCA and the interpretability-driven simplification techniques are executed to optimize the initial fuzzy system with three objectives: the precision performance, the number of fuzzy rules and the number of fuzzy sets; thus both the precision and the interpretability of the fuzzy systems are improved. In order to select the best individuals from each species, we generalize the NSGA-Ⅱ algorithm from one species to multi-species, and propose a new non-dominated sorting technique and collaboration mechanism for cooperative coevolutionary algorithm. Finally, the proposed approach is applied to two benchmark problems, and the results show its validity.
Convenient Synthesis of N-Methylpyrrolidine-2-thione and Some Thioamides
Zong, Zhi-Min,Peng, Yao-Li,Liu, Zhi-Gang,Zhou, Shi-Lu,Wu, Lin,Wang, Xiao-Hua,Wei, Xian-Yong,Lee, Chul Wee 한국화학공학회 2003 Korean Journal of Chemical Engineering Vol.20 No.2
The synthesis of thioamides and thiolactams, which are used as important organic intermediates, has attracted great attention. However, expensive reagents, severe reaction conditions and low yields of the target products made conventional methods inconvenient and economically infeasible. To overcome these disadvantages, we investigated a new process for synthesizing thioamides and thiolactams. We examine thermal reactions of CS_2 with N-methyl-2-pyrrolidinones, formylamide, acetamide and N, N-dimethylformylamide, respectively. The results show that under optimum conditions N-methylpyttolidine-2-thione and the corresponding thioamides can be obtained in good to excellent yields by the above thionation reactions.
Zong-yi Xing,Xue-miao Pang,Hai-yan Ji,Yong Qin,Li-min Jia 제어·로봇·시스템학회 2011 International Journal of Control, Automation, and Vol.9 No.4
The paper presents an approach to model nonlinear dynamic behaviors of the Automatic Depth Control Electrohydraulic System (ADCES) of a certain minesweeping weapon with Radial Basis Function (RBF) neural networks trained by hierarchical genetic algorithm. In the proposed hierarchical genetic algorithm, the control genes are used to determine the number of hidden units, and the parameter genes are used to identify center parameters of hidden units. In order to speed up conver-gence of the proposed algorithm, width and weight parameters of RBF neural network are calculated by linear algebra methods. The proposed approach is applied to the modelling of the ADCES, and ex-perimental results clearly indicate that the obtained RBF neural network can emulate complex dynamic characteristics of the ADCES satisfactorily. The comparison results also show that the proposed approach performs better than the traditional clustering-based method.
Stanniocalcin-1 protects bovine intestinal epithelial cells from oxidative stress-induced damage
Li-ming Wu,Rui Guo,Lin Hui,Yong-gang Ye,Jing-mei Xiang,Chun-yun Wan,Miao Zou,Rui Ma,Xiao-zhuan Sun,Shi-jin Yang,Ding-zong Guo 대한수의학회 2014 JOURNAL OF VETERINARY SCIENCE Vol.15 No.4
Chronic enteritis can produce an excess of reactive oxygenspecies resulting in cellular damage. Stanniocalcin-1(STC-1)reportedly possesses anti-oxidative activity, the aim of thisstudy was to define more clearly the direct contribution ofSTC-1 to anti-oxidative stress in cattle. In this study, primaryintestinal epithelial cells (IECs) were exposed to hydrogenperoxide (H2O2) for different time intervals to mimic chronicenteritis-induced cellular damage. Prior to treatment with 200μM H2O2, the cells were transfected with a recombinantplasmid for 48 h to over-express STC-1. Acridine orange/ethidium bromide (AO/EB) double staining and trypan blueexclusion assays were then performed to measure cell viabilityand apoptosis of the cells, respectively. The expression of STC-1and apoptosis-related proteins in the cells was monitored byreal-time PCR and Western blotting. The results indicated thatboth STC-1 mRNA and protein expression levels positivelycorrelated with the duration of H2O2 treatment. H2O2 damagedthe bovine IECs in a time-dependent manner, and this effectwas attenuated by STC-1 over-expression. Furthermore, overexpressionof STC-1 up-regulated Bcl-2 protein expression andslightly down-regulated caspase-3 production in the damagedcells. Findings from this study suggested that STC-1 plays aprotective role in intestinal cells through an antioxidant mechanism.
Xing Zong-yi,Zhang Yuan,Qin Yong,Jia Li-min,Wu Ying-ying 제어로봇시스템학회 2009 제어로봇시스템학회 국제학술대회 논문집 Vol.2009 No.8
The paper presents an approach to model the electrohydraulic system of a certain mine-sweeping weapon using the Radial Basis Function (RBF) neural networks. In order to obtain accurate and simple RBF neural networks efficiently, a hierarchical genetic algorithm (HGA) is used to train the neural networks, in which the number of hidden units and the parameters of centers are optimized by the HGA simultaneously. The spread factors and the weights of the neural networks are calculated by the linear algebra methods for relieving computational burden. The proposed algorithm is applied to the modelling of the electrohydraulic system, and the results clearly indicate that the obtained RBF neural network can model the hydraulic system satisfactorily. The comparison results also show that the proposed algorithm performs better than the traditional methods.
Study on Interpretable Fuzzy Classification System Based on Neural Networks
Qin Yong,Xing Zong-yi,Jia Li-min,Wu Ying-ying 제어로봇시스템학회 2009 제어로봇시스템학회 국제학술대회 논문집 Vol.2009 No.8
This paper describes a comprehensive method to construct fuzzy classification system considering bothprecision and interpretability. Fuzzy classification system, initialized by modified Gath-Geva fuzzy clustering algorithm, is transformed into neural network. After training the neural network, fuzzy sets similarity measure is adopt to mergeredundant fuzzy sets to improve interpretability, and a constraint genetic algorithm is applied to improve precision. The simulation result on Iris data problem demonstrates the effectiveness of the proposed method