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

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Segiy Lysenko Oleg Savenko System programming Department Khmelnitsky National University Khmelnitskiy Ukraine Computer Systems and Programming Faculty Lecturer of System programming Department Khmelnitsky National University Khmelnitskiy Ukraine

New technique for computer system Trojan diagnosis in monitor mode which uses fuzzy logic and allows improving reliability and efficiency is developed.

关键词： Trojan horses Computers Monitoring Software Computational modeling Software reliability

来源：评论

学校读者我要写书评

暂无评论

Bayesian annotation networks for complex sequence analysis

Bayesian annotation networks for complex sequence analysis

引用

27th International Conference on Logic programming, ICLP 2011

作者： Christiansen, Henning Have, Christian Theil Lassen, Ole Torp Petit, Matthieu Department of Communication Business and Information Technologies Research Group PLIS: Programming Logic and Intelligent Systems Roskilde University P.O.Box 260 DK-4000 Roskilde Denmark

ISBN: (纸本)9783939897316

Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide, furthermore, for sophistication and generality, at the cost of potentially very high computational complexity. A methodology is proposed for modularization of such models into sub-models, each representing a particular interpretation of the input data to be analysed. Their composition forms, in a natural way, a Bayesian network, and we show how standard methods for prediction and training can be adapted for such composite models in an iterative way, obtaining reasonable complexity results. Our methodology can be implemented using the probabilistic-logic PRISM system, developed by Sato et al, in a way that allows for practical applications.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

On Ordinary and Standard Products of Infinite Family of σ-finite Measures and Some of Their Applications

引用

Acta Mathematica Sinica,English Series 2011年第3期27卷 477-496页

作者： Gogi Rauli PANTSULAIA Department of Mathematics Georgian Technical University Faculty of Informatics and Control Systems B. P. 0175 Kostava Street-77 Tbilisi Georgia I. Vekua Institute of Applied Mathematics Tbilisi State University Division of Applied Logic and Programming B. P. 0143 University St. 2 Tbilisi Georgia

We introduce notions of ordinary and standard products of a-finite measures and prove their existence. This approach allows us to construct invariant extensions of ordinary and standard products of Haar measures. In particular, we construct translation-invariant extensions of ordinary and standard Lebesgue measures on R∞ and Rogers-Fremlin measures on l∞, respectively, such that topological weights of quasi-metric spaces associated with these measures are maximal （i.e., 2c）. We also solve some Fremlin problems concerned with an existence of uniform measures in Banach spaces.

关键词： Ordinary and standard products of a-finite measures invariant extensions Rogers-Fremlin measures on l∞

来源：评论

学校读者我要写书评

暂无评论

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.

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

A filtered tuning method for a GPC controller

A filtered tuning method for a GPC controller

引用

IET Irish Signals and systems Conference, ISSC 2010

作者： Schwarz, M.H. Cox, C.S. Börcsök, J. Department of Computer Architecture and System Programming Safety Computer Technology University of Kassel Kassel Germany Control Systems Centre University of Sunderland Sunderland United Kingdom Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781849192521

This paper presents a new tuning method based on model parameters identified in closed-loop. For classical controllers such as PI(D) controllers a large number of simple tuning methods for various application areas exist. However, when it comes to designing a generalised predictive controller (GPC) four parameters have to be specified. To choose those parameters is not a trivial task since they are not directly related to control or regulation performance. The presented tuning method exploits model-parameters to select suitable controller parameters. Additionally, a Rhinehart filter is incorporated in the design to decrease the impact of noise, therefore, a fifth parameter has to be optimised. The proposed method has been tested in simulation and on a real system.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：