In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal sys...In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe展开更多
Background: Further strategies are needed to deal with the high losses to suicide. New modalities should be explored within the context of suicide prevention. Aim: The aim of the study was to evaluate participants’ e...Background: Further strategies are needed to deal with the high losses to suicide. New modalities should be explored within the context of suicide prevention. Aim: The aim of the study was to evaluate participants’ experiences of a web based program for mental health care staff, including its potential clinical relevance. Methods: Nineteen participants participated in five focus groups. Data was analyzed using content analysis. Results: The analysis showed participants’ experiences of the program’s contents and format (“Web Based Modules”, “Discussion Groups”) and practical value (“Clinical Relevance and Use”, “Effects on Communication and Climate”). Conclusions: The program partly increased awareness about risk factors and the importance of inquiring about suicide ideation/plans and documenting suicide assessments. Experiences of the clinical value were varying and may be increased through potential enhancements.展开更多
At present, the main work of electron optical system CAD is solving equations and calculating mumerical values. However, the design perhaps needs more inference and expertise than numerical calculations because the st...At present, the main work of electron optical system CAD is solving equations and calculating mumerical values. However, the design perhaps needs more inference and expertise than numerical calculations because the structure of electron lens system is complicated. In this paper, a primary expert system is applied to design the electron lens system intelligently. This expert system is combined with SEU-3D program which is used to simulate the electron optical system to optimize the electron lens systems. In spite of this, the expert system which is established in this paper can also be used to diagnose the electron lens system. Although the knowledge base is small and rules are not abundant, this paper has used this system to obtain some very useful results. The initial success with this system suggests that further work need to be done whether more rules and knowledge will be added to extend the ability of expert system.展开更多
This paper describes a practical approach to identify nodal price compensation payment for nodal consumers willing to reduce their energy consumption(consumers’ demand response). The implementation of a nodal reliabi...This paper describes a practical approach to identify nodal price compensation payment for nodal consumers willing to reduce their energy consumption(consumers’ demand response). The implementation of a nodal reliability service pricing is based on contingency assessment of N-2 order for transmission lines. A representative annualized demand curve is used to reflect the system’s operation condition by seasons. Such curve is used to access the nodal reliability impact trough a whole year in order to determine back-payments(incentive payment) to users for service interruption. The IEEE_RTS 24 nodes system is used to implement the proposed approach.展开更多
In its new roadmap for neglected tropical diseases,the World Health Organization proposes three important strategic shifts:(i)Stronger accountability which shifting from process to impact indicators;(ii)Intensified cr...In its new roadmap for neglected tropical diseases,the World Health Organization proposes three important strategic shifts:(i)Stronger accountability which shifting from process to impact indicators;(ii)Intensified cross-cutting approaches;and(iii)Stronger country ownership.In this paper we discuss the implementation of these three strategies in the setting of a high onchocerciasis disease burden in South Sudan.展开更多
CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a...CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a source-level debugger into a single tool.The integration is realized by sharing common knowledge,among all the components of the system and by task-oriented comhination of the components.Nonlocal attribute grammar is adopted for specifying the common knowledge about the syntax and semantics of C language.The incremental attri bute evaluation is used to implement the semantic analyzer and the unparser to increase system efficiency.CCD keeps the preprocessors and comments most regular to make it practical.展开更多
基金ESPRIT Basic Research ProCoS project 3104 and 7071
文摘In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe
文摘Background: Further strategies are needed to deal with the high losses to suicide. New modalities should be explored within the context of suicide prevention. Aim: The aim of the study was to evaluate participants’ experiences of a web based program for mental health care staff, including its potential clinical relevance. Methods: Nineteen participants participated in five focus groups. Data was analyzed using content analysis. Results: The analysis showed participants’ experiences of the program’s contents and format (“Web Based Modules”, “Discussion Groups”) and practical value (“Clinical Relevance and Use”, “Effects on Communication and Climate”). Conclusions: The program partly increased awareness about risk factors and the importance of inquiring about suicide ideation/plans and documenting suicide assessments. Experiences of the clinical value were varying and may be increased through potential enhancements.
文摘At present, the main work of electron optical system CAD is solving equations and calculating mumerical values. However, the design perhaps needs more inference and expertise than numerical calculations because the structure of electron lens system is complicated. In this paper, a primary expert system is applied to design the electron lens system intelligently. This expert system is combined with SEU-3D program which is used to simulate the electron optical system to optimize the electron lens systems. In spite of this, the expert system which is established in this paper can also be used to diagnose the electron lens system. Although the knowledge base is small and rules are not abundant, this paper has used this system to obtain some very useful results. The initial success with this system suggests that further work need to be done whether more rules and knowledge will be added to extend the ability of expert system.
基金supported by Consejo Nacional de Ciencia y Tecnología (CONACyT)Instituto Tecnológico Superior de Irapuato (ITESI)
文摘This paper describes a practical approach to identify nodal price compensation payment for nodal consumers willing to reduce their energy consumption(consumers’ demand response). The implementation of a nodal reliability service pricing is based on contingency assessment of N-2 order for transmission lines. A representative annualized demand curve is used to reflect the system’s operation condition by seasons. Such curve is used to access the nodal reliability impact trough a whole year in order to determine back-payments(incentive payment) to users for service interruption. The IEEE_RTS 24 nodes system is used to implement the proposed approach.
基金R Colebunders received a grant from the European Research Council(ERC 671055).
文摘In its new roadmap for neglected tropical diseases,the World Health Organization proposes three important strategic shifts:(i)Stronger accountability which shifting from process to impact indicators;(ii)Intensified cross-cutting approaches;and(iii)Stronger country ownership.In this paper we discuss the implementation of these three strategies in the setting of a high onchocerciasis disease burden in South Sudan.
文摘CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a source-level debugger into a single tool.The integration is realized by sharing common knowledge,among all the components of the system and by task-oriented comhination of the components.Nonlocal attribute grammar is adopted for specifying the common knowledge about the syntax and semantics of C language.The incremental attri bute evaluation is used to implement the semantic analyzer and the unparser to increase system efficiency.CCD keeps the preprocessors and comments most regular to make it practical.
