Πρότυπο LaTeX Springer LNCS (llncs)

Το επίσημο πρότυπο Springer LNCS είναι η κλάση llncs, από το CTAN ή τις οδηγίες πρακτικών της Springer. Το Scissor LaTeX έχει μια δωρεάν διάταξη που τη μιμείται, για προσχέδια στο πρόγραμμα περιήγησης, χωρίς λογαριασμό: ξεκινήστε από το πρότυπο LNCS ή γράψτε \documentclass[runningheads]{llncs}, για μία στήλη με αριθμημένα ιδρύματα και τα περιβάλλοντα θεωρημάτων της κλάσης. Το ίδιο .tex μεταγλωττίζεται με την επίσημη κλάση.

Άνοιγμα του προτύπου LNCS στον επεξεργαστή Δωρεάν, στο πρόγραμμα περιήγησης, χωρίς λογαριασμό

Το πρότυπο

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

Ενεργοποίηση

Το llncs είναι κλάση εγγράφου:

\documentclass[runningheads]{llncs}

Η διάταξη είναι το μπλοκ κειμένου του LNCS (12.2 επί 19.3 cm, μία στήλη) κεντραρισμένο σε χαρτί Letter, ή σε A4 με την επιλογή a4paper, στοιχειοθετημένο σε Latin Modern στα 10 pt. Το runningheads προσθέτει τον σύντομο τίτλο και τη λίστα συγγραφέων στο πάνω μέρος των σελίδων μετά την πρώτη, με τον αριθμό σελίδας· χωρίς αυτό οι σελίδες δεν έχουν κεφαλίδα.

Συγγραφείς με ιδρύματα, ORCID, λέξεις-κλειδιά και ένα θεώρημα

LaTeXΑντιγραφήΆνοιγμα στον επεξεργαστή (ανοίγει σε νέα καρτέλα)

\documentclass[runningheads]{llncs}
\usepackage{amsmath}

\begin{document}
\title{Bounded Model Checking of Timed Message Protocols}
\titlerunning{Bounded Model Checking of Timed Protocols}
\author{Erika Mustermann\inst{1}\orcidID{0000-0000-0000-0044} \and
John Doe\inst{2}}
\authorrunning{E. Mustermann and J. Doe}
\institute{Example University, Musterstadt, Germany\\
\email{erika.mustermann@example.org} \and
Institute of Example Studies, Exampleton, USA}
\maketitle

\begin{abstract}
We encode timed protocols as SMT problems and check them up to a bound.
\keywords{Model checking \and Timed automata \and SMT.}
\end{abstract}

\section{Introduction}
\begin{definition}
A run of a protocol is a finite sequence of states $s_0, \dots, s_k$.
\end{definition}

\begin{theorem}\label{thm:bound}
Every run of a protocol with 44 nodes reaches a fixed point within $2n$ steps.
\end{theorem}

\begin{proof}
By induction on the number of pending messages. \qed
\end{proof}

Theorem~\ref{thm:bound} gives the bound we use.
\end{document}

Καρτέλα Προβλήματα: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Εντολές της κλάσης

Οι επικεφαλίδες ακολουθούν την κλάση: «1 Introduction» και «1.1» με έντονα, με το \subsubsection ως μικρή έντονη επικεφαλίδα σε δική της γραμμή (η κλάση το ενσωματώνει στην παράγραφο). Οι λεζάντες σχημάτων και πινάκων γράφουν «Fig. 1.» και «Table 1.».

Βιβλιογραφία

Το πρότυπο χρησιμοποιεί \bibliographystyle{splncs04}, που το Scissor LaTeX στοιχειοθετεί με το στυλ παραπομπών Springer LNCS: αριθμημένες εγγραφές και παραπομπές [1]. Δείτε βιβλιογραφίες.

Τι διαφέρει από το llncs

Για την υποβολή, πάρτε το llncs.cls από το CTAN (llncs), όπου βρίσκεται και η τεκμηρίωση της κλάσης, ή από τις οδηγίες πρακτικών της Springer. Το αρχείο .tex σας μεταγλωττίζεται με αυτό χωρίς αλλαγές. Δείτε τα πρότυπα που μιμούνται συνέδρια για τις άλλες διατάξεις και τα θεωρήματα και αποδείξεις για τα περιβάλλοντα θεωρημάτων γενικά.

Κάθε παράδειγμα σε αυτή τη σελίδα στοιχειοθετείται από το Scissor LaTeX κατά τη δημιουργία του ιστότοπου. Τελευταία ενημέρωση: 2026-11-07.