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

AN INVESTIGATION ON EVOLUTIONARY IDENTIFICATION OF CONTINUOUS CHAOTIC SYSTEMS

AIP Conference Proceedings 2011年第1期1337卷 280-284页

作者： Ivan Zelinka Donald Davendra Roman Senkerik Roman Jasek aDepartment of Informatics and Artificial Intelligence Tomas Bata University in Zlin Nad Stráněmi 4511 Zlin 76001 Czech Republic bDepartment of Computer Science Faculty of Electrical Engineering and Computer Science VSB‐TUO 17. listopadu 15 708 33 Ostrava‐Poruba Czech Republic

This paper discusses the possibility of using evolutionary algorithms for the reconstruction of chaotic systems. The main aim of this work is to show that evolutionary algorithms are capable of the reconstruction of chaotic systems without any partial knowledge of internal structure, i.e. based only on measured data. Algorithm SOMA was used in reported experiments here. Systems selected for numerical experiments here is the well‐known Lorenz system. For each algorithm and its version, repeated simulations were done, totaling 20 simulations. According to obtained results it can be stated that evolutionary reconstruction is an alternative and promising way as to how to identify chaotic systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A novel approach for protein spots quantification in two-dimensional gel images

International Journal of Signal Processing, Image Processing...

引用

International Journal of Signal Processing, Image Processing and Pattern Recognition 2011年第1期4卷 1-14页

作者： Rashwan, Heshmat A. Sarhan, Amany M. Faheem, Muhammed Talaat Youssef, Bayumy A. Knowledge-Based Systems Department Informatics Research Institute Mubarak City for Science and Technology Borg ElArab Alexandria Egypt Computers and Automatic Control Engineering Department Faculty of Engineering University of Tanta Tanta Egypt Computer-Based Applications Department Informatics Research Institute Mubarak City for Science and Technology Borg ElArab Alexandria Egypt

Two-dimensional polyacrylamide gel electrophoresis of proteins is a robust and reproducible technique. It is the most widely used separation tool in proteomics. Current efforts in the field are directed at development of tools for expanding the range of proteins accessible with two-dimensional gels. Proteomics was built around the two-dimensional gel. The idea that multiple proteins can be analyzed in parallel grew from two-dimensional gel maps. Proteomics researchers needed to identify interested protein spots by examining the gel. This is time consuming, labor extensive and error prone. It is desired that the computer can analyze the proteins automatically by first detecting then quantifying the protein spots in the 2-D gel images. In our previous work, we presented a new technique for segmentation of 2-D gel images using the fuzzy c-means algorithm using the notion of fuzzy relations. In this paper, we will describe the new relational fuzzy c-means algorithm (RFCM) and use it for automatic protein spots quantification. We will also use two methods to evaluate its performance: the unsupervised evaluation method and comparison with the expert spots quantification.

关键词： Proteins

来源：评论

学校读者我要写书评

暂无评论

Industrial decision support requirements and expectations for a sugar mill crystallisation stage

Industrial decision support requirements and expectations fo...

引用

Annual Conference of Industrial Electronics Society

作者： R. Dodd A. Chiou R. Broadfoot X. Yu Faculty of Arts Business Informatics and Education Central Queensland University Rockhampton QLD Australia Queensland University of Technology Brisbane QLD Australia School of Electrical and Computer Engineering RMIT University Melbourne VIC Australia

This paper describes the fundamental requirements and expectations for the development of a knowledge based supervisory support system (KBSSS), to provide industrial decision support, for a sugar mill crystallisation stage. This paper puts into context the rationale for such a system. The increasing need and importance of providing industrial decision support in the industrial sugar mill setting are also detailed. The primary topics of this paper will focus upon: (1) a review of sugar mill industrial decision support, (2) unrealized expectations, and (3) requirements for decision support; all pertaining to sugar mill crystallisation stage operations.

关键词： Crystallization Sugar industry Production facilities Predictive models Decision making Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Breaking the 2n-barrier for Irredundance: Two lines of attack

Breaking the 2n-barrier for Irredundance: Two lines of attac...

引用

作者： Binkele-Raible, Daniel Brankovic, Ljiljana Cygan, Marek Fernau, Henning Kneis, Joachim Kratsch, Dieter Langer, Alexander Liedloff, Mathieu Pilipczuk, Marcin Rossmanith, Peter Wojtaszczyk, Jakub Onufry FB 4 - Abteilung Informatik Universität Trier Germany School of Electrical Engineering and Computer Science University of Newcastle Australia Faculty of Mathematics Informatics and Mechanics University of Warsaw Poland Dept. of Computer Science RWTH Aachen University Germany Laboratoire D Informatique Théorique et Appliquée Université Paul Verlaine Metz France Laboratoire D Informatique Fondamentale D Orléans Université D Orléans France Institute of Mathematics Polish Academy of Sciences Poland

The lower and the upper irredundance numbers of a graph G, denoted ir(G) and IR(G), respectively, are conceptually linked to the domination and independence numbers and have numerous relations to other graph parameters. It has been an open question whether determining these numbers for a graph G on n vertices admits exact algorithms running in time faster than the trivial Θ(2n. poly(n)) enumeration, also called the 2 n-barrier. The main contributions of this article are exact exponential-time algorithms breaking the 2n-barrier for irredundance. We establish algorithms with running times of *(1.99914 n) for computing ir(G) and *(1.9369n) for computing IR(G). Both algorithms use polynomial space. The first algorithm uses a parameterized approach to obtain (faster) exact algorithms. The second one is based, in addition, on a reduction to the Maximum Induced Matching problem providing a branch-and-reduce algorithm to solve it. © 2011 Elsevier B.V. © 2011 Elsevier B.V. All rights reserved.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Formal ontologies for data-centric business process management

Formal ontologies for data-centric business process manageme...

引用

International Conference on Application of Information and Communication Technologies (AICT)

作者： Iman Poernomo Timur Umarov Fuad Hajiyev Department of Informatics School of Physical Sciences and Engineering King's College London London UK Department of Computer Engineering Faculty of Information Technology Kazakh-British Technical University Almaty Kazakhstan Department of Higher Mathematics and Cybernetics General Education Faculty Kazakh-British Technical University Almaty Kazakhstan

This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a model-driven approach. We first augment typical workflow descriptions in Petri nets with ontologies written in the Web Ontology Language (OWL) and constraints written in Deontic Logic. Then we apply a model transformation from these augmented Petri nets to B machines, providing a full formal semantics of our models. A workflow, when represented as a Petri net with ontologies, can then be submitted to behavioural analysis with Petri net tools, and to analysis of data exchange with a B-based theorem prover.

关键词： OWL Semantics Ontologies Lead Terminology Cybernetics Marketing and sales

来源：评论

学校读者我要写书评

暂无评论

Mining of vaccine-associated IFN-γ gene interaction networks using the Vaccine Ontology

引用

Journal of Biomedical Semantics 2011年第2期2卷 1-16页

作者： Özgür, Arzucan Xiang, Zuoshuang Radev, Dragomir R. He, Yongqun Istanbul Technical University Faculty of Computer and Informatics Maslak Istanbul 34469 Turkey University of Michigan Department of Electrical Engineering and Computer Science Ann Arbor 48109 MI United States University of Michigan Unit for Laboratory Animal Medicine Ann Arbor 48109 MI United States University of Michigan Department of Microbiology and Immunology Ann Arbor 48109 MI United States University of Michigan Center for Computational Medicine and Bioinformatics Ann Arbor 48109 MI United States University of Michigan School of Information Ann Arbor 48109 MI United States

Background: Interferon-gamma (IFN-γ) is vital in vaccine-induced immune defense against bacterial and viral infections and tumor. Our recent study demonstrated the power of a literature-based discovery method in extraction and comparison of the IFN-γ and vaccine-mediated gene interaction networks. The Vaccine Ontology (VO) contains a hierarchy of vaccine names. It is hypothesized that the application of VO will enhance the prediction of IFN-γ and vaccine-mediated gene interaction network. Results: In this study, 186 specific vaccine names listed in the Vaccine Ontology (VO) and their semantic relations were used for possible improved retrieval of the IFN-γ and vaccine associated gene interactions. The application of VO allows discovery of 38 more genes and 60 more interactions. Comparison of different layers of IFN-γ networks and the example BCG vaccine-induced subnetwork led to generation of new hypotheses. By analyzing all discovered genes using centrality metrics, 32 genes were ranked high in the VO-based IFN-γ vaccine network using four centrality scores. Furthermore, 28 specific vaccines were found to be associated with these top 32 genes. These specific vaccine-gene associations were further used to generate a network of vaccine-vaccine associations. The BCG and LVS vaccines are found to be the most central vaccines in the vaccine-vaccine association network. Conclusion: Our results demonstrate that the combined usages of biomedical ontologies and centrality-based literature mining are able to significantly facilitate discovery of gene interaction networks and gene-concept associations. Availability: VO is available at: http://***/vaccineontology;and the SVM edit kernel for gene interaction extraction is available at: http://***/ifngvonet/int_ext_*** © 2011 Özgür et al;licensee BioMed Central Ltd.

关键词： Biomedical Ontology Gene Interaction Network Bacterial Vaccine Specific Vaccine Generic IFNG

来源：评论

学校读者我要写书评

暂无评论

IT Governance and Small Medium Enterprises

IT Governance and Small Medium Enterprises

引用

International Conference on Software and computer Applications（ICSCA 2011）

作者： Masarat Ayat Maslin Masrom Shamsul Sahibuddin Faculty Computer Science and Information System Universiti Teknologi Malaysia Johor Razak School of Engineering and Advanced Technology Universiti Teknologi Malaysia Kuala lumpur Advanced Informatics School (AIS) Universiti Teknologi Malaysia Kuala lumpur

In this decade Information Technology Governance （ITG） has become a hot topic between IT based companies. Since ITG status company is referring to an IT matured organization having six principles as expected by ISO 38500, there is no exemplar standard or framework to cover all of them. However, the most widespread existing frameworks in this area are COBIT, ITIL, and CMMI which not necessarily cover all of them. On the other hand, with respect to Small Medium Enterprises （SMEs） limitations, they have some constraints to implement all expected ITG principles by ISO 38500, completely. In this paper, the most comprehensive definition for ITG has presented and those most common ITG frameworks have been discussed（explained）. Later, the SMEs definition and their characteristics have been explored. And lastly the relationship between ITG and SMEs has been discussed.

关键词： IT Governance ISO/IEC 38500 SME Information Technology

来源：评论

学校读者我要写书评

暂无评论

Testing Static Single Cell Faults using static and dynamic data background

Testing Static Single Cell Faults using static and dynamic d...

引用

Student Conference on Research and Development (SCOReD)

作者： Nor Azura Zakaria W.Z.W Hasan Izhal Abdul Halin R.M. Sidek Xiaoqing Wen Microelectronic Department PDSI Technology Park Malaysia Kuala Lumpur Malaysia Department of Electrical and Electronic Engineering Faculty Engineering Universiti Putra Malaysia Serdang Selangor Darul Ehsan Malaysia Department of Creative Informatics Graduate School of Computer Science & System Engineering Kyushu Institute of Technology Iizuka Japan

This work proposes a bit-adjacent Data Background (DB) management scheme to improve fault coverage of March algorithms while simultaneously maintaining the shortest test cycle. Both static and dynamic DB transitions are used in order to detect Deceptive Read Destructive Faults (DRDFs) and Write Disturb Faults (WDFs) that are not detected by previous algorithms. A conventional March Test Algorithm can be modified by using the DB management scheme to form a new March Test Algorithm (referred to as Mod March Test Algorithm), e.g., MATS++(6N) becoming Mod MATS++(6N). This paper shows that Mod March SR (14N) and Mod March CL (12N) can detect DRDFs and WDFs while the corresponding conventional algorithms cannot. It is also shown that Mod March CL(12N) and Mod March SR(14N) with DB management can detect all Static Single Cell Faults based on the Bit-Oriented-Memories (BOM) test method. Comparisons on test cycle time for Mod March SR, March SR, and March SS in the context of memory Built-In-Self-Test (BIST) are also presented. From the simulation result, it shows that by including Data Backgrounds (DBs) management in Bit-Oriented Memories (BOM), the cycle test time is the same after a given multiple of DBs in the test algorithm.

关键词： Random access memory Strontium Built-in self-test Partitioning algorithms Bills of materials Fault detection

来源：评论

学校读者我要写书评

暂无评论

Stability analysis of fuzzy logic control systems for a class of nonlinear SISO discrete-time systems

Stability analysis of fuzzy logic control systems for a clas...

引用

作者： Precup, Radu-Emil Tomescu, Marius-Lucian Preitl, Stefan Petriu, Emil M. Dragoş, Claudia-Adina Department of Automation and Applied Informatics Politehnica University of Timisoara Bd. V. Parvan 2 RO-300223 Timisoara Romania Computer Science Faculty Aurel Vlaicu University of Arad Complex Universitar M Str. Elena Dragoi 2 RO-310330 Arad Romania School of Information Technology and Engineering University of Ottawa 800 King Edward Ottawa ON K1N 6N5 Canada

ISBN: (纸本)9783902661937

This paper suggests a new stability analysis theorem dedicated to a class of fuzzy logic control systems. The fuzzy logic control systems consist of nonlinear Single Input-Single Output (SISO) discrete-time processes controlled by Takagi-Sugeno fuzzy logic controllers. The stability analysis is conducted on the basis of Lyapunov's direct method with quadratic Lyapunov function candidates. The theorem proves that if the derivative of the Lyapunov function candidate is negative definite in the active region of each fuzzy rule then the fuzzy logic control system will be asymptotically stable in the sense of Lyapunov. Sufficient stability conditions are offered. An example related to the design of a stable fuzzy logic control system for the discrete-time Lorenz chaotic system and simulation results are included. © 2011 IFAC.

关键词： Lyapunov functions

来源：评论

学校读者我要写书评

暂无评论

Characteristics of Finnish and Swedish intensive care nursing narratives: A comparative analysis to support the development of clinical language technologies

引用

Journal of Biomedical Semantics 2011年第3期2卷 1-11页

作者： Allvin, Helen Carlsson, Elin Dalianis, Hercules Danielsson-Ojala, Riitta Daudaravicius, Vidas Hassel, Martin Kokkinakis, Dimitrios Lundgrén-Laine, Heljä Nilsson, Gunnar H. Nytrø, Øystein Salanterä, Sanna Skeppstedt, Maria Suominen, Hanna Velupillai, Sumithra Stockholm University Department of Computer and Systems Sciences (DSV) Forum 100 Kista SE-164 40 Sweden University of Turku and Hospital District of Southwest Finland University of Turku Department of Nursing Science Turku FI-20014 Finland Vytautas Magnus University Faculty of Informatics S. Daukanto g. 27 (301-309) Kaunas LT-44249 Lithuania University of Gothenburg Department of Swedish Box 200 Gothenburg SE-405 30 Sweden Norwegian University of Science and Technology Department of Computer and Information Science Sem Sælands vei 7-9 Trondheim NO-7491 Norway College of Engineering and Computer Science NICTA Canberra Research Laboratory and Australian National University Locked Bag 8001 Canberra ACT-2601 Australia

Background: Free text is helpful for entering information into electronic health records, but reusing it is a challenge. The need for language technology for processing Finnish and Swedish healthcare text is therefore evident;however, Finnish and Swedish are linguistically very dissimilar. In this paper we present a comparison of characteristics in Finnish and Swedish free-text nursing narratives from intensive care. This creates a framework for characterising and comparing clinical text and lays the groundwork for developing clinical language technologies. Methods: Our material included daily nursing narratives from one intensive care unit in Finland and one in Sweden. Inclusion criteria for patients were an inpatient period of least five days and an age of at least 16 years. We performed a comparative analysis as part of a collaborative effort between Finnish- and Swedish-speaking healthcare and language technology professionals that included both qualitative and quantitative aspects. The qualitative analysis addressed the content and structure of three average-sized health records from each country. In the quantitative analysis 514 Finnish and 379 Swedish health records were studied using various language technology tools. Results: Although the two languages are not closely related, nursing narratives in Finland and Sweden had many properties in common. Both made use of specialised jargon and their content was very similar. However, many of these characteristics were challenging regarding development of language technology to support producing and using clinical documentation. Conclusions: The way Finnish and Swedish intensive care nursing was documented, was not country or language dependent, but shared a common context, principles and structural features and even similar vocabulary elements. Technology solutions are therefore likely to be applicable to a wider range of natural languages, but they need linguistic tailoring. Availability: The Finnish and Swedish

关键词： Technology Acceptance Model Clinical Information System Language Technology Swedish Data Content Accessibility

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：