Study of silicon solar cell at different intensities of illumination and wavelengths using impedance spectroscopy

The electrical properties of an n⁺–p–p⁺ structure-based single-crystalline silicon solar cell were studied by impedance spectroscopy, I–V and spectral response. The impedance spectrum is measured in dark, under different intensities (14, 43, 57, 71, 86, 100 mW/cm²) of illumination and wavelengths (400–1050 nm) of light. Under dark and at low intensities of illumination (<50 mW/cm²) the impedance spectra show perfect semicircles but at high intensities the semicircles are distorted at low frequencies. It is found that illumination provides an additional virtual R₁C₁ network parallel to the initial bulk R_pC_p network observed under dark conditions. The value of virtual resistance R₁ depends on the illumination wavelength and shows an inverse relationship with the spectral response of the device.     

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints

Model-checking techniques have not been effective in important classes of software systems – systems characterised by large (or infinite) input domains with interrelated linear and non-linear constraints over the system variables. Various model abstraction techniques have been proposed to address this problem, but their effectiveness in practice is limited by two factors: first, the abstraction process is manual and requires a great deal of ingenuity; and, second, the abstraction may be coarse and introduce too many spurious behaviours to provide meaningful analysis results. In this paper, we wish to propose domain reduction abstraction based on data equivalence and trajectory reduction as an alternative and complement to other abstraction tech niques. Our technique applies the abstraction to the input domain (environment) instead of the model and is applicable to constraint free and deterministic constrained data transition systems. Our technique is automatable with some minor restrictions. We provide formal proofs for the theoretical soundness of the technique, algorithms for automation, and an illustration of the approach with examples. Correspondence and offprint requests to: Mats P. E. Heimdahl, Department of Computer Science and Engineering, University of Minnesota, 200 Union Street SE, 4-192 Minneapolis, MN 55455, USA. E-mail: heimdahl@cs.umn.edu     

Structural and vibrational properties of small carbon clusters

An ab-initio comprehensive study of the stability and structural and vibrational properties of small carbon clusters, CN for N = 1-10, has been made. We use a self-consistent pseudopotential method within density functional theory in the generalized gradient approximation considering spin polarization. The estimated values of binding energies for the various clusters are overestimated in the non-spin-polarized calculations. On the other hand, for the spin-polarized case, the computed binding energies are in very good agreement with the available experimental data. Also, the calculated vibrational frequencies for CN, N = 2-5, are in reasonable agreement with the available experimental values.     

DC electrical conduction in heat-treated poly nickel phthalocyanine

Heat treatment of poly nickel phthalocyanine leads to a charge transfer and hence there is an improvement in conductivity by 5 orders of magnitude. DC electrical conductivity measurements have been carried out in the heat-treated samples in the temperature range 270 K-10 K. Mott’s variable range hopping conduction in one dimension is observed in the temperature range 270K-77K and the conductivity remains constant in the temperature range 77K-10K.     

Study of age and height wise variability on calorific value and other fuel properties of Eucalyptus hybrid, Acacia auriculaeformis and Casuarina equisetifolia

The age and height wise variations in the fuel properties (basic density, calorific value, proximate and elemental parameters) of three short rotation forestry species i.e., Eucalyptus hybrid, Acacia auriculaeformis and Casuarina equisetifolia have been investigated. The fuel properties parameters were evaluated from the test samples of different age from 2 to 6 year and the samples obtained from three different height of trees i.e., stump height, diameter at breast height and top. A marginal increase in the calorific value with the age of tree (2-6 years) was found in all the species, the variation being significant in E. hybrid and C. equisetifolia. The basic density values were also found significantly different in E. hybrid and C. equisetifolia at lower ages (2-6 years). However, when the results were analyzed along the tree height, the calorific values were found to decrease along the stem length towards the tree-top in A. auriculaeformis and C. equisetifolia. The ash content in general was found to be higher in the top portions of the trees, and the same was found significantly higher in case of A. auriculaeformis. There was no particular trend observed for volatile matter content and the fixed carbon content with age. The fuel properties of lower age trees were compared with that of a mature tree (20 years of age) of same species. In general, the fuel properties of mature trees were found to be better than trees of lower age.     

Declarative Infrastructure Configuration Synthesis and Debugging

There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually bridged so large numbers of configuration errors are made. Their adverse effects on infrastructure security, availability, and cost of ownership are well documented. This paper presents ConfigAssure to help automatically bridge the above gap. It proposes solutions to four fundamental problems: specification, configuration synthesis, configuration error diagnosis, and configuration error repair. Central to ConfigAssure is a Requirement Solver. It takes as input a configuration database containing variables, and a requirement as a first-order logic constraint in finite domains. The Solver tries to compute as output, values for variables that make the requirement true of the database when instantiated with these values. If unable to do so, it computes a proof of unsolvability. The Requirement Solver is used in different ways to solve the above problems. The Requirement Solver is implemented with Kodkod, a SAT-based model finder for first-order logic. While any requirement can be directly encoded in Kodkod, parts of it can often be solved much more efficiently by non model-finding methods using information available in the configuration database. Solving these parts and simplifying can yield a reduced constraint that truly requires the power of model-finding. To implement this plan, a quantifier-free form, QFF, is defined. A QFF is a Boolean combination of simple arithmetic constraints on integers. A requirement is specified by defining a partial evaluator that transforms it into an equivalent QFF. This QFF is efficiently solved by Kodkod. The partial evaluator is implemented in Prolog. ConfigAssure is shown to be natural and scalable in the context of a realistic, secure and fault-tolerant datacenter.

Distributed AEC databases for collaborative design

The Architecture, Engineering and Construction (AEC) design process for a facility involves participation of many design specialists. These participants are architects, engineers (structural, mechanical and electrical) and contractors, who may be independent design professionals or design teams within an organization. From the viewpoint of information processing, two characteristic features distinguish the AEC design process from many other design domains. Firstly, there is a massive volume of design data involved in the design of each of its component specialties. Secondly, the specialization of the disciplines themselves warrant substantial autonomy. For design automation, this autonomy should be realized without sacrificing the collaborative nature of the multidisciplinary AEC design process. We propose autonomous AEC databases to deal with the first issue, and a global constraint maintenance mechanism for the second. Autonomous design databases can support the existing local applications in architectural, structural and mechanical engineering, and construction domains. However, a set of inter-disciplinary constraints needs to be enforced to ensure spatial and functional consistency of the design. A global constraint checking mechanism frees designers from the burden of keeping track of various design changes that may result in cross-functional conflicts. In this paper, we discuss the relevant issues for constraint management on distributed AEC databases. Although specific AEC examples will be used, the presentation is general enough to be applicable to other design domains, such as VLSI and manufacturing.