检索结果-南通市图书馆

A Construction of Variable Strength Covering Arrays

在线全文

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2021年第2期37卷 240-250页

作者： Ling JIANG ce shi College of Information Technology Shanghai Ocean UniversityShanghai 201306China School of Statistics and Mathemat ics Shanghai Lixin University of Accounting and FinanceShanghai 201209China

Covering arrays(CA)of strength t,mixed level or fixed level,have been applied to software testing to aim for a minimum coverage of all t-way interactions among *** size of CA increases with the increase of strength interaction t,which increase the cost of software ***,it is quite often that some certain components have strong interactions,while others may have fewer or ***,a better way to test software system is to identify the subsets of components which are involved in stronger interactions and apply high strength interaction testing only on these *** this,in 2003,the notion of variable strength covering arrays was proposed by Cohen et *** satisfy the need to vary the size of t in an individual test *** this paper,an effective deterministic construction of variable strength covering arrays is *** on the construction,some series of variable strength covering arrays are then obtained,which are all optimal in the sense of their *** the procedure,two classes of new difference matrices of strength 3 are also mentioned.

关键词： software testing variable strength covering arrays resolvable orthogonal arrays divisible orthogonal arrays existence

Efficient SIMD optimization for media processors

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2008年第4期9卷 524-530页

作者： Jian-peng ZHOU ce shi Department of Information Science and Electronic Engineering Zhejiang University Hangzhou 310027 China

Single instruction multiple data （SIMD） instructions are often implemented in modem media processors. Although SIMD instructions are useful in multimedia applications, most compilers do not have good support for SIMD instructions. This paper focuses on SIMD instructions generation for media processors. We present an efficient code optimization approach that is integrated into a retargetable C compiler. SIMD instructions are generated by finding and combining the same operations in programs. Experimental results for the UltraSPARC VIS instruction set show that a speedup factor up to 2.639 is obtained.

关键词： Retargetable compiler Single instruction multiple data (SIMD) instruction LCC

Optimum Detecting Arrays for Independent Interaction Faults

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2016年第2期32卷 199-212页

作者： ce shi Cheng Min WANG School of Mathematics and Information Science Shanghai Lixin University of Commerce School of Science Jiangnan University

The use of detecting arrays （DTAs） is motivated by the need to locate and detect interaction faults arising between the factors in a component-based system in software testing. The optimality and construction of DTAs have been investigated in depth for the case in which all the interaction faults are assumed to have the same strength; however, as a practical concern, the strengths of these faults are not always identical. For real world applications, it would be desirable for a DTA to be able to identify and detect faulty interactions of a strength equal to or less than a specified value under the assumption that the faulty interactions are independent from one another. To the best of our knowledge, the optimality and construction of DTAs for independent interaction faults have not been studied systematically before, In this paper, we establish a general lower bound on the size of DTAs for independent interaction faults and explore the combinatorial feature that enable these DTAs to meet the lower bound. Taking advantage of this combinatorial characterization, several classes of optimum DTAs meeting the lower bound are presented.

关键词： Detecting arrays super-simple independent interaction faults optimum

Breast cancer animal models and applications

在线全文

学校读者我要写书评

暂无评论

Zoological Research 2020年第5期41卷 477-494页

作者： Li Zeng Wei Li ce-shi Chen Key Laboratory of Animal Models and Human Disease Mechanisms of the Chinese Academy of Sciences and Yunnan Province Kunming Institute of ZoologyChinese Academy of SciencesKunmingYunnan 650223China Kunming College of Life Science University of the Chinese Academy of SciencesKunmingYunnan 650204China KIZ-CUHK Joint Laboratory of Bioresources and Molecular Research in Common Diseases Kunming Institute of ZoologyChinese Academy of SciencesKunmingYunnan 650223China

Breast cancer is the most common malignancy in women. Basic and translational breast cancer research relies heavily on experimental animal models. Ideally, such models for breast cancer should have commonality with human breast cancer in terms of tumor etiology, biological behavior,pathology, and response to therapeutics. This review introduces current progress in different breast cancer experimental animal models and analyzes their characteristics, advantages, disadvantages, and potential applications. Finally, we propose future research directions for breast cancer animal models.

关键词： Breast cancer Animal models Metastasis Drug development

Tree shrew (Tupaia belangeri)as a novel laboratory disease animal model

在线全文

学校读者我要写书评

暂无评论

Zoological Research 2017年第3期38卷 127-137页

作者： Ji Xiao Rong Liu ce-shi Chen Medical Faculty of Kunming University of Science and Technology Kunming Yunnan 650500 China Key Laboratory of Animal Models and Human Disease Mechanisms of the Chinese Academy of Sciences and Yunnan Province Kunming Institute of Zoology Chinese Academy of Sciences Kunming Yunnan 650223 China

The tree shrew （Tupaia belangeri） is a promising laboratory animal that possesses a closer genetic relationship to primates than to rodents. In addition, advantages such as small size, easy breeding, and rapid reproduction make the tree shrew an ideal subject for the study of human disease. Numerous tree shrew disease models have been generated in biological and medical studies in recent years. Here we summarize current tree shrew disease models, including models of infectious diseases, cancers, depressive disorders, drug addiction, myopia, metabolic diseases, and immune-related diseases. With the success of tree shrew transgenic technology, this species will be increasingly used in biological and medical studies in the future.

关键词： Tree shrew (Tupaia belangeri) Animal model Transgenic Disease

Wind-induced internal pressure response for structure with single windward opening and background leakage

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2008年第3期9卷 313-321页

作者： shi-ce YU Wen-juan LOU Bing-nan SUN College of Civil Engineering and Architecture Zhejiang University Hangzhou 310027 China Department of Architecture Engineering Ningbo College of Technology Zhejiang University Ningbo 315100 China

Theoretical analysis and wind tunnel tests were carried out to study wind-induced intemal pressure response for the structure with single windward opening and background leakage. Its goveming differential equation was derived by the Bemoulli equation in an unsteady-isentropic form. Numerical examples were provided to study the additive damping caused by background leakage in laminar and turbulent flow, and the influence of background leakage on fluctuating internal pressure response was quantized. A series of models for low-rise building with various opening ratios and background leakage were designed and wind tunnel tests were conducted. It is shown that the fluctuating intemal pressure reduces when the background leakage are considered and that the effect of background leakage can be predicted accurately by the governing differential equation deduced in this paper.

关键词： Single windward opening Internal pressure Background leakage Governing equation Time-history analysis

Optimal locating arrays for at most two faults

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2012年第1期55卷 197-206页

作者： shi ce TANG Yu YIN JianXing School of Mathematical Sciences Soochow UniversitySuzhou 215006China

Locating arrays are of interest in generating software test suites to cover all t-way component interactions and locate interaction faults in component-based ***,Tang,Colbourn and Yin made an investigation into optimal locating arrays in the case where a single fault is to be *** pointed out that when two or more faults were considered,matters would become rather *** handle those cases generally seems challenging,but is well worth further *** this paper,we establish a lower bound on the size of locating arrays with at most two faults,and then prove that optimal locating arrays meeting this bound can be equivalently characterized in terms of orthogonal arrays with prescribed *** this characterization,we develop a number of constructions of optimal locating *** infinite series of optimal locating arrays are then obtained.

关键词： locating arrays bound optimality construction

Long-term monitoring of the individual self-feeding behavior of rainbow trout Oncorhynchus mykiss

在线全文

学校读者我要写书评

暂无评论

Journal of Oceanology and Limnology 2019年第1期37卷 344-349页

作者： shi ce GAO Xiaolong LIU Ying WANG Chunlin Key Laboratory of Applied Marine Biotechnology Ministry of Education Faculty of Life Science and Biotechnology Ningbo University Collaborative Innovation center for Zhejiang Marine High-efficiency and Healthy Aquaculture Institute of Oceanology Chinese Academy of Sciences College of Marine Technology and Environment Dalian Ocean University

Self-feeding device is extensively used in aquaculture farms, but for salmonids the individual feeding behavior has seldom been continuously observed. In this article, the individual self-feeding behavior of 10 rainbow trout was continuously monitored with a PIT tag record for 50 days with three replicates. The?sh fell into three categories according to their feeding behavior, i.e. high triggering ?sh(trigger behavior more than 25% of the group, HT), low triggering ?sh(1%–25%, LT) and zero triggering ?sh(less than1%). The results showed that in a group of 10 individual 1–2 HT ?sh accounted for most of the self-feeding behavior(78.19%–89.14%), which was far more than they could consume. The trigger frequency of the?sh was signi?cantly correlated with the initial body weight( P ce in growth rate among the HT, LT, and ZT ?sh was observed( P >0.05). Cosinor analysis showed that the two HT ?sh in the same group had similar acrophase. Though some of the HT ?sh could be active for 50 d, there were also HT ?sh decreased triggering behavior around 40 d and the high trigger status was then replaced by other ?sh, which was ?rst discovered in salimonds. Interestingly, the growth of the group was not af fected by the alternation triggering ?sh. These results provide evidence that in the self-feeding system the HT ?sh didn't gain much advantage by their frequent self-feeding behavior, and high trigger status of the HT ?sh is not only an individual character but also driven by the demand of the group. In the self-feeding system, the critical individual should be closely monitored.

关键词： self-feeding system individual feeding behavior growth feeding rhythm

The big bang of genome editing technology: development and application of the CRISPR/Cas9 system in disease animal models

在线全文

学校读者我要写书评

暂无评论

Zoological Research 2016年第4期37卷 191-204页

作者： Ming SHAO Tian-Rui XU ce-shi CHEN Faculty of Life Science and Technology Kunming University of Science and Technology Key Laboratory of Animal Models and Human Disease Mechanisms of the Chinese Academy of Sciences and Yunnan Province Kunming Institute of Zoology Chinese Academy of Sciences

Targeted genome editing technology has been widely used in biomedical studies. The CRISPR- associated RNA-guided endonuclease Cas9 has become a versatile genome editing tool. The CRISPR/Cas9 system is useful for studying gene function through efficient knock-out, knock-in or chromatin modification of the targeted gene loci in various cell types and organisms. It can be applied in a number of fields, such as genetic breeding, disease treatment and gene functional investigation In this review, we introduce the most recent developments and applications, the challenges, and future directions of Cas9 in generating disease animal model. Derived from the CRISPR adaptive immune system of bacteria, the development trend of Cas9 will inevitably fuel the vital applications from basic research to biotechnology and bio- medicine.

关键词： CRISPR/Cas9 Animal models Genetherapy