http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Shear strength of RC beams. Precision, accuracy, safety and simplicity using genetic programming
Antoni Cladera,Juan L. Pérez-Ordóñez,Fernando Martínez-Abella 사단법인 한국계산역학회 2014 Computers and Concrete, An International Journal Vol.14 No.4
This paper presents the improvement of the EC-2 and EHE-08 shear strength formulations for concrete beams with shear reinforcement. The employed method is based on the genetic programming (GP) technique, which is configured to generate symbolic regression from a set of experimental data by considering the interactions among precision, accuracy, safety and simplicity. The size effect and the influence of the amount of shear reinforcement are examined. To develop and verify the models, 257 experimental tests on concrete beams from the literature are used. Three expressions of considerablesimplicity, which significantly improve the shear strength prediction with respect to the formulations of the different studied codes, are proposed.
Antoni Sicras-Mainar,Ruth Navarro-Artieda 대한당뇨병학회 2015 Diabetes and Metabolism Journal Vol.39 No.1
Background: To evaluate resource use and health costs due to the combination of metformin and dipeptidyl peptidase-4 (DPP-4) inhibitors in patients with diabetes and renal impairment in routine clinical practice. Methods: An observational, retrospective study was performed. Patients aged ≥30 years treated with metformin who initiated a second oral antidiabetic treatment in 2009 to 2010 were included. Two groups of patients were analysed: metformin+DPP-4 inhibitors and other oral antidiabetics. The main measures were: compliance, persistence, metabolic control (glycosylated hemoglobin<7%) and complications (hypoglycemia, cardiovascular events) and total costs. Patients were followed up for 2 years. Results: We included 395 patients, mean age 70.2 years, 56.5% male: 135 patients received metformin+DPP-4 inhibitors and 260 patients received metformin+other oral antidiabetics. Patients receiving DPP-4 inhibitors showed better compliance (66.0% vs. 60.1%), persistence (57.6% vs. 50.0%), and metabolic control (63.9% vs. 57.3%), respectively, compared with those receiving other oral antidiabetics (P<0.05), and also had a lower rate of hypoglycemia (20.0% vs. 47.7%) and lower total costs (€ 2,486 vs. € 3,002), P=0.001. Conclusion: Despite the limitations of the study, patients with renal impairment treated with DPP-4 inhibitors had better metabolic control, lower rates (association) of hypoglycaemia, and lower health costs for the Spanish national health system.
Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
Antoni, Marc The Korean Society for Railway 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
Antoni, Marc The Korean Society for Railway 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.
Challenges for Artificial Cognitive Systems
Antoni Gomila,Vincent C. Müller 서울대학교 인지과학연구소 2012 Journal of Cognitive Science Vol.13 No.4
The declared goal of this paper is to fill this gap: “… cognitive systems research needs questions or challenges that define progress. The challenges are not (yet more) predictions of the future, but a guideline to what are the aims and what would constitute progress.” – the quotation being from the project description of EUCogII, the project for the European Network for Cognitive Systems within which this formulation of the ‘challenges’ was originally developed (http://www.eucognition.org). So, we stick out our neck and formulate the challenges for artificial cognitive systems. These challenges are articulated in terms of a definition of what a cognitive system is: a system that learns from experience and uses its acquired knowledge (both declarative and practical) in a flexible manner to achieve its own goals.