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

Information System for Administrative Services of Educational Process

Computer Technology and Application 2011年第5期2卷 354-357页

作者： Lyudmilla Yordanova Stoyanova Department of Programming and Computer Technology Faculty of Computer Systems and Control Technical University of SofiaSofia 1000 Bulgaria

The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Technology School ＂electronic systems＂（TUES） associated with the Technical University of Sofia is on focus. The modules for admission of students, specialty classification, and graduation of students, management of the student＇s work in computer classrooms and lecturers＇ data management have been analyzed, developed and implemented. The additionally developed modules concern mainly the management of educational process and do not affect the e-learning or the official part modules. That led to the idea that the functionality for managing educational process has to be organized in a separate module defined as module for administrative services of educational process. Such restructuring of the system will bring flexibility in further growth of the system--for example students＇ admission or selection for different purposes.

关键词： Information systems functional structure database education.

来源：评论

学校读者我要写书评

暂无评论

IT simply works: Simplicity and embedded systems design

IT simply works: Simplicity and embedded systems design

引用

35th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2011

作者： Margaria, Tiziana Floyd, Barry D. Steffen, Bernhard Department of Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA United States Department of Programming Systems TU Dortmund University Germany

ISBN: (纸本)9780769544595

The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project 1, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Special Session on "Simplification through Change of Perspective"

Special Session on "Simplification through Change of Perspec...

引用

Annual IEEE/ NASA Goddard Workshop on Software Engineering

作者： Tiziana Margaria Bernhard Steffen Software and Service Engineering University of Potsdam Germany Programming Systems Technische Universität Dortmund Germany

Leading goal for the EU-project ITSy is to explore the power of simplicity for achieving robustness, flexibility and trust. A number of scenarios have been investigated in this direction, comprising looking at different notions of complexity, in particular distinguishing the actual complexity, the objective notion of complexity associated with a task as such, from the felt complexity, the subjective notion of complexity associated with the difficulty for some person satisfy his personal task. Division of labor is the typical way of decomposing the actual complexity in manageable or small piece of felt complexity. Or in other words, standing on the shoulder of giants we may reach impressive goals. A completely different way to achieve simplicity is to change the rules of the game. A good example here is the change from object tracking via image recognition to RFID-based object tracking. Whereas the former is intrinsically difficult, the latter, much simpler solution much better serves the purpose. In this session we consider three scenarios which propose such a change of perspective.

关键词： Complexity theory Biological system modeling Communities Mathematical model Learning automata Software reliability

来源：评论

学校读者我要写书评

暂无评论

LAR-CC: Large atomic regions with conditional commits 11

LAR-CC: Large atomic regions with conditional commits

引用

International Symposium on Code Generation and Optimization (CGO)

作者： Edson Borin Youfeng Wu Mauricio Breternitz Cheng Wang Institute of Computing State University of Campinas-UNICAMP Brazil Programming Systems Laboratory INTEL Research Laboratory USA

ISBN: (纸本)9781612843568

HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations are applied to regions of code that are atomically executed. To ensure that the underlying hardware has enough speculative resources to execute the whole atomic region, these systems typically form short atomic regions, with only 20 to 30 instructions. However, the shorter is the atomic region the smaller is the scope for optimizations. We present LAR-CC, a novel technique that enables HW/SW co-designed systems to optimize large atomic regions and dynamically fit them into the available speculative hardware resources by means of conditional commits. The LAR-CC technique consists of two major components: 1) conditional branch instructions to conditionally skip commit operations; 2) code transformations that replace commit operations by conditional commits and enable optimizations to be applied on the large atomic regions. Our experiments show that LAR-CC can effectively achieve dynamic atomic region sizes larger than 1000 instructions, providing sufficiently large scope to apply many advanced optimizations on HW/SW co-designed systems.

关键词： Optimization Hardware Program processors Buffer storage Gears Runtime

来源：评论

学校读者我要写书评

暂无评论

A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing 11

A HW/SW co-designed heterogeneous multi-core virtual machine...

引用

International Symposium on Code Generation and Optimization (CGO)

作者： Youfeng Wu Shiliang Hu Edson Borin Cheng Wang Programming Systems Laboratory INTEL Research Laboratory Santa Clara CA USA Institute of Computing State University of Campinas-UNICAMP Campinas Brazil

ISBN: (纸本)9781612843568

It is increasingly challenging to improve single thread performance because power/energy consumption becomes a major barrier to achieve significantly higher performance for general purpose cores. General purpose processors are designed to perform well in a wide variety of market segments, at the cost of having significantly lower performance-per-watt than special purpose processors targeting limited applications or market segments. In this paper, we propose a HW/SW co-designed heterogeneous multi-core virtual machine, called TwinPeaks, which integrates a set of less general but power efficient cores and uses dynamic binary optimization to schedule code regions to run on the most efficient cores. Our experiment and analysis indicate that TwinPeaks with a wide in-order core and a narrow out-of-order core may achieve 108% performance at ~71% energy of a big 4-wide out-of-order core.

关键词： Switches Multicore processing Virtual machining Optimization Out of order Energy consumption

来源：评论

学校读者我要写书评

暂无评论

Automatic loop shaping of QFT applied to an active control design

Automatic loop shaping of QFT applied to an active control d...

引用

Mediterranean Conference on Control and Automation (MED)

作者： R. Comasòlivas T. Escobet J. Quevedo Automatic Control Department Technical University of Catalonia Terrassa Spain Department of Electronic Systems Design and Programming Technical University of Catalonia Terrassa Spain

This paper presents a methodology to design automatically a QFT (Quantitative Feedback Theory) robust controller for plants with model uncertainty. The method proposed has as objective to find a QFT robust controller that fulfills the control specifications for the whole set of plant models, without including parameter controller restrictions. The methodology is based on a global optimization and has been solved using a global mixed-integer nonlinear programming. The design of an active control for vibration attenuation in optical interferometers is used to validate the technique.

关键词： Interferometers Actuators Frequency control Transfer functions Noise Gain

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： Zamira Daw Marcus Vetter Josef Boercsoek Institute of Embedded Systems Hochschule Mannheim-University of Applied Sciences Mannheim Germany Department of Computer Architecture and System Programming University of Kassel Kassel Germany

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.

关键词： Unified modeling language Contracts Monitoring Embedded systems Object oriented modeling Safety Pins

来源：评论

学校读者我要写书评

暂无评论

12-OR

引用

Human Immunology 2012年 73卷 10-10页

作者： Melinda V. Rastrou Cherie L. Holcomb Tim C. Williams Damian Goodridge Ana M. Lazaro Marcel Tilanus Henry A. Erlich Research Human Genetics Roche Molecular Systems Inc. Pleasanton CA USA Research Children’s Hospital and Research Center Oakland CA USA Programming Conexio Genomics Perth Australia C. W. Bill Young/Department of Defense Georgetown University Washington DC USA Transplantation Immunology Tissue Typing Laboratory Maastricht University Medical Center Maastricht Netherlands

Aim Genotyping of DRB1 and DRB3/4/5 is performed in our lab using generic DRB PCR primers, followed by sequencing on the 454 GS FLX and use of Conexio Genomics software. During genotyping homozygous cell lines, we detected additional sequences at about 7% of the read depth of the reported true allele. These artifacts appeared to be PCR crossovers between the DRB1 and DRB3/4/5 sequences. The crossovers usually had one or more mismatches with the IMGT database but occasionally matched a very rare allele (e.g. DRB1 ∗ 03:42). We performed a study to determine if these sequences were in vitro artifacts and to determine if some rare DRB alleles in the IMGT database might, in fact, be in vitro artifacts that had been submitted. Methods To test for in vitro artifact formation during late cycles of genomic PCR, we amplified the DRB loci from 21 homozygous cells lines under both our standard PCR conditions (35 cycles) and a reduced number of cycles (28), followed by 454 sequencing. Using the same PCR conditions, we also sequenced the DRB loci of four samples, each of which had previously been identified as having a novel DRB allele that was subsequently submitted to the IMGT database. Results For all homozygous 21 cell lines, amplification for 35 cycles gave low abundance sequences as possible “second alleles.” In 36% of the cases, these artifactual sequences corresponded to named alleles. Such sequences were not detected with amplification for 28 cycles. In the case of 4 samples with rare alleles previously submitted to the IMGT, we found that 3 were true alleles. The fourth, while not a crossover product, contained a sequencing error which was revealed by our 454 HLA genotyping assay. Conclusions Formation of in vitro crossover products of the DRB loci can occur in late cycles of PCR. PCR conditions have been identified that minimize generation of these in vitro artifacts. Clonal sequencing on the 454 GS FLX is a valuable method for revealing both these artifacts and tradit

关键词：

来源：评论

学校读者我要写书评

暂无评论

IT Simply Works: Simplicity and Embedded systems Design

IT Simply Works: Simplicity and Embedded Systems Design

引用

IEEE Annual Computer Software and Applications Conference Workshops (COMPSACW)

作者： Tiziana Margaria Barry D. Floyd Bernhard Steffen Chair Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA USA Chair of Programming Systems TU Dortmund University Germany

The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study.

关键词： Mathematical model Embedded systems Unified modeling language Complexity theory Testing Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Fast RNA structure alignment for crossing input structures

Fast RNA structure alignment for crossing input structures

引用

作者： Backofen, Rolf Landau, Gad M. Möhl, Mathias Tsur, Dekel Weimann, Oren Bioinformatics Institute of Computer Science Albert-Ludwigs-Universität Freiburg Germany Department of Computer Science University of Haifa Haifa 31905 Israel Department of Computer Science and Engineering NYU-Poly Six MetroTech Center Brooklyn NY 11201-3840 United States Programming Systems Lab Saarland University Saarbrücken Germany Ben-Gurion University Beer-Sheva Israel Massachusetts Institute of Technology Cambridge MA 02139 United States

The complexity of pairwise RNA structure alignment depends on the structural restrictions assumed for both the input structures and the computed consensus structure. For arbitrarily crossing input and consensus structures, the problem is NP-hard. For non-crossing consensus structures, Jiang et al.'s (2002) [9] algorithm computes the alignment in O(n2m2) time where n and m denote the lengths of the two input sequences. If the input structures are also non-crossing, the problem corresponds to tree editing which can be solved in O(m2n(1+lognm)) time (Demaine et al., 2007) [3]. We present a new algorithm that solves the problem for d-crossing structures in O(dm2nlogn) time, where d is a parameter that is one for non-crossing structures, bounded by n for crossing structures, and much smaller than n on many practical examples. Crossing input structures allow for applications where the input is not a fixed structure but is given as base-pair probability matrices. © 2010 Elsevier B.V. All rights reserved.

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：