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

Multi-product lot-sizing and scheduling on unrelated parallel machines to minimize makespan

IFAC Proceedings Volumes 2009年第4期42卷 828-833页

作者： Alexandre Dolgui Anton V. Eremeev Mikhail Y. Kovalyov Pavel M. Kuznetsov Scientific Methods for Industrial Management Department (MSGI) Industrial Engineering and Computer Science Division (G21) Ecole des Mines de Saint Etienne 158 cours Fauriel 42023 Saint Etienne Cedex 2 France Omsk Branch of Sobolev Institute of Mathematics SB RAS 13 Pevtsov 644099 Omsk Russia Faculty of Economics Belarusian State University and United Institute of Informatics Problems National Academy of Sciences of Belarus Nezavisimosti 4 220030 Minsk Belarus Omsk State University 55a Mira 644077 Omsk Russia

We study a problem of optimal scheduling and lot-sizing a number of products on m unrelated parallel machines to satisfy given demands, minimizing the makespan criterion. A sequence dependent setup time is required between lots of different products. The products are assumed to be all continuously divisible or all discrete. The problem is motivated by the real-life scheduling applications in multi-product plants. We derive properties of optimal solutions, NP -hardness proof, enumeration and dynamic programming algorithms for various special cases of the problem. A greedy-type heuristic is proposed and tested in computational experiment.

关键词： Scheduling Lot-sizing Parallel machines

来源：评论

学校读者我要写书评

暂无评论

On the relation between periodicity and unbordered factors of finite words

引用

12th International Conference on Developments in Language Theory, DLT 2008

作者： Holub, Štepán Nowotka, Dirk Department of Algebra Charles University in Prague Czech Republic Institute for Formal Methods in Computer Science University of Stuttgart Germany

ISBN: (纸本)3540857796

Finite words and their overlap properties are considered in this paper. Let w be a finite word of length n with period p and where the maximum length of its unbordered factors equals k. A word is called unbordered if it possesses no proper prefix that is also a suffix of that word. Suppose ki , with two different letters a and b and i1, and b i occurs exactly once in w. This answers a conjecture by Harju and the second author of this paper about a structural property of maximum Duval extensions. Moreover, we show here that i

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Fault-tolerant incremental diagnosis with limited historical data

Fault-tolerant incremental diagnosis with limited historical...

引用

International Conference on Prognostics and Health Management, PHM

作者： Daniel Gillblad Rebecca Steinert Anders Holst Industrial Applications and Methods Lab (lAM) Swedish Institute of Computer Science Kista Sweden

We describe a novel incremental diagnostic system based on a statistical model that is trained from empirical data. The system guides the user by calculating what additional information would be most helpful for the diagnosis. We show that our diagnostic system can produce satisfactory classification rates, using only small amounts of available background information, such that the need of collecting vast quantities of initial training data is reduced. Further, we show that incorporation of inconsistency-checking mechanisms in our diagnostic system reduces the number of incorrect diagnoses caused by erroneous input.

关键词： Fault tolerance Fault diagnosis Prototypes Training data Application software Knowledge based systems Protocols Data mining Vehicles Bayesian methods

来源：评论

学校读者我要写书评

暂无评论

On the complexity of consistency and complete state coding for signal transition graphs

On the complexity of consistency and complete state coding f...

引用

作者： Esparza, Javier Janar, Petr Miller, Alexander Institut für Informatik Technische Universität München Germany Center of Applied Cybernetics Dept. of CS TU Ostrava Czech Republic Institute for Formal Methods in Computer Science Univ. Stuttgart Germany

Signal Transition Graphs (STGs) are a popular formalism for the specification of asynchronous circuits. A necessary condition for the implementability of an STG is the existence of a consistent and complete state encoding. For an important subclass of STGs, the marked graph STGs, we show that checking consistency is polynomial, but checking the existence of a complete state coding is co-NP-complete. In fact, co-NP-completeness already holds for acyclic and 1-bounded marked graph STGs and for live and 1-bounded marked graph STGs. We add some relevant results for free-choice, bounded, and general STGs.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Generalized Mittag-Leffler relaxation: Clustering-jump continuous-time random walk approach

引用

Physical Review E 2008年第1期78卷 011103-011103页

作者： Agnieszka Jurlewicz Karina Weron Marek Teuerle Hugo Steinhaus Center for Stochastic Methods Institute of Mathematics and Computer Science Wrocław University of Technology Wyb. Wyspiańskiego 27 50-370 Wrocław Poland Institute of Physics Wrocław University of Technology Wyb. Wyspiańskiego 27 50-370 Wrocław Poland

A stochastic generalization of renormalization-group transformation for continuous-time random walk processes is proposed. The renormalization consists in replacing the jump events from a randomly sized cluster by a single renormalized (i.e., overall) jump. The clustering of the jumps, followed by the corresponding transformation of the interjump time intervals, yields a new class of coupled continuous-time random walks which, applied to modeling of relaxation, lead to the general power-law properties usually fitted with the empirical Havriliak-Negami function.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Revealing the hidden rationality of user browsing behaviour 07

Revealing the hidden rationality of user browsing behaviour

引用

Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia, HT'07

作者： Brown, Elizabeth Brailsford, Tim Fisher, Tony Van Der Eijk, Cees School of Computer Science and IT University of Nottingham Jubilee Campus Nottingham NG8 1BB United Kingdom School of Education University of Nottingham Jubilee Campus Nottingham NG8 1BB United Kingdom Methods and Data Institute University of Nottingham Nottingham NG7 2RD United Kingdom

ISBN: (纸本)1595938206

In this paper, we analyse web log data from user trials of the WHURLE-LS adaptive educational hypermedia (AEH) system from a behavioural perspective. This system allows users to switch from one presentational mode to another (visual, verbal or neutral), and this paper investigates users' choice of mode as they interacted with the system. We present the main findings of the browsing behaviours within the framework of rational choice theory, and discuss why and when switching might have occurred. Copyright 2007 ACM.

关键词： Web browsers

来源：评论

学校读者我要写书评

暂无评论

Diversity and Progression among Students Starting Social Work Qualifying Programmes in England between 1995 and 1998: A Quantitative Study

引用

BRITISH JOURNAL OF SOCIAL WORK 2008年第8期38卷 1588-1609页

作者： Hussein, Shereen Moriarty, Jo Manthorpe, Jill Huxley, Peter Shereen Hussein is a Research Fellow for SCWRU following doctoral studies at the London School of Economics and Masters studies at the London School of Hygiene and Tropical Science. She is a Demographer with a background in statistics and computer science. She is experienced in quantitative research techniques and applied statistics methods in demography and population studies. She is particularly interested in demographic factors affecting social care workforce as well as international variations in handling the global demographic changes. She also has experience in marriage and family dynamics and relationships between cultural diversity and social care needs. Jo Moriarty is a Research Fellow at the Social Care Workforce Research Unit. She has undertaken a series of studies looking at community care services with a particular interest in services for older people with dementia and their carers and people from minority ethnic groups. Jill Manthorpe is Co-Director of SCWRU with a background in university social work and health professional training at pre- and post-qualifying levels. She has undertaken a range of research studies in areas of community care adult protection professional training and risk. She has published widely with recent books on social policy inquiries abuse and students’ mental health. Her particular interests are in social gerontology and she has undertaken a range of research into older people’s services for voluntary groups local providers and national bodies. Peter Huxley is a qualified social worker with practice experience in child and adult mental health settings. He also has management and Board-level experience in adult mental health and social care services. He is Professor of Social Work Head of the Section of Social Work and Social Care and Deputy Head of Department in the Health Services Research Department at the Institute of Psychiatry at Kings College and Director of SCWRU. He recently completed a national survey of the mental health social work workforce in England

There has been no large-scale study looking at the proportion of social work students in the UK who achieve the professional qualification, although there is some evidence that different groups experience different rates of progression. This article examines progression rates among students studying for the DipSW in England and analyses the factors that influence whether students achieve an award on time (defined as achieving an award without being referred, deferred, failing or withdrawing). The results show that male students, students from a black and minority ethnic group, and students with a self-reported disability have poorer progression rates. However, contrary to the picture in higher education as a whole, older students and students with previously lower levels of educational attainment do not have poorer progression rates. Social work education has important lessons to share with higher-education colleagues in terms of working with an increasingly diverse student group. However, work is needed to identify students at greater risk of non-progression than others and to develop more effective student support strategies.

关键词： professional training minority ethnic groups gender disability social work progression rates higher education

来源：评论

学校读者我要写书评

暂无评论

A Study On Iterative Learning Control With Adjustment Of Learning Interval For Monotone Convergence In The Sense Of Sup-Norm

引用

Asian Journal of Control 2008年第1期4卷

作者： Kwang-Hyun Park Zeungnam Bien Division of EE Department of EECS Korea Advanced Institute of Science and Technology 373–1 Kusong-dong Yusong-gu Taejon 305–701 Korea. Zeungname Bien:received the B.S. degree in electronics engineering from Seoul National University Seoul Korea in 1969 and the M.S. and Ph.D. degrees in electrical engineering from the University of Iowa Iowa City Iowa U.S.A. in 1972 and 1975 respectively. During 1976–1977 academic years he taught as assistant professor at the Department of Electrical Engineering University of Iowa. Then Dr. Bien joined Korea Advanced Institute of Science and Technology summer 1977 and is now Professor of Control Engineering at the Department of Electrical Engineering and Computer Science KAIST. Dr. Bien was the president of the Korea Fuzzy Logic and Intelligent Systems Society during 1990–1995 and also the general chair of IFSA World Congress 1993 and for FUZZ-IEEE99 respectively. He is currently co-Editor-in-Chief for International Journal of Fuzzy Systems (IJFS) Associate Editor for IEEE Transactions on Fuzzy Systems and a regional editor for the International Journal of Intelligent Automation and Soft Computing. He has been serving as Vice President for IFSA since 1997 and is now Chief Chairman of Institute of Electronics Engineers of Korea and Director of Humanfriendly Welfare Robot System Research Center. His current research interests include intelligent control methods with emphasis on fuzzy logic systems service robotics and rehabilitation engineering and large-scale industrial control systems. Kwang-Hyun Park:received the B.S. M.S. and Ph.D. degrees in electrical engineering and computer science from KAIST Korea in 1994 19997 and 2001 respectively. He is now a researcher at Human-friendly Welfare Robot System Research Center. His research interests include learning control machine learning human-friendly interfaces and service robotics.

It has been found that some huge overshoot in the sense of sup-norm may be observed when typical iterative learning control (ILC) algorithms are applied to LTI systems, even though monotone convergence in the sense of λ-norm is guaranteed. In this paper, a new ILC algorithm with adjustment of learning interval is proposed to resolve such an undesirable phenomenon, and it is shown that the output error can be monotonically converged to zero in the sense of sup-norm when the proposed ILC algorithm is applied. A numerical example is given to show the effectiveness of the proposed algorithm.

关键词： Iterative learning control monotone convergence learning interval sup-norm

来源：评论

学校读者我要写书评

暂无评论

Coordination and self-organization in multiagent systems

Coordination and self-organization in multiagent systems

引用

ISDA 2006: Sixth International Conference on Intelligent Systems Design and Applications

作者： Ciobanu, Gabriel Formal Methods Laboratory Institute of Computer Science Romanian Academy 700505 Iasi Romania

ISBN: (纸本)0769525288

We consider a system of agents as a layer between services and the network hosts. We present a self-organizing system of agents able to offer services with an increase of the speed, and decrease of the network traffic. A coordination model defines how the agents interact, and how their interactions can be controlled;this includes dynamic creation and destruction of agents, control of communication flows among agents, control of spatial distribution of agents, as well as synchronization of actions over time. Various distances and topological relations are used to explain our self-organizing mechanism. We analyze the stability of the system, and provide a new result regarding a weak form of stability depending only on the moment of the first requests of agents by hosts. Finally we provide a visualization of the services evolution using self-organizing maps, and presenting a service clustering structure.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Reachability analysis of multithreaded software with asynchronous communication

Reachability analysis of multithreaded software with asynchr...

引用

Software Verification: Infinite-State Model Checking and Static Program Analysis 2006

作者： Bouajjani, Ahmed Esparza, Javier Schwoon, Stefan Strejček, Jan LIAFA University of Paris 7 France Institute for Formal Methods in Computer Science University of Stuttgart Germany

We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CPS (concurrent pushdown systems) [QR05] and DPN (dynamic pushdown networks) [BMOT05]. We show that ADPN exhibit several advantages as a program model. Since the reachability problem for ADPN is undecidable even in the case without dynamic creation of processes, we address the bounded reachability problem [QR05], which considers only those computation sequences where the (index of the) thread accessing the shared memory is changed at most a fixed given number of times. We provide efficient algorithms for both forward and backward reachability analysis. The algorithms are based on automata techniques for symbolic representation of sets of configurations. © 2006 Dagstuhl Seminar Proceedings. All rights reserved.

关键词： Memory architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：