Connectivity of workflow nets : the foundations of stepwise verification

Behavioral models capture operational principles of real-world or designed systems. Formally, each behavioral model defines the state space of a system, i.e., its states and the principles of state transitions. Such a model is the basis for analysis of the system’s properties. In practice, state spaces of systems are immense, which results in huge computational complexity for their analysis. Behavioral models are typically described as executable graphs, whose execution semantics encodes a state space. The structure theory of behavioral models studies the relations between the structure of a model and the properties of its state space. In this article, we use the connectivity property of graphs to achieve an efficient and extensive discovery of the compositional structure of behavioral models; behavioral models get stepwise decomposed into components with clear structural characteristics and inter-component relations. At each decomposition step, the discovered compositional structure of a model is used for reasoning on properties of the whole state space of the system. The approach is exemplified by means of a concrete behavioral model and verification criterion. That is, we analyze workflow nets, a well-established tool for modeling behavior of distributed systems, with respect to the soundness property, a basic correctness property of workflow nets. Stepwise verification allows the detection of violations of the soundness property by inspecting small portions of a model, thereby considerably reducing the amount of work to be done to perform soundness checks. Besides formal results, we also report on findings from applying our approach to an industry model collection.

Corporate America And The New Luminous Environment: Kelly’s work with Johnson, Mies, and Noyes

[book] The potential of electric light as a new building “material” was recognized in the 1920s and became a useful design tool by the mid-century. Skillful lighting allowed for theatricality, narrative, and a new emphasis on structure and space. The Structure of Light tells the story of the career of Richard Kelly, the field’s most influential figure. Six historians, architects, and practitioners explore Kelly’s unparalleled influence on modern architecture and his lighting designs for some of the 20th century’s most iconic buildings: Philip Johnson’s Glass House; Louis Kahn’s Kimbell Art Museum; Eero Saarinen’s GM Technical Center; and Mies van der Rohe’s Seagram Building, among many others. This beautifully illustrated history demonstrates the range of applications, building types, and artistic solutions he employed to achieve a “nocturnal modernity” that would render buildings evocatively different at night. The survival of Kelly’s rich correspondence and extensive diaries allows an in-depth look at the triumphs and uncertainties of a young profession in the making. The first book to focus on the contributions of a master in the field of architectural lighting, this fascinating volume celebrates the practice’s significance in modern design.

Lake Shore Drive Apartments

[Book] The potential of electric light as a new building “material” was recognized in the 1920s and became a useful design tool by the mid-century. Skillful lighting allowed for theatricality, narrative, and a new emphasis on structure and space. The Structure of Light tells the story of the career of Richard Kelly, the field’s most influential figure. Six historians, architects, and practitioners explore Kelly’s unparalleled influence on modern architecture and his lighting designs for some of the 20th century’s most iconic buildings: Philip Johnson’s Glass House; Louis Kahn’s Kimbell Art Museum; Eero Saarinen’s GM Technical Center; and Mies van der Rohe’s Seagram Building, among many others. This beautifully illustrated history demonstrates the range of applications, building types, and artistic solutions he employed to achieve a “nocturnal modernity” that would render buildings evocatively different at night. The survival of Kelly’s rich correspondence and extensive diaries allows an in-depth look at the triumphs and uncertainties of a young profession in the making. The first book to focus on the contributions of a master in the field of architectural lighting, this fascinating volume celebrates the practice’s significance in modern design.

711 Third Avenue

[Book] The potential of electric light as a new building “material” was recognized in the 1920s and became a useful design tool by the mid-century. Skillful lighting allowed for theatricality, narrative, and a new emphasis on structure and space. The Structure of Light tells the story of the career of Richard Kelly, the field’s most influential figure. Six historians, architects, and practitioners explore Kelly’s unparalleled influence on modern architecture and his lighting designs for some of the 20th century’s most iconic buildings: Philip Johnson’s Glass House; Louis Kahn’s Kimbell Art Museum; Eero Saarinen’s GM Technical Center; and Mies van der Rohe’s Seagram Building, among many others. This beautifully illustrated history demonstrates the range of applications, building types, and artistic solutions he employed to achieve a “nocturnal modernity” that would render buildings evocatively different at night. The survival of Kelly’s rich correspondence and extensive diaries allows an in-depth look at the triumphs and uncertainties of a young profession in the making. The first book to focus on the contributions of a master in the field of architectural lighting, this fascinating volume celebrates the practice’s significance in modern design.

International Arrivals Building, Idlewild Airport

[Book] The potential of electric light as a new building “material” was recognized in the 1920s and became a useful design tool by the mid-century. Skillful lighting allowed for theatricality, narrative, and a new emphasis on structure and space. The Structure of Light tells the story of the career of Richard Kelly, the field’s most influential figure. Six historians, architects, and practitioners explore Kelly’s unparalleled influence on modern architecture and his lighting designs for some of the 20th century’s most iconic buildings: Philip Johnson’s Glass House; Louis Kahn’s Kimbell Art Museum; Eero Saarinen’s GM Technical Center; and Mies van der Rohe’s Seagram Building, among many others. This beautifully illustrated history demonstrates the range of applications, building types, and artistic solutions he employed to achieve a “nocturnal modernity” that would render buildings evocatively different at night. The survival of Kelly’s rich correspondence and extensive diaries allows an in-depth look at the triumphs and uncertainties of a young profession in the making. The first book to focus on the contributions of a master in the field of architectural lighting, this fascinating volume celebrates the practice’s significance in modern design.

Seagram Building

[Book] The potential of electric light as a new building “material” was recognized in the 1920s and became a useful design tool by the mid-century. Skillful lighting allowed for theatricality, narrative, and a new emphasis on structure and space. The Structure of Light tells the story of the career of Richard Kelly, the field’s most influential figure. Six historians, architects, and practitioners explore Kelly’s unparalleled influence on modern architecture and his lighting designs for some of the 20th century’s most iconic buildings: Philip Johnson’s Glass House; Louis Kahn’s Kimbell Art Museum; Eero Saarinen’s GM Technical Center; and Mies van der Rohe’s Seagram Building, among many others. This beautifully illustrated history demonstrates the range of applications, building types, and artistic solutions he employed to achieve a “nocturnal modernity” that would render buildings evocatively different at night. The survival of Kelly’s rich correspondence and extensive diaries allows an in-depth look at the triumphs and uncertainties of a young profession in the making. The first book to focus on the contributions of a master in the field of architectural lighting, this fascinating volume celebrates the practice’s significance in modern design.

Time-domain hydroelastic analysis of a flexible marine structure using state-space models

This article deals with time-domain hydroelastic analysis of a marine structure. The convolution terms associated with fluid memory effects are replaced by an alternative state-space representation, the parameters of which are obtained by using realization theory. The mathematical model established is validated by comparison to experimental results of a very flexible barge. Two types of time-domain simulations are performed: dynamic response of the initially inert structure to incident regular waves and transient response of the structure after it is released from a displaced condition in still water. The accuracy and the efficiency of the simulations based on the state-space model representations are compared to those that integrate the convolutions.

The structure of the copper(II) complex with 4,5-dichlorophthalic acid: The 1:1 complex 'adduct' salt trans-tetraaqua(2-carboxy-4,5-dichlorobenzoato)(4,5-dichlorobenzene-1,2-dicarboxylic acid)copper(II) 2-carboxy-4,5-dichlorobenzoate

The unusual (1:1) complex ‘adduct’ salt of copper(II) with 4,5-dichlorophthalic acid (H2DCPA), having formula [Cu(H2O)4(C8H3Cl2O4) (C8H4Cl2O4)] . (C8H3Cl2O4) has been synthesized and characterized using single-crystal X-ray diffraction. Crystals are monoclinic, space group P21/c, with Z = 4 in a cell with dimensions a = 20.1376(7), b =12.8408(4) c = 12.1910(4) Å, β = 105.509(4)o. The complex is based on discrete tetragonally distorted octahedral [CuO6] coordination centres with the four water ligands occupying the square planar sites [Cu-O, 1.962(4)-1.987(4) Å] and the monodentate carboxyl-O donors of two DCPA ligand species in the axial sites. The first of these bonds [Cu-O, 2.341(4) Å] is with an oxygen of a HDCPA monoanion, the second with an oxygen of a H2DCPA acid species [Cu-O, 2.418(4) Å]. The un-coordinated ‘adduct’ molecule is a HDCPA counter anion which is strongly hydrogen-bonded to the coordinated H2DCPA ligand [O… O, 2.503(6) Å] while a number of peripheral intra- and intermolecular hydrogen-bonding interactions give a two-dimensional network structure.

Hydrogen bonding in the water stabilized structure of the modified unsymmetrically substituted viologen chromophore, N-ethyl-N'-(2-phosphonomethyl)-4,4'-bipyridylium dichloride

The crystal structure of the modified unsymmetrically N, N'-substituted viologen chromophore, N-ethyl- N'-(2-phosphonoethyl)-4, 4'-bipyridinium dichloride 0.75 hydrate. (1) has been determined. Crystals are triclinic, space group P-1 with Z = 2 in a cell with a = 7.2550(1), b = 13.2038(5), c = 18.5752(7) Å, α = 86.495(3), β = 83.527(2), γ = 88.921(2)o. The two independent but pseudo-symmetrically related cations in the asymmetric unit form one-dimensional hydrogen-bonded chains through short homomeric phosphonic acid O-H...O links [2.455(4), 2.464(4)A] while two of the chloride anions are similarly strongly linked to phosphonic acid groups [O-H…Cl, 2.889(4), 2.896(4)Å]. The other two chloride anions together with the two water molecules of solvation (one with partial occupancy) form unusual cyclic hydrogen-bonded bis(Cl...water) dianion units which lie between the layers of bipyridylium rings of the cation chain structures with which they are weakly associated.

Hydrate stabilization in the three-dimensional hydrogen-bonded structure of the brucinium compound, bis(2,3-dimethoxy-10-oxostrychnidinium) biphenyl-4,4'-disulfonate hexahydrate

The crystal structure of the 2:1 proton-transfer compound of brucine with biphenyl-4,4’-disulfonate, bis(2,3-dimethoxy-10-oxostrychnidinium) biphenyl-4,4'-disulfonate hexahydrate (1) has been determined at 173 K. Crystals are monoclinic, space group P21 with Z = 2 in a cell with a = 8.0314(2), b = 29.3062(9), c = 12.2625(3) Å, β = 101.331(2)o. The crystallographic asymmetric unit comprises two brucinium cations, a biphenyl-4,4'-disulfonate dianion and six water molecules of solvation. The brucinium cations form a variant of the common undulating and overlapping head-to-tail sheet sub-structure. The sulfonate dianions are also linked head-to-tail by hydrogen bonds into parallel zig-zag chains through clusters of six water molecules of which five are inter-associated, featuring conjoint cyclic eight-membered hydrogen-bonded rings [graph sets R33(8) and R34(8)], comprising four of the water molecules and closed by sulfonate O-acceptors. These chain structures occupy the cavities between the brucinium cation sheets and are linked to them peripherally through both brucine N+-H...Osulfonate and Ocarbonyl…H-Owater to sulfonate O bridging hydrogen bonds, forming an overall three-dimensional framework structure. This structure determination confirms the importance of water in the stabilization of certain brucine compounds which have inherent crystal instability.

Rethinking regional green space networks in China

Ecological networks are often represented as utopian webs of green meandering through cities, across states, through regions and even across a country (Erickson, 2006, p.28; Fabos, 2004, p.326; Walmsley, 2006). While this may be an inspiring goal for some in developed countries, the reality may be somewhat different in developing countries. China, in its shift to urbanisation and suburbanisation, is also being persuaded to adjust its planning schemes according to these aspirational representations of green spaces (Yu et al, 2006, p.237; Zhang and Wang, 2006, p.455). The failure of other countries to achieve regional goals of natural and cultural heritage protection on the ground in this way (Peterson et al, 2007; Ryan et al, 2006; von Haaren and Reich, 2006) suggests that there may be flaws in the underpinning concepts that are widely circulated in North American and Western European literature (Jongman et al, 2004; Walmsley, 2006). In China, regional open space networks, regional green infrastructure or regional ecological corridors as we know them in the West, are also likely to be problematic, at least in the foreseeable future. Reasons supporting this view can be drawn from lessons learned from project experience in landscape planning and related fields of study in China and overseas. Implementation of valuable regional green space networks is problematic because: • the concept of region as a spatial unit for planning green space networks is ambiguous and undefinable for practical purposes; • regional green space networks traditionally require top down inter-governmental cooperation and coordination which are generally hampered by inequalities of influence between and within government agencies; • no coordinating body with funding powers exists for regional green space development and infrastructure authorities are still in transition from engineering authorities; • like other infrastructure projects, green space is likely to become a competitive rather than a complementary resource for city governments; • stable long-term management, maintenance and uses of green space networks must fit into a ‘family’ social structure rather than a ‘public good’ social structure, particularly as rural and urban property rights are being re-negotiated with city governments; and • green space provision is a performance indicator of urban improvement in cities within the city hierarchy and remains quantitatively-based (land area, tree number and per capita share) rather than qualitatively-based with local people as the focus.

Damage detection for truss bridge structures using correlation-based structural modal strain energy

This paper presents the feasibility of using structural modal strain energy as a parameter employed in correlation- based damage detection method for truss bridge structures. It is an extension of the damage detection method adopting multiple damage location assurance criterion. In this paper, the sensitivity of modal strain energy to damage obtained from the analytical model is incorporated into the correlation objective function. Firstly, the sensitivity matrix of modal strain energy to damage is conducted offline, and for an arbitrary damage case, the correlation coefficient (objective function) is calculated by multiplying the sensitivity matrix and damage vector. Then, a genetic algorithm is used to iteratively search the damage vector maximising the correlation between the corresponding modal strain energy change (hypothesised) and its counterpart in measurement. The proposed method is simulated and compared with the conventional methods, e.g. frequency-error method, coordinate modal assurance criterion and multiple damage location assurance criterion using mode shapes on a numerical truss bridge structure. The result demonstrates the modal strain energy correlation method is able to yield acceptable damage detection outcomes with less computing efforts, even in a noise contaminated condition.

Quantum Mechanics of Semantic Space

Presentation about information modelling and artificial intelligence, semantic structure, cognitive processing and quantum theory.

Multilevel converter structure and control

In recent years, multilevel converters are becoming more popular and attractive than traditional converters in high voltage and high power applications. Multilevel converters are particularly suitable for harmonic reduction in high power applications where semiconductor devices are not able to operate at high switching frequencies or in high voltage applications where multilevel converters reduce the need to connect devices in series to achieve high switch voltage ratings. This thesis investigated two aspects of multilevel converters: structure and control. The first part of this thesis focuses on inductance between a DC supply and inverter components in order to minimise loop inductance, which causes overvoltages and stored energy losses during switching. Three dimensional finite element simulations and experimental tests have been carried out for all sections to verify theoretical developments. The major contributions of this section of the thesis are as follows: The use of a large area thin conductor sheet with a rectangular cross section separated by dielectric sheets (planar busbar) instead of circular cross section wires, contributes to a reduction of the stray inductance. A number of approximate equations exist for calculating the inductance of a rectangular conductor but an assumption was made that the current density was uniform throughout the conductors. This assumption is not valid for an inverter with a point injection of current. A mathematical analysis of a planar bus bar has been performed at low and high frequencies and the inductance and the resistance values between the two points of the planar busbar have been determined. A new physical structure for a voltage source inverter with symmetrical planar bus bar structure called Reduced Layer Planar Bus bar, is proposed in this thesis based on the current point injection theory. This new type of planar busbar minimises the variation in stray inductance for different switching states. The reduced layer planar busbar is a new innovation in planar busbars for high power inverters with minimum separation between busbars, optimum stray inductance and improved thermal performances. This type of the planar busbar is suitable for high power inverters, where the voltage source is supported by several capacitors in parallel in order to provide a low ripple DC voltage during operation. A two layer planar busbar with different materials has been analysed theoretically in order to determine the resistance of bus bars during switching. Increasing the resistance of the planar busbar can gain a damping ratio between stray inductance and capacitance and affects the performance of current loop during switching. The aim of this section is to increase the resistance of the planar bus bar at high frequencies (during switching) and without significantly increasing the planar busbar resistance at low frequency (50 Hz) using the skin effect. This contribution shows a novel structure of busbar suitable for high power applications where high resistance is required at switching times. In multilevel converters there are different loop inductances between busbars and power switches associated with different switching states. The aim of this research is to consider all combinations of the switching states for each multilevel converter topology and identify the loop inductance for each switching state. Results show that the physical layout of the busbars is very important for minimisation of the loop inductance at each switch state. Novel symmetrical busbar structures are proposed for multilevel converters with diode-clamp and flying-capacitor topologies which minimise the worst case in stray inductance for different switching states. Overshoot voltages and thermal problems are considered for each topology to optimise the planar busbar structure. In the second part of the thesis, closed loop current techniques have been investigated for single and three phase multilevel converters. The aims of this section are to investigate and propose suitable current controllers such as hysteresis and predictive techniques for multilevel converters with low harmonic distortion and switching losses. This section of the thesis can be classified into three parts as follows: An optimum space vector modulation technique for a three-phase voltage source inverter based on a minimum-loss strategy is proposed. One of the degrees of freedom for optimisation of the space vector modulation is the selection of the zero vectors in the switching sequence. This new method improves switching transitions per cycle for a given level of distortion as the zero vector does not alternate between each sector. The harmonic spectrum and weighted total harmonic distortion for these strategies are compared and results show up to 7% weighted total harmonic distortion improvement over the previous minimum-loss strategy. The concept of SVM technique is a very convenient representation of a set of three-phase voltages or currents used for current control techniques. A new hysteresis current control technique for a single-phase multilevel converter with flying-capacitor topology is developed. This technique is based on magnitude and time errors to optimise the level change of converter output voltage. This method also considers how to improve unbalanced voltages of capacitors using voltage vectors in order to minimise switching losses. Logic controls require handling a large number of switches and a Programmable Logic Device (PLD) is a natural implementation for state transition description. The simulation and experimental results describe and verify the current control technique for the converter. A novel predictive current control technique is proposed for a three-phase multilevel converter, which controls the capacitors' voltage and load current with minimum current ripple and switching losses. The advantage of this contribution is that the technique can be applied to more voltage levels without significantly changing the control circuit. The three-phase five-level inverter with a pure inductive load has been implemented to track three-phase reference currents using analogue circuits and a programmable logic device.

Deflection control in composite building by using belt truss and outriggers system

The design of high-rise building is more often dictated by its serviceability rather than strength. Structural Engineers are always striving to overcome challenges of controlling lateral deflection and storey drifts as well as self weight of structure imposed on foundation. One of the most effective techniques is the use of outrigger and belt truss system in Composite structures that can astutely solve the above two issues in High-rise constructions. This paper investigates deflection control by effective utilisation of belt truss and outrigger system on a 60-storey composite building subjected to wind loads. A three dimensional Finite Element Analysis is performed with one, two and three outrigger levels. The reductions in deflection are 34 percent, 42 percent and 51 percent respectively as compared to a model without any outrigger system. There is an appreciable decline in the storey drifts with the introduction of these stiffer arrangements.