Meta description system

An Introduction to the Meta-Description System. Technical Report SOSAP-TR-18, Department of Computer Science, Rutgers University, New Brunswick NJ. 

Unsually short NMR T, relaxation values were observed for the metal-bonded H-ligands in HCo(dppe)2, [Co(H2)(dppe)]+ (dppe = l,2-bis(diphenylphosphino)ethane), and CoH(CO) (PPh3)3.176 A theoretical analysis incorporating proton-meta) dipole-dipole interactions was able to reproduce these 7) values if an rCo H distance of 1.5 A was present, a value consistent with X-ray crystallographic experiments. A detailed structural and thermodynamic study of the complexes [H2Co(dppe)2]+, HCo(dppe)2, [HCo(dppe)2(MeCN)]+, and [Co(dppe)2(MeCN)]2+ has been reported.177 Equilibrium and electrochemical measurements enabled a thorough thermodynamic description of the system. Disproportionation of divalent [HCo(dppe)2]+ to [Co(dppe)2]+ and [H2Co(dppe)2]+ was examined as well as the reaction of [Co(dppe)2]+ with H2. 

The ring system, which has an axis of symmetry, consists of two interchangeable ortho, two interchangeable meta protons, and one para proton, all in the characteristic region for ring protons. The alert student, having absorbed the concept of chemical-shift equivalence, (Section 3.8.3) and the description of the... 

Most of the exohedral fullerene derivatives of preparative importance are formed by one or several formal 1,2-additions to [6,6]- or [5,6]-bonds. For a suitable discussion of the regiochemistry of such fullerene derivatives it is very valuable to introduce a simple and clear site labeling system, which allows facile description of the constitution of a given fullerene derivative. We first introduced a very descriptive nomenclature [177,188] for the assignment of the relative positional relationships (like ortho, meta and para in benzene chemistry) of addend carrying bonds in Cgg derivatives with labeling the corresponding bonds as cis-n (n = 1 -3), e, e", trans-n (n= 1-4) (Fig. 15). 

Based on thermodynamical and kinetic descriptions of the individual process steps, a meta-model can be developed which is able to describe and predict the behaviour of a whole chemical production process. Such a process model can be developed for different purposes and at different levels of detail To design a chemical production process, a detailed model of the potential plant(s) necessarily includes the description of the system s dynamics. In contrast, once the production process is designed, a model is necessary to describe the dependency of the system s output w.r.t. certain control parameters. Figure 2.6 depicts a prototypical procedure in chemical process modelling. 

The previous volume included articles on Aristotelean chemistry, Kant s views on chemistiy, and the normative-descriptive dimension in philosophy of science. There were articles on chemical modeling, ethics in chemistiy, downward causa-ti(Mi, the reduction of chemistry and chemical symmetiy. More specific issues included periodic systems of molecules, the computer-aided design of molecules and instrumental techniques used in surface chemistry. Finally some more obviously philosophical papers dealt with natural kinds in chemistiy, whether or not water is H2O and the relationship between metaphysics and meta-chemistiy. 

With the platform mentioned in 3.6, we have performed the post-synthesis verification procedure for several examples from the three scenarios mentioned. We here present results for one example for each scenario. EXAMPLEl is a working example performed by the AMICAL system. EXAMPLE2 is a part of the IKS pseudocode, where the register transfer description has been extracted by hand from microcode and a logic level implementation. EXAMPLES is a basic block from a differential equation solver performed by SUSAN. The proof script containing proofs of lemmas as well as HOL level and meta level decision procedures consist of about 2000 lines of SML code. 

---