76 research outputs found

    L’abolition de la peine de mort en France : le rendez-vous manqué de 1906-1908

    Get PDF
    Au terme de deux siècles de débats récurrents et de vaines tentatives, la peine de mort a été abolie en France le 9 octobre 1981. En dépit de nombreux discours sur cet aboutissement tardif, on connaît moins l’épisode, pourtant essentiel, de 1906-1908. Ce fut en effet sous la IIIe République qu’eut lieu le premier et dernier grand débat d’ensemble sur la question. Ce fut aussi à cette époque que la peine capitale faillit être abrogée, à l’instar de plusieurs autres réformes, favorables aux libertés, prévues dans le programme radical. Cet article tente de mettre en lumière les facteurs qui ont pesé sur le revirement du rapport de force, perceptible dès 1907, au profit des partisans de la guillotine, puis sur le déplacement des enjeux, prélude au rejet du projet, en 1908.After two centuries of recurring debates and fruitless efforts, the death penalty was abolished in France on 9 October 1981. Despite all that has been written and said about this long-awaited success, less is known about the crucial episode of 1906-1908. It was under the Third Republic that this first and last general debate on the question took place. It was also at this time that the death penalty was almost abrogated, in the wake of several other pro-liberties reforms provided for in the radical platform. The present article attempts to shed some light on the factors that helped swing the balance of power, already perceptible in 1907, towards the partisans of the guillotine, and favored the displacement of the stakes, prelude to the rejection of the project in 1908

    Automatic Data Structure Repair using Separation Logic

    Get PDF

    Concolic Testing Heap-Manipulating Programs

    Get PDF
    Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on numeric programs. Heap-manipulating programs make extensive use of complex heap objects like trees and lists. Testing such programs is challenging due to multiple reasons. Firstly, test inputs for such program are required to satisfy non-trivial constraints which must be specified precisely. Secondly, precisely encoding and solving path conditions in such programs are challenging and often expensive. In this work, we propose the first concolic testing engine called CSF for heap-manipulating programs based on separation logic. CSF effectively combines specification-based testing and concolic execution for test input generation. It is evaluated on a set of challenging heap-manipulating programs. The results show that CSF generates valid test inputs with high coverage efficiently. Furthermore, we show that CSF can be potentially used in combination with precondition inference tools to reduce the user effort

    Study change of the performance of airfoil of small wind turbine under low wind speed by CFD simulation

    Full text link
    Renewable energy has received strong attention and investment to replace fossil energy sources and reduce greenhouse gas emissions. Quite good and good wind speed areas have been invested in building large-capacity wind farms for many years. The low wind speed region occupies a very large on the world, which has been interested in the exploitation of wind energy in recent years. In this study, the original airfoil of S1010 operated at low wind speed was redesigned to increase the aerodynamic efficiency of the airfoil by using XFLR5 software. After, the new VAST-EPU-S1010 airfoil model was adjusted to the maximum thickness and the maximum thickness position. It was simulated in low wind speed conditions of 4-6 m/s by CFD simulation. The lift coefficient, drag coefficient and CLC_{L}/CDC_{D} coefficient ratio were evaluated under the effect of the angle of attack and the maximum thickness by using the k−ϵk-\epsilon model. Simulation results show that the VAST-EPU-S1010 airfoil achieved the greatest aerodynamic efficiency at the angle of attack of 3\,^{\circ}, the maximum thickness of 8\% and the maximum thickness position of 20.32\%. The maximum value of CLC_{L}/CDC_{D} of the new airfoil at 6 m/s is higher than at the 4 m/s by about 6.25\%.Comment: 19 pages, 21 figure

    Literature Review of Knowledge Sharing and Issues Raised for Vietnamese Universities

    Get PDF
    This study aims to review previous studies in the field of knowledge sharing. Data being used in this study was collected from researches related to the topic of knowledge sharing. We summarize literature on knowledge sharing in terms of (i) Necessity of knowledge sharing, (ii) Supporting from information and communication technology tools (ICT), (iii) Context of knowledge sharing, (iv) Participants knowledge sharing, (v) Receiver knowledge and (vi) advantages and disadvantages when participating in knowledge sharing. Some implications are recommended for Vietnamese universities to better support knowledge sharing activities in Vietnam and around the world. Keywords: Knowledge management, Knowledge sharing, Information technology, Management information system. DOI: 10.7176/JESD/10-18-17 Publication date:September 30th 201

    Security–reliability analysis of AF full-duplex relay networks using self-energy recycling and deep neural networks

    Get PDF
    This paper investigates the security-reliability of simultaneous wireless information and power transfer (SWIPT)-assisted amplify-and-forward (AF) full-duplex (FD) relay networks. In practice, an AF-FD relay harvests energy from the source (S) using the power-splitting (PS) protocol. We propose an analysis of the related reliability and security by deriving closed-form formulas for outage probability (OP) and intercept probability (IP). The next contribution of this research is an asymptotic analysis of OP and IP, which was generated to obtain more insight into important system parameters. We validate the analytical formulas and analyze the impact on the key system parameters using Monte Carlo simulations. Finally, we propose a deep learning network (DNN) with minimal computation complexity and great accuracy for OP and IP predictions. The effects of the system’s primary parameters on OP and IP are examined and described, along with the numerical data.Web of Science2317art. no. 761

    Depth-dose distribution in potatoes with low-energy X-rays

    Get PDF
    Irradiation is known as a handful measure to inhibit potato sprouting, kill harmful bacteria, and increase preservation. The absorbed dose is one of the essential characteristics of the irradiation process. In this study, the depth-dose distributions in potatoes and polymethyl methacrylate were investigated under low-energy X-ray irradiation by using the Fricke dosimeter and Gafchromic film dosimeter. The dose rates required for the rays to penetrate in polymethyl methacrylate were compared with those in potatoes. Polymethyl methacrylate could be used as a phantom in measuring the depth dose delivered in potatoes. The difference in depth-dose distribution in potatoes between one-sided and double-sided irradiation was also investigated. The calculated dose uniformity ratio values are 5.8 and 1.9 for potatoes irradiating one-sided and double-sided

    Assessing decentralised policy implementation in Vietnam : The case of land recovery and resettlement in the Vung Ang Economic Zone

    Get PDF
    From 2006 plans were implemented to create a deep-sea water port linked to an Economic Zone in the coastal Province of Ha Tinh, located in north central Vietnam. The multi-purpose Zone entitled ‘Vung Ang’, was to attract foreign investors, while the port would provide a link to nearby Laos and Thailand. The project obviously had large implications for the administrations at various levels of governance from Hanoi to the coastal communes and villages, but even more serious impacts on the people living in the affected areas. A large area of about 23,000 hectares was to be cleared, affecting the people of 9 communes, in some of which all inhabitants had to leave their houses and homesteads, to be relocated to completely new settlements about 10 miles inland. These tightly knit communities were not too happy with the prospect to leave their homes and land, the burial places of their ancestors, and the long term comforts of community support networks. While initial decision making process started at the highest levels of Vietnam Governance, the implementation of port and industrial park construction and the related relocation policy was delegated to Ha Tinh province, which is consistent with current decentralisation policies in Vietnam. Actual implementation was carried out by the affected District and Commune level officials – with support from the Communist Party led Mass Organisations – who were in charge of the planning and implementation of the relocation process. This entailed a complex and sensitive series of steps to inform affected households, prepare relocation areas and allocate compensation and alternative housing. This paper describes the implementation dynamics of relocation by depicting and assessing the roles of all stakeholders involved, including the impacts - for better or for worse – of the relocated households. It brings out the way local authorities dealt with affected people, including efforts linked to the ideal of grass-roots democracy. Key areas of contestation are uncovered, such as inadequate infrastructure and low compensation rates. The paper has a second objective to assess the degree to which decentralisation in Vietnam has been actually implemented, and how this affects policy making processes such as the Vung Ang port/industrial zone project. The paper concludes that the relocation policy was implemented in a fairly efficient and harmonious way – with a very intensive engagement of the entire provincial administrative machinery, but that it is too early to assess the livelihood opportunities of the relocated households
    • …
    corecore