检索结果-内蒙古大学图书馆

IEEE 16th International Conference on Computational Science and Engineering (CSE)

作者： Imai, Shigeru Klockowski, Richard Varela, Carlos A. Rensselaer Polytech Inst Dept Comp Sci Troy NY 12180 USA

ISBN: (纸本)9781479948970

Self-healing spatio-temporal data streaming systems enable error detection and data correction based on error signatures. Error signatures are mathematical function patterns with constraints and are used to identify and categorize errors in redundant spatio-temporal data streams. In this paper, we apply these methods to real data from a private Cessna flight and from the Air France AF447 accident in June 2009. For the private Cessna flight, three error scenarios are simulated: pitot tube failure, GPS failure, and simultaneous pitot tube and GPS failures. The error detection accuracy is approximately 93% and the response time to correct data is at most 5 seconds. For the AF447 flight, 162 seconds of available flight data including the pitot tubes failure is collected from the accident report. The pitot tube failure of the AF447 flight is successfully detected and corrected after 5 seconds from the beginning of the failure. Overall error mode detection accuracy reaches 96.31%. Furthermore, our simulations show that the system never corrects data incorrectly, i.e., all inaccurate mode detections produce either unknown or unrecoverable errors.

关键词： data streaming error signature programming language data flow Computer programming languages Error detection data correction flight Reaction Time flight data Pitot tubes

来源：评论

学校读者我要写书评

暂无评论

LIFTING THE ABSTRACTION LEVEL OF COMPILER TRANSFORMATIONS

LIFTING THE ABSTRACTION LEVEL OF COMPILER TRANSFORMATIONS

引用

作者： XIAOLONG TANG Texas A&M University

学位级别：博士

Production compilers implement optimizing transformation rules for built-in types. What justifies applying these optimizing rules is the axioms that hold for built-in types and the built-in operations supported by these types. Similar axioms also hold for user-defined types and the operations defined on them, and therefore justify a set of optimization rules that may apply to user-defined types. Production com- pilers, however, do not attempt to construct and apply these optimization rules to user-defined types. Built-in types together the axioms that apply to them are instances of more general algebraic structures. So are user-defined types and their associated axioms. We use the technique of generic programming, a programming paradigm to design efficient, reusable software libraries, to identify the commonality of classes of types, whether built-in or user-defined, convey the semantics of the classes of types to compilers, design scalable and effective program analysis for them, and eventually apply optimizing rules to the operations on them. In generic programming, algorithms and data structures are defined in terms of such algebraic structures. The same definitions are reused for many types, both built-in and user-defined. This dissertation applies generic programming to compiler analyses and transformations. Analyses and transformations are specified for general algebraic structures, and they apply to all types, both built-in and primitive types.

关键词： Compiler optimization Program analysis programming language Generic programming C++ Thesis

来源：评论

学校读者我要写书评

暂无评论

Control language for Public - An Example Based on 328eforth

Control Language for Public - An Example Based on 328eforth

引用

International Conference on Applied Mechatronics and Android Robotics (ICAMAR 2013)

作者： Huang, Wei-Fu Shen, Chi-Liu Hwa Hsia Inst Technol Dept Mech Engn 111 Gongzhuan Rd New Taipei 23568 Taiwan DeLin Coll Technol Dept Engn Mech Taipei 23654 Taiwan

ISBN: (纸本)9783037858745

Although robot has been around for many years, the programming language for robot control is still hard for ordinary persons. To promote robot into live of ordinary persons, an easier control language is one of necessity. We need a control language that can be programmed in any words and not limited to English. Forth is one of computer language that can define new commands in any printable characters on keyboard. This study explored eforth, one of kind of Forth, build on ATMEGA328P chip which is used on the world wide popular Ardunino UNO board is called 328eForth system. A 328eForth system has been developed that can be used to control hardware peripherals using Traditional Chinese command. It has simple programming rules, compact system size, and is an open source control language which used in robotic and mechatronic control and education for public.

关键词： Forth programming language robot control language

来源：评论

学校读者我要写书评

暂无评论

Do C and Java Programs Scale Differently on Hardware Transactional Memory?

Do C and Java Programs Scale Differently on Hardware Transac...

引用

IEEE International Symposium on Workload Characterization (IISWC)

作者： Odaira, Rei Castanos, Jose G. Nakaike, Takuya IBM Res Tokyo Tokyo Japan IBM Res T J Watson Res Ctr Yorktown Hts NY USA

ISBN: (纸本)9781479905539

People program in many different programming languages in the multi-core era, but how does each programming language affect application scalability with transactional memory? As commercial implementations of Hardware Transactional Memory (HTM) enter the market, the HTM support in two major programming languages, C and Java, is of critical importance to the industry. We studied the scalability of the same transactional memory applications written in C and Java, using the STAMP benchmarks. We performed our HTM experiments on an IBM mainframe zEnterprise EC12. We found that in 4 of the 10 STAMP benchmarks Java was more scalable than C. The biggest factor in this higher scalability was the efficient thread-local memory allocator in our Java VM. In two of the STAMP benchmarks C was more scalable because in C padding can be inserted efficiently among frequently updated fields to avoid false sharing. We also found Java VM services could cause severe aborts. By fixing or avoiding these problems, we confirmed that C and Java had similar HTM scalability for the STAMP benchmarks.

关键词： transactional memory programming language C Java

来源：评论

学校读者我要写书评

暂无评论

Exploration on Educational Reform of C language programming at Vocational Colleges

Exploration on Educational Reform of C Language Programming ...

引用

2012 2nd International Conference on Education and Education Management(EEM 2012)

作者： Yan Yang Chengdu Polytechnic

C language programming is a specialized basic course of students who major in Computer and others at vocational colleges,which has great impacts on the study of many related follow-up ***,we not only explore but also carry out teaching methods of C language programming at vocational *** various teaching methods and ways mainly represented by the project teaching method have been utilized,favorable teaching effects are obtained in practical teaching.

关键词： Vocational Project driving method programming language

来源：评论

学校读者我要写书评

暂无评论

Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor

引用

Procedia Computer Science 2013年 18卷 1624-1633页

作者： Pascal Aubry Pierre-Edouard Beaucamps Frédéric Blanc Bruno Bodin Sergiu Carpov Loïc Cudennec Vincent David Philippe Dore Paul Dubrulle Benoît Dupont de Dinechin François Galea Thierry Goubier Michel Harrand Samuel Jones Jean-Denis Lesage Stéphane Louise Nicolas Morey Chaisemartin Thanh Hai Nguyen Xavier Raynaud Renaud Sirdey CEA LIST 91191 Gif-sur-Yvette CEDEX France Kalray SA 86 rue de Paris 91400 Orsay France

The ever-growing number of cores in embedded chips emphasizes more than ever the complexity inherent to parallel pro- gramming. To solve these programmability issues, there is a renewed interest in the dataflow paradigm. In this context, we present a compilation toolchain for the ΣC language, which allows the hierarchical construction of stream applications and automatic mapping of this application to an embedded manycore target. As a demonstration of this toolchain, we present an implementation of a H.264 encoder and evaluate its performance on Kalray's embedded manycore MPPA chip.

关键词： sigmac parallelism programming language compilation cyclostatic dataflow manycore embedded.

来源：评论

学校读者我要写书评

暂无评论

Setting Up an Intronic miRNA Database

Setting Up an Intronic miRNA Database

引用

作者： Ludwig Christian Hinske Jens Heyn Pedro A. Galante Lucila Ohno-Machado Simone Kreth

In the recent past, intragenic microRNAs (miRNAs) have gained significant attention. Due to the unique linkage to their host gene’s transcription, these miRNAs offer more information than intergenic miRNAs as they associate with some of their hosts’ properties. However, genome wide analysis of intronic miRNA data can be very challenging, especially if it relies on Web-based tools only. We therefore describe in this chapter how to set a database and how to link the different publicly available information resources on miRNAs and host genes. We also provide an example of a simple, but useful analysis technique. The basic structures and ideas suggested in this chapter can easily be extended to integrating other data and be applied to different analysis techniques. less

关键词： Genome Visualization Genome Assembly Python programming language Information retrieval Biological databases Intronic miRNAs miRNA bioinformatics miRBase bioinformatics Kyoto encyclopedia of genes and genomes analysis Gene ontology analysis

来源：评论

学校读者我要写书评

暂无评论

Objective comparison of particle tracking methods

Objective comparison of particle tracking methods

引用

作者： Nicolas Chenouard Ihor Smal Fabrice de Chaumont Martin Maška Ivo F Sbalzarini Yuanhao Gong Janick Cardinale Craig Carthel Stefano Coraluppi Mark Winter Andrew R Cohen William J Godinez Karl Rohr Yannis Kalaidzidis Liang Liang James Duncan Hongying Shen Yingke Xu Klas E G Magnusson Joakim Jaldén Helen M Blau Perrine Paul-Gilloteaux Philippe Roudot Charles Kervrann François Waharte Jean-Yves Tinevez Spencer L Shorte Joost Willemse Katherine Celler Gilles P van Wezel Han-Wei Dan Yuh-Show Tsai Carlos Ortiz de Solórzano Jean-Christophe Olivo-Marin Erik Meijering

Particle tracking is of key importance for quantitative analysis of intracellular dynamic processes from time-lapse microscopy image data. Because manually detecting and following large numbers of individual particles is not feasible, automated computational methods have been developed for these tasks by many groups. Aiming to perform an objective comparison of methods, we gathered the community and organized an open competition in which participating teams applied their own methods independently to a commonly defined data set including diverse scenarios. Performance was assessed using commonly defined measures. Although no single method performed best across all scenarios, the results revealed clear differences between the various approaches, leading to notable practical conclusions for users and developers. less

关键词： Fluorescence Microscopy Image Processing Microscopy Time Lapse Microscopy programming language

来源：评论

学校读者我要写书评

暂无评论

Statistical Modeling of Coverage in High-Throughput Data

Statistical Modeling of Coverage in High-Throughput Data

引用

作者： David Golan Saharon Rosset

In high-throughput sequencing experiments, the number of reads mapping to a genomic region, also known as the “coverage” or “coverage depth,” is often used as a proxy for the abundance of the underlying genomic region in the sample. The abundance, in turn, can be used for many purposes including calling SNPs, estimating the allele frequency in a pool of individuals, identifying copy number variations, and identifying differentially expressed shRNAs in shRNA-seq experiments. In this chapter we describe the fundamentals of statistical modeling of coverage depth and discuss the problems of estimation and inference in the relevant experimental scenarios. less

关键词： High-Throughput Sequencing SNP Calling Statistical Modeling Bowtie Statistical Calculation programming language Modeling Next-generation sequencing CNV calling Differential expression Coverage

来源：评论

学校读者我要写书评

暂无评论

Targeted Mutagenesis for Functional Analysis of Gene Duplication in Legumes

Targeted Mutagenesis for Functional Analysis of Gene Duplica...

引用

作者： Shaun J. Curtin Justin E. Anderson Colby G. Starker Nicholas J. Baltes Dhananjay Mani Daniel F. Voytas Robert M. Stupar

Assessment of gene function oftentimes requires mutant populations that can be screened by forward or reverse genetic analysis. The situation becomes more complicated in polyploidy or paleopolyploid genomes that have two or more copies for most genes. Here we describe a method for engineering zinc-finger nucleases (ZFNs) for the purpose of creating targeted mutations in the paleopolyploid soybean genome. ZFNs are recombinant proteins composed of an engineered zinc-finger array fused to a nonspecific cleavage domain. When engineered to recognize a specific nucleotide sequence, the cleavage domain will generate highly mutagenic DNA double-strand breaks frequently resulting in insertions and deletions at the target locus. Depending on the number of target sites present within the genome, this method has the capacity to target either single- or multi-copy gene families. In this chapter, we describe an inexpensive, rapid, and user-friendly approach for ZFN assembly and application in soybean based on the previously described context-dependent assembly method. less

关键词： TALEN Mutagenesis PCR Genetic Analysis DNA Sequence Analysis Electroporation Colony PCR Microbial Culture Cell And Tissue Culture programming language DNA Ligation Glycine max Agrobacterium rhizogenes ZFN Legume Polyploidy Duplication

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：