74 resultados para object-oriented languages
Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP
Resumo:
In oriented unplasticised polyvinylchloride (uPVC) pipes, cracks propagate tangentially rather than through the wall as in conventional pipe. Notched impact, a modified peel test and the specific work of fracture approach have been used to measure fracture toughness of a conventionally extruded, a uniaxially oriented and a biaxially oriented uPVC pipe in different directions. The different failure mode for the oriented pipes was found to result from an order of magnitude increase in the fracture toughness for cracks propagating perpendicular to the orientation direction. Differences in the fracture toughness between the oriented pipes were also related to their molecular orientation. (C) 2002 Elsevier Science Ltd. All rights reserved.
Resumo:
The molecular orientation in a conventionally extruded PVC pipe, a uniaxially oriented PVC pipe and a biaxially oriented PVC pipe has been studied via Infrared dichroism. The degree of order or crystallinity has also been studied by Differential Scanning Calorimetry and also via Infrared Spectroscopy. The fundamental structural difference between the conventional and oriented pipes was that polymer chains were preferentially aligning in the hoop direction for oriented pipes whereas they were fairly isotropic in the conventional pipe with a slight preferential alignment in the axial direction. Analysis of the C-Cl stretching mode indicated that the uniaxially oriented pipe had much higher alignment of the C-Cl bond in the axial direction than the biaxial pipe, which correlates with higher fracture toughness for circumferential cracking in the biaxial pipe. Both DSC and Infrared spectroscopy detected little change in the crystallinity or order in the oriented pipes compared to the conventionally extruded pipes. (C) 2002 Kluwer Academic Publishers.
Resumo:
Thc oen itninteureasc ttioo nb eo fa pcreangtmraal tiiscs uaen di ns ymnotadcetlisc ocfo nsestnrtaeinnctse processing. It is well established that object relatives (1) are harder to process than subject relatives (2). Passivization, other things being equal, increases sentence complexity. However, one of the functions of the passive construction is to promote an NP into the role of subject so that it can be more easily bound to the head NP in a higher clause. Thus, (3) is predicted to be marginally preferred over (1). Passiviazation in this instance may be seen as a way of avoiding the object relative construction. 1. The pipe that the traveller smoked annoyed the passengers. 2. The traveller that smoked the pipe annoyed the passengers. 3.The pipe that was smoked by the traveller annoyed the 4.The traveller that the pipe was smoked by annoyed the 5.The traveller that the lady was assaulted by annoyed the In (4) we have relativization of an NP which has been demoted by passivization to the status of a by-phrase. Such relative clauses may only be obtained under quite restrictive pragmatic conditions. Many languages do not permit relativization of a constituent as low as a by-phrase on the NP accessibility hierarchy (Comrie, 1984). The factors which determine the acceptability of demoted NP relatives like (4-5) reflect the ease with which the NP promoted to subject position can be taken as a discourse topic. We explored the acceptability of sentences such as (1-5) using pair-wise judgements of samddifferent meaning, accompanied by ratings of easeof understanding. Results are discussed with reference to Gibsons DLT model of linguistic complexity and sentence processing (Gibson, 2000)
Resumo:
The long short-term memory (LSTM) is not the only neural network which learns a context sensitive language. Second-order sequential cascaded networks (SCNs) are able to induce means from a finite fragment of a context-sensitive language for processing strings outside the training set. The dynamical behavior of the SCN is qualitatively distinct from that observed in LSTM networks. Differences in performance and dynamics are discussed.
Resumo:
Libraries of cyclic peptides are being synthesized using combinatorial chemistry for high throughput screening in the drug discovery process. This paper describes the min_syn_steps.cpp program (available at http://www.imb.uq.edu.au/groups/smythe/tran), which after inputting a list of cyclic peptides to be synthesized, removes cyclic redundant sequences and calculates synthetic strategies which minimize the synthetic steps as well as the reagent requirements. The synthetic steps and reagent requirements could be minimized by finding common subsets within the sequences for block synthesis. Since a brute-force approach to search for optimum synthetic strategies is impractically large, a subset-orientated approach is utilized here to limit the size of the search. (C) 2002 Elsevier Science Ltd. All rights reserved.