一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。     

Rational Design of CYP3A4 Inhibitors: A One-Atom Linker Elongation in Ritonavir-Like Compounds Leads to a Marked Improvement in the Binding Strength

Inhibition of the major human drug-metabolizing cytochrome P450 3A4 (CYP3A4) by pharmaceuticals and other xenobiotics could lead to toxicity, drug–drug interactions and other adverse effects, as well as pharmacoenhancement. Despite serious clinical implications, the structural basis and attributes required for the potent inhibition of CYP3A4 remain to be established. We utilized a rational inhibitor design to investigate the structure–activity relationships in the analogues of ritonavir, the most potent CYP3A4 inhibitor in clinical use. This study elucidated the optimal length of the head-group spacer using eleven (series V) analogues with the R₁/R₂ side-groups as phenyls or R₁–phenyl/R₂–indole/naphthalene in various stereo configurations. Spectral, functional and structural characterization of the inhibitory complexes showed that a one-atom head-group linker elongation, from pyridyl–ethyl to pyridyl–propyl, was beneficial and markedly improved K_s, IC₅₀ and thermostability of CYP3A4. In contrast, a two-atom linker extension led to a multi-fold decrease in the binding and inhibitory strength, possibly due to spatial and/or conformational constraints. The lead compound, 3h, was among the best inhibitors designed so far and overall, the strongest binder (K_s and IC₅₀ of 0.007 and 0.090 µM, respectively). 3h was the fourth structurally simpler inhibitor superior to ritonavir, which further demonstrates the power of our approach.     

The GAUGAA Motif Is Responsible for the Binding between circSMARCA5 and SRSF1 and Related Downstream Effects on Glioblastoma Multiforme Cell Migration and Angiogenic Potential

Circular RNAs (circRNAs) are a large class of RNAs with regulatory functions within cells. We recently showed that circSMARCA5 is a tumor suppressor in glioblastoma multiforme (GBM) and acts as a decoy for Serine and Arginine Rich Splicing Factor 1 (SRSF1) through six predicted binding sites (BSs). Here we characterized RNA motifs functionally involved in the interaction between circSMARCA5 and SRSF1. Three different circSMARCA5 molecules (Mut1, Mut2, Mut3), each mutated in two predicted SRSF1 BSs at once, were obtained through PCR-based replacement of wild-type (WT) BS sequences and cloned in three independent pcDNA3 vectors. Mut1 significantly decreased its capability to interact with SRSF1 as compared to WT, based on the RNA immunoprecipitation assay. In silico analysis through the “Find Individual Motif Occurrences” (FIMO) algorithm showed GAUGAA as an experimentally validated SRSF1 binding motif significantly overrepresented within both predicted SRSF1 BSs mutated in Mut1 (q-value = 0.0011). U87MG and CAS-1, transfected with Mut1, significantly increased their migration with respect to controls transfected with WT, as revealed by the cell exclusion zone assay. Immortalized human brain microvascular endothelial cells (IM-HBMEC) exposed to conditioned medium (CM) harvested from U87MG and CAS-1 transfected with Mut1 significantly sprouted more than those treated with CM harvested from U87MG and CAS-1 transfected with WT, as shown by the tube formation assay. qRT-PCR showed that the intracellular pro- to anti-angiogenic Vascular Endothelial Growth Factor A (VEGFA) mRNA isoform ratio and the amount of total VEGFA mRNA secreted in CM significantly increased in Mut1-transfected CAS-1 as compared to controls transfected with WT. Our data suggest that GAUGAA is the RNA motif responsible for the interaction between circSMARCA5 and SRSF1 as well as for the circSMARCA5-mediated control of GBM cell migration and angiogenic potential.     

The GNAQ T96S Mutation Affects Cell Signaling and Enhances the Oncogenic Properties of Hepatocellular Carcinoma

Hepatocellular carcinoma (HCC), the most common malignant tumor in the liver, grows and metastasizes rapidly. Despite advances in treatment modalities, the five-year survival rate of HCC remains less than 30%. We sought genetic mutations that may affect the oncogenic properties of HCC, using The Cancer Genome Atlas (TCGA) data analysis. We found that the GNAQ T96S mutation (threonine 96 to serine alteration of the Gαq protein) was present in 12 out of 373 HCC patients (3.2%). To examine the effect of the GNAQ T96S mutation on HCC, we transfected the SK-Hep-1 cell line with the wild-type or the mutant GNAQ T96S expression vector. Transfection with the wild-type GNAQ expression vector enhanced anchorage-independent growth, migration, and the MAPK pathways in the SK-Hep-1 cells compared to control vector transfection. Moreover, cell proliferation, anchorage-independent growth, migration, and the MAPK pathways were further enhanced in the SK-Hep-1 cells transfected with the GNAQ T96S expression vector compared to the wild-type GNAQ-transfected cells. In silico structural analysis shows that the substitution of the GNAQ amino acid threonine 96 with a serine may destabilize the interaction between the regulator of G protein signaling (RGS) protein and GNAQ. This may reduce the inhibitory effect of RGS on GNAQ signaling, enhancing the GNAQ signaling pathway. Single nucleotide polymorphism (SNP) genotyping analysis for Korean HCC patients shows that the GNAQ T96S mutation was found in only one of the 456 patients (0.22%). Our data suggest that the GNAQ T96S hotspot mutation may play an oncogenic role in HCC by potentiating the GNAQ signal transduction pathway.     

BRAF Gene and Melanoma: Back to the Future

As widely acknowledged, 40–50% of all melanoma patients harbour an activating BRAF mutation (mostly BRAF V600E). The identification of the RAS–RAF–MEK–ERK (MAP kinase) signalling pathway and its targeting has represented a valuable milestone for the advanced and, more recently, for the completely resected stage III and IV melanoma therapy management. However, despite progress in BRAF-mutant melanoma treatment, the two different approaches approved so far for metastatic disease, immunotherapy and BRAF+MEK inhibitors, allow a 5-year survival of no more than 60%, and most patients relapse during treatment due to acquired mechanisms of resistance. Deep insight into BRAF gene biology is fundamental to describe the acquired resistance mechanisms (primary and secondary) and to understand the molecular pathways that are now being investigated in preclinical and clinical studies with the aim of improving outcomes in BRAF-mutant patients.     

Computational-Driven Epitope Verification and Affinity Maturation of TLR4-Targeting Antibodies

Toll-like receptor (TLR) signaling plays a critical role in the induction and progression of autoimmune diseases such as rheumatoid arthritis, systemic lupus erythematous, experimental autoimmune encephalitis, type 1 diabetes mellitus and neurodegenerative diseases. Deciphering antigen recognition by antibodies provides insights and defines the mechanism of action into the progression of immune responses. Multiple strategies, including phage display and hybridoma technologies, have been used to enhance the affinity of antibodies for their respective epitopes. Here, we investigate the TLR4 antibody-binding epitope by computational-driven approach. We demonstrate that three important residues, i.e., Y328, N329, and K349 of TLR4 antibody binding epitope identified upon in silico mutagenesis, affect not only the interaction and binding affinity of antibody but also influence the structural integrity of TLR4. Furthermore, we predict a novel epitope at the TLR4-MD2 interface which can be targeted and explored for therapeutic antibodies and small molecules. This technique provides an in-depth insight into antibody–antigen interactions at the resolution and will be beneficial for the development of new monoclonal antibodies. Computational techniques, if coupled with experimental methods, will shorten the duration of rational design and development of antibody therapeutics.     

Molecular Genetics of Conjunctival Melanoma and Prognostic Value of TERT Promoter Mutation Analysis

The aim of this study was exploration of the genetic background of conjunctival melanoma (CM) and correlation with recurrent and metastatic disease. Twenty-eight CM from the Rotterdam Ocular Melanoma Study group were collected and DNA was isolated from the formalin-fixed paraffin embedded tissue. Targeted next-generation sequencing was performed using a panel covering GNAQ, GNA11, EIF1AX, BAP1, BRAF, NRAS, c-KIT, PTEN, SF3B1, and TERT genes. Recurrences and metastasis were present in eight (29%) and nine (32%) CM cases, respectively. TERT promoter mutations were most common (54%), but BRAF (46%), NRAS (21%), BAP1 (18%), PTEN (14%), c-KIT (7%), and SF3B1 (4%) mutations were also observed. No mutations in GNAQ, GNA11, and EIF1AX were found. None of the mutations was significantly associated with recurrent disease. Presence of a TERT promoter mutation was associated with metastatic disease (p-value = 0.008). Based on our molecular findings, CM comprises a separate entity within melanoma, although there are overlapping molecular features with uveal melanoma, such as the presence of BAP1 and SF3B1 mutations. This warrants careful interpretation of molecular data, in the light of clinical findings. About three quarter of CM contain drug-targetable mutations, and TERT promoter mutations are correlated to metastatic disease in CM.     

Using the genetic algorithm to enhance nonnegative matrix factorization initialization

Nonnegative matrix factorization (NMF) algorithms have been utilized in a wide range of real applications; however, the performance of NMF is highly dependent on three factors including: (1) choosing a problem dependent cost function; (2) using an effective initialization method to start the updating procedure from a near‐optimal point; and (3) determining the rank of factorized matrices prior to decomposition. Due to the nonconvex nature of the NMF cost function, finding an analytical‐based optimal solution is impossible. This paper is aimed at proposing an efficient initialization method to modify the NMF performance. To widely explore the search space for initializing the factorized matrices in NMF, the island genetic algorithm (IGA) is employed as a diverse multiagent search scheme. To adapt IGA for NMF initialization, we present a specific mutation operator. To assess how the proposed IGA initialization method efficiently enhances NMF performance, we have implemented state‐of‐the‐art initialization methods and applied to the Japanese Female Facial Expression dataset to recognize the facial expression states. Experimental results demonstrate the superiority of the proposed approach to the compared methods in terms of relative error and fast convergence.     

"十五"期间国内石油化学工业发展梗概

概述了我国目前石油和化学工业的现状,与发达国家相比存在的主要差距,以及"十五"期间发展思路和规划目标.     

基于SDNA-GA 优化的模糊神经网络控制

针对最新的生物DNA研究,病毒中同一DNA碱基顺序可以编码出2条或者3条不同的多肽链.在此基础上分析与模仿了重叠基因和重叠密码的机理,得到一种新的基于重叠基因编码框架,从而提高了问题求解的效率;同时,得到一种移码解读框架的DNA遗传算法(SDNA-GA)计算模型,并将其应用于一类广义隶属度型T-S模糊神经网络控制器(GTS-FNNC)的优化设计,实现了GTS-FNNC的在线学习.