Conference Paper

Formulization of SNR for Optimum Receiver in Synchronous DS-CDMA Systems

April 2009

Conference: 6th International Conference on Information Technology: New Generations ITNG 2009
At: Las Vegas, Nevada, USA

Authors:

Syed S Rizvi

Pennsylvania State University

Khaled Elleithy

University of Bridgeport

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Preprint

An Equivalent Circuit Formulation for Power System State Estimation including PMUs

December 2018

In this paper, a novel formulation for the power system state estimation is proposed, based on the recently introduced equivalent split-circuit formulation of the power flow problem. The formulation models the conventional and time synchronized measurements simultaneously and contains a significantly lower level of nonlinearity compared to the available hybrid state estimators. The appropriate ... [Show full abstract] circuit models are derived for different types of measurements and integrated into the existing circuit framework for the power flow problem. A constrained optimization problem is then formulated to estimate the states of the system in rectangular coordinates, while satisfying the circuit equations and bounds on the measurement data. To further prove the concept and validate the accuracy of the proposed formulation, several test cases are solved and the results are presented and discussed.

Article

Synchronization of relaxational self-oscillating systems: Synchronization in neural networks

January 2018 · Bulletin of the Russian Academy of Sciences Physics

M. E. Mazurov

A general problem of the synchronization and mutual synchronization of relaxational self-oscillating systems is formulated. A direct way of describing the synchronization of relaxational systems on the basis of Kronecker’s inequalities is proposed. The solution to the problem formulated by N. Wiener and A. Rosenbluth of forming a single rhythm in a system of coupled relaxational oscillators is ... [Show full abstract] described. Specific transient processes in the synchronization of relaxational systems are considered. Burst synchronization in neural networks and synchronization in distributed relaxational systems are also described.

Article

Full-text available

Malleable Coding with Fixed Segment Reuse

January 2008

Storage area networks, remote backup storage systems, and similar information systems frequently modify stored data with updates from new versions. In these systems, it is desirable for the data to not only be compressed but to also be easily modified during updates. A malleable coding scheme considers both compression efficiency and ease of alteration, promoting so me form of reuse or recycling ... [Show full abstract] of codewords. Malleability cost is the difficulty of synchronizing compre ssed versions, and malleable codes are of particular interest when representing information and modifying the representation are both expensive. We examine the trade-off between compression efficiency and malleability cost measured with respect to the length of a reused prefix portion. The region of achieva ble rates and malleability is formulated as an information-theoretic optimization and a single-lette r expression is provided. Relationships to coded side information and common information problems are also established.

View full-text

Article

A Theory of Bipolar Synchronization Schemes.

December 1984 · Theoretical Computer Science

The aim is to better understand the relationships between choice and concurrency that lead to the good behaviour of distributed systems. In order to do so, we formulate a model based on Petri nets and develop its theory. The model is called bipolar synchronization schemes (bp schemes) and the theory we construct is mainly devoted to synthesising, in a systematic fashion, all well behaved bp ... [Show full abstract] schemes. We also provide a computational interpretation of well behaved bp schemes. Through this interpretation the insights gained by developing the theory of bp schemes can be transferred to concurrent programs.

Conference Paper

Unified Model Formulations for Synchronous Machine Model with Saturation and Arbitrary Rotor Network...

August 2018

Article

Anti-synchronization control of a class of memristive recurrent neural networks

January 2012 · Communications in Nonlinear Science and Numerical Simulation

In this paper, we formulate and investigate a class of memristor-based recurrent neural networks. Some sufficient conditions are obtained to guarantee the exponential synchronization of the coupled networks based on drive-response concept, differential inclusions theory and Lyapunov functional method. The analysis in the paper employs results from the theory of differential equations with ... [Show full abstract] discontinuous right-hand side as introduced by Filippov. Finally, the validity of the obtained result is illustrated by a numerical example.

Article

Response of a cylinder in oscillatory flow

December 1994 · Journal of Fluids and Structures

The two-dimensional response of a flexibly mounted rigid cylinder in oscillatory flow is studied in this paper. Both measurements of cylinder response obtained in a U-tube and mathematical modelling of this problem are considered.Trajectories of the cylinder response are obtained experimentally for ranges of Keulegan-Carpenter numbers from 2 to 60 and the ratio of the natural frequency of the ... [Show full abstract] cylinder in water to the frequency of oscillation of the U-tube from 1 to 9. It is found that the cylinder responds in a strongly two-dimensional fashion for particular combinations of these parameters. Regions of repeatable two-dimensional response are identified. These are separated by transition regions characterized by poor synchronization between the vortex shedding and the motion of the cylinder, with resulting three-dimensional response. The ability of the cylinder to respond both in-line and transverse to the flow has a significant influence on the resulting response.In order to analyse this fluid-structure interaction problem, three simple mathematical models are formulated which attempt to predict this two-dimensional response. The first two models use the relative velocity formulation of the Morison equation for the force in-line with the flow, but with different expressions for the transverse force. The equations of motion for these models are uncoupled. In contrast, the third model considers drag and lift force components in directions parallel and perpendicular to the direction of instantaneous relative velocity between the cylinder and the flow, which results in coupled equations of motion. The usefulness and limitations of each of the models are assessed by comparison with the experimental observations. In general, the simple models used here are able to predict the cylinder response in a satisfactory fashion, even though the interaction between the response of the cylinder and the flow is very complicated.

Article

Virtual Synchronous Power Strategy for Multiple HVDC Interconnections of Multi-Area AGC Power System...

April 2017 · Power Systems, IEEE Transactions on

Automatic Generation Control (AGC) in multi-area interconnected power systems is experiencing several adaptions due to increasing level of power converter based components in the system. The concept of Virtual Synchronous Power (VSP) to simulate the dynamic effects of virtual inertia emulations by HVDC links for higher level control applications is introduced and reflected in the multi-area AGC ... [Show full abstract] model. By using this proposed combination in AGC model, the dynamic performance of the studied system shows a significant improvement. The proposed formulation is generalized for Multi-areas with multiple HVDC links. The active power loop control in VSP based HVDC link has a second-order characteristic which makes a simultaneous enabling of damping and inertia emulations into the system. Trajectory sensitivities are also used to analyze the effects of VSP’s parameters on the system stability. The effectiveness of the proposed concept on dynamic improvements is tested through Matlab simulation of a four-area system.

Conference Paper

Consistency of synchronization nets using P and V operations

November 1972 · Switching and Automata Theory, 1966., IEEE Conference Record of Seventh Annual Symposium on

In this paper we provide a formulation of the synchronized execution of a system of tasks using generalized P and V operations. We explore the properties of such processes and present as a main result a decision procedure for settling the consistency question.

Article

Full-text available

An Assertional Proof System for Multithreaded Java

August 2003

In this paper we report on a tool-supported assertional proof method for a concurrent sublanguage of Java, covering shared-variable concurrency via instance variables, coordination via reentrant synchronization monitors, synchronous message passing, and dynamic thread creation. The verification method is formulated in terms of proof-outlines, where the assertions are layered into local ones ... [Show full abstract] specifying the behavior of a single instance, and global ones taking care of the connections between objects.

View full-text

Conference Paper

Full-text available

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement

December 2003 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

We propose an abstraction refinement method for invariant checking, which is based on the simultaneous analysis of all abstract counter examples of shortest length in the current abstraction. The algorithm is focused on an improved Ariadne's Bundle¹ of SORs (Synchronous Onion Rings) of the abstract model; the transitions through these SORs contain all shortest ACEs (Abstract Counter ... [Show full abstract] Examples) and no other ACEs. The SORs are exploited in two distinct ways to provide global guidance to the abstraction refinement process: (1) Refinement variable selection is based on the entirety of transitions connecting the SORs, and (2) a SAT-based concretization test is formulated to test all ACEs in the SORs at once. We call this test multi-thread concretization. The scalability of our refinement algorithm is ensured in the sense that all the analysis and computation required in our refinement algorithm are conducted on the abstract model. The abstraction efficiency of a given abstraction refinement algorithm measures how much of the concrete model is required to make the decision. We include experimental comparisons of our new method with recently published techniques. The results show that our scalable method, based on global guidance from the entire bundle of shortest ACEs, outperforms these other methods in terms of both run time and abstraction efficiency.

View full-text

Article

Synchronous machine parameters from sudden-short tests by back-solving

July 1989 · IEEE Transactions on Energy Conversion

The calculation of synchronous machine parameters from sudden short-circuit measurements has been subject to unnecessary assumptions and approximations. The authors describe the nature of these approximations and a procedure to remove them, and they illustrate how a new philosophy for problem formulation and solution using backsolving programs can simplify and clarify the solution process. They ... [Show full abstract] introduce a method of calculating eigenvalues that is based on a generalization of the eigenvalue problem. Approximations are unnecessary, and the formulation is much cleaner than in previous efforts. Even for large values of armature resistance, the time constants are correctly computed, since the coupling between axes is considered.

Formulization of SNR for Optimum Receiver in Synchronous DS-CDMA Systems

No full-text available

Recommended publications

An Equivalent Circuit Formulation for Power System State Estimation including PMUs

Synchronization of relaxational self-oscillating systems: Synchronization in neural networks

Malleable Coding with Fixed Segment Reuse

A Theory of Bipolar Synchronization Schemes.

Unified Model Formulations for Synchronous Machine Model with Saturation and Arbitrary Rotor Network...

Anti-synchronization control of a class of memristive recurrent neural networks

Response of a cylinder in oscillatory flow

Virtual Synchronous Power Strategy for Multiple HVDC Interconnections of Multi-Area AGC Power System...

Consistency of synchronization nets using P and V operations

An Assertional Proof System for Multithreaded Java

Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement

Synchronous machine parameters from sudden-short tests by back-solving