Generic Proof Scores for Generate & Check Method in CafeOBJ 

2015 ◽  
pp. 287-310
Author(s):  
Kokichi Futatsugi
Keyword(s):  
Check Method ◽  
Generic Proof

A Visibility Check Method for Railway Signals using Image Sensor Communication

2014 ◽  
Vol 134 (11) ◽  
pp. 969-977
Author(s):  
Nozomi Nagamine ◽  
Masato Ukai
Keyword(s):  
Image Sensor ◽  
Check Method

Robust Stress Check Formula of Lifting Padeye

2010 ◽  
Vol 54 (01) ◽  
pp. 34-40
Author(s):  
Zhou Bo ◽  
Liu Yujun ◽  
Ji Zhuoshang
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Accurate Method ◽  
Offshore Structures ◽  
Structure Design ◽  
Stress Calculation ◽  
Check Method ◽  
External Loads ◽  
Actual Stress ◽  
Element Method

Lifting padeyes are widely used in the construction of offshore structures and ships. It has been shown that the traditional check method cannot reflect the realistic value and distribution of actual stress on the padeyes. A more accurate method for the padeye stress calculation is essential and important for promoting the safety of the padeyes. In this paper, a new check formula is proposed based on the analysis of deformation and external loads distribution on lifting padeyes. The results of finite element method and the solutions of traditional check formula and new check formula are compared. It is shown that, by applying the stress check formula derived in the paper, the value and the location of the dangerous stresses occurred can be evaluated easily and exactly. The safe reliability of structure design can be improved significantly.

scholarly journals An Assessment of Mangrove Rehabilitation Programs in Bolaang Mongondow Selatan Regency, North Sulawesi

2020 ◽  
Vol 8 (1) ◽  
pp. 1
Author(s):  
Rignolda Djamaluddin
Keyword(s):  
Suitable Habitat ◽  
Additional Information ◽  
Rehabilitation Programs ◽  
North Sulawesi ◽  
Spot Check ◽  
Participative Approach ◽  
Mangrove Seedlings ◽  
Check Method ◽  
Mangrove Rehabilitation ◽  
The Right

While the results of many mangrove rehabilitation efforts have not been optimal due to various factors, the rate of mangrove forest deforestation remains high in Indonesia. This research was designed to test the principle “planting certain mangrove seedlings on suitable habitat would be survived”. The test was based on an assessment of six locations in Bolaang Mongondow Selatan Regency where mangrove rehabilitation programs were implemented. This assessment was conducted by using a spot check method to analyze any variables associated with plantation area feasibility, and the use of a participative approach to collect additional information. Results from this study confirmed that mangrove seedlings have to be planted on the right habitat and that the implemented rehabilitation programs have followed a try and error or speculative approach, and have not been supported by sufficient technical and theoretical competencies. Keywords: artificial plantation, natural regeneration, mangrove, rehabilitation        Deforestasi hutan mangrove di Indonesia berlangsung cepat, sementara itu banyak upaya rehabilitasi belum memberikan hasil yang optimal karena berbagai faktor. Penelitian ini menguji secara khusus prinsip “benih yang ditanam di tempat yang cocok akan tumbuh”, melalui penilaian enam lokasi program rehabilitasi mangrove di Kabupaten Bolaang Mongondow Selatan. Penilaian dilakukan menggunakan metode pengecekan lapangan (on spot check) untuk menganalisis variabel-variabel yang berkaitan dengan kelayakan lahan tanam, dan pengumpulan informasi melalui pendekatan partisipatif. Hasil penelitian menegaskan bahwa “jenis bibit yang ditanam harus sesuai dengan lahan tanam”. Upaya penanaman yang dilakukan masih menggunakan pendekatan coba-coba atau spekulatif, dan tidak didukung pemahaman teknis maupun teoritis yang memadai.Kata kunci: mangrove, penanaman artifisial, regenerasi alami, rehabilitasi

scholarly journals Developing and Analyzing a Spanish Corpus for Forensic Purposes

2019 ◽  
Vol 3 ◽  
Author(s):  
Ángela Almela ◽  
Gema Alcaraz-Mármol ◽  
Arancha García-Pinar ◽  
Clara Pallejá
Keyword(s):  
Data Collection ◽  
Language Processing ◽  
Ad Hoc ◽  
Semantic Analysis ◽  
Linguistic Features ◽  
Natural Language Processing Tool ◽  
Check Method ◽  
Spanish Universities ◽  
Gender Based ◽  
Main Instrument

In this paper, the methods for developing a database of Spanish writing that can be used for forensic linguistic research are presented, including our data collection procedures. Specifically, the main instrument used for data collection has been translated into Spanish and adapted from Chaski (2001). It consists of ten tasks, by means of which the subjects are asked to write formal and informal texts about different topics. To date, 93 undergraduates from Spanish universities have already participated in the study and prisoners convicted of gender-based abuse have participated. A twofold analysis has been performed, since the data collected have been approached from a semantic and a morphosyntactic perspective. Regarding the semantic analysis, psycholinguistic categories have been used, many of them taken from the LIWC dictionary (Pennebaker et al., 2001). In order to obtain a more comprehensive depiction of the linguistic data, some other ad-hoc categories have been created, based on the corpus itself, using a double-check method for their validation so as to ensure inter-rater reliability. Furthermore, as regards morphosyntactic analysis, the natural language processing tool ALIAS TATTLER is being developed for Spanish.  Results shows that is it possible to differentiate non-abusers from abusers with strong accuracy based on linguistic features.

A New Check Method of Lifting Padeyes Based on Frictionless Cylindrical Contact Theory

2009 ◽  
Vol 25 (01) ◽  
pp. 1-6
Author(s):  
Zhou Bo ◽  
Liu Yujun ◽  
Ji Zhuoshang
Keyword(s):  
Contact Stress ◽  
Offshore Structures ◽  
Structure Design ◽  
Contact Theory ◽  
Strength Analysis ◽  
Accurate Information ◽  
Clearance Ratio ◽  
Calculated Stress ◽  
Check Method ◽  
Actual Stress

The lifting padeyes are widely used in the construction of offshore structures and ships. Because of the lack of more accurate information, heavily conservative simplified approaches have to be applied to strength analysis and structure design. Therefore, the calculated stress results contain a lot of discrepancies with the actual stress. In the paper, a robust stress check formula is derived using the theory of frictionless cylindrical contact. The influences of padeye thickness and clearance ratio on contact stress are analyzed. It is shown that the new expressions account for a better representation of the real stress value and distribution. By applying the strength check formula presented in the paper, the safe reliability of structure design can be improved significantly.

Sign in / Sign up

Export Citation Format

Share Document