A Local Logic for Realizability in Web Service Choreographies

Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to C ? Further, if C is realizable, is there an algorithm to construct implementations in I ? We propose a local temporal logic in which choreographies can be specified, and for specifications in the logic, we solve the realizability problem by constructing service implementations (when they exist) as communicating automata. These are nondeterministic finite state automata with a coupling relation. We also report on an implementation of the realizability algorithm and discuss experimental results.Comment: In Proceedings WWV 2014, arXiv:1409.229

Redesigning OP2 Compiler to Use HPX Runtime Asynchronous Techniques

Maximizing parallelism level in applications can be achieved by minimizing overheads due to load imbalances and waiting time due to memory latencies. Compiler optimization is one of the most effective solutions to tackle this problem. The compiler is able to detect the data dependencies in an application and is able to analyze the specific sections of code for parallelization potential. However, all of these techniques provided with a compiler are usually applied at compile time, so they rely on static analysis, which is insufficient for achieving maximum parallelism and producing desired application scalability. One solution to address this challenge is the use of runtime methods. This strategy can be implemented by delaying certain amount of code analysis to be done at runtime. In this research, we improve the parallel application performance generated by the OP2 compiler by leveraging HPX, a C++ runtime system, to provide runtime optimizations. These optimizations include asynchronous tasking, loop interleaving, dynamic chunk sizing, and data prefetching. The results of the research were evaluated using an Airfoil application which showed a 40-50% improvement in parallel performance.Comment: 18th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC 2017

Response Bias in Tone Glide Direction Identification

Arts and Science Research Scholarship, Social and Behavioral Science GrantThe average human listener has no difficulty encoding speech. Speech sounds are the different patterns of resonance in the vocal tract identified as formants. Formant transitions, rising or falling in frequency, are fundamental to the understanding of speech. Two previous studies reported that listeners are able to identify the direction of rising frequency sounds more accurately than those falling in frequency. However, the earlier studies did not measure or control for response bias. That is, the possibility that listeners simply respond “Up” more often than “Down” when they are uncertain about their perception. In this experiment, frequency modulated (FM) tone glides were used rather than the formant characteristic in speech. Four young adults between the ages of 18-22 with normal hearing performed the task of listening to a frequency-modulated tone. They then had to decide if it was a rising or a falling tone. The actual frequency of the tone was randomized so that a response could not be made based on the starting or ending frequency of the tone. An adaptive tracking procedure was used to determine the glide duration for which a listener could achieve: 62.5 percent, 75 percent, or 85.5 percent correct when they were asked to report the direction of the frequency change. The adaptive tracking task, Single Interval Adjustment Matrix, SIAM, is designed to counteract response bias in these listening tasks. Each percentage was tested with three center frequencies: 734, 1224, 2449 Hz. This experiment examined if all four subjects were able to recognize rising frequency glides with better accuracy than falling frequency glides at all three center frequencies. In addition to this experiment, another experiment was run to compare the data from the same subjects. The second experiment replicated the Dawson experiment which did not control for response bias. The data from the two were compared to eliminate any individual differences. This experiment used a statistical analysis to see if the previous findings were in fact true or if there is a response bias from listeners.No embarg

Operating market based regulation service using software agents compliant with NERC\u27s control performance standards

With the changing scenario for procurement of energy it becomes necessary to understand the process of obtaining energy from a diverse set of suppliers capable of providing substantial amounts of electric power at competitive prices. Sufficient insight has been gained in the energy brokerage system design and planning owing to experiences in the recently established markets especially the California market. It becomes contextual to analyze and understand the procurement of ancillary services, which are generally bundled as part of the wholesale energy supply chain, using a similarly competitive environment having a number of players that provide electric power for such services.;The objectives of this thesis are: (1) to provide a simulation package for conducting competitive auctions using software agents for the regulation service auction market, and (2) to demonstrate the compliance of a power system, employing Automatic Generation Control with parameters obtained from such a market, with North American Electric Reliability Council\u27s performance standards. The package employs a flexible and extensible Java-based agent development environment, MADKIT, to simulate the auctions for regulation service, and MATLAB/SIMULINK models with a fuzzy controller to simulate the power system. The framework is tested using a sample three-area power system, where the parameters for regulation service in the second area are obtained from a competitive auction market. A bidding strategy based on fuzzy logic is also designed and tested for ensuring good profit for a bidding supplier in the auctions

Delivering competitiveness across management consulting firm and client firm boundaries

This study helps frame management consulting theory. It establishes the management consulting firm's networked competencies systems as mechanisms advancing a contracting client firm's operational capabilities, while also optimizting its business deliverables systems. This strategic 'management consulting firm' to 'client firm' relationship focuses into enhancing client firm sustainable (competetive) business positioning