The proceedings contain 11 papers. The topics discussed include: circular structures of puffer fish: a new metaheuristic optimization algorithm;an IoMT platform to simplify the development of healthcare monitoring app...
ISBN:
(纸本)9781538627426
The proceedings contain 11 papers. The topics discussed include: circular structures of puffer fish: a new metaheuristic optimization algorithm;an IoMT platform to simplify the development of healthcare monitoring applications;biometric identification using photoplethysmography signal;development of a multirotor-based system for air quality monitoring;basic controllers multifunctional security platform;battery sustainable PV solar house: storage consideration for off grid;building useful smart campus applications using a retired cell phone repurposing model;efficiency vs. number of cells in cell formation;and design of cellular manufacturing systems.with the presence of processing time.
Homogeneous Spiking Neural P systems.(HSN P systems. for short) are a class of neural-like computing models in membrane computing, which are inspired by neurons that they are "designed" by nature to have the...
详细信息
ISBN:
(数字)9783319745213
ISBN:
(纸本)9783319745213;9783319745206
Homogeneous Spiking Neural P systems.(HSN P systems. for short) are a class of neural-like computing models in membrane computing, which are inspired by neurons that they are "designed" by nature to have the same "set of rules", "working" in a uniform way to transform input into output. HSN P systems.can be converted to weighted homogeneous SNP systems. In this work, based on the above two known systems. we consider a restricted variant of SN P systems.called local homogeneous weighted SN P systems.(LHWSN P systems. for short), where neurons in same module have the same set of rules. As a result, we prove that such systems.can achieve Turing completeness. Specifically, it is proved that using only standard spiking rules is sufficient to compute and accept the family of sets of Turing computable natural numbers, moreover local homogeneity reduces the time required for the execution of the system.
Mental health issues affect a significant portion of the world's population and can result in debilitating and life-threatening outcomes. To address this increasingly pressing healthcare challenge, there is a need...
详细信息
ISBN:
(纸本)9781450359665
Mental health issues affect a significant portion of the world's population and can result in debilitating and life-threatening outcomes. To address this increasingly pressing healthcare challenge, there is a need to research novel approaches for early detection and prevention. Toward this, ubiquitous systems.can play a central role in revealing and tracking clinically relevant behaviors, contexts, and symptoms. Further, such systems.can passively detect relapse onset and enable the opportune delivery of effective intervention strategies. However, despite their clear potential, the uptake of ubiquitous technologies into clinical mental healthcare is rare, and a number of challenges still face the overall efficacy of such technology-based solutions. The goal of this workshop is to bring together researchers interested in identifying, articulating, and addressing such issues and opportunities. Following the success of this workshop in the last two years, we aim to continue facilitating the UbiComp community in developing a holistic approach for sensing and intervention in the context of mental health.
The future power system can be considered as an aggregation of controllable distributedsystems.devices that coordinate with each other through the Internet of Things(IoT), energy internet(EI) new paradigms arise. In ...
详细信息
The future power system can be considered as an aggregation of controllable distributedsystems.devices that coordinate with each other through the Internet of Things(IoT), energy internet(EI) new paradigms arise. In EI environments, agreement among multiple computers is essential for power generation, transmission, distribution, and consumption etc. applications. Coordinated control and security protection play important roles in the application of a distributedcomputing environment. A consensus approach can provide fault tolerance and prevent system errors and attacks, thereby providing the system with strong security in distributedcomputing environment. In this paper, a distributed Kalman filter with consensus coordinated control algorithm for multiagent systems.MAS) was proposed to investigate the energy internet with links failure by cyber attack. The proposed algorithm is evaluated in the energy internet through a MAS model using MATLAB software.
The proceedings contain 37 papers. The topics discussed include: current compensators for unbalanced electric distribution systems.current sensing delay in three-phase inverter;quantifying transmission fault voltage i...
ISBN:
(纸本)9781538676653
The proceedings contain 37 papers. The topics discussed include: current compensators for unbalanced electric distribution systems.current sensing delay in three-phase inverter;quantifying transmission fault voltage influence and its potential impact on distributed energy resources;privacy-preserving aggregation of controllable loads to compensate fluctuations in solar power;consensus damping of inter-area oscillations using utility-scale solar-battery generation;a fractional-order model of filter inductors within converter control bandwidth;and a distributed demand response algorithm and its application to campus microgrid.
For the goal of model-based system software development, this paper exploits the formalism of colored Petri nets (CPNs) to design complex systems.based on scenarios. The specification of UML sequence diagrams which ar...
详细信息
For the goal of model-based system software development, this paper exploits the formalism of colored Petri nets (CPNs) to design complex systems.based on scenarios. The specification of UML sequence diagrams which are easily understood by customers, requirement engineers and software developers are adopted to represent scenarios as specification models. A scenario is a partial description of the system behavior, describing how users, system components and the environment interact. Thus scenarios need to be synthesized in order to obtain an overall system behavior. A large number of works (e.g., Whittle and Schumann in proceedings of the 2000 internationalconference on software engineering, pp 314-323, 2000;Elkoutbi and Keller in Application and theory of Petri nets, 2000;Damas et al. in proceedings of the 14th ACM SIGSOFT international symposium on foundations of software engineering, pp 197-207, 2000;Uchitel et al. in IEEE Trans Softw Eng 29(2):99-115, 2003) have investigated scenario synthesis providing approaches or algorithms. These synthesis approaches and algorithms result in either Petri net models (e.g., Elkoutbi and Keller 2000;Ameedeen and Bordbar in 12th international IEEE enterprise distributed object computingconference (EDOC), pp 213-221, 2008) that are mainly suitable for scenario validation or other forms of behavior models (e.g., labeled transition systems.in Damas et al. 2000;Uchitel et al. 2003 and statecharts in Kruger et al. in distributed and parallel embedded systems. pp 61-71, 1999;Whittle et al. 2000) that may be regarded as design models. Petri nets are well known for describing distributed and concurrent complex systems. Furthermore, numerous techniques, e.g., simulation, testing, state space-based techniques, structural methods and model checking, are currently available for analyzing Petri net models. Therefore, design models in the form of Petri nets, integrating all scenarios into a coherent whole and fitting for further detailed de
The proceedings contain 7 papers. The topics discussed include: industrial experience with the migration of legacy models using a DSL;dsmodels: a little language for dynamical systems.Saiph: towards a DSL for high-per...
ISBN:
(纸本)9781450363556
The proceedings contain 7 papers. The topics discussed include: industrial experience with the migration of legacy models using a DSL;dsmodels: a little language for dynamical systems.Saiph: towards a DSL for high-performance computational fluid dynamics;CFDlang: high-level code generation for high-order methods in fluid dynamics;D'Artagnan: an embedded DSL framework for distributed embedded systems.a task-based DSL for microcomputers;and Q#: enabling scalable quantum computing and development with a high-level DSL.
Satellite networks support a wide range of service and provide global coverage. Moreover, LEO satellites, which have global coverage potential, have caused great attention in the field of satellite communication. Due ...
详细信息
ISBN:
(纸本)9783319745213;9783319745206
Satellite networks support a wide range of service and provide global coverage. Moreover, LEO satellites, which have global coverage potential, have caused great attention in the field of satellite communication. Due to satellites' mobility, an efficient and stable routing algorithm is necessary for transmission in satellite networks. In this paper, a distributed Multi-Path Routing algorithm (DMPR) using Earth-fixed satellite systems.is proposed. DMPR adopts the Polar orbit constellation in which each satellite has four ISLs (inter satellite link) with the neighbor satellites. A traffic-light is set for every ISL to judge the blocking while avoiding some busy path and reducing the delay.
The proceedings contain 59 papers. The topics discussed include: training of innovative specialists for strategic management of enterprises of high-tech industries;analysis and combination of activity algorithms evalu...
ISBN:
(纸本)9781538656129
The proceedings contain 59 papers. The topics discussed include: training of innovative specialists for strategic management of enterprises of high-tech industries;analysis and combination of activity algorithms evaluation methods;ensuring of professional activities reliability for electric power operational and exploitational personnel;analysis of dynamics of demand, revenue and ergonomic aspects of tourism;method of creating biometric keys based on the analysis of keyboard hand typing;isometric method of continuous streaming monitoring of neuro-physiological states of a person for the professional diagnostics and selection;system analysis of innovative technologies of the industrial revolutions;may the occurrence of traffic participants workload be programmed by the engineers?;model of purpose aggressive actions on the information-computing system;supporting the process of training specialists in an integrated educational environment;reengineering of corporate management in the innovative context and professional competencies of a reengineer;acoustic safety of professional activity of state aviation flight crews;and visualization technique for representing structure of the cluster of objects.
This book presents the proceedings of the 3rdinternationalconference of Reliable Information and Communication Technology 2018 (IRICT 2018), which was held in Kuala Lumpur, Malaysia, on July 2324, 2018. The main the...
ISBN:
(纸本)9783319990064
This book presents the proceedings of the 3rdinternationalconference of Reliable Information and Communication Technology 2018 (IRICT 2018), which was held in Kuala Lumpur, Malaysia, on July 2324, 2018. The main theme of the conference was Data Science, AI and IoT Trends for the Fourth Industrial Revolution. A total of 158 papers were submitted to the conference, of which 103 were accepted and considered for publication in this book. Several hot research topics are covered, including Advances in Data Science and Big Data Analytics, Artificial Intelligence and Soft computing, Business Intelligence, Internet of Things (IoT) Technologies and Applications, Intelligent Communication systems. Advances in Computer Vision, Health Informatics, Reliable Cloud computing Environments, Recent Trends in Knowledge Management, Security Issues in the Cyber World, and Advances in Information systems.Research, Theories and Methods.
暂无评论