维普中文期刊产品整合服务
23篇 您的检索式:作者名="LI BiXin"
    题名 作者 年代 出处 被引量
1IPSETFUL: an iterative process of selecting test cases for effective fault localization by exploring concept lattice of program spectra显示文摘Xiaobing SUN Xin PENG Bin LI Bixin LI Wanzhi WEN 2016Frontiers of Computer Science2016,10,5:3
2HSM-based Change Object-Oriented Impact Analysis of Java Programs显示文摘SUN Xiaobing LI Bixin TAO Chuanqi ZHANG Sai 2011Chinese Journal of Electronics2011,20,2:3
3Survival and effective prognostic factors in lung cancer patients with brain metastases treated with whole brain radiotherapy显示文摘Objective:To evaluate the outcomes and explore the risk factors for survival of lung cancer patients with brain metastases(BMs)who were treated with whole brain radiotherapy(WBRT)and to identify the significance of the risk factors.Methods:A retrospective analysis was carried out for lung cancer patients with BMs who were treated with WBRT in the Second Affiliated Hospital of Soochow University from January 2014 to December 2017.Their survival time was calculated using the Kaplan-Meier method.Meanwhile,the neutrophil-lymphocyte ratio(NLR)cutoff values were defined using the receiver operating characteristic(ROC)curve analysis,and the characteristics of different NLR groups were compared using the Wilcoxon Rank Sum Test.Results:A total of 179 patients were assessed.Their median overall survival(OS)was 9.9(95%CI 7.08–12.72)months.As shown by univariate analyses,their OS was significantly affected by histology(P<0.001),number of BMs(P=0.009),local treatment of BMs(P=0.019),Karnofsky Performance Status score(P=0.001),Graded Prognostic Assessment(GPA)score(P<0.001),hemoglobin level(P=0.002),lymphocyte count(P=0.006),albumin level(P=0.001),and NLR(P<0.001).Meanwhile,according to multivariate analyses,independent risk factors for OS included non-adenocarcinoma(ADCA)histology(P<0.001)and high NLR(P=0.006).Moreover,the optimal NLR cutoff value was determined to be 7.0.The patients in this study were divided into three categories based on their total score determined by assigning each risk factor of histology and NLR one point.The median survival in the patients with scores of 0,1,and 2 was 19.6 months,8.5 months,and 2.2 months,respectively(P=0.001).The survival time and prognostic factors of different pathological types of patients were further analyzed.As a result,the median OS of patients with small-cell lung cancer(SCLC),ADCA patients receiving targeted therapy,and ADCA patients not receiving targeted therapy was 10.9 months,13.2 months,and 9.5 months,respectively.The results of multivariate analyses all showed that NLR was an independent risk factor for OS of these three pathological types of patients.Conclusions:Non-ADCA histology and high NLR serve as independent prognostic factors for survival of lung cancer patients with BMs who have been treated with WBRT.A prognostic model comprising histological type and NLR can be used to evaluate the survival.Bixin Ren Li Zou Qi Guo Ye Tian 2021Radiation Medicine and Protection2021,2,1:2
4Automatic test case selec- tion for regression testing of composite service based on extensible BPEL flow graph显示文摘Li Bixin Qiu Dong Leung H 2012Journal of Systems and Soft- ware2012,85,7:1
5Effects of carrier trapping and scattering on hole transport properties of N , N ′-diphenyl- N , N ′-bis(1-naphthyl)-1,1′-biphenyl-4,4′-diamine thin films显示文摘Bixin Li Jiangshan Chen Yongbiao Zhao Dezhi Yang Dongge Ma 2011Organic Electronics2011,,6:1
6A technique to analyze information -flow in object - oriented programs 显示文摘LI Bixin 2003Information and Software Technolo- gy2003,45,6:1
7A hierarchical slice - based framework for object - oriented coupling measurement 显示文摘LI Bixin 2003Turku Centre for Comput- er Science TUCS Technical Report2003,,45:1
8SE-FCA: A Model of Software Evolution with Formal Concept Analysis显示文摘Softwares are naturally evolved to cope with various changing system requirements. Software evolution includes a series of activities to analyze, assess, and validate the changes. This paper proposes an integrated software evolution model, namely SE-FCA, to support four core software evolution activities: program comprehension,change impact analysis, regression testing, and fault localization. These four activities are integrated and supported under the formal concept analysis technique, which is efficient to deal with the relation between entities and entity properties to provide a remarkable insight into the structure of the original relation. These activities are evaluated in a unified empirical environment. The empirical study shows the effectiveness of these activities under the SEFCA model.SUN Xiaobing LI Bixin LI Bin CHEN Ying 2015Chinese Journal of Electronics2015,24,1:1
9Using water wave propagation phenomenon to study software change impact analysis显示文摘LI Bixin ZHANG Qiandong SUN Xiaobing 2013Advances in Engineering Software2013,58,4:1
10A Verification-Based Approach to Evaluate Software Architecture Evolution显示文摘As the development and wide usage of Software architecture(SA),SA evolution becomes one of the hotspots of current research in modern software engineering domain.Most current researches concentrate on the modeling of SA evolution and lack the verification and evaluation of SA evolution.We proposed a verificationbased approach to evaluate SA evolution.The basic process includes:1)using Unified modeling language(UML)sequence diagram to model the interaction of components and study different types of evolution in practical examples;2)using SPIN-based model checking to model and verify SA evolution;3)comparing various verification outcomes and analyzing the influence of SA evolution on SA correctness and temporal properties.Both theory analysis and an experiment on a real evolution example from Model-view controller(MVC)to Spring web MVC(SWMVC)show that the verification-based approach to evaluate SA is significant.LI Bixin LIAO Li YU Ximeng 2017Chinese Journal of Electronics2017,26,3:1
11FCA–CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs显示文摘Bixin Li Xiaobing Sun Jacky Keung 2013Information and Software Technology2013,,8:1
12A technique to analyze information-flow in object-oriented programs显示文摘Li Bixin 2003Journal of Information and Software Technology2003,45,6:1
13An incremental software architecture recovery technique driven by code changes显示文摘It is difficult to keep software architecture up to date with code changes during software evolution.Inconsistency is caused by the limitations of standard development specifications and human power resources,which may impact software maintenance.To solve this problem,we propose an incremental software architecture recovery(ISAR)technique.Our technique obtains dependency information from changed code blocks and identifies different strength-level dependencies.Then,we use double classifiers to recover the architecture based on the method of mapping code-level changes to architecture-level updates.ISAR is evaluated on 10 open-source projects,and the results show that it performs more effectively and efficiently than the compared techniques.We also find that the impact of low-quality architectural documentation on effectiveness remains stable during software evolution.Li WANG Xianglong KONG Jiahui WANG Bixin LI 2022Frontiers of Information Technology & Electronic Engineering2022,23,5:0
14A new method to encode calling contexts with recursions显示文摘Calling context encoding(CCE) uses some integers to represent the current context of any execution point, and is valuable in a wide range of applications. Existing studies already ensure accurate results of CCE,but they use stack to store the encoding when recursive calls happen. This may cost much for cyclic call graphs with deep recursive calls. This paper presents a novel approach(called RCCE) to address this problem. With a modified strategy for encoding, it requires less frequent access of the stack and gives more succinct representation of contexts on deep recursion. Experimental results show that compared to Precise Calling Context Encoding,RCCE is more practical and efficient on calling contexts with recursions.Lulu WANG Bixin LI Hareton LEUNG 2016Science China(Information Sciences)2016,59,5:0
15An analysis of correctness for API recommendation:are the unmatched results useless?显示文摘API recommendation is a promising approach which is widely used during software development.However,the evaluation of API recommendation is not explored with sufficient rigor.The current evaluation of API recommendation mainly focuses on correctness,the measurement is conducted by matching recommended results with ground-truth results.In most cases,there is only one set of ground-truth APIs for each recommendation attempt,but the object code can be implemented in dozens of ways.The neglect of code diversity results in a possible defect in the evaluation.To address the problem,we invite15 developers to analyze the unmatched results in a user study.The online evaluation confirms that some unmatched APIs can also benefit to programming due to the functional correlation with ground-truth APIs.Then we measure the API functional correlation based on the relationships extracted from API knowledge graph,API method name,and API documentation.Furthermore,we propose an approach to improve the measurement of correctness based on API functional correlation.Our measurement is evaluated on a dataset of 6141 requirements and historical code fragments from related commits.The results show that 28.2%of unmatched APIs can contribute to correctness in our experiments.Xianglong KONG Weina HAN Li LIAO Bixin LI 2020Science China(Information Sciences)2020,63,9:0
16Precise and Controllable Assembly of Block Copolymers显示文摘With the development of nanotechnology,the precise synthesis of nanoparticles with nicely-defined dimensions and structures has been well-developed,and the functionalization and subsequent applications of the resultant nanostructures are becoming increas-ingly important.Comparing to inorganic nanoparticles,the nanostructures based on soft matters,especially block copolymer as-semblies,are much lower in cost,easier to fabricate and richer in morphology.However,the dimensional control over the block co-polymer assemblies is not as easy.Only in recent decade,with the discovery of living Crystallization-Driven Self-Assembly(CDSA)by Manners and Winnik,researchers become able to precisely tune the sizes of block copolymer assemblies in a relatively wide range.This discovery has inspired tremendous research effort in the self-assembly field,and considerable progress has been made recently.This review summarizes the main progress in the precise and controllable self-assembly field in the past five years,and is mostly fo-cused on four aspects,including in-depth understanding of the assembly methods,extension of this method to two-dimensional nanostructures,utilization of this method to fabricate hierarchical structures,and the potential applications of these well-defined nanostructures.We hope not only to make a periodic systematic summary of previous studies,but also to provide some useful thinking for the future development of this field.Bixin Jin Yiqi Chen Yunjun Luo Xiaoyu Li 2023Chinese Journal of Chemistry2023,41,1:0
17Amphiphilic Block Copolymer Micelles for Gene Delivery显示文摘Gene therapy is a promising method to treat acquired and inherited diseases by introducing exogenous genes into specific recipient cells.Polymeric micelles with different nanoscopic morphologies and properties hold great promise for gene delivery system.Conventional cationic polymers,poly(ethyleneimine)(PEI),poly(L-lysine)(PLL),poly(2-dimethylaminoethyl methacrylate)(PDMAEMA)and novel cationic polymers poly(2-oxazoline)s(POxs),have been incorporated into block copolymers and decorated with targeting moieties to enhance transfection efficiency.In order to minimize cytotoxicity,nonionic block copolymer micelles are utilized to load gene through hydrophilic and hydrophobic interactions or covalent conjugations,recently.From our perspective,properties(shape,size,and mechanical stiffness,etc.)of block copolymer micelles may significantly affect cytotoxicity,transfection efficiency,circulation time,and load capacity of gene vectors in vivo and in vitro.This review briefly sums up recent efforts in cationic and nonionic amphiphilic polymeric micelles for gene delivery.LI Qin JIN Bixin LUO Yunjun LI Xiaoyu 2022Chemical Research in Chinese Universities2022,38,6:0
18Combining Control Structure and Composition Condition for Web Services Reliability Prediction显示文摘XIE Chunli LI Bixin LIAO Li WANG Xifeng 2012Chinese Journal of Electronics2012,21,3:0
19Profiling selected paths with loops显示文摘Path profiling records the frequency of each path in an executed program.To accomplish profiling,probes are instrumented in the program and executed as the program runs.So,the number of probes has a significant impact on the efficiency of a profiling technique.By profiling only the interesting paths,existing techniques try to improve the profiling efficiency by reducing the number of probes and optimize path encodings for efficient storage.However,they lack accuracy,waste time on running uninteresting paths,and can mainly deal with acyclic paths.In this article,a novel technique called Profiling Selected Paths(PSP)is introduced to profile selected paths,which enables custom selection for both acyclic and cyclic paths and increases the execution efficiency by early termination on uninteresting paths.Theoretical analysis and experimental evaluation indicate that PSP performs better than existing techniques.LI BiXin WANG LuLu LEUNG Hareton 2014Science China(Information Sciences)2014,57,7:0
20Incremental Verification of Evolving BPEL-Based Web Composite Service显示文摘Web composite services inevitably evolve to meet various requirements. However, most researchers only considered the verification of single versions. Simply reapplying the original verification techniques on subsequent versions of composite service as they evolve is costly,especially for large-scale services. In this paper, a new approach called Incremental verification(ICV) is proposed to incrementally verify the non-conflict property of evolved versions of Business process execution language(BPEL)based composite service. With a kind of e Xtensible control flow graph(XCFG) as the formal model to describe the BPEL process, ICV compares the new version with the old one to identify the process changes which bring threats to the non-conflict property. Then it concentrates on the changed elements to perform the verification, which reduces the cost by skipping the analysis of unchanged elements. Case study shows that the proposed approach is effective and more efficient than the original verification method.JI Shunhui 2016Chinese Journal of Electronics2016,25,1:0
返回顶部 每页显示:
共2页 首页 上一页 第1页 下一页 末页 /2 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费