A synchronous game for binary constraint systems

Recently, W. Slofstra proved that the set of quantum correlations is not closed. We prove that the set of synchronous quantum correlations is not closed, which implies his result, by giving an example of a synchronous game that has a perfect quantum approximate strategy but no perfect quantum strategy. We also exhibit a graph for which the quantum independence number and the quantum approximate independence number are different. We prove new characterisations of synchronous quantum approximate correlations and synchronous quantum spatial correlations. We solve the synchronous approximation problem of Dykema and the second author, which yields a new equivalence of Connes' embedding problem in terms of synchronous correlations

Detection of task-related synchronous firing patterns

Poster presentation: Background To test the importance of synchronous neuronal firing for information processing in the brain, one has to investigate if synchronous firing strength is correlated to the experimental subjects. This requires a tool that can compare the strength of the synchronous firing across different conditions, while at the same time it should correct for other features of neuronal firing such as spike rate modulation or the auto-structure of the spike trains that might co-occur with synchronous firing. Here we present the bi- and multivariate extension of previously developed method NeuroXidence [1,2], which allows for comparing the amount of synchronous firing between different conditions. ..

Fluent temporal logic for discrete-time event-based models

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through fluents which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM

Guaranteeing synchronous message deadlines with the timed token medium access control protocol

We study the problem of guaranteeing synchronous message deadlines in token ring networks where the timed token medium access control protocol is employed. Synchronous capacity, defined as the maximum time for which a node can transmit its synchronous messages every time it receives the token, is a key parameter in the control of synchronous message transmission. To ensure the transmission of synchronous messages before their deadlines, synchronous capacities must be properly allocated to individual nodes. We address the issue of appropriate allocation of the synchronous capacities. Several synchronous capacity allocation schemes are analyzed in terms of their ability to satisfy deadline constraints of synchronous messages. We show that an inappropriate allocation of the synchronous capacities could cause message deadlines to be missed even if the synchronous traffic is extremely low. We propose a scheme called the normalized proportional allocation scheme which can guarantee the synchronous message deadlines for synchronous traffic of up to 33 percent of available utilization. To date, no other synchronous capacity allocation scheme has been reported to achieve such substantial performance. Another major contribution of this paper is an extension to the previous work on the bounded token rotation time. We prove that the time elapsed between any consecutive visits to a particular node is bounded by upsilon TTRT, where TTRT is the target token rotation time set up at system initialization time. The previous result by Johnson and Sevcik is a special case where upsilon = 2. We use this result in the analysis of various synchronous allocation schemes. It can also be applied in other similar studies

Stability analysis of a grid-connected VSC controlled by SPC

In the near future a large part of traditional generation based on conventional synchronous machines (SM) will be replaced by renewable generation based on voltage source converters (VSC). In this sense, power system operators have begun to demand VSC-based power plants be able to participate in the frequency and voltage regulation, and are also interested in services like inertia emulation and damping of power oscillation, functions that today are carried out by large synchronous generators. Therefore, several studies have suggested new ways to control voltage source converters, that try to emulate the behavior of synchronous generators and are known generically as Virtual Synchronous Machines. The synchronous power controller (SPC) is a flexible solution that emulates the classical swing equation of a synchronous machine and improves its response. The SPC inherits the advantages of conventional synchronous generators, while it fixes many of its drawbacks. In this work, a sensitivity analysis of a VSC connected to the grid and controlled by SPC is performed. In this sense, a non-linear mathematical model of the system is first developed. This non-linear model is then linearized, obtaining a linear model from which the eigenvalues and sensitivities of the system to some relevant parameters are calculated. Finally, time-domain simulations are performed to confirm the results of the sensitivity analysis.Postprint (author's final draft

How specific is synchronous neuronal firing? : Poster presentation

Background Synchronous neuronal firing has been discussed as a potential neuronal code. For testing first, if synchronous firing exists, second if it is modulated by the behaviour, and third if it is not by chance, a large set of tools has been developed. However, to test whether synchronous neuronal firing is really involved in information processing one needs a direct comparison of the amount of synchronous firing for different factors like experimental or behavioural conditions. To this end we present an extended version of a previously published method NeuroXidence [1], which tests, based on a bi- and multivariate test design, whether the amount of synchronous firing above the chance level is different for different factors

Synchronous demodulator

A synchronous demodulator includes a switch which is operated in synchronism with an incoming periodic signal and both divides and applies that signal to two signal channels. The two channels each include a network for computing and holding, for a predetermined length of time, the average signal value on that channel and applies those valves, in the form of two other signals, to the inputs of a differential amplifier. The networks may be R-C networks. The output of the differential amplifier may or may not form the output of the synchronous detector and may or may not be filtered. The output will not include a periodic signal due to the presence of a dc offset. Additionally, the output will not contain any substantial ripple due to periodic components in the input signal. In a somewhat more complex version, containing twice the structural components of the above synchronous demodulator with a more complex switching mechanism, essentially all ripple due to periodic components in the input signal are eliminated

How specific is synchronous neuronal firing? : Poster presentation

Background Synchronous neuronal firing has been discussed as a potential neuronal code. For testing first, if synchronous firing exists, second if it is modulated by the behaviour, and third if it is not by chance, a large set of tools has been developed. However, to test whether synchronous neuronal firing is really involved in information processing one needs a direct comparison of the amount of synchronous firing for different factors like experimental or behavioural conditions. To this end we present an extended version of a previously published method NeuroXidence [1], which tests, based on a bi- and multivariate test design, whether the amount of synchronous firing above the chance level is different for different factors

Synchronicity, Instant Messaging and Performance among Financial Traders

Successful animal systems often manage risk through synchronous behavior that spontaneously arises without leadership. In critical human systems facing risk, such as financial markets or military operations, our understanding of the benefits associated to synchronicity is nascent but promising. Building on previous work illuminating commonalities between ecological and human systems, we compare the activity patterns of individual financial traders with the simultaneous activity of other traders---an individual and spontaneous characteristic we call synchronous trading. Additionally, we examine the association of synchronous trading with individual performance and communication patterns. Analyzing empirical data on day traders' second-to-second trading and instant messaging, we find that the higher the traders' synchronous trading, the less likely they lose money at the end of the day. We also find that the daily instant messaging patterns of traders are closely associated with their level of synchronous trading. This suggests that synchronicity and vanguard technology may help cope with risky decisions in complex systems and furnish new prospects for achieving collective and individual goals

Prediction of the electromagnetic torque in synchronous machines through Maxwell stress harmonic filter (HFT) method

For the calculation of torque in synchronous motors a local method is analysed, based on the Maxwell stress theory and the filtered contributions due to the harmonics of the magnetic vector potential in the motor air-gap. By considering the space fundamental field only, the method can efficiently estimate the average synchronous torque for a variety or motor topologies, including concentrated winding designs. This approach employs an analytical filter for the Maxwell stress tensor and `frozen permeability' technique. The proposed method is validated by comparison with FE results for several synchronous motor types: interior permanent magnet motors, wound field motor, synchronous reluctance motor