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

IEEE International Symposium on Intelligent Control (ISIC)

作者： G. Frehse O. Stursberg S. Engell R. Huuck B. Lukoschus Process Control Laboratory University of Dortmund Dortmund Germany Chair of Software Technology Institute of Computer Science and Applied Mathematics University of Kiel Kiel Germany

While formal verification has been successfully used to analyze several academic examples of controlled hybrid systems, the application to real-world processing systems is largely restricted by the complexity of modeling and computation. This paper aims at improving the applicability by using decomposition and deduction techniques: A given system is first decomposed into a set of physical and/or functional units and modeled by communicating timed automata or linear hybrid automata. The so-called assumption/commitment method allows one to formulate requirements for the desired behavior of single modules or groups of modules. Model-checking is an appropriate technique to analyze whether the requirements (e.g. the exclusion of critical states) are fulfilled. By combining the analysis results obtained for single modules, properties of composed modules can be deduced. As illustrated for a laboratory plant, properties of the complete system for which direct model-checking is prohibitively expensive can be inferred by the iterative application of analysis and deduction.

关键词： Process control Control systems Formal verification Computational modeling Automata computer science Mathematics Control system synthesis Application software Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Tuning buffer size in the multimedia router (MMR)

Tuning buffer size in the multimedia router (MMR)

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： B. Caminero C. Carrion F.J. Quiles F.J. Duato S. Yalamanchili Department of Computer Science. Escuela Politecnica Superior University de Castilla-La Mancha Albacete Spain Department of Information Systems and Computer Architecture University of Politecnica de Valencia Valencia Spain School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA USA

来源：评论

学校读者我要写书评

暂无评论

Increasing the enrollment of women in computer science 01

Increasing the enrollment of women in computer science

引用

ACM Technical Symposium on computer science Education

作者： Shari Lawrence Pfleeger Pat Teller Sheila E. Castaneda Manda Wilson Rowan Lindley s Software Quality Institute series. She is a member of IEEE the IEEE Computer Society and the Association for Computing Machinery. Dr. Pfleeger was on the executive committee of the Technical Council on Software Engineering from 1996 to 2000. The University of Texas at El Paso Department of Computer Science El Paso TX Computer Science Department Clarke College 1550 Clarke Drive Dubuque IA Recent Graduate of Binghamton University (May 2000) Web Designer at Cityspree Manhattan NY Chair of Computer Science Westchester Community College 75 Grasslands Road Valhalla NY

No abstract available.

ISBN: (纸本)9781581133295

No abstract available.

关键词： computer science Women

来源：评论

学校读者我要写书评

暂无评论

Framework for component-based development of distributed real-time systems

Framework for component-based development of distributed rea...

引用

Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

作者： C. Villela L.B. Becker C.E. Pereira School of Engineering and Architecture Catholic University of Pelotas USA Computer Science Institute Federal University of Rio Grande do Sul Brazil Electrical Engineering Department Federal University of Rio Grande do Sul Brazil

Modeling and design of distributed real-time embedded systems tend to be a very complex work, especially when heterogeneous systems and task synchronization are involved. In this sense, a specific framework can help in dealing with such complexity. The paper describes such a framework, which has been developed to help developers in the task of modeling and implementation of embedded real-time applications. The framework extends SIMOO-RT an object oriented software tool developed at UFRGS, with the possibility of using components. A component library template, the use of a deployment diagram for the configuration of a given component based solution to different target architectures, and a new code generator are the main extensions proposed. The paper gives an overview on the proposed extensions, explaining its use by means of some developed case studies.

关键词： Real time systems Object oriented modeling Intelligent sensors Power system modeling Intelligent actuators Power system reliability Communication system control Sensor systems Control systems Design engineering

来源：评论

学校读者我要写书评

暂无评论

Application of the symplectic group in a novel branch of soft computing for controlling of electro-mechanical devices

Application of the symplectic group in a novel branch of sof...

引用

International Workshop on Robot Motion and Control (RoMoCo)

作者： J.K. Tar K. Kozlowski I.J. Rudas T. Ilkei John von Neumann Faculty of Informatics Budapest Polytechnic Institute of Mathematical and Computational Sciences Budapest Hungary Chair of Control Robotics and Computer Science Poznan University of Technology Poznan Poland Budapest Polytechnic Institute of Mathematical and Computational Sciences Budapest Hungary Budapest Polytechnic Budapest Hungary

An application of a special approach aiming at the development of a new branch of soft computing (SC) for the adaptive control of approximately and partially known electromechanical systems is reported. Like "traditional" SC it uses "uniform structures" for modeling, but these structures are obtained from the symplectic group (SG). This approach can considerably reduce the number of free parameters in the model in comparison e.g. with that of the neural networks or ample sets of fuzzy rules. It also replaces the process of parameter tuning with simple, lucid, and explicit algebraic operations of limited steps. While in the previous approaches SG was utilized as an inner symmetry of classical mechanical systems, in the present one it is used in a formal way not utilizing mechanical symmetries. Furthermore, SG is not the internal symmetry of electrical, that is of electro-mechanical systems. In the present paper the new formal approach is demonstrated in the adaptive control of a 3 mechanical DOF SCARA-type robot arm actuated by DC motors together forming a 6 DOF electromechanical system. It is concluded on the basis of simulations that the control designed for the 3 DOF mechanical degrees of freedom can efficiently compensate for the behavior of the electrical degrees of freedom not modeled by the controller.

关键词： Mechanical systems Control systems Adaptive control Robot control Informatics Neural networks Fuzzy neural networks Fuzzy sets DC motors computer science

来源：评论

学校读者我要写书评

暂无评论

Some string cosmological models in cylindrically symmetric inhomogeneous universe

引用

Turkish Journal of Physics 2001年第4期25卷 283-292页

作者： Baysal, H. Yavuz, I. Tarhan, I. Camci, U. Yilmaz, I. Department of Mathematics Art and Science Faculty. Çanakkale Onsekiz Mart Univ. 17100 Çanakkale Turkey Department of Computer Science Engineering and Architecture Faculty Çanakkale Onsekiz Mart Univ. 17100 Çanakkale Turkey Department of Physics Art and Science Faculty Çanakkale Onsekiz Mart Univ. 17100 Çanakkale Turkey Feza Gürsey Institute PO Box 6 Çengelköy 81220 Istanbul Turkey

The aim of this paper is to investigate the behavior of a string in the cylindrically symmetric inhomogeneous cosmological model. It has been assumed that expansion θ in the model is proportional to σ11 of the eigenvalue of the shear tensor σνmu;. Also, various physical and geometrical properties of the model have been discussed.

关键词： Cosmological models String

来源：评论

学校读者我要写书评

暂无评论

Design reuse by modularity: a scalable dynamical (re)configurable multiprocessor system

Design reuse by modularity: a scalable dynamical (re)configu...

引用

EUROMICRO Conference

作者： R. Drechsler N. Drechsler E. Mackensen T. Schubert B. Becker Institute of Computer Science Chair of Computer Architecture Albert Ludwig University Freiburg im Breisgau Germany

We present a scalable, low cost multiprocessor system, which is used in the area of measurement, regulation, controlling and soft computing. The system is an example of extremely modular hardware/software design. Modular in this context means that we can easily change or optimize individually the components in the system for a given problem. One of the most important aspects of our multiprocessor system is the fact that the user can dynamically change the communication topology by software 'on-the-fly'. Thus, the hardware can be (re)configured during operation in less than 1 ms. By this, the CPUs in the multiprocessor system can communicate directly without any invention of another processor preventing the typical bottleneck in parallel systems. First applications have been implemented in an embedded controller for a vote counting machine, with emphasis on high data security and high throughput.

关键词： Multiprocessing systems Hardware Costs Area measurement Control systems Software design Context Topology Communication system software Application software

来源：评论

学校读者我要写书评

暂无评论

ACTion: combining logic synthesis and technology mapping for MUX based FPGAs

ACTion: combining logic synthesis and technology mapping for...

引用

EUROMICRO Conference

作者： W. Gunther R. Drechsler Institute of Computer Science Chair of Computer Architecture Albert Ludwig University Freiburg im Breisgau Germany

Technology mapping for multiplexor (MUX) based field programmable gate arrays (FPGAs) has widely been considered. A new algorithm is proposed that applies techniques from logic synthesis during mapping. By this, the target technology is considered in the minimization process. Binary decision diagrams (BDDs) are used as an underlying data structure due to the close relation between BDDs and MUX netlists. The algorithm uses local don't cares obtained by a greedy algorithm. The mapping is sped up by computing signatures. A trade-off quality versus runtime can be specified by the user by setting different parameters. Experimental results comparing the approach to the best known results show improvements of more than 30% for area and 40% for delay for many instances.

关键词： Field programmable gate arrays Data structures Boolean functions Circuit synthesis Network synthesis Binary decision diagrams computer science computer architecture Programmable logic arrays Minimization

来源：评论

学校读者我要写书评

暂无评论

Dynamic re-encoding during MDD minimization

Dynamic re-encoding during MDD minimization

引用

International Symposium on Multiple-Valued Logic

作者： F. Schmiedle W. Gunther R. Drechsler Institute of Computer Science Chair of Computer Architecture Albert Ludwig University Freiburg im Breisgau Germany Institute of Computer ScienceChair of Computer Architecture Albert Ludwig University Freiburg im Breisgau Germany

Multi-valued decision diagrams (MDDs) are a generalization of binary decision diagrams (BDDs). They often allow efficient representation of functions with multi-valued input variables similar to BDDs in the binary case. Therefore they are suitable for several applications in synthesis and verification of integrated circuits. MDD sizes counted in number of nodes vary from linear to exponential dependent on the variable ordering used. In all these applications, minimization of MDDs is crucial. In many cases, multi-valued variables are composed by a certain number of binary variables, and so the multi-valued inputs arise by grouping binary variables. The selection of these groups, that is, the decision which variables to merge, has enormous impact on MDD sizes. Techniques for finding variable groupings before starting MDD minimization have been proposed recently. In this paper we present a new method that uses re-encoding, i.e. dynamic variable grouping. We don't choose one fixed variable grouping before minimizing MDDs, but allow to change the binary variables to be considered together during the minimization process. This is possible since MDDs are simulated on top of BDDs. By this, the underlying binary variables remain accessible throughout the minimization process. This technique is described in detail and we also show experimental results that demonstrate the efficiency of our approach.

关键词： Data structures Boolean functions Minimization Input variables Integrated circuit synthesis computer science computer architecture Application specific integrated circuits Encoding Logic design

来源：评论

学校读者我要写书评

暂无评论

Lower bound sifting for MDDs

Lower bound sifting for MDDs

引用

International Symposium on Multiple-Valued Logic

作者： D. Jankovic W. Gunther R. Drechsler Faculty of Electronic Engineering University of Nis Nis Yugoslavia Institute of Computer Science Chair of Computer Architecture Albert Ludwig University Freiburg im Breisgau Germany

Decision Diagrams (DDs) are a data structure for the representation and manipulation of discrete logic functions often applied in VLSI CAD. Common DDs to represent Boolean functions are Binary Decision Diagrams (BDDs). Multiple-valued logic functions can be represented by multiple-valued Decision Diagrams (MDDs). The effiency of a DD representation strongly depends on the variable ordering; the size may vary from linear to exponential. Finding a good ordering is an NP-hard problem that has received considerable attention resulting in many minimization methods. Sifting is the most popular heuristic for dynamic DD minimization. In this paper we give lower bounds for sifting of MDDs. Based on them, both lower bound sifting for MDD minimization and lower bound group sifting for BDD minimization are proposed. By the computation of good lower bounds large parts of the search space can be pruned resulting in very fast computations. This is demonstrated by experimental results.

关键词： Boolean functions Data structures Runtime Logic functions Very large scale integration Minimization methods Binary decision diagrams computer science computer architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：