Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Hardware related programming.

Zeitschriftenartikel zum Thema „Hardware related programming“

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Hardware related programming" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Tsyrulnyk, Serhii. "SOFTWARE AND HARDWARE SYSTEM «ARDUINO LEARNER KIT»." OPEN EDUCATIONAL E-ENVIRONMENT OF MODERN UNIVERSITY, no. 10 (2021): 231–40. http://dx.doi.org/10.28925/2414-0325.2021.1019.

Der volle Inhalt der Quelle
Annotation:
The difference between programming embedded systems from the classical one is that in addition to knowledge of the theory of algorithms, programming languages, it is necessary to know the hardware of the object, its physical or electrical properties. Programming for embedded systems is considered a separate area. Embedded-developer is engaged in the development, maintenance, testing of software and hardware. The article considers issues related to the peculiarities of practical training and the formation of professional skills in programming embedded-systems by students studying in the field of knowledge 12 Information Technology, 17 Electronics and Telecommunications software and hardware complex "Arduino Learner Kit" based on the platform Arduino Nano. The software-hardware system "Arduino Learner Kit" is intended for experiments on the control of LEDs, generation of color and adjustment of the brightness of RGB LED, creation of a tone signal, processing of events of clock buttons, reading of data from the potentiometer, DHT11 sensor, LM35 sensor, seven-segment display, LED dot matrix indicator, LCD-indicator, Arduino port sealing by shift register 74HC595, data exchange via SPI interface (MAX7219), and I2C (DS1307). The approach of the application of the physical and virtual stand "Arduino Learner Kit" for training on the mixed and distance form is offered. Arduino Learner Kit software and technology teaches that students study demonstration programs on each topic and get acquainted with their work on the virtual stand "Arduino Learner Kit" and explore the work on the real stand by the peculiarities of the educational process in the educational institution. Features of modeling, testing, and debugging of projects with Arduino in the Proteus 8.X environment are revealed. The list of topics for the formation of Arduino programming skills, drawing diagrams from ready-made modules and parts using the software and hardware system "Arduino Learner Kit", which are implemented in the educational process.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Lee, Chyi Shyong, Juing Huei Su, Hsin Hsiung Huang, and Sin Mao Fu. "Line Maze Robot Training Course for the Senior High School Students." Applied Mechanics and Materials 278-280 (January 2013): 2156–59. http://dx.doi.org/10.4028/www.scientific.net/amm.278-280.2156.

Der volle Inhalt der Quelle
Annotation:
A line maze robot training course, which contains the hardware circuit implementation, firmware programming skills and the shortest path algorithm, is presented in this paper. The training course is used for vocation senior high school teachers and students. The major topic for students is to develop the proper firmware programming to achieve the better performance and students are encouraged to pass the small contest in the end of the workshop. The low-cost educational platform is easily by the economically disadvantaged students. Students, who join the workshop can learn the basic C language, the firmware programming skills for microcontrollers, the concept of the shortest path algorithm for line maze robot, just spend less $40 USD to buy the robots. The contributions of this training course are as follows: 1) studying the hardware implementation knowledge, 2) developing microcontroller-related firmware programming skills, 3) learning motion control skills of the line maze robot, and 4) learning line-maze solving algorithms. Few students, who join this training workshop and learn the related hardware, firmware and algorithm, can find the shortest path form source to target in the line map. The feedback of the most students shows that the training course gives them the motivation to actively learn the necessary practical skills to design the firmware programming to guide the line maze robot.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Obeidat, Raghad, and Hussein Alzoubi. "Why Are Hardware Description Languages Important for Hardware Design Courses?" International Journal of Information and Communication Technology Education 17, no. 2 (2021): 1–16. http://dx.doi.org/10.4018/ijicte.2021040101.

Der volle Inhalt der Quelle
Annotation:
Curricula in computer engineering, computer science, and other related fields include several courses about hardware design. Examples of these courses are digital logic design, computer architecture, microprocessors, computer interfacing, hardware design, embedded systems, switching theorem, and others. In order for the students to realize the concepts taught in such courses, practical track should be reinforced along with the theoretical track. Many universities offer to their students labs in which they can practice hardware design. However, students need more than that: they need tools that enable them to design, model, simulate, synthesize, and implement hardware designs. Although high-level programming languages like Java and C++ could be an option, it might be a tedious task to use them for this mission. Fortunately, hardware-description languages (HDLs) have been specifically devised for this purpose. This paper shows some of the great features of HDLs and compare using them with using C++ for illustrating digital concepts through salient examples.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Sun, Xue Jing. "Simulating Design of Central Air Conditioning Control System in Office Buildings Based on PLC." Applied Mechanics and Materials 525 (February 2014): 621–24. http://dx.doi.org/10.4028/www.scientific.net/amm.525.621.

Der volle Inhalt der Quelle
Annotation:
In this paper, based on the Siemens S7-200 programmable controller in the central air conditioning control system, hardware and software of the central air-conditioning control system is designed. In hardware design PLC controller is used as controlling core to control temperature and humidity of the entire process. In the software design, control programming and multi-loop control of temperature, humidity PID algorithm are completed by using PLC programming software STEP7 because of its characteristics that it is easy to read and easy to achieve complete control. Lastly, Related parameter is set and the information is displayed by touching screen.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Langdon, W. B. "Conference on Genetic Programming (GP-97)." Robotica 16, no. 1 (1998): 117–18. http://dx.doi.org/10.1017/s0263574798210204.

Der volle Inhalt der Quelle
Annotation:
The Second International Conference in Genetic Programming (GP-97), like the first, was held on the beautiful Stanford University campus in California under the chairmanship of John Koza. More than 350 people from all over the world gathered together for four days to see presentations, posters, tutorials and trade presentations on a range of topics. In addition to GP and related topics in Genetic Algorithms (GAs) and classifier systems, the up and coming fields of evolvable hardware (EHW) and biocomputing (also called DNA computing) were also represented.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Alshahrani, Saeed, Waleed Al Shehri, Jameel Almalki, Ahmed M. Alghamdi, and Abdullah M. Alammari. "Accelerating Spark-Based Applications with MPI and OpenACC." Complexity 2021 (July 21, 2021): 1–17. http://dx.doi.org/10.1155/2021/9943289.

Der volle Inhalt der Quelle
Annotation:
The amount of data produced in scientific and commercial fields is growing dramatically. Correspondingly, big data technologies, such as Hadoop and Spark, have emerged to tackle the challenges of collecting, processing, and storing such large-scale data. Unfortunately, big data applications usually have performance issues and do not fully exploit a hardware infrastructure. One reason is that applications are developed using high-level programming languages that do not provide low-level system control in terms of performance of highly parallel programming models like message passing interface (MPI). Moreover, big data is considered a barrier of parallel programming models or accelerators (e.g., CUDA and OpenCL). Therefore, the aim of this study is to investigate how the performance of big data applications can be enhanced without sacrificing the power consumption of a hardware infrastructure. A Hybrid Spark MPI OpenACC (HSMO) system is proposed for integrating Spark as a big data programming model, with MPI and OpenACC as parallel programming models. Such integration brings together the advantages of each programming model and provides greater effectiveness. To enhance performance without sacrificing power consumption, the integration approach needs to exploit the hardware infrastructure in an intelligent manner. For achieving this performance enhancement, a mapping technique is proposed that is built based on the application’s virtual topology as well as the physical topology of the undelaying resources. To the best of our knowledge, there is no existing method in big data applications related to utilizing graphics processing units (GPUs), which are now an essential part of high-performance computing (HPC) as a powerful resource for fast computation.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Anistyasari, Yeni, Ekohariadi, and Ari Kurniawan. "Exploring Computational Thinking to Improve Energy-Efficient Programming Skills." MATEC Web of Conferences 197 (2018): 15011. http://dx.doi.org/10.1051/matecconf/201819715011.

Der volle Inhalt der Quelle
Annotation:
The increasing of ICT utilization brought the increasing of energy consumption which causes global emission. In fact, ICT utilization produces two percent of global emission of CO2. Most studies focus on reducing global emission of CO2 through energy-efficient software and hardware utilizations. However, how to improve energy-efficient programming skills for students has not been investigated well. To address this issue, this work proposes exploring computational thinking which is a teaching learning model adopted computer works. Computational thinking is applied in Fundamental programming subject for eight meetings. Energy-efficient programming skill of students is evaluated before and after the implementation of computational thinking. In addition, the instruments to evaluate energy-efficient programming skill is adapted from previous related work. Finally, statistical analysis reveals that computational thinking improves student's skill in energy-efficient programming.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

GÚTIERREZ, JEFFERSON, NICOLAS CALDERON, and JOSE FRANCO. "E-BOT PLATAFORMA ROBÓTICA DE APOYO EN LA ENSEÑANZA DE ALGORITMOS Y PROGRAMACIÓN." Revista Ingeniería, Matemáticas y Ciencias de la Información 8, no. 16 (2021): 65–76. http://dx.doi.org/10.21017/rimci.2021.v8.n16.a103.

Der volle Inhalt der Quelle
Annotation:
This article presents the design and construction of a mobile robot (E-BOT) both in the hardware and in the software part, which works as a support tool for teaching processes and allows to consolidate learning in related topics. a Programming having as its scope repetitive structures, this through a series of previously constructed learning elements. E-BOT has a series of actuators (Led, oled, servomotor, motors) and sensors (ultrasound and reflective light) which are controlled by means of Arduino that allow an easy interaction of EBOT with the real world. Additionally, the construction of a verification software is carried out that allows us to validate the correct operation of all the modules built.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Liu, Ying, and Honglin Wu. "Application of Visual Knowledge Graph in Assembly Language Programming Teaching." International Journal of Education and Humanities 3, no. 1 (2022): 1–3. http://dx.doi.org/10.54097/ijeh.v3i1.395.

Der volle Inhalt der Quelle
Annotation:
Assembly Language Programming is a compulsory course for information related majors in colleges and universities. It plays a basic role in cultivating students' professional ability. Based on the teaching experience accumulated by the authors' teaching team for many years, visual knowledge graph is used for teaching application, the fragmented knowledge points are correlated, and the knowledge system has been formed. Through the knowledge points network of the course, the teaching advantages are better brought into play, which not only promotes the students' mastery of Assembly Language Programming, but also lays a solid foundation for the students' subsequent hardware course learning.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Yan, Ziqi. "The application of Verilog in the development of casual games." Applied and Computational Engineering 76, no. 1 (2024): 245–49. http://dx.doi.org/10.54254/2755-2721/76/20240600.

Der volle Inhalt der Quelle
Annotation:
Verilog is a hardware description language (HDL) that is widely used in digital circuit design and simulation. Its development is closely related to computer science and electrical engineering. Verilog gained popularity in the early 1980s as digital circuit designs became increasingly complex, requiring more efficient circuit design and verification tools. At the same time, rapid advances in computer hardware also stimulated the demand for digital circuit design languages. Furthermore, the popularity and adoption of Verilog highlight the growing necessity for digitisation, automation, and intelligence in modern society. As digital technology continues to advance across various industries, the need for effective and dependable digital circuit design languages is also increasing. This paper delves into the complex process of recreating the timeless arcade classic Pac-Man on the Spartan 3E FPGA platform using hardware description and digital circuit techniques and the Verilog programming language. Through a comprehensive review of existing literature and research, this study investigates the fusion of traditional game design principles with state-of-the-art hardware programming methods, demonstrating the seamless integration of software-driven game mechanics with hardware-based implementation. Through careful design and coding strategies, Pac-Man's basic functionality, such as maze traversal, ghost AI, and pellet consumption, is faithfully replicated using Verilog modules customized for the Spartan 3E FPGA board. By bridging the realms of game development and hardware engineering, this paper not only showcases the versatility of Field Programmable Gate Array (FPGA) technology in entertainment applications but also underscores the interdisciplinary nature of modern computing endeavours.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Brandejský, Tomáš, and Vít Fábera. "COMPARISON OF LANGUAGE SUBSET AND LANGUAGE EXTENSION BY SAFE RELATED INFORMATION APPROACH TO SAFE SYSTEM DEVELOPMENT." Acta Polytechnica CTU Proceedings 11 (August 28, 2017): 1. http://dx.doi.org/10.14311/app.2017.11.0001.

Der volle Inhalt der Quelle
Annotation:
Presented contribution is dedicated to discussion of two different approaches into increase of programming language safety. They are language subset and extension of original safety mechanisms. As examples we used MISRA C/C++ subset and SPARK language builded on the base of ADA language. In the last chapters we discuss novel approaches based on application of programmable hardware which is described in VHDL language, which is also modification of ADA language. Especially SPARK and VHDL languages represents novel approaches to safe system development which are now discussed in relation to new Railway SW projects.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Pułka, Andrzej, and Adam Milik. "Measurement Aspects of Genome Pattern Investigations - Hardware Implementation." Metrology and Measurement Systems 19, no. 1 (2012): 49–62. http://dx.doi.org/10.2478/v10178-012-0004-0.

Der volle Inhalt der Quelle
Annotation:
Measurement Aspects of Genome Pattern Investigations - Hardware Implementation The work presented in the paper concerns a very important problem of searching for string alignments. The authors show that the problem of a genome pattern alignment could be interpreted and defined as a measuring task, where the distance between two (or more) patterns is investigated. The problem originates from modern computation biology. Hardware-based implementations have been driving out software solutions in the field recently. The complex programmable devices have become very commonly applied. The paper introduces a new, optimized approach based on the Smith-Waterman dynamic programming algorithm. The original algorithm is modified in order to simplify data-path processing and take advantage of the properties offered by FPGA devices. The results obtained with the proposed methodology allow to reduce the size of the functional block and radically speed up the processing time. This approach is very competitive compared with other related works.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Brandes, Thomas, Helmut Schwamborn, Michael Gerndt, et al. "Monitoring cache behavior on parallel SMP architectures and related programming tools." Future Generation Computer Systems 21, no. 8 (2005): 1298–311. http://dx.doi.org/10.1016/j.future.2004.09.005.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Lazoryk, V. V., and V. M. Chernov. "Using cloud technologies to check and record programming tasks." CTE Workshop Proceedings 1 (March 21, 2013): 150–51. http://dx.doi.org/10.55056/cte.179.

Der volle Inhalt der Quelle
Annotation:
The rapid development of hardware and software and the bandwidth of telecommunications networks has provided extraordinary opportunities in the use of cloud technology in many areas of life, especially in education. For example, there are many Internet resources that offer peculiar web-based software development environments (IDEs). Such IDEs allow storing the source codes of programs, debugging them, compiling and executing them.Intensification of the learning process stimulates the search for new approaches to teaching disciplines, creating new and using ready-made software to support the learning process at a high level. At the same time, an important role in the study of programming-related disciplines is played by automated information systems of verification of solutions and accounting of the results of the verification.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Hartmann, Christian J., Sabine Fliegen, Stefan J. Groiss, Lars Wojtecki, and Alfons Schnitzler. "An update on best practice of deep brain stimulation in Parkinson’s disease." Therapeutic Advances in Neurological Disorders 12 (January 2019): 175628641983809. http://dx.doi.org/10.1177/1756286419838096.

Der volle Inhalt der Quelle
Annotation:
During the last 30 years, deep brain stimulation (DBS) has evolved into the clinical standard of care as a highly effective treatment for advanced Parkinson’s disease. Careful patient selection, an individualized anatomical target localization and meticulous evaluation of stimulation parameters for chronic DBS are crucial requirements to achieve optimal results. Current hardware-related advances allow for a more focused, individualized stimulation and hence may help to achieve optimal clinical results. However, current advances also increase the degrees of freedom for DBS programming and therefore challenge the skills of healthcare providers. This review gives an overview of the clinical effects of DBS, the criteria for patient, target, and device selection, and finally, offers strategies for a structured programming approach.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

Kazem, Zaharaa Mohammed, Ayat Hamid Taleb, Murtdha falah Abd Al-Hassan, et al. "STUDY OF PREFRONTAL OXYGENATION DURING EMOTIONAL THINKING USING FUNCTIONAL NEAR-INFRARED SPECTROSCOPY (FNIRS)." European Journal of Medical Genetics and Clinical Biology 1, no. 4 (2024): 1–11. http://dx.doi.org/10.61796/jmgcb.v1i4.385.

Der volle Inhalt der Quelle
Annotation:
Introduction: This section provides an overview of the project and introduces the topic. It should include the background, objectives, and scope of the research. Literature Review: This section reviews relevant literature related to the topic to provide a better understanding of the existing research and technology available. It should include sources such as books, academic journals, and online articles. Methodology: This section outlines the methodology used to design and develop the project, including the hardware and software components, programming languages and tools used, and testing procedures. System Design: This section describes the architecture and design of the system, including the hardware and software components, communication protocols, and interfaces. It should provide a detailed explanation of how the system is structured. Implementation: This section details the process of implementing the system, including the setup of the hardware and software components, programming of the microcontroller and sensors, and integration of any external platforms. Results and Evaluation: This section presents the results of the testing and evaluation of the system, including the performance, efficiency, and effectiveness of the system in achieving its objectives. It should also discuss any limitations or challenges encountered during testing. Conclusion and Future Work: This section summarizes the research findings and provides recommendations for future work. It should discuss any potential for further development and improvement of the system.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Duguleana, Mihai, and Florin Grigore Barbuceanu. "Designing of Virtual Reality Environments for Mobile Robots Programming." Solid State Phenomena 166-167 (September 2010): 185–90. http://dx.doi.org/10.4028/www.scientific.net/ssp.166-167.185.

Der volle Inhalt der Quelle
Annotation:
In this paper are presented some of the main issues in designing and developing of mobile robots in virtual environments that can be used for completing various tasks. Due to high complexity of robotic systems, real experiments are demanding unsatisfying timeframes and high financial resources. Other problems scientists encounter in real tests are the difficulty of concurrent use, space restrictions or hardware malfunctions. Several related studies are treating these issues by proposing the usage of virtual reality (VR) as a solution for reducing costs and decreasing development time. We are focusing our study on designing and developing of a virtual mobile robot and integrating it within various virtual environments. Furthermore, we describe the technologies that can be used to accomplish our goals, listing their good and weak points, we integrate our work in an immersive VR environment like Cave Automatic Virtual Environment (CAVE) and we present the study results.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

GALLAGHER, JOHN, and MICHAEL GELFOND. "Introduction to the 27th International Conference on Logic Programming Special Issue." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 429–32. http://dx.doi.org/10.1017/s1471068411000342.

Der volle Inhalt der Quelle
Annotation:
Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear as a special issue of Theory and Practice of Logic Programming (TPLP)—the 27th International Conference on Logic Programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

DYLUS, SANDRA, JAN CHRISTIANSEN, and FINN TEEGEN. "Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism." Theory and Practice of Logic Programming 20, no. 1 (2019): 147–75. http://dx.doi.org/10.1017/s1471068419000085.

Der volle Inhalt der Quelle
Annotation:
AbstractThis paper presentsPFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming. In fact, the paradigms of functional logic and probabilistic programming are closely connected. That is, language characteristics from one area exist in the other and vice versa. For example, the concepts of non-deterministic choice and call-time choice as known from functional logic programming are related to and coincide with stochastic memoization and probabilistic choice in probabilistic programming, respectively. We will further see that an implementation based on the concepts of functional logic programming can have benefits with respect to performance compared to a standard list-based implementation and can even compete with full-blown probabilistic programming languages, which we illustrate by several benchmarks.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Herbuś, Krzysztof, Piotr Ociepka, and Aleksander Gwiazda. "Conception of the Integration of the Virtual Robot Model with the Control System." Advanced Materials Research 1036 (October 2014): 732–36. http://dx.doi.org/10.4028/www.scientific.net/amr.1036.732.

Der volle Inhalt der Quelle
Annotation:
The paper presents the conception of integration of a robot virtual model with its virtual control system. The system of connections between the virtual world and the control system of a virtual model, proposed in the work, should let for developing the technical approach allowing teaching the manual programming of robots. In the paper attempted to define particular subsystems included in the proposed system for teaching programming of robots. In the work it have been distinguished problems that should be solved in order to properly create the proposed virtual system, and namely problems related to the: creation of a robotic system model in CAD systems, including modelling of a robot and its technological equipment; modelling of functioning of a real system in the applications of the VR (Virtual Reality) class; creation of a robot control system basing on a high level programming language (control application); elaboration of a virtual robot control panel (hardware interface); determination of the appropriate stereoscopic projection system and creation of the interfaces between the particular subsystems.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
21

Girard, Simon R., Vincent Legault, Guy Bois, and Jean-François Boland. "Avionics Graphics Hardware Performance Prediction with Machine Learning." Scientific Programming 2019 (June 3, 2019): 1–15. http://dx.doi.org/10.1155/2019/9195845.

Der volle Inhalt der Quelle
Annotation:
Within the strongly regulated avionic engineering field, conventional graphical desktop hardware and software application programming interface (API) cannot be used because they do not conform to the avionic certification standards. We observe the need for better avionic graphical hardware, but system engineers lack system design tools related to graphical hardware. The endorsement of an optimal hardware architecture by estimating the performance of a graphical software, when a stable rendering engine does not yet exist, represents a major challenge. As proven by previous hardware emulation tools, there is also a potential for development cost reduction, by enabling developers to have a first estimation of the performance of its graphical engine early in the development cycle. In this paper, we propose to replace expensive development platforms by predictive software running on a desktop computer. More precisely, we present a system design tool that helps predict the rendering performance of graphical hardware based on the OpenGL Safety Critical API. First, we create nonparametric models of the underlying hardware, with machine learning, by analyzing the instantaneous frames per second (FPS) of the rendering of a synthetic 3D scene and by drawing multiple times with various characteristics that are typically found in synthetic vision applications. The number of characteristic combinations used during this supervised training phase is a subset of all possible combinations, but performance predictions can be arbitrarily extrapolated. To validate our models, we render an industrial scene with characteristic combinations not used during the training phase and we compare the predictions to those real values. We find a median prediction error of less than 4 FPS.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
22

Gamboa, Cristian Enrique, Carlos William Sánchez, and Jhon Edward Ordoñez. "Control remoto de herramientas de Hardware libre con Node.js y Firmata." Revista Lumen Gentium 1, no. 2 (2017): 92–100. http://dx.doi.org/10.52525/lg.v1n2a8.

Der volle Inhalt der Quelle
Annotation:
Uno de los principales retos en la elaboración de proyectos de carácter informático, específicamente en el área de Internet de las Cosas (IoT, por sus siglas en inglés), es la integración de software y hardware, debido a la barrera de la integración latente en dicha labor, junto a los posibles temores por la incursión en estas tendencias. En ese orden, se han creado iniciativas que permiten una ágil interacción entre los componentes tipo lógico, y los de tipo físico. Una de estas iniciativas, es la plataforma de hardware Arduino, la cual es de gran utilidad en desarrollos de automatización y monitoreo remoto. 
 Abstract
 One of the main challenges in the elaboration of informatics projects, specifically in IoT is the integration of software and hardware, given a latent barrier existing in this task and the uncertainties for getting into tendencies. In the process, initiatives have been developed that allow efficient interactions between logical and physical components. One of this is the Arduino hardware platform, which is very useful in developments related to automatization and remote control. In this work, a new way to control different electronic devices connected to an Arduino dispositive is proposed, being this one of the most used free hardware in automatization processes, by the implementation of web programming methods, that allow the user to get immersed in the concepts of robotics and automatization.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
23

Marquez, Jack, Oscar H. Mondragon, and Juan D. Gonzalez. "An Intelligent Approach to Resource Allocation on Heterogeneous Cloud Infrastructures." Applied Sciences 11, no. 21 (2021): 9940. http://dx.doi.org/10.3390/app11219940.

Der volle Inhalt der Quelle
Annotation:
Cloud computing systems are rapidly evolving toward multicloud architectures supported on heterogeneous hardware. Cloud service providers are widely offering different types of storage infrastructures and multi-NUMA architecture servers. Existing cloud resource allocation solutions do not comprehensively consider this heterogeneous infrastructure. In this study, we present a novel approach comprised of a hierarchical framework based on genetic programming to solve problems related to data placement and virtual machine allocation for analytics applications running on heterogeneous hardware with a variety of storage types and nonuniform memory access. Our approach optimizes data placement using the Hadoop File System on heterogeneous storage devices on multicloud systems. It guarantees the efficient allocation of virtual machines on physical machines with multiple NUMA (nonuniform memory access) domains by minimizing contention between workloads. We prove that our solutions for data placement and virtual machine allocation outperform other state-of-the-art approaches.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
24

Secugal, Kenrick Agustin, Jason Sermeno, and Nelly Mistio. "Integrated Student Affairs and Services Information System." Journal of Innovative Technology Convergence 2, no. 2 (2020): 53–62. http://dx.doi.org/10.69478/jitc2020v2n2a06.

Der volle Inhalt der Quelle
Annotation:
Information Technology (IT) is now the backbone of today’s modern world. It mostly converts conventional processes into electronic function wherein it gives more advantage, efficiency, and saves time. Normally, one of the Information Technology product is an Information System (IS). It supports a business function that uses advanced technology comprised of hardware, software, people, network, and data. As one of the information technologist practitioners, the proponents aimed to deliver an Information System to aid the target client. The conduct of the study was approved last August 2017 which marks the start of preliminary investigation and data gathering. The program was developed using web programming and the web server. Some of the modules were designed using bootstrap while others are purely conventional web programming. The system was tested and evaluated by 71 respondents with all acceptable results. The developed Information System was successfully implemented utilizing the Short Message Service (SMS) and Quick Response (QR)-code module which makes it unique to the Related Prior Arts. It was also recommended by some Information Technology Experts to make the system online, generally, allow bootstrap to every module to make it look better and merge modules that were related to a single function.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
25

Aktaruzzaman, Mohammed, Muhammad Joynal Abedin, MD Rakibul Islam, and Abdur Rakib Nayeem. "How network science application works on global supply chain management: A study on medical equipment during Covid-19 pandemic." Journal of Social Sciences Advancement 1, no. 01 (2020): 08–15. http://dx.doi.org/10.52223/jssa20-010102-02.

Der volle Inhalt der Quelle
Annotation:
The COVID-19 pandemic has featured the delicacy of the around the world entwined supply chains. Our essential inspiration is to direct a huge scope study utilizing mined information related with multi-level and multi-layer investigation of the worldwide store network of the clinical hardware. We analyse the information structure utilizing network science investigation instruments. This work might be a harbinger for future exploration zeroed in on select levels and layers of arranged production network information. The flow research uncovers a few beforehand obscure examples of the worldwide inventory network including the part of expense safe house countries, Personal Computer programming/equipment industry, semiconductor industry, and engine vehicle and auto bodies in the clinical gear industry. Also, we directed a profound organization investigation of the impact and job of China in worldwide clinical gear. Generally, the outcomes uncover some new and significant bits of knowledge into the worldwide store network as it identifies with clinical hardware.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
26

Wu, Yiwei, Bao Liang Wang, Shiqing Wan, and Limei Luo. "Programmable Controller Based Piercing Machine System Design." Bulletin of Science and Practice, no. 6 (June 15, 2023): 363–72. http://dx.doi.org/10.33619/2414-2948/91/43.

Der volle Inhalt der Quelle
Annotation:
The former mainly consists of solenoid valve actuators, sensors, programmable controllers, etc. The core of the hardware design is PLC and related wiring design; the latter is mainly through Protherm V14 to complete the programming, based on the overall architecture of the system to complete the ladder design of subroutines, program flow analysis is the software design is the focus of the final successful design of the electrical control system of the piercing machine. After system debugging and testing, the system has successfully achieved the expected goal and can meet the user's control requirements with simple and clear control logic, which can meet the mechanical piercing process requirements.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
27

SNEYERS, JON, PETER VAN WEERT, TOM SCHRIJVERS, and LESLIE DE KONINCK. "As time goes by: Constraint Handling Rules." Theory and Practice of Logic Programming 10, no. 1 (2009): 1–47. http://dx.doi.org/10.1017/s1471068409990123.

Der volle Inhalt der Quelle
Annotation:
AbstractConstraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. Constraint Handling Rules related research has surged during the decade following the previous survey by Frühwirth (J. Logic Programming, Special Issue on Constraint Logic Programming, 1998, vol. 37, nos. 1–3, pp. 95–138). Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions, and applications.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
28

HERMENEGILDO, MANUEL, and TORSTEN SCHAUB. "Introduction to the 26th international conference on logic programming special issue." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 361–64. http://dx.doi.org/10.1017/s1471068410000153.

Der volle Inhalt der Quelle
Annotation:
The Logic Programming (LP) community, through the Association for Logic Programming (ALP) and its Executive Committee, decided to introduce for 2010 important changes in the way the main yearly results in LP and related areas are published. Whereas such results have appeared to date in standalone volumes of proceedings of the yearly International Conferences on Logic Programming (ICLP), and this method—fully in the tradition of Computer Science (CS)—has served the community well, it was felt that an effort needed to be made to achieve a higher level of compatibility with the publishing mechanisms of other fields outside CS.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
29

Shirokova, Olga Aleksandrovna, Tatyana Yuryevna Gainutdinova, and Marina Yuryevna Denisova. "Effectiveness of Integrated Learning in Mathematics and Information Technology." Russian Digital Libraries Journal 24, no. 3 (2021): 531–47. http://dx.doi.org/10.26907/1562-5419-2021-24-3-531-547.

Der volle Inhalt der Quelle
Annotation:
The article proposes a methodology related to the use of integrated project tasks in teaching mathematics, based on the practical application of the acquired knowledge in mathematical disciplines in conjunction with computer modeling and programming. Examples of specific integrated project tasks are presented.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
30

Abouzahir, Mohamed, Rachid Latif, Mustapha Ramzi, and Mohammed Sbihi. "OpenCL and OpenGL Implementation of Simultaneous Localization and Mapping Algorithm using High-End GPU." ITM Web of Conferences 46 (2022): 04001. http://dx.doi.org/10.1051/itmconf/20224604001.

Der volle Inhalt der Quelle
Annotation:
Simultaneous Localization And Mapping (SLAM) algorithms are being used in many robotic applications and autonomous navigation systems. The FastSLAM2.0 addresses an issue of the SLAM problem and allows a robot to navigate in an unknown environment. Several works have presented many algorithmic optimizations to reduce the computational complexity of such algorithm. In this paper, a GPGPU (general-purpose computing on graphics processing units) is exploited to achieve a parallel implementation of the FastSLAM2.0. The GPGPU acceleration is done using two different implementations for parallel programming. The first implementation used OpenGL shading language which is based on the characteristics of graphics hardwares. The second implementation used OpenCL which allows hardware acceleration across heterogeneous architectures. We also explored the impact of the two approaches on the the resulting GPGPU implementation. A comparison related to processing-time and localization accuracy is made using a real indoor dataset. Our results show a significant speedup of the GPGPU implementation over a Quad-Core CPU. We show also that, by adopting the same optimization methodology using the two approachs, the OpenCL implementation is faster and suitable for GPGPU accelerated SLAM algorithms.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
31

BISCHOF, HOLGER, SERGEI GORLATCH, and ROMAN LESHCHINSKIY. "DatTeL: A DATA-PARALLEL C++ TEMPLATE LIBRARY." Parallel Processing Letters 13, no. 03 (2003): 461–72. http://dx.doi.org/10.1142/s0129626403001422.

Der volle Inhalt der Quelle
Annotation:
The concept of C++ templates, realized in the Standard Template Library (STL), allows development of generic programs suitable for various concrete data structures. Our aim in this paper is to provide an opportunity for efficient execution of STL programs on parallel machines. We present DatTeL – a data-parallel library, which allows simple, efficient programming for various parallel architectures while staying within the paradigm of classical C++ template programming. We describe the principles of our approach and explain our design decisions and their implementation in the library. The presentation is illustrated with a case study — parallelization of a generic algorithm for carry-lookahead addition. We compare DatTeL to related work and report experimental results for the current version of our library.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

Yaikhom, Gagarine. "MESSAGE PASSING WITHOUT MEMORY COPY." Parallel Processing Letters 18, no. 01 (2008): 87–100. http://dx.doi.org/10.1142/s0129626408003247.

Der volle Inhalt der Quelle
Annotation:
We consider here reduction of send latencies for send-and-forget type communications, where senders do not reuse data that have already been sent. We introduce a commit based message sending approach, and describe the corresponding application programming interfaces. These interfaces allow applications to take advantage of message buffering, such as overlapping of computations and communications, while avoiding performance degradation due to intermediate memory copy. The approach works by allowing applications to safely access the implementation buffer through the provided interfaces. Experimental results show that the new approach is effective, and reduces the interface latency significantly compared to related approaches. Since send-and-forget type communications are often observed in skeletal programming, we demonstrate the approach by implementing a pipeline algorithmic skeleton.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
33

Iakymchuk, Roman, Maria Barreda Vayá, Stef Graillat, José I. Aliaga, and Enrique S. Quintana-Ortí. "Reproducibility of parallel preconditioned conjugate gradient in hybrid programming environments." International Journal of High Performance Computing Applications 34, no. 5 (2020): 502–18. http://dx.doi.org/10.1177/1094342020932650.

Der volle Inhalt der Quelle
Annotation:
The Preconditioned Conjugate Gradient method is often employed for the solution of linear systems of equations arising in numerical simulations of physical phenomena. While being widely used, the solver is also known for its lack of accuracy while computing the residual. In this article, we propose two algorithmic solutions that originate from the ExBLAS project to enhance the accuracy of the solver as well as to ensure its reproducibility in a hybrid MPI + OpenMP tasks programming environment. One is based on ExBLAS and preserves every bit of information until the final rounding, while the other relies upon floating-point expansions and, hence, expands the intermediate precision. Instead of converting the entire solver into its ExBLAS-related implementation, we identify those parts that violate reproducibility/non-associativity, secure them, and combine this with the sequential executions. These algorithmic strategies are reinforced with programmability suggestions to assure deterministic executions. Finally, we verify these approaches on two modern HPC systems: both versions deliver reproducible number of iterations, residuals, direct errors, and vector-solutions for the overhead of less than 37.7% on 768 cores.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
34

Elanda, Anggi, and Robby Lintang Buana. "Analisis Manajemen Risiko Infrastruktur Dengan Metode NIST (National Institute of Standards and Technology) SP 800-30 (Studi Kasus : STMIK Rosma)." Elkom : Jurnal Elektronika dan Komputer 14, no. 1 (2021): 141–51. http://dx.doi.org/10.51903/elkom.v14i1.387.

Der volle Inhalt der Quelle
Annotation:
Infrastructure is an important thing in an organization/company that is used to support activities carried out within the organization. Infrastructure that includes STMIK Rosma, including hardware, software, data, and information, and human resources that support information systems. Hardware resources include PCs that are used for clients with application program software. Windows 10 professional 32 and 64 bit as the operating system. While the software on the server uses Linux OS and PHP programming language. Data and information include infrastructure data, device data, server data and data on staff, students and lecturers at STMIK Rosma. So the need for the sustainability of this system is increasingly important. Problems that have existed in the STMIK Rosma infrastructure, such as those related to information security vulnerabilities. If this problem cannot be fixed in a sustainable manner, it will have an impact or risk on the sustainability of this infrastructure, especially the academic community. This study uses NIST SP 800-30 as the method used to solve these problems.
 Keywords: Information Security, NIST SP 800-30, Infrastructure, Risk Assessment
APA, Harvard, Vancouver, ISO und andere Zitierweisen
35

Garefalakis, Manos, Zacharias Kamarianakis, and Spyros Panagiotakis. "Towards a Supervised Remote Laboratory Platform for Teaching Microcontroller Programming." Information 15, no. 4 (2024): 209. http://dx.doi.org/10.3390/info15040209.

Der volle Inhalt der Quelle
Annotation:
As it concerns remote laboratories (RLs) for teaching microcontroller programming, the related literature reveals several common characteristics and a common architecture. Our search of the literature was constrained to papers published in the period of 2020–2023 specifically on remote laboratories related to the subject of teaching microcontroller programming of the Arduino family. The objective of this search is to present, on the one hand, the extent to which the RL platform from the Hellenic Mediterranean University (HMU-RLP) for Arduino microcontroller programming conforms to this common architecture and, on the other hand, how it extends this architecture with new features for monitoring and assessing users’ activities over remote labs in the context of pervasive and supervised learning. The HMU-RLP hosts a great number of experiments that can be practiced by RL users in the form of different scenarios provided by teachers as activities that users can perform in their self-learning process or assigned as exercises complementary to the theoretical part of a course. More importantly, it provides three types of assessments of the code users program during their experimentation with RLs. The first type monitors each action users perform over the web page offered by the RL. The second type monitors the activities of users at the hardware level. To this end, a shadow microcontroller is used that monitors the pins of the microcontroller programmed by the users. The third type automatically assesses the code uploaded by the users, checking its similarity with the prototype code uploaded by the instructors. A trained AI model is used to this end. For the assessments provided by the HMU-RLP, the experience API (xAPI) standard is exploited to store users’ learning analytics (LAs). The LAs can be processed by the instructors for the students’ evaluation and personalized learning. The xAPI reporting and visualization tools used in our prototype RLP implementation are also presented in the paper. We also discuss the planned development of such functionalities in the future for the use of the HMU-RLP as an adaptive tool for supervised distant learning.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
36

LISI, FRANCESCA A. "Inductive Logic Programming in Databases: From Datalog to." Theory and Practice of Logic Programming 10, no. 3 (2010): 331–59. http://dx.doi.org/10.1017/s1471068410000116.

Der volle Inhalt der Quelle
Annotation:
AbstractIn this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e., the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of Knowledge Representation (KR) aspects related to databases. In particular, we investigate this issue from the ILP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is represented also by means of an ontology. Both can be reformulated as ILP problems and can benefit from the expressive and deductive power of the KR framework $\mathcal{DL}+log}^{\neg\vee}$. We illustrate the application scenarios by means of examples.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
37

NAISH, LEE, and HARALD SØNDERGAARD. "Truth versus information in logic programming." Theory and Practice of Logic Programming 14, no. 6 (2013): 803–40. http://dx.doi.org/10.1017/s1471068413000069.

Der volle Inhalt der Quelle
Annotation:
AbstractThe semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by Fitting (Fitting, M. 1985. A Kripke–Kleene semantics for logic programs. Journal of Logic Programming 2, 4, 295–312) and Kunen (Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 4, 289–308) are closely related to what is computed by a logic program, the third truth value being associated with non-termination. A different three-valued semantics, proposed by Naish, shared much with those of Fitting and Kunen but incorporated allowances for programmer intent, the third truth value being associated with underspecification. Naish used an (apparently) novel “arrow” operator to relate the intended meaning of left and right sides of predicate definitions. In this paper we suggest that the additional truth values of Fitting/Kunen and Naish are best viewed as duals. We use Belnap's four-valued logic (Belnap, N. D. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, Eds. D. Reidel, Dordrecht, Netherlands, 8–37), also used elsewhere by Fitting, to unify the two three-valued approaches. The truth values are arranged in a bilattice, which supports the classical ordering on truth values as well as the “information ordering”. We note that the “arrow” operator of Naish (and our four-valued extension) is essentially the information ordering, whereas the classical arrow denotes the truth ordering. This allows us to shed new light on many aspects of logic programming, including program analysis, type and mode systems, declarative debugging and the relationships between specifications and programs, and successive execution states of a program.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
38

Long, Guang Li. "Design of GPS Based on Single Chip Microcomputer." Advanced Materials Research 403-408 (November 2011): 2192–95. http://dx.doi.org/10.4028/www.scientific.net/amr.403-408.2192.

Der volle Inhalt der Quelle
Annotation:
In order to go on a journey conveniently, the STC89C52 SCM is used, one kind of GPS user terminal is designed, it including GM-89 GPS module, communications and transformation connection, control processing electric circuit, display circuit, RS232 exterior serial communication connection and so on. The related hardware welding on the PCB, the software programming After-Burning writes in the SCM, inserts the TFT colored tablet (or 12864 liquid crystals) and outside sets at the type GPS antenna. On the electricity, demonstrated the longitude, latitude, time and altitude above sea level and so on information, after access the internet to consult the local latitude and longitude information to carry on compared to rightly, the result is correct, indicated that has achieved the design requirements.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
39

FLUET, MATTHEW, MIKE RAINEY, JOHN REPPY, and ADAM SHAW. "Implicitly threaded parallelism in Manticore." Journal of Functional Programming 20, no. 5-6 (2010): 537–76. http://dx.doi.org/10.1017/s0956796810000201.

Der volle Inhalt der Quelle
Annotation:
AbstractThe increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism accessible and understandable. Previous parallel languages have traditionally been intended for large-scale scientific computing, and they tend not to be well suited to programming the applications one typically finds on a desktop system. Thus, we need new parallel-language designs that address a broader spectrum of applications. The Manticore project is our effort to address this need. At its core is Parallel ML, a high-level functional language for programming parallel applications on commodity multicore hardware. Parallel ML provides a diverse collection of parallel constructs for different granularities of work. In this paper, we focus on the implicitly threaded parallel constructs of the language, which support fine-grained parallelism. We concentrate on those elements that distinguish our design from related ones, namely, a novel parallel binding form, a nondeterministic parallel case form, and the treatment of exceptions in the presence of data parallelism. These features differentiate the present work from related work on functional data-parallel language designs, which have focused largely on parallel problems with regular structure and the compiler transformations—most notably, flattening—that make such designs feasible. We present detailed examples utilizing various mechanisms of the language and give a formal description of our implementation.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
40

Fan, Yu-Cheng, Chih-Kang Lin, Shih-Ying Chou, Chun-Hung Wang, Shu-Hsien Wu, and Hung-Kuan Liu. "Engineering Change Orders Design Using Multiple Variables Linear Programming for VLSI Design." VLSI Design 2014 (August 24, 2014): 1–5. http://dx.doi.org/10.1155/2014/698041.

Der volle Inhalt der Quelle
Annotation:
An engineering change orders design using multiple variable linear programming for VLSI design is presented in this paper. This approach addresses the main issues of resource between spare cells and target cells. We adopt linear programming technique to plan and balance the spare cells and target cells to meet the new specification according to logic transformation. The proposed method solves the related problem of resource for ECO problems and provides a well solution. The scheme shows new concept to manage the spare cells to meet possible target cells for ECO research.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

Gebser, Martin, Tomi Janhunen, and Jussi Rintanen. "Declarative encodings of acyclicity properties." Journal of Logic and Computation 30, no. 4 (2015): 923–52. http://dx.doi.org/10.1093/logcom/exv063.

Der volle Inhalt der Quelle
Annotation:
Abstract Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactness of encodings and the resulting computational performance on benchmarks involving acyclic or tree structures.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
42

LIERLER, YULIYA, and MIROSLAW TRUSZCZYNSKI. "Transition systems for model generators—A unifying approach." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 629–46. http://dx.doi.org/10.1017/s1471068411000214.

Der volle Inhalt der Quelle
Annotation:
AbstractA fundamental task for propositional logic is to compute models of propositional formulas. Programs developed for this task are called satisfiability solvers. We show that transition systems introduced by Nieuwenhuis, Oliveras, and Tinelli to model and analyze satisfiability solvers can be adapted for solvers developed for two other propositional formalisms: logic programming under the answer-set semantics, and the logic PC(ID). We show that in each case the task of computing models can be seen as “satisfiability modulo answer-set programming,” where the goal is to find a model of a theory that also is an answer set of a certain program. The unifying perspective we develop shows, in particular, that solvers clasp and minisat(id) are closely related despite being developed for different formalisms, one for answer-set programming and the latter for the logic PC(ID).
APA, Harvard, Vancouver, ISO und andere Zitierweisen
43

He, Wei. "The promise of training deep neural networks on CPUs: A survey." Journal of Physics: Conference Series 2649, no. 1 (2023): 012017. http://dx.doi.org/10.1088/1742-6596/2649/1/012017.

Der volle Inhalt der Quelle
Annotation:
Abstract This survey presents a comprehensive analysis of the potential benefits and challenges of training deep neural networks (DNNs) on CPUs, summarizing existing research in the field. Five distinct DNN models are examined: Ternary Neural Networks (TNNs), Binary Neural Networks (BNNs), Convolutional Neural Networks (CNNs), Recurrent Neural Networks (RNNs), and a novel method called Sub-Linear Deep Learning Engine (SLIDE), specifically designed for CPU-based network training. The survey emphasizes the advantages of using CPUs for DNN training, such as low cost, compact size, and broad applicability across various domains. Furthermore, the survey collects concerns related to CPU acceleration, including the absence of a unified programming model and the inefficiencies in DNN training due to increased floating-point operations. The survey explores algorithmic and hardware optimization strategies, incorporating compressed network structures, innovative techniques like SLIDE, and the RISC-V instruction set to tackle these issues. According to the survey, CPUs are more likely to become the alternative for developers with limited resources in the future. Through continued algorithm optimization and hardware enhancements, CPUs can provide more cost-efficient neural network training solutions, excelling in areas such as mobile servers and edge computing.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
44

Han-Ying Kao, Han-Ying Kao, Chien-Hao Lan Han-Ying Kao, and Chia-Hsien Hsu Chien-Hao Lan. "Efficiency Evaluation of Business in IoT Supply Chains by Network DEA." 網際網路技術學刊 24, no. 6 (2023): 1361–68. http://dx.doi.org/10.53106/160792642023112406018.

Der volle Inhalt der Quelle
Annotation:
<p>Recently Internet of things (IoT) and its applications are emerging as a momentous trend in industry. Numerous hardware and software providers have been entering the intense market competition in IoT related industries. Correspondingly, the attention on evaluation of IoT industry is growing. However, it is a main theme as how to consider the multiple dimensions and dependencies among the criteria in IoT supply chains simultaneously. By considering internal processes in DMUs as well as their interactions, this study designs the evaluation methods with network data envelopment analysis (NDEA) and multi-objective programming (MOP) techniques. This work intends to estimate the efficiency of IoT businesses from the perspectives of R&D, manufacturing, sales and finance, and the overall performance. The proposed models are implemented with empirical case studies in IoT supply chains in Taiwan. The results show the usefulness and validity of the proposed methods in evaluating IoT related business.</p> <p> </p>
APA, Harvard, Vancouver, ISO und andere Zitierweisen
45

HamaRaouf, Karwan M., and Ayub Othman Abdulrahman. "Microcontroller-Based Kurdish Understandable and Readable Digital Smart Clock." Science Journal of University of Zakho 10, no. 1 (2022): 1–4. http://dx.doi.org/10.25271/sjuoz.2022.10.1.870.

Der volle Inhalt der Quelle
Annotation:
A smart clock is any digital clock that has at least one intelligent feature. Moreover, it provides time with synchronizing automatically base on the standard measurement, which is determined during the implementation software on the hardware architecture design. This study presents an efficient cost-effective smartwatch for disable people based on the Atmega328p microcontroller (Arduino Uno) that is programmed in “Arduino” (C based) programming language. Moreover, the system uses DS1302 real time clock, SD card memory, push button, voice recognition module, liquid crystal display (LCD), and sound speaker. The clock sounds time in Kurdish language when a related switch is pressed or asked via microphone, it also shows the time on LCD. Finally, the system is applied successfully with a satisfactory cost and performance for the proposed application according to the achieved test results.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
46

Yang, Hai Bin, and Wu Jun Yao. "Energy Efficiency Analysis of Error Control Techniques of WSN." Applied Mechanics and Materials 263-266 (December 2012): 926–31. http://dx.doi.org/10.4028/www.scientific.net/amm.263-266.926.

Der volle Inhalt der Quelle
Annotation:
Energy efficiency is the primary consideration of the design of error control protocol of WSN and energy efficiency analysis is the key point of the present related literature research. However, while emphasizes are on the theoretical analysis and experiments are simulated by advanced programming language such as Matlab、C++ and so on, definitions of some restrictive or operation systems on hardware side of sensor nodes in practical usage are neglected, which lead to the inaccurate conclusion of the error control energy efficiency analysis. In this paper, samples of package-loss and error package and distribution of error codes in error packages are obtained through experiment statistics of a large amount of entity nodes and energy efficiency analysis and comparison of Error Control Techniques of WSN are conducted based on error characteristics.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
47

Falta, Jan, Petr Zlámal, and Marcel Adorna. "INSTRUMENTATION OF SPLIT HOPKINSON PRESSURE BAR FOR TESTING OF CELLULAR METALLIC MATERIALS." Acta Polytechnica CTU Proceedings 18 (October 23, 2018): 10. http://dx.doi.org/10.14311/app.2018.18.0010.

Der volle Inhalt der Quelle
Annotation:
This paper presents an overview of the custom design instrumentation of a Split Hopkinson Pressure Bar modified for dynamic testing of materials with low mechanical impedance, particularly for cellular metallic materials (e. g. metal foams, laser sintered structures). Design and implementation of the components related to the strain wave measurement based on strain gauges (i.e. strain-gauge measurement unit, power supply unit, filtration) and the components used for the control and synchronization of the experiment, such as module of laser trough-beam photoelectric sensor are summarized in the paper. Aside from the design of the hardware components, the contribution deals also with development of a control software with graphical user interference using LabView (National Instruments, USA) programming environment, that allows selection of parameters of the dynamic tests and their storage for the evaluation of experiments.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
48

Sunandar, Sunandar, and Herlawati Herlawati. "Prototype Mesin Presensi Berbasis E-mail Pada SMP Assyairiyah Attahiriyah Jakarta." Journal of Students‘ Research in Computer Science 1, no. 2 (2020): 179–90. http://dx.doi.org/10.31599/jsrcs.v1i2.444.

Der volle Inhalt der Quelle
Annotation:
This research discusses the design of E-mail-based Presence Machine Prototype in Assyairiyah Attahiriyah Junior High School Jakarta which aims to information for parents and schools who have difficulty monitoring student attendance at school, thus helping to manage student presence data more effectively and efficiently. The system development method used is the Prototype method. Data obtained by conducting interviews and direct observation of spaciousness to get right data as needed. The results of this research are hardware and software, in the process of making hardware using NodeMCU, LCD 16x2, Buzzer and Fingerprint Sensor and the software uses the PHP programming language with MySql database. The presence of the Presence Machine Prototype becomes a means for parents and schools to process and get information related to student attendance in schools effectively and efficiently.
 
 Keywords: Presence Machine, Presence, Prototype, NodeMCU.
 
 Abstrak
 
 Penelitian ini membahas perancangan Prototype Mesin Presensi Berbasis E-mail yang bertujuan sebagai sarana informasi bagi orang tua maupun pihak sekolah yang kesulitan memonitoring kehadiran siswa disekolah, sehingga membantu pengelolaan data presensi siswa menjadi lebih efektif dan efisien. Metode pengembangan sistem yang digunakan adalah metode prototype. Data diperoleh dengan melakukan wawancara serta observasi langsung kelapangan guna mendapat data yang akurat sesuai yang dibutuhkan. Hasil penelitian ini berupa hardware dan software, dalam proses pembuatan hardware menggunakan NodeMCU, LCD 16x2, Buzzer dan Sensor Fingerprint serta softwarenya menggunakan bahasa pemrograman PHP dengan database MySql. Adanya Prototype Mesin Presensi ini menjadi sarana bagi orang tua dan sekolah untuk mengolah dan mendapatkan informasi terkait presensi siswa disekolah dengan efektif dan efisien.
 
 Kata Kunci: Mesin Presensi, Presensi, Prototype, NodeMCU.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
49

Mamalis, Basilis, and Marios Perlitis. "A Hybrid Multi-GPU Implementation of Simplex Algorithm with CPU Collaboration." International Journal of Emerging Technology and Advanced Engineering 12, no. 3 (2022): 41–54. http://dx.doi.org/10.46338/ijetae0322_06.

Der volle Inhalt der Quelle
Annotation:
The simplex algorithm has been successfully used for many years in solving linear programming (LP) problems. Due to the intensive computations required (especially for the solution of large LP problems), parallel approaches have also extensively been studied. The computational power provided by the modern GPUs as well as the rapid development of multicore CPU systems have led OpenMP and CUDA programming models to the top preferences during the last years. However, the desired efficient collaboration between CPU and GPU through the combined use of the above programming models is still considered a hard research problem. In the above context, we demonstrate here an excessively efficient implementation of standard simplex, targeting to the best possible exploitation of the concurrent use of all the computing resources, on a multicore platform with multiple CUDA-enabled GPUs. More concretely, we present a novel hybrid collaboration scheme which is based on the concurrent execution of suitably spread CPU-assigned (via multithreading) and GPU-offloaded computations. The experimental results extracted through the cooperative use of OpenMP and CUDA over a notably powerful modern hybrid platform (consisting of 32 cores and two high-spec GPUs – Titan Rtx and Rtx 2080Ti) highlight that the performance of the presented here hybrid GPU/CPU collaboration scheme is clearly superior to the GPU-only implementation under almost all conditions. The corresponding measurements validate the value of using all resources concurrently, even in the case of a multi-GPU configuration platform. Furthermore, the given implementations are completely comparable (and slightly superior in most cases) to other related attempts in the bibliography, and clearly superior to the native CPU implementation with 32 cores. Keywords—Parallel Computing; Linear Programming; Simplex Method; Multicore Platform; Hardware Acceleration, GPGPU; OpenMP; CUDA
APA, Harvard, Vancouver, ISO und andere Zitierweisen
50

Zheng, Zhilei, and Chuan Jiang. "A Mode of Intelligent Equipment Monitoring Optimization Based on Dynamic Programming Algorithm." Computational Intelligence and Neuroscience 2022 (March 18, 2022): 1–11. http://dx.doi.org/10.1155/2022/1569428.

Der volle Inhalt der Quelle
Annotation:
With the continuous development of the national economy and scientific productivity, urban construction and people’s living standards are also getting higher and higher. Although people enjoy increasingly convenient life, the demand for intelligence is getting higher and higher. Digital intelligent equipment has the functions of data collection, calculation and analysis, diagnostic and early warning, and communication functions. Analyze the status quo and existing problems of the development of intelligent equipment, as well as analyze and research key monitoring technologies in the use and development of digital intelligent equipment and provide optimal solutions for intelligent equipment hardware development requirements, software development, and model algorithms. Intelligent equipment monitoring is related to all aspects of people’s livelihood, and its intelligent development is related to the public role in this field in the future. Accurate results of monitoring can provide data support for schools, research institutions, the public, and the government. At the same time, it is also an important basis for formulating social policies. At present, the commonly used monitoring method usually adopts time series algorithm. Through literature review, it is found that the algorithm has the problem of distortion of correct data, which affects the accuracy of monitoring results. Based on the above reasons, this article combines the wavelet function with the planning algorithm and proposes a dynamic programming algorithm, which removes the redundant monitoring data in turn and clusters the distortion monitoring data with the wavelet function, which improves the accuracy and computational efficiency of the algorithm and gives full play to the monitoring of intelligence. The simulation results using MATLAB show that the planning algorithm can eliminate 90% of redundant monitoring data and improve the extraction rate of characteristic monitoring data. At the same time, the accuracy of the planning algorithm reaches 95%, and the calculation time is less than 25 s, which is better than the static planning algorithm. Therefore, the dynamic programming algorithm can better utilize the intelligence, convenience, and efficiency of the equipment to optimize the monitoring model.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!