scholarly journals Research on Intelligent Transportation Construction Model Based on Computer Technology

2021 ◽  
Vol 1915 (2) ◽  
pp. 022008
Author(s):  
Chen Chen ◽  
Yandang Jia
Keyword(s):  
Computer Technology ◽  
Intelligent Transportation ◽  
Model Based ◽  
Transportation Construction ◽  
Construction Model

scholarly journals Correct by construction model based design for systems and software

2018 ◽  
Author(s):  
Εμμανουέλα Στάχτιαρη
Keyword(s):  
Model Based ◽  
Construction Model

Η παρούσα διατριβή εισάγει τεχνικές για την αυστηρή και από κατασκευής ορθή σχεδίαση συστημάτων. Ειδικότερα, εστιάσαμε στο πώς μπορούμε να παράγουμε και να επικυρώνουμε ένα λειτουργικό μοντέλο της εφαρμογής που προκύπτει από ένα σύνολο απαιτήσεων ή από τον κώδικα της εφαρμογής. Αρχικά, ασχοληθήκαμε με την πρώιμη επικύρωση των απαιτήσεων και της σχεδίασης του συστήματος, ώστε να εξαλειφθεί η ανάγκη επαλήθευσης εκ των υστέρων και να περιοριστούν οι έλεγχοι επικύρωσης κατά τα τελευταία στάδια ανάπτυξης. Δεύτερον, εστιάσαμε στην αυτόματη δημιουργία λειτουργικών μοντέλων εφαρμογών από προγράμματα με εμφωλευμένη σύνταξη, διατηρώντας τη σημασιολογία των προγραμμάτων. Τέλος, προτείναμε μία ροή σχεδίασης που αποσκοπεί στη διατήρηση της συνέπειας μεταξύ του λειτουργικού μοντέλου και του κώδικα εφαρμογής μέσω της χρήσης μιας νέας γλώσσας ειδικού σκοπού, κατάλληλης για τη σχεδίαση συστημάτων περιορισμένων πόρων του διαδικτύου των αντικειμένων.

Research on Rural Electric Business Construction Model Based on B/S Model

2016 ◽  
Vol 13 (12) ◽  
pp. 9927-9931
Author(s):  
Xilian Huang ◽  
Jun Dan ◽  
Ruwei Tang
Keyword(s):  
Model Based ◽  
Construction Model ◽  
S Model

Trusted Software Construction Model Based on Trust Shell

2011 ◽  
Vol 186 ◽  
pp. 251-255 ◽  
Author(s):  
Jun Feng Tian ◽  
Ye Zhu
Keyword(s):  
Information Entropy ◽  
Simulation Experiment ◽  
Trusted Computing ◽  
Check Point ◽  
Practical Application ◽  
Model Based ◽  
Methods And Techniques ◽  
Software Construction ◽  
Construction Model ◽  
Development Methods

Due to not considering the guaranty of trustiness, traditional software development methods and techniques lack effective measures for ensuring trustiness. Combining agent technique with trusted computing provided by TPM, a trusted software construction model based on Trust Shell (TSCMTS) is demonstrated in this paper, where Trust Shell is responsible for ensuring the trustiness of software logically. In particular, for the purpose of improving the accuracy of trustiness constraints, a strategy of determining multiple attributes’ weights by information entropy for check point is proposed. Both simulation experiment results and practical application indicate that the TSCMTS is of effective trustiness and reasonable performance overhead.

scholarly journals Poetical patterns in Nichita Stănescu’s poems

2016 ◽  
Vol 7 (2) ◽  
pp. 316-327
Author(s):  
Alina Roiniță
Keyword(s):  
Model Based ◽  
Collective Work ◽  
Linguistic Model ◽  
Analysis Pattern ◽  
The Creation ◽  
Construction Model

Through our study we have established a potential pattern of analysis over the aspect of poetical language. The theme was determined by the purpose of implementing the particular linguistic model created by N. Stănescu, which we call the nichitastănescu pattern. We exemplified the model by identifying the compositional values and the structures that contribute to the creation of a linguistic frame built to measure the main semantics, through which the poetical language is internalized and aestheticized. We also use a specific poetical construction model based on the triadic analysis pattern proposed by the French semiotics group entitled Groupe  μ, in their collective work Rhétorique de la poésie: lecture linéaire, lecture tabulaire, published in 1977.                The value of this study consists in a detailed view over the textual dimensions of expressiveness and significations in the poetical language used by Nichita Stănescu. Throughout his lyrics, the named poet reveals the uniqueness of his specific poetical language in contrast with other Romanian poets.

Sign in / Sign up

Export Citation Format

Share Document