The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
During the process of experiment teaching in high schools, the matters of large amount of experimental data or information data bring the storage management difficulties by using traditional way, and also bring the problems of Data Synchronization. For the purpose of solving these problems, we propose a solution of using the Sea file technology to construct the private cloud storage platform in colleges...
Existing research on high-availability(HA) of data stream systems mainly focused on restoring single node failure effectively, replacing the failed nodes with redundant backups to make the system go well. However, how to improve availability of DDSMS from the perspective of operator redundancy and multiple failures are paid less attention. In this paper, an improved HA mechanism based on operator...
“Movement of Enhancing Opportunities and Improving Technology”, abbreviated as Fatih, is among the most important educational projects in Turkey, in which students and teachers can use their tablet PCs to obtain educational data (text, images, media, etc.) stored in cloud servers. However, the limited network bandwidth and increase in both the number of users and their educational data sizes degrade...
Internet use by older people has increased dramatically during the past 10 years. According to different sources, the number of users over age 65 has more than doubled since 2000. Besides, the inevitable effect of younger users aging will increase the number of older people using the Internet the next decades. Unfortunately, older people face several challenges when using the web due to diminishing...
Sharing learning contents over distributed learning management systems (LMSs) is an important issue in order to reduce the burden for building well-designed contents. As a lecturer, regular updates of contents for on-going courses are really important because contents should reflect the learners' attributes as well as for corrections and additions of contents. Although this kind of dynamics is preferred...
ZCZ-CDMA operating under quasi-synchronous timing control and using zero correlation zone (ZCZ) code possesses interference free performance and fast frame acquisition. This paper discusses fast synchronization acquisition methods using a matched filter bank, which simultaneously calculates correlation between a received signal and any sequence in ZCZ code, and the effectiveness is shown from synchronization...
In this paper we consider two examples of synchronization problems, i.e., a network of oscillators and a network of rigid bodies. We propose a controller that requires only the knowledge of the relative distances among the neighboring systems in the network. The controller is based on an extremum seeking controller, that steers the overall system to the minimum of an optimization problem on a manifold...
This paper considers the problem of synchronizing of two remotely located data sources, which are mis-synchronized due to deletions, insertions and substitutions (collectively called ‘edits’). We focus on the following model. There are two distant nodes, with one having a binary sequence X, and the other having Y. Y is an edited version of X, where the editing involves random deletions, insertions,...
In this paper, we offer an alternative look at channels with deletion errors by considering equivalent models for deletion channels by “fragmenting” the input sequence where different subsequences travel through different channels. The resulting output symbols are combined appropriately to come up with an equivalent input-output representation of the original channel which allows for derivation of...
We present a method and a tool for composing a reactive system and for accompanying the development and documentation process with a proof of its correctness. The approach is based on behavioral programming (BP) and the Z3 SMT solver. We show how program verification can be automated and streamlined by combining properties of individual modules, specified and verified separately, with application-independent...
Automatic generation of code from Petri-Nets is an important topic. This paper presents a new approach to automatically translate Petri nets into concurrent program. In the proposed approach, place in Petri net is viewed as variable and transition as operating statement which change place marking according to enable and firing semantics. In order to conveniently translate Petri net to CC++ program...
Over the last decades several techniques have been developed to analyze interactions in multivariate dynamic systems. Several measures have been proposed to detect the strength and direction of relationships between time series and in physiological data. In this paper we use three methods that are widely used in connectivity and directionality analysis: Nonlinear correlation coefficient (h2), general...
In our previous work we introduced a method for avoiding/excluding some symbols in Reed-Solomon (RS) codes, called symbol avoidance. In this paper, we apply the symbol avoidance method in sync-word based synchronization of RS encoded data. With the symbol avoidance method we reduce the probability of the RS encoded data being mistaken for the sync-word used to delimit the start/end of the data. The...
Femtocell is a small sized indoor basestation to increase the coverage and capacity. Femtocell is connected through broadband backhual to the IEEE1588 to synchronize and manage the network. Due to limited/poor connectivity femtocell suffers by frequency misallignment and clock differencs. To overcome this problem MS-Assisted Receiver-Receiver Time Synchronization Strategy has been proposed. But this...
Benefit Cost Analysis is a technique used for assessing the impacts of proposed actions in a project planning process. Under available resource constraints, accurate Benefit Cost Analysis provides a better economic choice among the projects. The main objective of the study is to address issues of Benefit Cost Analysis in project planning processes. A case study of the higher learning institution project...
This paper considers a problem of synchronization for an array of discrete-time delayed neural networks with coupling failure. It is assumed that if coupling failure happens, then the array model is composed of identical delayed neural networks with coupling-free. By constructing a piecewise Lyapunov functional and utilizing an average dwell time method, delay-dependent sufficient conditions are established...
In this paper, the exponential topology identification for the uncertain complex dynamical network with time-varying coupling delay is studied via periodically intermittent control for the first time. By designing an periodically intermittent feedback controller, the unknown network topological structure is identified in the process of synchronization. Finally, an illustrative example is given to...
This paper describes a framework for compositional nonblocking verification of discrete event systems modelled as extended finite-state automata. Compositional verification is shown in previous work to be efficient to verify the nonblocking property of large discrete event systems. Here, these results are applied to extended finite-state automata communicating via shared variables and events. The...
Time-interleaved parallel technology is still the best way to implement a data acquisition system with higher sampling rate. In order to make a system of multiple analog to digital converters (ADCs) achieve an optimal performance, a large number of calibration works should be done on the parameters, such as gain, offset and time error, based on sampled data after ADCs. And it also should get correctly...
Synchronization channels, which can remove codeword symbols or introduce extraneous symbols, pose additional difficulties when compared to the commonly-studied substitution channel. A traditional problem in this area is to count the number of sequences formed when deleting a fixed number of symbols from a sequence. This work contains our first effort towards solving a similar, yet previously unexplored,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.