A reified temporal logic

This paper presents a reified temporal logic for representing and reasoning about temporal and non-temporal relationships between non-temporal assertions. A clear syntax and semantics for the logic is formally provided. Three types of predicates, temporal predicates, non-temporal predicates and meta-predicates, are introduced. Terms of the proposed language are partitioned into three types, temporal terms, non-temporal terms and propositional terms. Reified propositions consist of formulae with each predicate being either a temporal predicate or a meta-predicate. Meta-predicates may take both temporal terms and propositional terms together as arguments or take propositional terms alone. A standard formula of the classical first-order language with each predicate being a non-temporal predicate taking only non-temporal terms as arguments is reified as just a propositional term. A general time ontology has been provided which can be specialized to a variety of existing temporal systems. The new logic allows one to predicate and quantify over propositional terms while according a special status of time; for example, assertions such as ‘effects cannot precede their causes’ is ensured in the logic, and some problematic temporal aspects including the delay time between events and their effects can be conveniently expressed. Applications of the logic are presented including the characterization of the negation of properties and their contextual sentences, and the expression of temporal relations between actions and effects.

The development of parallel implementation for a CFD based fire field model utilising conventional office based PCs

Parallel processing techniques have been used in the past to provide high performance computing resources for activities such as fire-field modelling. This has traditionally been achieved using specialized hardware and software, the expense of which would be difficult to justify for many fire engineering practices. In this article we demonstrate how typical office-based PCs attached to a Local Area Network has the potential to offer the benefits of parallel processing with minimal costs associated with the purchase of additional hardware or software. It was found that good speedups could be achieved on homogeneous networks of PCs, for example a problem composed of ~100,000 cells would run 9.3 times faster on a network of 12 800MHz PCs than on a single 800MHz PC. It was also found that a network of eight 3.2GHz Pentium 4 PCs would run 7.04 times faster than a single 3.2GHz Pentium computer. A dynamic load balancing scheme was also devised to allow the effective use of the software on heterogeneous PC networks. This scheme also ensured that the impact between the parallel processing task and other computer users on the network was minimized.

Parallel CFD fire modelling on office PCs with dynamic load balancing

Parallel processing techniques have been used in the past to provide high performance computing resources for activities such as Computational Fluid Dynamics. This is normally achieved using specialized hardware and software, the expense of which would be difficult to justify for many fire engineering practices. In this paper, we demonstrate how typical office-based PCs attached to a local area network have the potential to offer the benefits of parallel processing with minimal costs associated with the purchase of additional hardware or software. A dynamic load balancing scheme was devised to allow the effective use of the software on heterogeneous PC networks. This scheme ensured that the impact between the parallel processing task and other computer users on the network was minimized thus allowing practical parallel processing within a conventional office environment. Copyright © 2006 John Wiley & Sons, Ltd.

Trade credit linkages along the supply chain: evidence for the Italian textile sector

We examine the trade credit linkages among firms within a supply chain to reckon the effect of such linkages on the propagation of liquidity shocks from downstream to upstream firms. We choose a sample appropriate for this task, consisting of a large data set of Italian firms from the textile industry, a well known example of a comprehensive manufacturing cluster featuring a large number of small and specialized firms at each level of the supply chain. The results of the analysis indicate that the level of trade credit that firms provide to their suppliers is positively related to the level of trade credit granted to their clients: when the level of trade credit granted to clients divided by sales goes up by 1, the level of trade credit provided to suppliers divided by cost-of goods-sold goes up by an amount that varies between 0,22 and 0,52. Since all firms along the chain are linked by trade credit relationships, an increase in the level of trade credit granted by wholesalers generates a liquidity cascade throughout the chain. We designate the overall increase in the level of trade credit among all firms in the chain as a result of a unitary impulse in the level of trade credit granted by wholesalers as the multiplier effect of trade credit for the industry chain. We estimate such multiplier to vary between 1.28 and 2.04. We also investigate the effect of final demand on the level of trade credit sourced by firms at various levels of the chain and, in particular, whether such effect is amplified for firms further up in the chain as a result of liquidity propagation via trade credit linkages. We uncover evidence of such amplification when the links of liquidity transmission along the chain are individually modeled and estimated. An unitary increase in wholesalers’ sales is found to produce an effect on trade payables among firms at the top of the chain (i.e., Preparers and Spinners) that is more than twice as big as the corresponding effect among firms at the bottom of the chain (i.e., Wholesalers).