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

11th IEEE International Conference on systems and Control, ICSC 2023

作者： Atuwayr, Aqreerah Asmeida, Akrem Ben Abdelmula, Haitham Saleh Anaiba, Abdulhakim Alhadi High Institution of Engineering Technology College of Computer Technology Zawia Libya Libyan Center for Electronic Systems Programming and Aviation Research Libya

ISBN: (纸本)9798350304886

In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 printed circuit board. For optimizing the mutual coupling features, the metamaterial rectangular slots are employed between adjacent elements. Extensive simulation results prove that our proposed design 4x4 MIMO array operated at 5.8 GHz offers significantly better performance in terms of antenna gain and envelope correlation coefficient (ECC) with 6 dB and less than 0.0009 respectively. Rendering to the reached outcomes, the proposed MIMO antenna is an efficient application-oriented design for 5G communication. © 2023 IEEE.

关键词： Defected ground structures

来源：评论

学校读者我要写书评

暂无评论

An interactive action set detection in natural language hybrid system 11

An interactive action set detection in natural language hybr...

引用

11th International Conference on Interfaces and Human Computer Interaction

作者： Wachtel, Alexander Paczia, Jonas Tichy, Walter F. Karlsruhe Institute of Technology Programming Systems Prof. Walter F. Tichy Am Fasanengarten 5 Karlsruhe76131 Germany

ISBN: (纸本)9789898533647

In this paper, we introduce an interface for natural language dialog system and the Microsoft Excel API. This interface enables users to describe actions in unrestricted natural language interactively and run these actions in the technical domain like Microsoft Excel. We implement a hybrid system that supports natural language interactions similar as a chat bot and gesture control to follow the user's showing actions. For this purpose and also to avoid the lack of inconsistent code documentation, we dynamically export the provided documentation for coding in Visual Studio and provide it in the xml-format to the hybrid system. Users can use already existing actions and provide new action sets to the hybrid system at runtime. For our first prototype of the hybrid system, we concentrate on extending for handling graphs and charts. Evaluated by a user study the hybrid system can successfully resolve more that 80 % of the given user tasks. © 2017.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Grid resource management using lottery scheduling 11

Grid resource management using lottery scheduling

引用

Proceedings of the 12th International Conference on Computer systems and Technologies

作者： Borovska, Plamenka Aleksieva-Petrova, Adelina Gancheva, Veska Beshkov, Stefan Department of Computer Systems Technical University of Sofia Bulgaria Department of Programming and Computer Technologies Technical University of Sofia Bulgaria Experian Bulgaria Bulgaria

ISBN: (纸本)9781450309172

The GRID infrastructure provides an aggregation of a wide variety of distributed resources for solving large-scale data intensive problems in various fields. The aim of this paper is to propose a method for grid resource management based on lottery scheduling. The lottery scheduling algorithm is implemented as an extension of GridSim simulator that integrates an additional strategy for planning and resource management. © 2011 ACM.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2002年 2407卷 211-239页

作者： Gupta, Gopal Pontelli, Enrico Applied Logic Programming Languages and Systems Lab. Department of Computer Science University of Texas at Dallas Richardson TX 95083 United States Laboratory for Logic Databases and Advanced Programming Department of Computer Science New Mexico State University Las Cruces NM 88003 United States

ISBN: (纸本)3540439595

Domain Specific Languages (DSLs) are high level languages designed for solving problems in a particular domain, and have been suggested as means for developing reliable software systems. We present a (constraint) logic programming-based framework for specification, efficient implementation, and automatic verification of domain specific languages (DSLs). Our framework is based on using Horn logic (or pure Prolog), and eventually constraints, to specify denotational semantics of domain specific languages. Both the syntax as well as the semantic specification of the DSL in question are directly executable in our framework: the specification itself serves as an interpreter for the DSL. More efficient implementations of this DSL-a compiler-can be automatically derived via partial evaluation. Additionally, the executable specification can be used for automatic or semi-automatic verification of programs written in the DSL as well as for automatically obtaining traditional debuggers and profilers. The ability to verify DSL programs is a distinct advantage of our approach. In this paper we give a general outline of our approach, and illustrate it with practical examples. © 2002 Springer-Verlag Berlin Heidelberg.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Architecture potential analysis: A closer look inside architecture evaluation

Journal of Software

引用

Journal of Software 2007年第4期2卷 43-56页

作者： Florentz, Bastian Huhn, Michaela Institute for Programming and Reactive Systems Technical University Brunswick Germany

The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of the development of embedded systems to describe, assess, and assure sound architecture as basis for high quality systems. Furthermore, design space exploration can be based on architecture evaluation. To achieve an efficient exploration process, architectural decisions need to be taken into account as part of the architecture. In this paper, a method for analyzing architecture potential on the basis of dependencies between quality attributes is presented and applied. An explicit representation and correlation of such dependencies provides decision support for architectural concerns. Not only can suboptimal decisions be avoided but rather valuable options are highlighted. Besides the quality of an architecture, knowledge of how to achieve and even improve the quality can be analyzed. The latter is the concern of architecture potential analysis presented in this paper. Furthermore, architectural decisions can be documented and will be traceable and justifiable with respect to the development rationale. The ongoing development process can then be based on dependable and well documented architectural decisions. The predictability of change impacts is increased. Thus, time and costs can be saved by avoiding suboptimal changes. © 2006 ACADEMY PUBLISHER.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Inferring semantic interfaces of data structures

Inferring semantic interfaces of data structures

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden

ISBN: (纸本)9783642340253

In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising parameterized input and output, allowing to model control- and data-flow in component interfaces concisely. Algorithmic key to the automated synthesis of these semantic interfaces is the extension of an active learning algorithm for Register Automata to explicitly deal with output. We evaluated our algorithm on a complex data structure, a "stack of stacks", the largest of which we could learn in merely 20 seconds with less than 4000 membership queries, resulting in a model with rougly 800 nodes. In contrast, even when restricting the data domain to just four values, the corresponding plain Mealy machine would have more than 109 states and presumably require billions of membership queries. © 2012 Springer-Verlag.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

A recommender system for WordPress themes using item-based collaborative filtering technique 29

A recommender system for WordPress themes using item-based c...

引用

29th International Scientific Conference Electronics, ET 2020

作者： Ujkani, Berat Minkovska, Daniela Stoyanova, Lyudmila Technical University of Sofia Faculty of Computer Systems and Technologies Department of Programming and Computer Technologies 8 Kliment Ohridski blvd Sofia1000 Bulgaria

ISBN: (纸本)9781728174266

Recommender systems allow making personalized recommendations for items or products while browsing online, using numerous algorithms and techniques to predict and recommend potentially useful items to a specific user. This paper presents a system built for the purpose of filtering out WordPress themes trough the ratings or reviews of other similar users using item-based collaborative filtering technique and provide user-specific recommendations for the largest online marketplace of web templates called Themeforest, part of Envato marketplaces. © 2020 IEEE.

关键词： Collaborative filtering

来源：评论

学校读者我要写书评

暂无评论

Why you should establish a connection to the internet

引用

TechTrends 1996年第2期41.0卷 10-16页

作者： Hill, Judy A. Misic, Mark M. Information Systems and Computer Programming Dept. Purdue University-Calumet in Hammond Indiana United States College of Business Northern Illinois University in DeKalb United States

来源：评论

学校读者我要写书评

暂无评论

Place bisimulation equivalences for design of concurrent and sequential systems

Place bisimulation equivalences for design of concurrent and...

引用

MFCS '98 Workshop on Concurrency

作者： Tarasyuk, Igor V. Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia

In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and their preservation by refinements is investigated to find out which of these relations may be used in top-down design. It is demonstrated that the place bisimulation equivalences may be used for the compositional and history preserving reduction of Petri nets. In addition, we consider all the mentioned equivalences on sequential nets which are a special subclass of general Petri nets modelling sequential systems, where no two actions can happen simultaneously. On this net subclass all pomset equivalences merge with the corresponding interleaving ones, and it allows us to simplify their check. © 1998 Published by Elsevier Science B.V.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

作者： Comasólivas, R. Escobet, T. Quevedo, J. Automatic Control Department Technical University of Catalonia Terrassa Spain Department of Electronic Systems Design and Programming Technical University of Catalonia Terrassa Spain

ISBN: (纸本)9781457701252

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. © 2011 IEEE.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：