Post ASAP analysis of project impact on ultimate measures of performance, level III - analytic study one. 1975-1976 period. Final report.

National Highway Traffic Safety Administration, Office of Driver and Pedestrian Programs, Washington, D.C.

Police traffic services supervisory level training program course guide.

Mode of access: Internet.

Twin Pines, Level Distance

Zhao Mengfu; 10 15/16 in.x 3 ft. 5 39/64 in.; handscroll, ink on paper

Twin Pines, Level Distance, section 1, trees

Zhao Mengfu; handscroll, ink on paper

Twin Pines, Level Distance, section 1: rocks

Zhao Mengfu; handscroll, ink on paper

Higher-level language deficits resulting from left primary cerebellar lesions

Background: Contemporary neuropsychological studies suggest that cerebellar lesions may impact upon higher-level cognitive functioning via mechanisms of crossed cerebello-cerebral diaschisis. Accordingly, right cerebellar lesions have been previously associated with linguistic impairments such as reduced word fluency and agrammatic output. Recently, however, neuroimaging investigations have also identified ipsilateral cerebral hypoperfusion as a consequence of cerebellar lesions, implicating a potential role for the left cerebellum in the mediation of language processes. Aims: The purpose of this research was to investigate the effects of left cerebellar lesions of vascular origin, on general as well as high-level language skills. Methods & Procedures: Linguistic profiles were compiled for five individuals with left primary cerebellar lesions utilising a comprehensive language test battery. Individual scores relevant to each subtest were compared to a group of non-neurologically impaired controls. The criterion for anomalous performance was established as greater than or equal to 1.5 SD below the mean of the control group. Outcomes & Results: The findings of this research suggest that higher-level language deficits may result from left primary cerebellar lesions. All participants demonstrated deficits on measures of word fluency, sentence construction within a set context, producing word definitions, and producing multiple definitions for the same word. Deficits were also noted for several participants on measures of understanding figurative language, forming word associations, identifying and correcting semantic absurdities, and producing synonyms and antonyms. Conclusions: The results presented challenge the notion of a lateralised linguistic cerebellum, supporting a potential role for the left as well as right cerebellar hemispheres in the regulation of language processes, presumably via cerebellar-basal ganglia/thalamo-cortical pathways.

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

Tighter decoding reliability bound for Gallager's error-correcting code

Statistical physics is employed to evaluate the performance of error-correcting codes in the case of finite message length for an ensemble of Gallager's error correcting codes. We follow Gallager's approach of upper-bounding the average decoding error rate, but invoke the replica method to reproduce the tightest general bound to date, and to improve on the most accurate zero-error noise level threshold reported in the literature. The relation between the methods used and those presented in the information theory literature are explored.

Capacity improvements for a direct-sequence code division multiple access network

The rapidly increasing demand for cellular telephony is placing greater demand on the limited bandwidth resources available. This research is concerned with techniques which enhance the capacity of a Direct-Sequence Code-Division-Multiple-Access (DS-CDMA) mobile telephone network. The capacity of both Private Mobile Radio (PMR) and cellular networks are derived and the many techniques which are currently available are reviewed. Areas which may be further investigated are identified. One technique which is developed is the sectorisation of a cell into toroidal rings. This is shown to provide an increased system capacity when the cell is split into these concentric rings and this is compared with cell clustering and other sectorisation schemes. Another technique for increasing the capacity is achieved by adding to the amount of inherent randomness within the transmitted signal so that the system is better able to extract the wanted signal. A system model has been produced for a cellular DS-CDMA network and the results are presented for two possible strategies. One of these strategies is the variation of the chip duration over a signal bit period. Several different variation functions are tried and a sinusoidal function is shown to provide the greatest increase in the maximum number of system users for any given signal-to-noise ratio. The other strategy considered is the use of additive amplitude modulation together with data/chip phase-shift-keying. The amplitude variations are determined by a sparse code so that the average system power is held near its nominal level. This strategy is shown to provide no further capacity since the system is sensitive to amplitude variations. When both strategies are employed, however, the sensitivity to amplitude variations is shown to reduce, thus indicating that the first strategy both increases the capacity and the ability to handle fluctuations in the received signal power.

The role of stochasticity in an information-optimal neural population code

In this paper we consider the optimisation of Shannon mutual information (MI) in the context of two model neural systems The first is a stochastic pooling network (population) of McCulloch-Pitts (MP) type neurons (logical threshold units) subject to stochastic forcing; the second is (in a rate coding paradigm) a population of neurons that each displays Poisson statistics (the so called 'Poisson neuron'). The mutual information is optimised as a function of a parameter that characterises the 'noise level'-in the MP array this parameter is the standard deviation of the noise, in the population of Poisson neurons it is the window length used to determine the spike count. In both systems we find that the emergent neural architecture and; hence, code that maximises the MI is strongly influenced by the noise level. Low noise levels leads to a heterogeneous distribution of neural parameters (diversity), whereas, medium to high noise levels result in the clustering of neural parameters into distinct groups that can be interpreted as subpopulations In both cases the number of subpopulations increases with a decrease in noise level. Our results suggest that subpopulations are a generic feature of an information optimal neural population.

Maintenance of communication in primary classrooms : some evidence for the role of elicitation and code-switching in English medium schools in Kenya, with implications for teaching

This is a study of specific aspects of classroom interaction primary school level in Kenya. The study entailed the identification of the sources of particular communication problems during the change-over period from Kiswahili to English medium teaching in two primary schools. There was subsequently an examination of the language resources which were employed by teachers to maintain pupil participation in communication in the light of the occurrence of possibility of occurrence of specific communication problems. The language resources which were found to be significant in this regard concerned firstly the use of different elicitation types by teachers to stimulate pupils into giving responses and secondly teachers' recourse to code-switching from English to Kiswahili and vice-versa. It was also found in this study that although the use of English as the medium of instruction in the classrooms which were observed resulted in certain communication problems, some of these problems need not have arisen if teachers had been more careful in their use of language. The consideration of this finding, after taking into account the role of different elicitation types and code-switching as interpretable from data samples had certain implications which are specified in the study for teaching in Kenyan primary schools. The corpus for the study consisted of audio-recordings of English, Science and Number-Work lessons which were later transcribed. Relevant data samples were subsequently extracted from transcripts for analysis. Many of the samples have examples of cases of communication breakdowns, but they also illustrate how teachers maintained interaction with pupils who had yet to acquire an operational mastery of English. This study thus differs from most studies on classroom interaction because of its basic concern with the examination of the resources available to teachers for overcoming the problem areas of classroom communication.

Review and Outlooks of the Means for Visualization of Syntax Semantics and Source Code. Procedural and Object Oriented Paradigm – Differences

In the article, we have reviewed the means for visualization of syntax, semantics and source code for programming languages which support procedural and/or object-oriented paradigm. It is examined how the structure of the source code of the structural and object-oriented programming styles has influenced different approaches for their teaching. We maintain a thesis valid for the object-oriented programming paradigm, which claims that the activities for design and programming of classes are done by the same specialist, and the training of this specialist should include design as well as programming skills and knowledge for modeling of abstract data structures. We put the question how a high level of abstraction in the object-oriented paradigm should be presented in simple model in the design stage, so the complexity in the programming stage stay low and be easily learnable. We give answer to this question, by building models using the UML notation, as we take a concrete example from the teaching practice including programming techniques for inheritance and polymorphism.

Low-dimensional, hinged bar-code metal oxide layers and free-standing, ordered organic nanostructures from turbostratic vanadium oxide

Both low-dimensional bar-coded metal oxide layers, which exhibit molecular hinging, and free-standing organic nanostructures can be obtained from unique nanofibers of vanadium oxide (VOx). The nanofibers are successfully synthesized by a simple chemical route using an ethanolic solution of vanadium pentoxide xerogel and dodecanethiol resulting in a double bilayered laminar turbostratic structure. The formation of vanadium oxide nanofibers is observed after hydrothermal treatment of the thiol-intercalated xerogel, resulting in typical lengths in the range 2–6 µm and widths of about 50–500 nm. We observe concomitant hinging of the flexible nanofiber lamina at periodic hinge points in the final product on both the nanoscale and molecular level. Bar-coded nanofibers comprise alternating segments of organic–inorganic (thiols–VOx) material and are amenable to segmented, localized metal nanoparticle docking. Under certain conditions free-standing bilayered organic nanostructures are realized.