the particular role to safe somebody's life, health and ability to work falls on professional risk assessment and on implementation of prevention measures for reason to decrease or avoid the risk. To ensure occupa...
详细信息
ISBN:
(纸本)9789955282631
the particular role to safe somebody's life, health and ability to work falls on professional risk assessment and on implementation of prevention measures for reason to decrease or avoid the risk. To ensure occupational safety and health at work in all aspects related to work is the main duty of every employer. One of the basic principles to ensure occupational safety and health is risk related to occupational safety and health escaping and constant risk estimation, the identification, analysis and assessment of risk factors and decrease of influence. therefore it is very important to identify risk factors in time, to establish the risk degree of accidents at work and to take necessary technical, organizational and hygiene preventive measures. In this work the main requirements of occupational safety and health are estimated, circumstances and reasons of accidents at work in construction in years 2000 - 2006 are analysed and the mathematical models for appraising of effectiveness of preventive measures are suggested. In this work there were used methods of statistical analytical, poll, analysis methods and other mathematical methods.
As embedded designs become more widespread and complex they tend to use more modem processors. Such processors will often include features (such as pipelines, caches, and branch predictors) which help to improve perfo...
详细信息
ISBN:
(纸本)9780791848050
As embedded designs become more widespread and complex they tend to use more modem processors. Such processors will often include features (such as pipelines, caches, and branch predictors) which help to improve performance. While such performance improvements are welcome, they come at the price of predictability. More specifically, the use of advanced processor hardware makes it difficult to predict the worst-case execution time (WCET) of tasks. As part of an effort to address these problems, Puschner and Bums (Proc. 7th IEEE international Workshop on Object-Oriented Real-Time Dependable Systems, Jan. 2002) proposed the "single pathprogramming paradigm". As its name implies program code written according to this paradigm has only one execution path: this helps to ensure a constant execution time. Yet there are two problems withthe techniques described by Puschner and Bums: (i) they are applicable only to hardware which supports "conditional move" or similar instructions;(ii) their balancing approach increases power consumption. In the present paper, we begin to address both of these problems with a set of novel code-balancing techniques. the effectiveness of these new techniques is explored by means of an empirical study.
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. the original frontend was purely object-oriented. Each frontend extends Java with...
详细信息
ISBN:
(纸本)9781605580449
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. the original frontend was purely object-oriented. Each frontend extends Java with AspectJ and an additional set of pointcuts in a modular fashion. In this paper we give a detailed comparison of both approaches and show a number of advantages of using JastAdd: the implementation is half the size, twice as fast, concerns are better localised, extensions are composable, and computations are automatically scheduled. JastAdd provides a very constrained form of static AOP where only inter-type declarations and method execution interception are supported. However, additional modularisation mechanisms from the compiler construction community are supported in the form of demand-driven evaluation and attribute grammars. Our implementation would not have benefited from a richer pointcut language, while both demand-drive evaluation and declarative attributes were essential in enabling composable extensions and flexible modularisation. We believe that the AOP community at large can benefit from acknowledging demand-driven evaluation as an important modularisation mechanism. Also, reference attribute grammars enhance the extensible implementation of graphbased computations that rely on context-sensitive information. Copyright 2008 ACM.
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding between a pointcut and an advice can g...
详细信息
Optimising non-functional properties of software is an important pall of the implementation process. One such property is execution time, and compilers target a reduction in execution time using a variety of optimisat...
详细信息
ISBN:
(纸本)9783540896937
Optimising non-functional properties of software is an important pall of the implementation process. One such property is execution time, and compilers target a reduction in execution time using a variety of optimisation techniques. Compiler optimisation is not always able to produce semantically equivalent alternatives that improve execution times, even if such alternatives are known to exist. Often, this is due to the local nature of such optimisations. In this paper we present a novel framework for optimising existing software using a hybrid of evolutionary optimisation techniques. Given as input the implementation of a program or function, we use Genetic programming to evolve it new semantically equivalent version, optimised to reduce execution time subject to it given probability distribution of inputs. We employ a co-evolved population of test cases to encourage the preservation of the program's semantics, and exploit the original program through seeding of the population in order to focus the search. We carry out experiments to identify the important factors in maximising efficiency gains. Although in this work we have optimised execution time, other non-functional criteria could be optimised in a similar manner.
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial computers to robustly achieve global compu...
详细信息
this paper(1) addresses issues associated with reduction of memory usage for a semidefinite programming (SDP) relaxation based method and its application to position estimation problem in ad-hoc wireless sensor networ...
详细信息
ISBN:
(纸本)9783540681052
this paper(1) addresses issues associated with reduction of memory usage for a semidefinite programming (SDP) relaxation based method and its application to position estimation problem in ad-hoc wireless sensor networks. We describe two new CSDP solvers (semidefinite programming in C) using two algorithms for Cholesky factorization implementing RFP and BHF matrix storage formats and different implementations of BLAS/LAPACK libraries (Netlib's BLAS/LAPACK, sequential and parallel versions of ATLAS, Intel MKL and GotoBLAS). the numerical results given and discussed in the final part of the paper show that using both RFP and BHF data formats preserve high numerical performance of the LAPACK full data format while using half the computer storage.
Advice weaving can be efficiently supported with only lightweight enhancements to existing Virtual Machines. Performing weaving at the Java bytecode (JBC) level while preserving appropriate metadata enables the VM to ...
详细信息
Forming effective coalitions is a major research challenge in the field of multi-agent systems. Central to this endeavour is the problem of partitioning the set of agents into exhaustive and disjoint coalitions such t...
详细信息
the proceedings contain 53 papers. the topics discussed include: on properly using technologies to make e-learning effective;richness versus parsimony antecedents of technology adoption model for e-learning websites;e...
ISBN:
(纸本)3540850325
the proceedings contain 53 papers. the topics discussed include: on properly using technologies to make e-learning effective;richness versus parsimony antecedents of technology adoption model for e-learning websites;exploring a computer-assisted managing system with competence indicators in Taiwan;e-learning issues under an affective perspective;recommendation in education portal by relation based importance ranking;research on learning resources organization model;web contents extracting for web-based learning;course material research based on Petri Net;the practice and experience sharing of three-year peer coaching program in Taiwan;an artificial intelligence course used to investigate students' learning style;computer-aided generation of item based on ontology and Bloom's taxonomy;and collaborative learning tool applying to C programming language.
暂无评论