Use of Standards for CAD Layers in Building

One of the central issues in making efficient use of IT in the design, construction and maintenance of buildings is the sharing of the digital building data across disciplines and lifecycle stages. One technology which enables data sharing is CAD layering, which to be of real use requires the definition of standards. This paper focuses on the background, objectives and effectiveness of the International standard ISO 13567, Organisation and naming of layers for CAD. In particular the efficiency and effectiveness of the standardisation and standard implementation process are in focus, rather than the technical details. The study was conducted as a qualitative study with a number of experts who responded to a semi-structured mail questionnaire, supplemented by personal interviews. The main results were that CAD layer standards based on the ISO standard have been implemented, particularly in northern European countries, but are not very widely used. A major problem which was identified was the lack of resources for marketing and implementing the standard as national variations, once it had been formally accepted.

A Possible and Necessary Consistency Proof

After Gödel's incompleteness theorems and the collapse of Hilbert's programme Gerhard Gentzen continued the quest for consistency proofs of Peano arithmetic. He considered a finitistic or constructive proof still possible and necessary for the foundations of mathematics. For a proof to be meaningful, the principles relied on should be considered more reliable than the doubtful elements of the theory concerned. He worked out a total of four proofs between 1934 and 1939. This thesis examines the consistency proofs for arithmetic by Gentzen from different angles. The consistency of Heyting arithmetic is shown both in a sequent calculus notation and in natural deduction. The former proof includes a cut elimination theorem for the calculus and a syntactical study of the purely arithmetical part of the system. The latter consistency proof in standard natural deduction has been an open problem since the publication of Gentzen's proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector assignment. The reduction reduces the first component of the vector and this component can be interpreted as an ordinal less than epsilon_0, thus ordering the derivations by complexity and proving termination of the process.

The orientational relaxation of bipolar active regions

In the mean, bipolar active regions are oriented nearly toroidally, according to Hale's polarity law, with a latitude-dependent tilt known as Joy's Law. The tilt angles of individual active regions deviate from this mean behavior and change over time. It has been found that on average the change is toward the mean angle at a rate characteristic of 4.37 days (Howard, 1996). We show that this orientational relaxation is consistent with the standard model of flux tube emergence from a deep dynamo layer. Under this scenario Joy's law results from the Coriolis effect on the rising flux tube (D'Silva and Choudhuri, 1993), and departures from it result from turbulent buffeting of the tubes (Longcope and Fisher, 1996). We show that relaxation toward Joy's angle occurs because the turbulent perturbations relax on shorter time scales than the perturbations from the Coriolis force. The turbulent perturbations relax more rapidly because they are localized to the topmost portion of the convection zone while the Coriolis perturbations are more widely distributed. If a fully-developed active region remains connected to the strong toroidal magnetic field at the base of the convection zone, its tilt will eventually disappear, leaving it aligned perfectly toroidally. On the other hand, if the flux becomes disconnected from the toroidal field the bipole will assume a tilt indicative of the location of disconnection. We compare models which are connected and disconnected from the toroidal field. Only those disconnected at points very deep in the convection zone a-re consistent with observed time scale of orientational relaxation.

Phase relations in the Fe Ni Cr S system and the sulfidation of an austenitic stainless steel

The stability fields of various sulfide phases that form on Fe-Cr, Fe-Ni, Ni-Cr, and Fe-Cr-Ni alloys have been developed as a function of temperature and the partial pressure of sulfur. The calculated stability fields in the ternary A-B-S system are displayed on plots of log \textpS2 pS2 vs. the conjugate extensive variable (nA/nA–nB), which provides a better framework for following the sulfidation of Fe-Cr-Ni alloys at high temperatures. Experimental and estimated thermodynamic data were used in developing the sulfur potential diagrams. Current models and correlations were employed to estimate the unknown thermodynamic behavior of solid solutions of sulfides and to supplement the incomplete phase-diagram data of geophysical literature. These constructed stability field diagrams are in excellent agreement with the sulfide phases and compositions determined experimentally during the sulfidation of SAE 310 stainless steel. The sulfur potential plots appear to be very useful in predicting and correlating the sulfidation of commercial alloys.

Corrosion of 310 stainless steel in H2 H2O-H2S gas mixtures; studies at constant temperature and fixed oxygen potential

Corrosion of SAE 310 stainless steel in H2-H2O-H2S gas mixtures was studied at a constant temperature of 1150 K. Reactive gas mixtures were chosen to yield a constant oxygen potential of approximately 6 × 10-13 Nm-2 and sulfur potentials ranging from 0.19 × 10-2 Nm-2 to 33 × 10-2 Nm-2. The kinetics of corrosion were determined using a thermobalance, and the scales were analyzed using metallography, scanning electron microscopy, and energy dispersive X-ray analysis. Two corrosion regimes, which were dependent on sulfur potential, were identified. At high sulfur potentials (P S 2 ± 2.7 × 10-2 Nm-2) the corrosion rates were high, the kinetics obeyed a linear rate equation, and the scales consisted mainly of sulfide phases similar to those observed from pure sulfidation. At low sulfur potentials (P S 2 ± 0.19 × 10-2 Nm-2) the corrosion rates were low, the kinetics obeyed a parabolic rate equation, and scales consisted mainly of oxide phases. Thermochemical diagrams for the Fe-Cr-S-O, Fe-Ni-S-O, Cr-Ni-S-O, and Si-Cr-S-O systems were constructed, and the experimental results are discussed in relation to these diagrams. Based on this comparison, reasonable corrosion mechanisms were developed. At high sulfur potentials, oxide and sulfide phases initially nucleate as separate islands. Overgrowth of the oxide by the sulfide occurs and an exchange reaction governs the corrosion process. Preoxidation at low oxygen potentials and 1150 K is beneficial in suppressing sulfidation at high sulfur potentials.

An Adaptive Conditional Zero-Forcing Decoder With Full-Diversity, Least Complexity and Essentially-ML Performance for STBCs

A low complexity, essentially-ML decoding technique for the Golden code and the three antenna Perfect code was introduced by Sirianunpiboon, Howard and Calderbank. Though no theoretical analysis of the decoder was given, the simulations showed that this decoding technique has almost maximum-likelihood (ML) performance. Inspired by this technique, in this paper we introduce two new low complexity decoders for Space-Time Block Codes (STBCs)-the Adaptive Conditional Zero-Forcing (ACZF) decoder and the ACZF decoder with successive interference cancellation (ACZF-SIC), which include as a special case the decoding technique of Sirianunpiboon et al. We show that both ACZF and ACZF-SIC decoders are capable of achieving full-diversity, and we give a set of sufficient conditions for an STBC to give full-diversity with these decoders. We then show that the Golden code, the three and four antenna Perfect codes, the three antenna Threaded Algebraic Space-Time code and the four antenna rate 2 code of Srinath and Rajan are all full-diversity ACZF/ACZF-SIC decodable with complexity strictly less than that of their ML decoders. Simulations show that the proposed decoding method performs identical to ML decoding for all these five codes. These STBCs along with the proposed decoding algorithm have the least decoding complexity and best error performance among all known codes for transmit antennas. We further provide a lower bound on the complexity of full-diversity ACZF/ACZF-SIC decoding. All the five codes listed above achieve this lower bound and hence are optimal in terms of minimizing the ACZF/ACZF-SIC decoding complexity. Both ACZF and ACZF-SIC decoders are amenable to sphere decoding implementation.

An empirical evaluation of a framework for design for variety and novelty

The objective of this paper is to empirically evaluate a framework for designing – GEMS of SAPPhIRE as req-sol – to check if it supports design for variety and novelty. A set of observational studies is designed where three teams of two designers each, solve three different design problems in the following order: without any support, using the framework, and using a combination of the framework and a catalogue. Results from the studies reveal that both variety and novelty of the concept space increases with the use of the framework or the framework and the catalogue. However, the number of concepts and the time taken by the designers decreases with the use of the framework and, the framework and the catalogue. Based on the results and the interview sessions with the designers, an interactive framework for designing to be supported on a computer is proposed as future work.

Computational representations for multi state design tasks and enumeration of mechanical device behaviour

The role of a computer emerged from modeling and analyzing concepts (ideas) to generate concepts. Research into methods for supporting conceptual design using automated synthesis had attracted much attention in the past decades. To find out how designers synthesize solution concepts for multi-state mechanical devices, ten experimental studies were conducted. Observations from these empirical studies would be used as the basis to develop knowledge involved in the multi-state design synthesis process. In this paper, we propose a computational representation for expressing the multi-state design task and for enumerating multi-state behaviors of kinematic pairs and mechanisms. This computational representation would be used to formulate computational methods for the synthesis process to develop a system for supporting design synthesis of multiple state mechanical devices by generating a comprehensive variety of solution alternatives.

Analysing modifica-tions in the synthesis of multiple state mechanical devices using configuration space and topology graphs

Automated synthesis of mechanical designs is an important step towards the development of an intelligent CAD system. Research into methods for supporting conceptual design using automated synthesis has attracted much attention in the past decades. In our research, ten experimental studies are conducted to find out how designers synthesize solution concepts for multi-state mechanical devices. The designers are asked to think aloud, while carrying out the synthesis. These design synthesis processes are video recorded. It has been found that modification of kinematic pairs and mechanisms is the major activity carried out by all the designers. This paper presents an analysis of these synthesis processes using configuration space and topology graph to identify and classify the types of modifications that take place. Understanding of these modification processes and the context in which they happened is crucial to develop a system for supporting design synthesis of multiple state mechanical devices that is capable of creating a comprehensive variety of solution alternatives.

Insectos y enemigos naturales asociados que colonizan troncos de pino en el municipio de San Fernando, Nueva Segovia, 2009

Con el objetivo de conocer los insectos que colonizan troncos cortados de pino y sus enemigos naturales asociados, se realizó el presente estudio en tres sitios: la Unión, Las Tapias y San José del municipio de San Fernando en Nueva Segovia durante el periodo comprendido entre Diciembre 06 a Mayo 07. Varios tipos de insectos descortezadores, barrenadores y descomponedores de la madera a ser: Ips sp, Xyleborus sp, Lochmaeocles sp y termites fueron encontrados. Comparativamente Ips sp fue mas abundante en el sitio Las Tapias con un total de 179 emergencias, que representó el 44,58 % de los Ips sp que emergieron de los tres sitios de estudio. Asociados a Ips sp tres tipos de enemigos naturales fueron encontrados: el depredador Medetera sp (Diptera: Dolich opodidae), el parasitoide Heterospilus sp (Hymenoptera: Braconidae) y un parasitoide de identificado (Hymenoptera: Eulophidae). En los tres sitios de estudio el depredador Medetera sp fue el más abundante con 170 individuos que representaron el 88,54 % del total de todos los parasitoides emergidos en los tres sitios. El periodo y patrón de emergencia de Ips sp y los tres enemigos naturales observados fue similar para los tres sitios de estudio. La referencia de los dos parasitoides observados constituye la primera referencia de estos insectos afectando insectos descortezadores en Nicaragua, así también lo constituye la primer referencia del cerambicido Lochmaeocles sp como colonizador de trozas de pino en nuestro país.

Archaeometric evidence for the authenticity of the Jehoash inscription tablet

A gray, fine-grained arkosic sandstone tablet bearing an inscription in ancient Hebrew from the First Temple Period contains a rich assemblage of particles accumulated in the covering patina. Two types of patina cover the tablet: a thin layer of black to orange iron-oxide-rich layer, a product of micro-biogenic processes, and a light beige patina that contains feldspars, carbonate, iron oxide, subangular quartz grains, carbon ash particles and gold globules (1 to 4 microns [1 micron = 0.001 millimeter] in diameter). The patina covers the rock surface as well as the engraved lettering grooves and blankets and thus post-dates the incised inscription as well as a crack that runs across the stone and several of the engraved letters. Radiocarbon analyses of the carbon particles in the patina yield a calibrated radiocarbon age of 2340 to 2150 Cal BP. The presence of microcolonial fungi and associated pitting in the patina indicates slow growth over many years. The occurrence of pure gold globules and carbon ash particles is evidence of a thermal event in close proximity to the tablet (above 1000 degrees Celsius). This study supports the antiquity of the patina, which in turn, strengthens the contention that the inscription is authentic.