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

A Tool for Reliable Model-based Design For programming Logic Controllers

IFAC Proceedings Volumes 2013年第25期46卷 71-76页

作者： M.H. Schwarz H. Sheng W. Chaaban J. Börcsök Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany

This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by PLC manufacturers and software environment developers and provide the possibility that novel and intelligent algorithms can be directly operated on industrial accepted systems. Railway and transportation also receive drastic changes from purely hardware based systems to microcontroller + software driven systems. However, the conversion has to follow certain steps to ensure that the adaptation is done correctly and functionality is not alternated, added or deleted. Concepts suggested by different international standards such as the IEC 61508 can help to derive a tool chain to verify the generated code.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CellCilk: Extending cilk for heterogeneous multicore platforms

CellCilk: Extending cilk for heterogeneous multicore platfor...

引用

24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011

作者： Werth, Tobias Schreier, Silvia Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Germany Faculty of Mathematics and Computer Science Data Processing Technology University of Hagen Germany

ISBN: (纸本)9783642360350

The potential of heterogeneous multicores, like the Cell BE, can only be exploited if the host and the accelerator cores are used in parallel and if the specific features of the cores are considered. Parallel programming, especially when applied to irregular task-parallel problems, is challenging itself. However, heterogeneous multicores add to that complexity due to their memory hierarchy and specialized accelerators. As a solution for these issues we present CellCilk, a prototype implementation of Cilk for heterogeneous multicores with a host/accelerator design, using the Cell BE in particular. CellCilk introduces a new keyword (spu-spawn) for task creation on the accelerator cores. Task scheduling and load balancing are done by a novel dynamic cross-hierarchy work-stealing regime. Furthermore, the CellCilk runtime employs a garbage collection mechanism for distributed data structures that are created during scheduling. On benchmarks we achieve a good speedup and reasonable runtimes, even when compared to manually parallelized codes. © 2013 Springer-Verlag.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Fuzzy k-competition graphs

Fuzzy k-competition graphs

引用

2013 Science and Information Conference, SAI 2013

作者： Pal, Madhumangal Samanta, Sovan Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore-721102 India Department of Mathematics National Institute of Technology Durgapur 713209 India

ISBN: (纸本)9780989319300

Fuzzy competition graph as the generalization of competition graph is introduced here. A generalization of fuzzy competition graph known as fuzzy k-competition graph is also defined. These graphs are related to fuzzy digraphs. Fuzzy neighbourhood graphs, which are related to fuzzy graphs are defined here. Some relations between fuzzy competition graphs and fuzzy neighbourhood graphs have been established. Also several results to find strong edges of the stated graphs are obtained. © 2013 The Science and Information Organization.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Advanced tool for predictive diagnosis and maintenance using case-based reasoning and fuzzy logic

Advanced tool for predictive diagnosis and maintenance using...

引用

25th European Modeling and Simulation Symposium, EMSS 2013

作者： Christova, Nikolinka Atanassov, Atanas Dept. of Automation of Industry University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria Dept. of Programming and Computer System Application University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria

ISBN: (纸本)9788897999225

The application of computational intelligence in condition-based maintenance and diagnosis plays a leading role in the technology development of intelligent manufacturing systems. Case-Based Reasoning (CBR) is mostly used in designing the real time application having the decision support capability. In this study implementation of fuzzy logic in the CBR systems that deriving effective knowledge representation schemes has been described. The benefits of the approach have been presented. The applications of the developed advanced tool based on fuzzy logic and CBR for solving the real problems of predictive diagnosis and maintenance in industrial systems have been discussed. © 2013 DIME UNIVERSITÀ DI GENOVA.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Concept of fuzzy planar graphs

Concept of fuzzy planar graphs

引用

2013 Science and Information Conference, SAI 2013

作者： Pal, Anita Samanta, Sovan Pal, Madhumangal Department of Mathematics National Institute of Technology Durgapur West-Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore - 721 102 India

ISBN: (纸本)9780989319300

Fuzzy graph is now a very important research area due to its wide application. Fuzzy multigraph and fuzzy planar graphs are two subclasses of fuzzy graph theory. In this paper, we define both of these graphs and studied a lot of properties. A very close association of fuzzy planar graph is fuzzy dual graph. This is also defined and studied several properties. The relation between fuzzy planar graph and fuzzy dual graph is also established. © 2013 The Science and Information Organization.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Publisher Correction: Re-analysis of public genetic data reveals a rare X-chromosomal variant associated with type 2 diabetes

引用

Nature communications 2018年第1期9卷 2162页

作者： Sílvia Bonàs-Guarch Marta Guindo-Martínez Irene Miguel-Escalada Niels Grarup David Sebastian Elias Rodriguez-Fos Friman Sánchez Mercè Planas-Fèlix Paula Cortes-Sánchez Santi González Pascal Timshel Tune H Pers Claire C Morgan Ignasi Moran Goutham Atla Juan R González Montserrat Puiggros Jonathan Martí Ehm A Andersson Carlos Díaz Rosa M Badia Miriam Udler Aaron Leong Varindepal Kaur Jason Flannick Torben Jørgensen Allan Linneberg Marit E Jørgensen Daniel R Witte Cramer Christensen Ivan Brandslund Emil V Appel Robert A Scott Jian'an Luan Claudia Langenberg Nicholas J Wareham Oluf Pedersen Antonio Zorzano Jose C Florez Torben Hansen Jorge Ferrer Josep Maria Mercader David Torrents Barcelona Supercomputing Center (BSC) Joint BSC-CRG-IRB Research Program in Computational Biology 08034 Barcelona Spain. Genomic Programming of Beta-cells Laboratory Institut d'Investigacions August Pi i Sunyer (IDIBAPS) 08036 Barcelona Spain. Instituto de Salud Carlos III Centro de Investigación Biomédica en Red de Diabetes y Enfermedades Metabólicas Asociadas (CIBERDEM) 28029 Madrid Spain. Section of Epigenomics and Disease Department of Medicine Imperial College London London W12 0NN UK. The Novo Nordisk Foundation Center for Basic Metabolic Research Section for Metabolic Genetics Faculty of Health and Medical Sciences University of Copenhagen 2100 Copenhagen Denmark. Institute for Research in Biomedicine (IRB Barcelona) The Barcelona Institute of Science and Technology Baldiri Reixac 10-12 08028 Barcelona Spain. Departament de Bioquímica i Biomedicina Molecular Facultat de Biologia Universitat de Barcelona 08028 Barcelona Spain. Computer Sciences Department Barcelona Supercomputing Center (BSC-CNS) 08034 Barcelona Spain. Department of Epidemiology Research Statens Serum Institut 2300 Copenhagen Denmark. Division of Endocrinology and Center for Basic and Translational Obesity Research Boston Children's Hospital Boston MA 02116 USA. Medical and Population Genetics Program Broad Institute of MIT and Harvard Cambridge MA 02142 USA. ISGlobal Centre for Research in Environmental Epidemiology (CREAL) 08003 Barcelona Spain. CIBER Epidemiología y Salud Pública (CIBERESP) 28029 Madrid Spain. Universitat Pompeu Fabra (UPF) 08003 Barcelona Spain. Artificial Intelligence Research Institute (IIIA) Spanish Council for Scientific Research (CSIC) 28006 Madrid Spain. Programs in Metabolism and Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA 02142 USA. Diabetes Unit and Center for Genomic Medicine Massachusetts General Hospital Boston MA 02114 USA. Division of General Internal Medicine Massachusetts General Hospital Bost

In the originally published version of this Article, the affiliation details for Santi González, Jian'an Luan and Claudia Langenberg were inadvertently omitted. Santi González should have been affiliated with 'Barcelona Supercomputing Center (BSC), Joint BSC-CRG-IRB Research Program in Computational Biology, 08034 Barcelona, Spain', and Jian'an Luan and Claudia Langenberg should have been affiliated with 'MRC Epidemiology Unit, University of Cambridge School of Clinical Medicine, Cambridge Biomedical Campus, Cambridge CB2 0QQ, UK'. Furthermore, the abstract contained an error in the SNP ID for the rare variant in chromosome Xq23, which was incorrectly given as rs146662057 and should have been rs146662075. These errors have now been corrected in both the PDF and HTML versions of the Article.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A survey on OPC and OPC-UA: About the standard, developments and investigations

A survey on OPC and OPC-UA: About the standard, developments...

引用

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

作者： M. H. Schwarz J. Börcsök Safety Computer Technology University of Kassel Kassel Germany Computer Architecture und System Programming University of Kassel Kassel Germany

In 1996, a new standard was announced that should serve as a software interface to exchange process data and to solve the problem to exchange process data using different industrial protocols and communication systems. A successful story started since then with few additional standards like the Alarm and Event standard using the OPC approach and some revisions and new editions. Ten years later a new approach was created that unified all existing standards and was also concerned with e.g. interoperability, security and web-based systems. This paper details the different OPC standards, tries to answer the question why this standard is important for industries and academia and where current research and development utilising those standards.

关键词： Standards Servers Security Industries XML computer architecture Automation

来源：评论

学校读者我要写书评

暂无评论

A multiobjective multi-item inventory control problem in fuzzy-rough environment using soft computing techniques

引用

Advances in Decision Sciences 2014年 2014卷

作者： Jana, Dipak Kumar Maity, K. Maiti, M. Roy, T.K. Department of Engineering Science Haldia Institute of Technology Haldia West Bengal 721657 India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Mugberia Purba Medinipur West Bengal 721425 India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Medinipur West Bengal 721 102 India Department of Mathematics Bengal Engineering and Science University Shibpur Howrah West Bengal 711103 India

The optimal production and advertising policies for an inventory control system of multi-item multiobjective problem under a single management are formulated as an optimal control problem with resource constraints under inflation and discounting in fuzzy rough (Fu-Ro) environment. The objectives and constraints in Fu-Ro are made deterministic using fuzzy rough expected values method (EVM). Here, the production and advertisement rates are unknown and considered as control (decision) variables. The production, advertisement, and demand rates are functions of time t. Maximization of the total proceed from perfect and imperfect units and minimization of the total cost consisting of production, holding, and advertisement costs are formulated as optimal control problems and solved directly using multiobjective genetic algorithm (MOGA). In another method for solution, membership functions of the objectives are derived and the multi-objective problems are transformed to a single objective by the convex combination of the membership functions and then the problem is solved by generalized reduced gradient (GRG) method. Finally, numerical experiment and graphical representation are provided to illustrate the system. © 2014 Dipak Kumar Jana et al.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Optimization of industrial processes in reactors

Optimization of industrial processes in reactors

引用

2nd International Conference on Key Engineering Materials and computer Science, KEMCS 2013

作者： Berdiyeva, Meruyert Ospanova, Aiman Othman, Mohamed Department of Computer engineering and Software programming South Kazakhstan State University Tauke khan avenue 5 Shymkent 160012 Kazakhstan Dept of Communication Technology and Network Universiti Putra Malaysia 43400 UPM Serdang Selangor D.E Malaysia

ISBN: (纸本)9783037857274

In the conditions of industrial production many processes of polymerisation are nonstationary. By processes optimization with the regard for such features as basic data it is necessary to use adaptive algorithms of identification, allowing mathematical model of process continuously to be adapted for changing conditions of operation. Use of such algorithms for process optimization demands periodic recalculation of optimum technological modes of process. Polymer reaction engineering is a discipline that deals with various problems concerning the fundamental nature of chemical and physical phenomena in polymerization processes. Mathematical modeling is a powerful tool for the development of process understanding and advanced reactor technology in the polymer industry. © (2013) Trans Tech Publications, Switzerland.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Optimization of Industrial Processes in Reactors

Optimization of Industrial Processes in Reactors

引用

2013 2nd International Conference on Key Engineering Materials and computer Science(KEMCS 2013)

作者： Meruyert Berdiyeva Aiman Ospanova Мohamed Othman Department of Computer engineering and Software programming South Kazakhstan State University Dept of Communication Technology and Network Universiti Putra Malaysia

关键词： industrial processes polymerisattion chemical reactors technological parameters-temperature and conversion the optimization problem

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：