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

12th Middleware Doctoral Symposium, Middleware Doctoral Symposium 2015

作者： Giang, Nam Ky Blackstock, Michael Lea, Rodger Leung, Victor C.M. Department of Electrical and Computer Engineering 2332 Main Mall Vancouver Canada

ISBN: (纸本)9781450337281

the Internet of things (IoT) vision is being realised recently with many advances in computation and communication technologies and an increasing number of devices with Internet connectivity. Recent efforts have been made to leverage data from these connected devices to deliver value added services and applications. they are usually limited to either data acquisition and management tasks, or programming a closely related group of devices (e.g have the same owner or from the same vendor). this turns the IoT vision into just a straightforward extension of Wireless Sensor Networks (WSNs) where sensors are connected to the Internet. In contrast, from our point of view the IoT distinguishes itself by facilitating interactions between devices from different owners and vendors that deliver services and applications to end-users. In this work, we explore the problem of how to enable the development of IoT applications that exploit large numbers of connected things, belonging to different owners, in an efficient manner. © 2015 acm.

关键词： Fog computing

来源：评论

学校读者我要写书评

暂无评论

Nanosatellite Event Simulator Development Using Scrum Agile Method and Safety-Critical Application Development Environment 12

Nanosatellite Event Simulator Development Using Scrum Agile ...

引用

12th international conference on Information Technology: New Generations ITNG

作者： Pierre Mattei, Andre Luiz da Cunha, Adilson Marques Dias, Luiz AlbertoVieira Fonseca, Eloi Saotome, Osamu Takachi, Paulo Goncalves, Gildarcio Sousa Pivetta, thoris Angelo Montalvao, Victor da Silva Kendi, Cassio de Freitas, Felipe Lopes Ferreira, Manasseis Alves Almeida, Mateus Andrade de Oliveira Rodrigues, Gabriel Goncalves ITA Sao Paulo Brazil

ISBN: (纸本)9781479988280

Development of satellite and launcher subsystems involves programming complex embedded systems and dealing with multiple system interactions while complying with both functional and technical requirements as well as software quality. Space onboard system project development is complex and is normally both time consuming and highly susceptible to errors. the combination of scrum agile methods with model-based programming addresses these restraints and allows synergetic interactions between team members. this paper describes the classroom experience of a group of students in the development of a Nanosatellite Event Simulator and its display interface for an Attitude Control and Determination Subsystem (ACDS). It was used the instructional technique of Interdisciplinary Project Based Learning (IPBL) and the software SAfety-Critical Application Development Environment (SCADE).

关键词： Model-based programming Interdisciplinary Project Based Learning Safety-Critical Application Development Environment Scrum Agile Methods Nanosatellite

来源：评论

学校读者我要写书评

暂无评论

A Knowledge-Based Approach to Product Concept Screening 12

引用

12th international Symposium on Distributed Computing and Artificial Intelligence (DCAI 2015)

作者： Relich, Marcin Swic, Antoni Gola, Arkadiusz Univ Zielona Gora Fac Econ & Management Zielona Gora Poland Lublin Univ Technol Fac Mech Engn Lublin Poland Lublin Univ Technol Fac Management Lublin Poland

ISBN: (纸本)9783319196381;9783319196374

this paper is concerned with developing a knowledge-based approach for selecting portfolio of product concepts for development. the critical success factors for new product development are identified on the basis of information acquired from an enterprise system, including the fields of sales and marketing, project management, and production. the model of new product screening consists of enterprise functional domains and business information systems. the model has been described in terms of a constraint satisfaction problem (CSP) that contains a set of decision variables, their domains, and the constraints. Knowledge base is specified according to CSP framework and it reflects the company's resources and relationships identified. the illustrative example presents the use of fuzzy neural network to estimating the success of new products and constraint programming to product concept screening in the context of the different search strategies.

关键词： project management new product development concept selection decision support system constraint satisfaction problem constraint programming

来源：评论

学校读者我要写书评

暂无评论

Taguchi Method or Compromise programming as Robust Design Optimization Tool: the Case of a Flexible Manufacturing System 12

Taguchi Method or Compromise Programming as Robust Design Op...

引用

12th international conference on Informatics in Control Automation and Robotics (ICINCO)

作者： Tshibangu, Wa-Muzemba Anselm Morgan State Univ Dept Ind & Syst Engn 1701 E Cold Spring Lane Baltimore MD 21251 USA

ISBN: (纸本)9789897581496

Competitive advantage of a firm is usually reflected through its superiority in production resources and performance outcomes. In order to achieve high performance (e.g., productivity) and significantly improve product quality, major US industries have promoted and implemented Robust Design (RD) techniques during the last decade. RD is a cost-effective procedure for determining the optimal settings of the control factors that make the product performance insensitive to the influence of noise factors. In this research, we employ and compare two RD optimum-seeking methods to optimize a flexible manufacturing system (FMS). Taguchi Method (TM), which uses robust design concept, i.e., Signal-To-Noise Ratio (S/N) to reduce the output variation, is applied first. Taguchi's approach to robust design drawn much criticism because it relies on the signal-to-noise (S/N) ratio for the optimization procedure. Because of this paramount criticism, a second method known as the Compromise programming (CP) approach, i.e., the weighted Tchebycheff, is also used. this method formulates the robust design as a bi-objective robust design (BORD) problem by taking into account the two aspects of the RD problem, i.e. minimize the variation and optimize the mean. this approach seeks to determine the RD solution which is guaranteed to belong to the set of efficient solutions (Pareto points). Both methods use a RD formulation to determine an optimal and robust configuration of the system under study. the results gained through simulations and analytical formulations show that the current ways of handling the multiple aspects of the RD problem by using Taguchi's S/N ratio may not be adequate.

关键词： Robust Design Optimization Taguchi Method Compromise programming Fms Simulation

来源：评论

学校读者我要写书评

暂无评论

PI-controlled ANN-based Energy Consumption Forecasting for Smart Grids 12

PI-controlled ANN-based Energy Consumption Forecasting for S...

引用

12th international conference on Informatics in Control Automation and Robotics (ICINCO)

作者： Gezer, Gulsum Tuna, Gurkan Kogias, Dimitris Gulez, Kayhan Gungor, V. Cagri Yildiz Tech Univ Dept Control & Automat Engn Istanbul Turkey Trakya Univ Dept Comp Programming Edirne Turkey Piraeus Univ Appl Sci Dept Elect Engn Aigaleo Greece Abdullah Gul Univ Dept Comp Engn Kayseri Turkey

ISBN: (纸本)9789897581496

Although Smart Grid (SG) transformation brings many advantages to electric utilities, the longstanding challenge for all them is to supply electricity at the lowest cost. In addition, currently, the electric utilities must comply with new expectations for their operations, and address new challenges such as energy efficiency regulations and guidelines, possibility of economic recessions, volatility of fuel prices, new user profiles and demands of regulators. In order to meet all these emerging economic and regulatory realities, the electric utilities operating SGs must be able to determine and meet load, implement new technologies that can effect energy sales and interact with their customers for their purchases of electricity. In this respect, load forecasting which has traditionally been done mostly at city or country level can address such issues vital to the electric utilities. In this paper, an artificial neural network based energy consumption forecasting system is proposed and the efficiency of the proposed system is shown with the results of a set of simulation studies. the proposed system can provide valuable inputs to smart grid applications.

关键词： Smart Grid Demand Forecasting Artificial Neural Network Optimization

来源：评论

学校读者我要写书评

暂无评论

Next Generation Networks for Telecommunications Operators Providing Services to Transnational Smart Grid Operators 12

Next Generation Networks for Telecommunications Operators Pr...

引用

12th international conference on Informatics in Control Automation and Robotics (ICINCO)

作者： Tuna, Gurkan Kiokes, George C. Zountouridou, Erietta I. Gungor, V. Cagri Trakya Univ Dept Comp Programming Edirne Turkey Hellen Air Force Acad Dekeleia 1010 Attica Greece Natl Tech Univ Athens Athens Greece Abdullah Gul Univ Dept Comp Engn Kayseri Turkey

ISBN: (纸本)9789897581496

Due to the networking expertise, services and technical support of telecommunications operators, Smart Grid (SG) operators prefer telecommunications operators for their communications needs instead of creating private networks. In this paper, the use of Next Generation Networks (NGNs) by telecommunications operators to provide services to transnational SG operators for SG applications is evaluated. NGNs are all IP networks which are packet based and use IP to transport the various types of traffic such as data, voice, video, and signalling over converged fixed and mobile networks. the main idea of transnational SG operators is simple. By creating a huge single infrastructure for energy, more than one countries and nations can be powered at once. For this, it is not needed to install very huge power plants. Simply creating a complex network of power grid connections to each participating country is enough. the results of a set of simulation studies are given to show the efficiency of the NGN-based communication infrastructure for SG applications in terms of important network performance metrics. the results show that NGN-based communication infrastructures can carry packets based on their priority levels and bandwidth allocations in order to meet the specific requirements of SG applications.

关键词： Smart Grid Smart Grid Applications Next Generation Networks Performance Evaluations

来源：评论

学校读者我要写书评

暂无评论

Notions of Bidirectional Computation and Entangled State Monads 1

引用

12th international conference on Mathematics of Program Construction (MPC)

作者： Abou-Saleh, Faris Cheney, James Gibbons, Jeremy McKinna, James Stevens, Perdita Univ Oxford Dept Comp Sci Oxford England Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland

ISBN: (数字)9783319197975

ISBN: (纸本)9783319197975;9783319197968

Bidirectional transformations (bx) support principled consistency maintenance between data sources. Each data source corresponds to one perspective on a composite system, manifested by operations to 'get' and 'set' a view of the whole from that particular perspective. Bx are important in a wide range of settings, including databases, interactive applications, and model-driven development. We show that bx are naturally modelled in terms of mutable state;in particular, the 'set' operations are stateful functions. this leads naturally to considering bx that exploit other computational effects too, such as I/O, nondeterminism, and failure, all largely ignored in the bx literature to date. We present a semantic foundation for symmetric bidirectional transformations with effects. We build on the mature theory of monadic encapsulation of effects in functional programming, develop the equational theory and important combinators for effectful bx, and provide a prototype implementation in Haskell along with several illustrative examples.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Special Issue Dedicated to ICFP 2012

引用

JOURNAL OF functional programming 2014年第2-3期24卷 131-132页

作者： Singh, Satnam Findler, Robert Bruce Google Mountain View CA 94043 USA Northwestern Univ Evanston IL 60208 USA

the 17th acm sigplan international conference on functional programming (ICFP) took place on September 10–12, 2012 in Copenhagen, Denmark. After the conference, the programme committee selected several outstanding papers and invited their authors to submit to this special issue of Journal of functional programming. Robby Findler and Satnam Singh acted as editors for these submissions. this issue includes the accepted papers, each of which provides substantial new material beyond the original conference version. [ABSTRACT FROM AUthOR]

关键词： SPECIAL issues of periodicals functional programming (Computer science) COMPUTER programming AUthORS CONGRESSES

来源：评论

学校读者我要写书评

暂无评论

Towards multi-functional robot-based automation systems

Towards multi-functional robot-based automation systems

引用

international conference on Informatics in Control, Automation and Robotics (ICINCO)

作者： Andreas Angerer Michael Vistein Alwin Hoffmann Wolfgang Reif Florian Krebs Manfred Schnheits Institute for Software & Systems Engineering (ISSE) University of Augsburg Augsburg Germany Center for Lightweight Production Technology German Aerospace Center Stuttgart Germany

Multi-functional robot cells will play an important role in smart factories of the future. Equipped with flexible toolings, teams of robots will be able to realize manufacturing processes with growing complexity. However, to efficiently support small batch sizes and a multitude of process variants, powerful software tools are required. this paper illustrates the challenges that developers face in multi-functional robot cells, using the example of CFRP production. the vision of a new programming environment for such future flexible automation systems is sketched.

关键词： Service robots Production Solid modeling programming Synchronization Manipulators

来源：评论

学校读者我要写书评

暂无评论

Combinatorial optimization approach for feasible low-power and real-time flexible OS tasks 12th

Combinatorial optimization approach for feasible low-power a...

引用

12th international conference on Informatics in Control, Automation and Robotics, ICINCO 2015

作者： Chniter, Hamza Khalgui, Mohamed Jarray, Fethi LISI Lab INSAT Carthage University Tunis Tunisia University of El-Manar Tunis Tunisia ISI Institute University of Gabes Gabes Tunisia Systems Control Lab Xidian University Xi’an China CEDRIC Laboratory CNAM 292 rue St-Martin Paris Cedex 0375141 France ISI Institute Medenine Tunisia

ISBN: (纸本)9783319264516

the chapter presents a combinatorial optimization method for the low-power adaptive scheduling problem on variable speed processors and reconfigurable architectures. It deals with synchronous and flexible real-time OS tasks. A reconfiguration scenario is assumed to be a run-time software intervention which act on the system state to allow the addition-removal-update of OS tasks and consequently adapt the system to its environment under functional and extra-functional requirements. A reconfiguration can change the system behavior where temporal properties are violated or the energy consumption overcomes its limit and pushes the system to a non feasible state. A configuration scenario can be a result of the addition-removal-update of tasks in the system. the difficulty is how to recover the violated temporal parameters of the system’s tasks after any reconfiguration. We use a DVS processor which is with a variable speed to support run-time solutions to re-obtain the system’s feasibility. the challenge is to choose the suitable scaling factors for the processor speed to ensure the best compromise between the execution time and the energy consumption where all constraints are respected. We reformulate the problem and propose a combinatorial optimization method based on integer programming and heuristics to solve the problem. We compensate each approachby a mechanism which is based on the deadline adjustment of the tasks to satisfy the feasibility conditions when the available speeds of the processor do not filfull the needs. this mechanism make the system more reliable and flexible to respond appropriately to its environment. © Springer international Publishing Switzerland 2016.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：