Mẫu LaTeX Springer LNCS (llncs)

Mẫu Springer LNCS chính thức là lớp llncs, có trên CTAN hoặc trong hướng dẫn kỷ yếu của Springer. Scissor LaTeX có một bản mô phỏng miễn phí để soạn nháp trong trình duyệt, không cần tài khoản: bắt đầu từ mẫu LNCS, hoặc viết \documentclass[runningheads]{llncs}, để có bố cục một cột với các đơn vị được đánh số và các môi trường định lý của lớp. Cùng tệp .tex đó biên dịch được với lớp chính thức.

Mở mẫu LNCS trong trình soạn thảo Miễn phí, trong trình duyệt, không cần tài khoản

Mẫu

Mẫu LNCS là một bài báo về phương pháp hình thức, nói về kiểm chứng mô hình có giới hạn, với ba tác giả thuộc hai đơn vị, từ khóa, một định nghĩa, một định lý kèm chứng minh, một biểu đồ thang logarit, một bảng booktabs, một mục credits và tài liệu tham khảo được đánh số. Mở mẫu LNCS trong trình soạn thảo để xem toàn bộ.

Bật bố cục

llncs là một lớp tài liệu:

\documentclass[runningheads]{llncs}

Bố cục là khối văn bản LNCS (12.2 x 19.3 cm, một cột) đặt giữa trang giấy Letter, hoặc A4 với tùy chọn a4paper, dùng phông Latin Modern cỡ 10 pt. runningheads thêm tiêu đề ngắn và danh sách tác giả ở đầu các trang sau trang đầu, kèm số trang; không có nó thì các trang không có đầu trang.

Tác giả với đơn vị, ORCID, từ khóa và một định lý

LaTeXSao chépMở trong trình soạn (mở trong thẻ mới)

\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}

Thẻ Sự cố: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Các lệnh của lớp

Đề mục theo đúng lớp: "1 Introduction" và "1.1" in đậm, với \subsubsection được đặt thành một đề mục nhỏ in đậm trên dòng riêng (lớp gốc cho nó chạy liền vào đoạn văn). Chú thích hình và bảng ghi "Fig. 1." và "Table 1.".

Danh mục tài liệu tham khảo

Mẫu dùng \bibliographystyle{splncs04}, mà Scissor LaTeX trình bày theo kiểu trích dẫn Springer LNCS: các mục được đánh số và trích dẫn dạng [1]. Xem danh mục tài liệu tham khảo.

Khác biệt so với llncs

Để nộp bài, hãy lấy llncs.cls từ CTAN (llncs), nơi cũng có tài liệu của lớp, hoặc từ hướng dẫn kỷ yếu của Springer. Tệp .tex của bạn biên dịch được với nó mà không cần thay đổi. Xem mẫu mô phỏng hội nghị cho các bố cục khác và định lý và chứng minh cho các môi trường định lý nói chung.

Mọi ví dụ trên trang này đều được Scissor LaTeX dàn trang khi xây dựng trang web. Cập nhật lần cuối 2026-11-07.