http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Marcantoni (검색결과 4 건)
- 무료
- 기관 내 무료
- 유료
-
Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
Marc Antoni 한국철도학회 2009 International Journal of Railway Vol.2 No.3
Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.
-
The Aging of Signalling Equipment and the Impact on Maintenance Strategies
Marc Antoni 한국철도학회 2009 International Journal of Railway Vol.2 No.3
Research projects of SNCF aim at reducing the costs of infrastructure possessions and improving the operational equipment availability and safety. This permanent search for a better regularity led the SNCF to analyse the maintenance approach of signalling equipment in detail. Until now, it was commonly acknowledged that signalling equipment, which consists of many electronic devices, is not subject to aging. In this study, a Weibull lifetime model, able to describe an aging phenomenon, is used and it can be shown that the deterioration is statistically significant. The validity of the model is tested. We also analyse the influence of environmental covariates. We simulate different scenarios in order to investigate the impact of several maintenance strategies as well as on future maintenance costs, on the amount of components to replace based on the mean age of the network. It can be shown that in most cases a systematic replacement strategy offers the best solution.
-
Croissance verte et interventionnisme économique : une nouvelle place pour la puissance publique?
Pauline Marcantoni 유럽헌법학회 2012 유럽헌법연구 Vol.12 No.-
2008년의 경제 및 금융위기는 최근 몇 년간에 작용했던 경제시스템의 부분적 문제의 돌파구였다. 경제위기가 자유주의 포기의 문제나 디플레이션의 문제가 아니라면, 몇 몇 기능장애에 이르게 하는 지나침을 돌아볼 필요가 있고, 성장의 새로운 기반을 부여할 필요성이 있다. 한 층 더 강화된 ‘녹색’으로 향하는 해법은 30여 년 전부터 사회가 직면한 동시대의 다른 큰 문제의 시각을 갖도록 요구하고 있다. 즉, 환경의 위기이다. 환경의 위기는 오늘날 사회기능이 자연자원의 유한성 안에서 자신의 한계를 발견할 것이다. 자연자원의 유한성으로 여전히 오랫동안 과도하게 개발된 것을 더 이상 허락하지 않을 것이고, 현재의 상태와 같은 오염을 유발되게 하지 않을 것이다. 녹색성장은 장기적으로 에너지 자원과 재생할 수 없는 자원을 더 적게 혹은 더 잘 쓰는 경제성장이다. 뿐만 아니라 삶의 환경과 생물의 다양성을 더 존중하는 것이다. 본 논문에서는 녹색성장의 이름으로 경제에 대한 국가의 다양한 관여 형태를 다루고 있다. 특히 오염비용의 국제화와 각 시장의 해결책 그리고 국가가 소비자로서의 역할을 하는 것등을 다루고, 두 번째 논점으로서 변화하지 않는 경제 틀 안에서 혁신적 경제 관여가 가능하지에 대하여 다루고 있다. 즉, 경제적 한계, 법적 한계 그리고 정치적 한계에 대하여 살펴보았다. La «crise» financière et économique de 2008 a été le 시동장치 «déclencheur» 도전d’une remise en cause partielle du système économique tel qu’il fonctionnait depuis quelques années. S’il ne fût question ni d’abandon du libéralisme ni de décroissance, il est apparu nécessaire de revenir sur les excès ayant conduit à certains 고장dysfonctionnements et de donner un nouveau fondement à la croissance. La solution tendant à la rendre plus «verte» s’est imposée au regard d’un autre grand problème contemporain auquel fait face la société depuis une trentaine d’années : la crise environnementale. Il est aujourd’hui admis que le fonctionnement de la société trouvera aussi ses limites dans la 유한성finitude des ressources naturelles, qui ne pourront encore longtemps être surexploitées et polluées tel qu’elles le sont actuellement. De la mise en perspective de ces deux circonstances, est ressortie la possibilité d’une croissance en partie fondée sur l’objectif de réduction des atteintes à l’environnement. La croissance verte est une croissance économique qui, à long terme, utilise moins - ou mieux - la ressource énergétique et les matières premières non renouvelables, et est plus respectueuse de la biodiversité et du 생활환경cadre de vie.
-
Croissance verte et interventionnisme économique
뽈린느 마르칸토니(Pauline Marcantoni) 유럽헌법학회 2012 유럽헌법연구 Vol.12 No.-
2008년의 경제 및 금융위기는 최근 몇 년간에 작용했던 경제시스템의 부분적 문제의 돌파구였다. 경제위기가 자유주의 포기의 문제나 디플레이션의 문제가 아니라면, 몇 몇 기능장애에 이르게 하는 지나침을 돌아볼 필요가 있고, 성장의 새로운 기반을 부여할 필요성이 있다. 한 층 더 강화된 ‘녹색’으로 향하는 해법은 30여 년 전부터 사회가 직면한 동시대의 다른 큰 문제의 시각을 갖도록 요구하고 있다. 즉, 환경의 위기이다. 환경의 위기는 오늘날 사회기능이 자연자원의 유한성 안에서 자신의 한계를 발견할 것이다. 자연자원의 유한성으로 여전히 오랫동안 과도하게 개발된 것을 더 이상 허락하지 않을 것이고, 현재의 상태와 같은 오염을 유발되게 하지 않을 것이다. 녹색성장은 장기적으로 에너지 자원과 재생할 수 없는 자원을 더 적게 혹은 더 잘 쓰는 경제성장이다. 뿐만 아니라 삶의 환경과 생물의 다양성을 더 존중하는 것이다. 본 논문에서는 녹색성장의 이름으로 경제에 대한 국가의 다양한 관여 형태를 다루고 있다. 특히 오염비용의 국제화와 각 시장의 해결책 그리고 국가가 소비자로서의 역할을 하는 것등을 다루고, 두 번째 논점으로서 변화하지 않는 경제 틀 안에서 혁신적 경제 관여가 가능하지에 대하여 다루고 있다. 즉, 경제적 한계, 법적 한계 그리고 정치적 한계에 대하여 살펴보았다. La «crise» financière et économique de 2008 a été le 시동장치«déclencheur» 도전d’une remise en cause partielle du systèmeéconomique tel qu’il fonctionnait depuis quelques années. S’il ne fûtquestion ni d’abandon du libéralisme ni de décroissance, il est apparu nécessaire de revenir sur les excès ayant conduit à certains 고장dysfonctionnements et de donner un nouveau fondement à la croissance. La solution tendant à la rendre plus «verte» s’est imposée au regard d’un autre grand problème contemporain auquel fait face la société depuis une trentaine d’années : la crise environnementale. Il est aujourd’hui admis que le fonctionnement de la société trouvera aussi ses limites dans la 유한성finitude des ressources naturelles, qui ne pourront encore longtemps être surexploitées et polluées tel qu’elles le sont actuellement. De la mise en perspective de ces deux circonstances, est ressortie la possibilité d’une croissance en partie fondée sur l’objectif de réduction des atteintes à l’environnement. La croissance verte est une croissance économique qui, à long terme, utilise moins - ou mieux - la ressource énergétique et les matières premières non renouvelables, et est plus respectueuse de la biodiversité et du 생활환경cadre de vie.
KCI연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
