Characterizing speed-independence of high-level designs

This paper characterizes the speed-independence of high-level designs. The characterization is a condition on the design description ensuring that the behavior of the design is independent of the speeds of its components. The behavior of a circuit is modeled as a transition system, that allows data types, and internal as well as external non-determinism. This makes it possible to verify the speed-independence of a design without providing an explicit realization of the environment. The verification can be done mechanically. A number of experimental designs have been verified, including a speed-independent RAM, a complex switch of a data path, various Muller C-elements, FIFO registers, and counters. 1 Introduction A circuit is speed-independent if its behavior does not depend on speeds of its components (gates). These circuits are very robust to parameter variations, such as supply voltage or temperature, and this may have significant practical advantages [8], for example, a potential..

Motion of cranes of bridge type simulation in the MS Excel environment

The idle times of the crane caused by need of replacement of wheels, can have critical value for functioning of a logistic chain. In article the task about the movement of the crane with a skew with the accounting of several mutually influencing processes having various nature is considered. The solution of this task has important applied value for increase in a resource of wheels. For the crane designs, more varied, a known problem is representation of results in a suitable form for engineering calculations, as a compromise between simplicity and quality of the results. Possible solution is modelling in the environment of MS Excel. This approach allows the best way to provide the necessary engineering calculations for simplicity, clarity and reliability of the submission and processing of a large number of heterogeneous data. As an example, modelling of an elastic skeleton of the crane in dynamics that represents complexity in view of lack of specialized mathematical apparatus is considered

3D-Printing for Analytical Ultracentrifugation

Analytical ultracentrifugation (AUC) is a classical technique of physical biochemistry providing information on size, shape, and interactions of macromolecules from the analysis of their migration in centrifugal fields while free in solution. A key mechanical element in AUC is the centerpiece, a component of the sample cell assembly that is mounted between the optical windows to allow imaging and to seal the sample solution column against high vacuum while exposed to gravitational forces in excess of 300,000 g. For sedimentation velocity it needs to be precisely sector-shaped to allow unimpeded radial macromolecular migration. During the history of AUC a great variety of centerpiece designs have been developed for different types of experiments. Here, we report that centerpieces can now be readily fabricated by 3D printing at low cost, from a variety of materials, and with customized designs. The new centerpieces can exhibit sufficient mechanical stability to withstand the gravitational forces at the highest rotor speeds and be sufficiently precise for sedimentation equilibrium and sedimentation velocity experiments. Sedimentation velocity experiments with bovine serum albumin as a reference molecule in 3D printed centerpieces with standard double-sector design result in sedimentation boundaries virtually indistinguishable from those in commercial double-sector epoxy centerpieces, with sedimentation coefficients well within the range of published values. The statistical error of the measurement is slightly above that obtained with commercial epoxy, but still below 1%. Facilitated by modern open-source design and fabrication paradigms, we believe 3D printed centerpieces and AUC accessories can spawn a variety of improvements in AUC experimental design, efficiency and resource allocation.Comment: 25 pages, 6 figure

Exploring the Duality between Product and Organizational Architectures: A Test of the Mirroring Hypothesis

A variety of academic studies argue that a relationship exists between the structure of an organization and the design of the products that this organization produces. Specifically, products tend to "mirror" the architectures of the organizations in which they are developed. This dynamic occurs because the organization's governance structures, problem solving routines and communication patterns constrain the space in which it searches for new solutions. Such a relationship is important, given that product architecture has been shown to be an important predictor of product performance, product variety, process flexibility and even the path of industry evolution. We explore this relationship in the software industry. Our research takes advantage of a natural experiment, in that we observe products that fulfill the same function being developed by very different organizational forms. At one extreme are commercial software firms, in which the organizational participants are tightly-coupled, with respect to their goals, structure and behavior. At the other, are open source software communities, in which the participants are much more loosely-coupled by comparison. The mirroring hypothesis predicts that these different organizational forms will produce products with distinctly different architectures. Specifically, loosely-coupled organizations will develop more modular designs than tightly-coupled organizations. We test this hypothesis, using a sample of matched-pair products. We find strong evidence to support the mirroring hypothesis. In all of the pairs we examine, the product developed by the loosely-coupled organization is significantly more modular than the product from the tightly-coupled organization. We measure modularity by capturing the level of coupling between a product's components. The magnitude of the differences is substantial - up to a factor of eight, in terms of the potential for a design change in one component to propagate to others. Our results have significant managerial implications, in highlighting the impact of organizational design decisions on the technical structure of the artifacts that these organizations subsequently develop.Organizational Design, Product Design, Architecture, Modularity, Open-Source Software.

Structured Sparsity Models for Multiparty Speech Recovery from Reverberant Recordings

We tackle the multi-party speech recovery problem through modeling the acoustic of the reverberant chambers. Our approach exploits structured sparsity models to perform room modeling and speech recovery. We propose a scheme for characterizing the room acoustic from the unknown competing speech sources relying on localization of the early images of the speakers by sparse approximation of the spatial spectra of the virtual sources in a free-space model. The images are then clustered exploiting the low-rank structure of the spectro-temporal components belonging to each source. This enables us to identify the early support of the room impulse response function and its unique map to the room geometry. To further tackle the ambiguity of the reflection ratios, we propose a novel formulation of the reverberation model and estimate the absorption coefficients through a convex optimization exploiting joint sparsity model formulated upon spatio-spectral sparsity of concurrent speech representation. The acoustic parameters are then incorporated for separating individual speech signals through either structured sparse recovery or inverse filtering the acoustic channels. The experiments conducted on real data recordings demonstrate the effectiveness of the proposed approach for multi-party speech recovery and recognition.Comment: 31 page

Transparency, financial accounting information, and corporate governance

Audited financial statements along with supporting disclosures form the foundation of the firm-specific information set available to investors and regulators. In this article, the authors discuss economics-based research focused on the properties of accounting systems and the surrounding institutional environment important to effective governance of firms. They provide a framework for understanding the operation of accounting information in an economy, discuss a broad range of important research findings, present a conceptual framework for characterizing and measuring corporate transparency at the country level, and isolate a number of future research possibilities.Corporations - Accounting ; Stockholders ; Corporate governance

Computational aerodynamics and supercomputers

Some of the progress in computational aerodynamics over the last decade is reviewed. The Numerical Aerodynamic Simulation Program objectives, computational goals, and implementation plans are described

Observed Urban Heat Island Characteristics in Enugu Urban During the Dry Season

Aim The dry season microclimate variation at several sites in Enugu was assessed with the sole aim of determining the UHI characteristics during dry season periods Study Design The study design employed in the study was survey design Place and Duration of the study Enugu urban was the study area and the study occurred between the months of Feb Mar 2006 and 2007 Methodology During the study transect and fixed point measurements were taken hourly and averaged over a month All temperature difference was calculated as site temperature minus reference temperature Thus a negative - temperature difference indicates that the site was cooler than the reference station The reference station is the rural environment Results Dry season months showed strong variability in temperature The downtown site was the warmest 2 0 0c during the day The heavily vegetated urban residential site LVR and suburban site LOR with fully developed vegetation canopy were the coolest -3 8 and -2 6

A method for tailoring the information content of a software process model

The framework is defined for a general method for selecting a necessary and sufficient subset of a general software life cycle's information products, to support new software development process. Procedures for characterizing problem domains in general and mapping to a tailored set of life cycle processes and products is presented. An overview of the method is shown using the following steps: (1) During the problem concept definition phase, perform standardized interviews and dialogs between developer and user, and between user and customer; (2) Generate a quality needs profile of the software to be developed, based on information gathered in step 1; (3) Translate the quality needs profile into a profile of quality criteria that must be met by the software to satisfy the quality needs; (4) Map the quality criteria to set of accepted processes and products for achieving each criterion; (5) Select the information products which match or support the accepted processes and product of step 4; and (6) Select the design methodology which produces the information products selected in step 5