The proceedings contain 19 papers. The special focus in this conference is on Reliability, Safety, and Security of Railway systems. The topics include: A Separation of Concerns Approach for the Verified Modelling of R...
ISBN:
(纸本)9783030187439
The proceedings contain 19 papers. The special focus in this conference is on Reliability, Safety, and Security of Railway systems. The topics include: A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules;RBS2HLL: A Formal Modeling of Relay-Based Interlocking;Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B;interlocking Formal Verification at Alstom Signalling;Survey on Formal Methods and Tools in Railways: The ASTRail Approach;b-Specification of Relay-Based Railway Interlocking systems.Based on the Propositional Logic of the System State Evolution;threat Modeling in the Railway Domain;integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture;merging Worlds – Aligning Safety and Security;towards a Tool-Based Domain Specific Approach for Railway systems.Modeling and Validation;statistical Model Checking of Hazards in an Autonomous Tramway Positioning System;performance Evaluation of Metro Regulations Using Probabilistic Model-Checking;Automated Planning of ETCS Tracks;the Recent Applications of Machine Learning in Rail Track Maintenance: A Survey;safe and Time-Optimal Control for Railway Games;A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process;efficient Data Validation for Geographical Interlocking systems.
In modern distribution power systems.distributed Generation (DG) is performing a major role in supplying energy to the distribution system loads. Reliability indices of distribution system with DG is a key parameter u...
详细信息
ISBN:
(纸本)9781728106526
In modern distribution power systems.distributed Generation (DG) is performing a major role in supplying energy to the distribution system loads. Reliability indices of distribution system with DG is a key parameter used to evaluate the advantages of adding such DG to the distribution system. Distribution system reliability is calculated by using two main techniques analytical and simulative. In this paper, the effect of connecting Photovoltaic (PV) source and energy storage element to the distribution system on its reliability performance will be analyzed. Markov modelling is used to generate a realistic multi state model for PV and battery, the output failure and repair rates results from the modeling are then used in the reliability evaluation of distribution system. The overall system reliability is carried out using NEPLAN software package. Roy Billinton bus 2 Test System is used to evaluate reliability and cost indices for different case studies. The simulation results show that PV plus energy storage integration will improve the reliability indices of the original distribution system in condition of optimum sizing and siting of the PV plus energy storage systems.
The proceedings contain 58 papers. The special focus in this conference is on Nanoelectronics, Circuits and Communication systems. The topics include: SDN-based programmable RSU selection method in heterogeneous netwo...
ISBN:
(纸本)9789811307751
The proceedings contain 58 papers. The special focus in this conference is on Nanoelectronics, Circuits and Communication systems. The topics include: SDN-based programmable RSU selection method in heterogeneous networks;design and implementation of an energy-efficient, low-cost robotic solar tracker;fast squaring technique for radix vicinity numbers for radix 2n ± M with reduced computational complexity;a survey on multiprocessor scheduling using evolutionary technique;Fractional sobel filter based brain tumor detection and segmentation using statistical features and SVM;cladding mode analysis of photonic crystal fiber using scalar effective index model;A hybrid forward selection based LASSO technique for liver cancer classification;Feature subset selection using IULDA model for prediction;Effect of RC surge suppressor in reduction of over voltages at motor terminal caused by PWM-based inverter;Cloud-based intelligent system for supply chain management: A future roadmap for SCM technologies;Usage of deep learning in epileptic seizure detection through EEG signal;An experimental study of filter bank approach and biogeography-based optimized ANN in fingerprint classification;performance and capacity testing of medium and large managed plane and control plane optical networks;Analysis of single-stage three-phase DC–AC boost inverter for distributed generation system;Close loop speed controller for brushless DC motor for hybrid electric vehicles;a survey on grid schedulers;Chaos-based colour image encryption using microcontroller ATMEGA 32;An enhanced GEAR protocol for wireless sensor networks;A novel equivalent circuit approach for modal analysis of MEMS cantilever beam;energy-efficient data delivery in green cloud networks;smart activity sequence generator in wearable IoT.
The rapid development of internet technology makes the hacker39;s attack more mature and diversified. One of the most serious security problems is distributed denial of service (DDoS) attack. In order to cope with i...
详细信息
ISBN:
(纸本)9783319990071;9783319990064
The rapid development of internet technology makes the hacker's attack more mature and diversified. One of the most serious security problems is distributed denial of service (DDoS) attack. In order to cope with information security issues, a new form of defensive thinking, moving target defense (MTD), has been proposed. The emergence of new network architecture software defined network (SDN) and network function virtualization (NFV) - has also changed the future of network security schemes. In this paper, an SDN/NFV-based moving target DDoS defense mechanism using multiple fuzzy systems.and a proxy virtual network function (VNF) is proposed to achieve DDoS detection and mitigation. The experimental results show that the proposed mechanism can redirect suspicious traffic and quarantine it, thereby shifting the attack surface.
The main tasks of computer vision are image classification/location, target detection, target tracking, semantic segmentation and instance *** task of target detection is to output the borders and labels of a single t...
详细信息
ISBN:
(纸本)9781450371926
The main tasks of computer vision are image classification/location, target detection, target tracking, semantic segmentation and instance *** task of target detection is to output the borders and labels of a single target from the image. Object detection is an important issue in the field of computer vision. It has important research significance and application value in video monitoring, autonomous driving and human-computer interaction. In recent years, deep learning has made a breakthrough in the research of image classification and led to the rapid development of object vision detection. This paper briefly introduces the object detection algorithm based on deep learning. First, the basic process of object detection is introduced, then several current algorithms of object detection are introduced, and finally the future development trend is prospected.
The post-click conversion rate (CVR) prediction is important for the sponsored search engine. The predicted CVR can guide people on how to choose the advertisements to display, and greatly affects the revenue of the e...
详细信息
ISBN:
(纸本)9781450371926
The post-click conversion rate (CVR) prediction is important for the sponsored search engine. The predicted CVR can guide people on how to choose the advertisements to display, and greatly affects the revenue of the electronic business platform and merchants who pay for the advertisement. In this paper, we describe a new approach to solve the CVR prediction problem in sponsored search. The approach is Boosted Trees Model with Feature Engineering (BTMFE), which incorporates the power of feature engineering as well as the boosted trees. We discuss different issues such as feature importance, feature interaction, historical information fusion and boosted trees algorithm. Finally, we compare BTMFE with other methods and present experimental results on real-world datasets.
ID3 decision tree algorithm is a supervised learning model based on calculating the information gain to select the best splitting attribute, which is the main factor to construct a decision tree. The process of calcul...
详细信息
Online advertisement is an important source of revenue for internet companies, so increasing click-through rates (CTR) on ads is crucial. the traditional CTR prediction model only extracts the classification features ...
详细信息
ISBN:
(纸本)9781450371926
Online advertisement is an important source of revenue for internet companies, so increasing click-through rates (CTR) on ads is crucial. the traditional CTR prediction model only extracts the classification features and numerical features of the advertisement, but ignores the title, description and other text features of the advertisement. However, we know that such information is very important for an advertisement. Therefore, we propose a deep multimodal network (DMN) to solve this problem. on the basis of the traditional deep model, DMN add the text features of cyclic neural network learning, so as to improve the performance of the model. we also did a lot of visual data analysis on the dataset, Finally, we conducted a comparative experiment on the real-world dataset.
IoT gateway acts as a connection between two different networks namely the sensor network and the traditional network which is why its role and significance is of much importance. The paper will aim to configure smart...
详细信息
ISBN:
(纸本)9781728101675
IoT gateway acts as a connection between two different networks namely the sensor network and the traditional network which is why its role and significance is of much importance. The paper will aim to configure smart gateway systems.with increased flexibility of configuration which can adapt to different application requirements such as in [5], [7] and [8]. It would also provide techniques to improve the overall functioning of the system by reducing the development cycle, costs, and difficulty and also provide more ease in new applications to be *** exponential rise in demand of internet of things (IoT) [9][10][12] , a surge in utilization of ubiquitous connectivity to combine different types of networks, which can be an ad-hoc network along with Zigbee, cable, wireless LAN and so on[3] [4] There are many standard programs where the need of a smart gateway has been realized to increase the data rate, support end-to-end connectivity for applications like intelligent transportation, medical support, environmental monitoring, smart home, industry control etc. where the utilization of bandwidth of multi-hop networks is higher amongst the heterogeneous networks. This project proposes a singular easy to configure smart IoT gateway which comprises of three important advantages. Firstly, it has uniform user interface which is suitable for pliable software development. Secondly, the gateway consist of detachable architecture, where there can be customization for devices with extraordinary communication [8] methods and can also be attached in accordance with various network systems. Lastly, it provides flexibility by translating protocols to end number of sensor data accurately into a homogenous format which is better in comparison to earlier research. [1] The gateway provides enhanced flexibility, adaptability, and efficient cost cutting. The paper includes a scrupulous analysis of the data which would be acquired through multiple sensors and processes it in accord
Blockchain systems.(more precisely distributed Ledger Technologies (DLTs)) represent a different digital ecosystem compared with traditional computer systems. One major difference are the performance and scalability f...
详细信息
ISBN:
(纸本)9781450362382
Blockchain systems.(more precisely distributed Ledger Technologies (DLTs)) represent a different digital ecosystem compared with traditional computer systems. One major difference are the performance and scalability factors which will be discussed and analytically investigated in this paper. In doing so, we provide guidance for defining a research agenda focusing on the investigation of the crucial role of scalability for blockchain systems. System performance -- measured in terms of (1) consensus response time (blockchain network latency or time to convergence/agreement); (2) number of transactions per second or throughput, and (3) computing (and power) resources consumed -- can be understood by considering the design dimensions of a blockchain system, namely: (i) the type of blockchain system needed from a requirements perspective which in turn determines; (ii) the complexity of the consensus protocol used; (iii) the topography of the traffic flow on the network; (iv) the performance and complexity of the domain-specific language that implements smart contracts; and (v) by the anticipated growth in size and complexity of the distributed ledger itself.
暂无评论