Modern software is often developed with advanced mechanisms for code reuse. A software module may build on other software modules or libraries where the source code is not available. And even if the source code is kno...
详细信息
the θ-subsumption test is known to be a bottleneck in inductivelogicprogramming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed θ-subsumption proc...
详细信息
the θ-subsumption test is known to be a bottleneck in inductivelogicprogramming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed θ-subsumption process based on an Actor Model, withthe aim of being able to decide subsumption on very large clauses. this model was correct and complete, but was also very slow. this is why we introduce ANTS (Actor Network based theta-Subsumption), a new model also based on an actor network, which is significantly faster than the previous one.
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
ISBN:
(数字)9783319232645
ISBN:
(纸本)9783319232638;9783319232645
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logicprogramming, nonmonotonic reasoning, and knowledge representation. the aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
Many IoT applications require public information and private information to make correct decision and trigger appropriate services in efficient manner. Many existing IoT services use cloud-based service model. Cloud-b...
详细信息
ISBN:
(纸本)9781509043729
Many IoT applications require public information and private information to make correct decision and trigger appropriate services in efficient manner. Many existing IoT services use cloud-based service model. Cloud-based service model conducts logic decision on remote servers, which store public and private information, and leads to security and privacy breakage. Moreover, it limits the users on controlling the services. the tradeoff between data privacy and intelligent service is an important issue on developing IoT services. In this paper, we present a public/private federation framework, which combines public and private intelligence to develop IoT applications. It allows the IoT applications to take advantage of the cloud-based public intelligence and local private data to provide correct services without transmitting private data to public servers. the framework is built on top of an intelligent virtual middleware, named WuKong, to federate with nodeRED, which is a web-enabled flow-based programming environment. Two case examples are shown in the paper to demonstrate how the private and public intelligence are inter-woven to compose intelligent IoT applications.
Using diffuse control algorithms, a position control for the six extremities of the Hexapod Robot was built. As input to the controller, a LIS3DSH accelerometer was used, which gives the Roll values for the angle in w...
详细信息
Using diffuse control algorithms, a position control for the six extremities of the Hexapod Robot was built. As input to the controller, a LIS3DSH accelerometer was used, which gives the Roll values for the angle in which the accelerometer tilts, typical of the Discovery STM32F4 card. It was necessary to build a PI controller in order to reduce the error in stationary state and stabilize the robot in a zero degree tilt position, allowing the Hexapod robot to stand and balance automatically over different surfaces.
Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. thus, it is important that these systems behave as intended, as incorrectness can...
详细信息
Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. thus, it is important that these systems behave as intended, as incorrectness can have serious consequences. Due to continuous dynamics that yield infinite state spaces, the systems cannot be exhaustively tested to guarantee correct behavior, but systematic testing can be used to systematically search for behavior that is inconsistent withthe requirements. However, manual testing is a tedious and error-prone task, and thus it is desirable to automate as much of the testing process as possible to increase efficiency and eliminate manual errors. this paper considers falsification of requirements expressed as temporal logic formulae to find errors in the Model-in-the-Loop stage of model-based development. the falsification is an optimization procedure where the objective function is determined by the definition of a quantitative semantics for the temporal logic formalism, and the optimization is performed over an input parametrization. It is shown that in certain cases where the discreteness of the system under test manifests itself in the objective function, the robustness values for the temporal logic specifications need to be modified. this paper presents two alternative objective functions suitable for these cases, and illustrates their use with both a small example and a use case from Volvo Car Corporation.
In this paper, we discuss a method for automatic programming of inspection image processing. In the industrial field, automatic program generators or expert systems are expected to shorten a period required for develo...
详细信息
ISBN:
(数字)9781510611221
ISBN:
(纸本)9781510611214;9781510611221
In this paper, we discuss a method for automatic programming of inspection image processing. In the industrial field, automatic program generators or expert systems are expected to shorten a period required for developing a new appearance inspection system. So-called "image processing expert system" have been studied for over the nearly 30 years. We are convinced of the need to adopt a new idea. Recently, a novel type of evolutionary algorithms, called genetic network programming (GNP), has been proposed. In this study, we use GNP as a method to create an inspection image processing logic. GNP develops many directed graph structures, and shows excellent ability of formulating complex problems. We have converted this network program model to Image Processing Network programming (IPNP). IPNP selects an appropriate image processing command based on some characteristics of input image data and processing log, and generates a visual inspection software with series of image processing commands. It is verified from experiments that the proposed method is able to create some inspection image processing programs. In the basic experiment with 200 test images, the success rate of detection of target region was 93.5%.
In the last years, traffic over wireless networks has been increasing exponentially, due to the impact of Internet of things (IoT) and Smart Cities. Current networks must adapt to and cope withthe specific requiremen...
详细信息
In the last years, traffic over wireless networks has been increasing exponentially, due to the impact of Internet of things (IoT) and Smart Cities. Current networks must adapt to and cope withthe specific requirements of IoT applications since resources can be requested on-demand simultaneously by multiple devices on different locations. One of these requirements is low latency, since even a small delay for an IoT application such as health monitoring or emergency service can drastically impact their performance. To deal withthis limitation, the Fog computing paradigm has been introduced, placing cloud resources on the edges of the network to decrease the latency. However, deciding which edge cloud location and which physical hardware will be used to allocate a specific resource related to an IoT application is not an easy task. therefore, in this paper, an Integer Linear programming (ILP) formulation for the IoT application service placement problem is proposed, which considers multiple optimization objectives such as low latency and energy efficiency. Solutions for the resource provisioning of IoT applications within the scope of Antwerp's City of things testbed have been obtained. the result of this work can serve as a benchmark in future research related to placement issues of IoT application services in Fog Computing environments since the model approach is generic and applies to a wide range of IoT use cases.
暂无评论