查看: 11339|回复: 14
怎样像使用定理theorem一样使用\begin{definition}-有源码和.log
本帖最后由 lilian 于
15:55 编辑
已经解决---
终于脑袋开窍了... 汗...
衷心感谢一直耐心指点的hy_haoyun
源码和.log见7#和8#楼
在网上找到这么一段代码，但用了后总报错
\documentclass{article}
\usepackage{mdwlist,
% change section to chapter in the next two lines for book or report class
\newcounter{definition}[section]
\renewcommand{\thedefinition}{\thesection.\arabic{definition}}
\newcommand{\definitionname}{Definition}
\newlength{\deflabelwidth}
\newenvironment{definition}[1]{%
&&\par\medskip\noindent
\refstepcounter{definition}%
&&\textbf{\definitionname~\thedefinition} (#1)
&&\settowidth{\deflabelwidth}{w}%
\addtolength{\leftmargini}{-\deflabelwidth}
&&\renewcommand{\labelenumi}{%
& & (\hbox to\deflabelwidth{\hss\alph{enumi}\hss})}
&&\begin{enumerate*}
&&\end{enumerate*}
\begin{document}
\section{Test}
\lipsum[1]
\begin{definition}{Mathematics}
&&\item is the study of patterns and structures.
&&\item is the manipulation of numbers.
\end{definition}
\lipsum[2]
\end{document}
总觉得哪个宏包里应该有这个enviroment的定义了，但搜了好多网页，就是找不到
试了一下你的代码，没什么错误啊，是不是你的系统有什么问题？
你的错误信息是什么？
& & 学着用：amsthm,ntheorem,thmtools,等宏包。
试了一下你的代码，没什么错误啊，是不是你的系统有什么问题？
你的错误信息是什么？
superdummy 发表于
一开始是说enumerate没有定义
加上\usepackage{enumerate},又报一种奇怪的错误，看了错误的定位，不在我的源文件里
我就没有接着用这段代码了---主要是，我一直觉得，\begin{definition}应该在什么宏包里早有定义，不必从头自己写了
回复&&lilian
& & 学着用：amsthm,ntheorem,thmtools,等宏包。
hy_haoyun 发表于
这几个宏包都要用吗？还是只要用其中一个就好了？
第一个我用过，包括名字也包括ams的另外两个宏包，不过，begin{definition}还是报错
下面这个帖子：
解决宏包冲突最直接的办法就是精简宏包.
如果使用 amsart 类, 则 amsmath, amsthm, amsfonts, ntheorem 这些包都可以不要.
要达成楼主想要的效果（使幻灯片中定理等中的内容是楷书而不是难看的斜体汉字，给自己和答辩老师一个完美的视觉。）, 除了将上面的宏包去掉以外, 再把 CJK 换成 ctex 就 OK.
我本来就用的是ctexbook
这么说来，似乎不需要这些宏包了，为什么一个普通的begin{definition}都不能通过呢（以前用别的模板，编译成功的）
源代码---蓝色部分报错：
! LaTeX Error: Environment definition undefined.
See the LaTeX manual or LaTeX Companion for explanation.
Type&&H &return&&&for immediate help.
...& && && && && && && && && && && && && && && &
& && && && && && && && && && && && && && && && &&&
l.158 \begin{definition}
& && && && && && && && &\label{def_chp_models_TU} %1
\documentclass[fancyhdr,twoside,cs4size,UTF8]{ctexbook} %,12pt,amstex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{amsthm,amsmath,amssymb} %\begin{proof}
\usepackage{thmtools}
\usepackage{ccmap} %PDFLaTeX制作可查找/复制/粘贴的PDF文件
\usepackage[top=2.54cm,bottom=2.54cm,left=3cm,right=3cm]{geometry}
\usepackage{color,xcolor}
\usepackage{graphicx}
\usepackage{float}
%\usepackage{ncctheorems} % \definitionname环境
\usepackage{enumitem}
\setenumerate[1]{itemsep=0pt,partopsep=0pt,parsep=\parskip,topsep=5pt}
\setitemize[1]{itemsep=0pt,partopsep=0pt,parsep=\parskip,topsep=5pt}
\setdescription{itemsep=0pt,partopsep=0pt,parsep=\parskip,topsep=5pt}
\usepackage{array}%tabularx 需要事先调用array宏包
\usepackage{tabularx}%加载tabularx宏包
\usepackage{setspace}
%\usepackage{pgfplots}
\usepackage[numbers,super,sort&compress]{natbib} %thu
%\usepackage{hyperref}
\usepackage[draft=false,colorlinks=true,CJKbookmarks=true,colorlinks,linkcolor=red,anchorcolor=blue,citecolor=green]{hyperref}%彩色链接
%如果您的pdf制作中文书签有乱码，如下命令就OK了；
%pdflatex,pdftex这里决定运行文件的方式不同；
%注释掉此项则交叉引用为彩色边框(将colorlinks和pdfborder同时注释掉)
%\usepackage[dvipdfm,pdfstartview=FitH,CJKbookmarks=true,bookmarksnumbered=true,bookmarksopen=true,
%colorlinks,pdfborder=001,linkcolor=green,anchorcolor=green,citecolor=green]{hyperref}
%\usepackage[pdfstartview=FitH,CJKbookmarks=true,bookmarksnumbered=true,bookmarksopen=true,colorlinks,pdfborder=001,linkcolor=green,anchorcolor=green,citecolor=green]{hyperref}
\usepackage[refpage,intoc]{nomencl} %词汇对照表
\makenomenclature
\renewcommand{\pagedeclaration}[1]{\hspace*{\fill}P~#1}
\usepackage{subfig}
\usepackage{xautoref}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\upcite}[1]{\textsuperscript{\cite{#1}}} %自定义新命令\upcite, 使参考文献引用以上标出现
% \newcommand{\revised}[1]{\textcolor{red}{{\bf #1}}}%注释掉该行，生成没标记的
\newcommand{\revised}[1]{#1} %注释掉该行，生成有标记的（红色，黑体）
\newcommand{\Revised}[1]{#1} %注释掉该行，生成有标记的（蓝色，黑体）
%~~~~~~~~~~~~~~~~~
\newcommand{\RRevised}[1]{\textcolor{magenta}{{\bf #1}}}%green 注释掉该行，生成没标记的
%\newcommand{\RRevised}[1]{#1} %注释掉该行，生成有标记的（藕荷色，黑体）
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\partautorefname{第}%
\def\chapterautorefname{第}%
\def\sectionautorefname{第}%
\def\partautorefpostname{篇}%
\def\chapterautopostrefname{章}%
\def\sectionautopostrefname{节}%
\def\appendixautorefname{附录}%
\def\equationautorefname{式}%
\def\footnoteautorefname{脚注}%
\def\figureautorefname{图}%
\def\tableautorefname{表}%
\def\subsectionautorefname{小节}%
\def\paragraphautorefname{段落}%
\def\subparagraphautorefname{子段落}%
\def\FancyVerbLineautorefname{行}%
\def\itemautorefname{项}%
\def\propertyautorefname{性质}%
\renewcommand\tableautorefname{表}
\renewcommand\theoremautorefname{定理}%
\renewcommand\corollaryautorefname{推论}
\renewcommand{\lemmaautorefname}{引理}
\renewcommand{\definitionautorefname}{定义} %
%\newtheorem{lemma}{引理} %
%\newcommand{\reflem}[1]{\hyperref[#1]{引理~\ref{#1}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\setlength\abovedisplayskip{5pt}
\setlength\abovedisplayshortskip{5pt}
\setlength\belowdisplayskip{5pt}
\setlength\belowdisplayshortskip{5pt}
\providecommand{\abs}[1]{\lvert#1\rvert}
\providecommand{\norm}[1]{\lVert#1\rVert}
\CTEXsetup[number={\arabic{chapter}}]{chapter}
\CTEXoptions[figurename={图},tablename={表},listfigurename={表格目录},listtablename={插图目录},contentsname={目录},bibname={参考文献}]
\graphicspath{{figures/}}
\frontmatter
\input{data/cover}
% 主要符号对照表---
\renewcommand{\nomname}{主要符号对照表}
\RRevised{\printnomenclature[1in]}
%\printnomenclature[1in]
\fancyhead{} %清除
\fancyhead[LO,RE]{\zihao{-5} \songti {南京邮电大学博士研究生学位论文} \hfill \leftmark}
% 插图索引
\listoffigures
% 表格索引
\listoftables
\tableofcontents
%%% 正文部分
\mainmatter
%\input{data/introduction}
%\input{data/models_technologies}
\begin{definition}\label{def_chp_models_TU} %1
一个支付可转移的联盟博弈可以表示为$&\mathbf{N},v&$，其中$\mathbf{N}$为所有博弈成员的集合，特征函数$v(\mathbf{S})$为每个联盟确定其联盟值，定义为$v(\mathbf{S}):2^{|\mathbf{N}|} \rightarrow R, \forall \mathbf{S} \subseteq \mathbf{N}$。
\end{definition} 本文具体内容安排如下：\revised{\xautoref{Intro}章}回顾了基于合作博弈论的协作频谱共享研究的发展，对其现状作了综述，从协作传输、协作激励以及网络形成与拓扑控制研究等几个方面对频谱共享的合作博弈模型进行了重点研究，分析了合作博弈论在无线频谱共享方面应用的技术路线和发展方向，给出了全文的总体研究思路和主要工作
%% 其它部分
\backmatter
% 参考文献
\bibliographystyle{plain} %amsplain
\bibliography{ref/lcl_thesis}
\end{document}
回车继续编译，还会报出如下错误：
! LaTeX Error: \begin{CJK*} on input line 74 ended by \end{definition}.
See the LaTeX manual or LaTeX Companion for explanation.
Type&&H &return&&&for immediate help.
...& && && && && && && && && && && && && && && &
& && && && && && && && && && && && && && && && &&&
l.160 \end{definition}
& && && && && && && &
! Package CJK Error: Invalid character code.
See the CJK package documentation for explanation.
Type&&H &return&&&for immediate help.
...& && && && && && && && && && && && && && && & & && && && && && && && && && && && && && && && &&&
l.162 ...排如下：\revised{\xautoref{Intro}章}
& && && && && && && && && && && && && && && && &&&回顾了基于合作博��...
前面蓝色部分的错误应该是和definition没有定义有关，
红色部分是另外一个困扰了我两天的一个问题
& & 建议楼主花半天时间看一个入门文档，否则这样模棱两可的会不断遇到数不清的问题。关于定义定理，参考我上面给出的任何一个（只要一个即）的文档。关于enumerate,可以不用任何宏包支持，宏包只是拓展了功能。
回复&&lilian
& & 建议楼主花半天时间看一个入门文档，否则这样模棱两可的会不断遇到数不清的问题。关 ...
hy_haoyun 发表于
好的，tex的环境实在是太多，变化也快
经常是，已经编译成功的代码，突然又不好用了
现在我刚换成用ctex宏包，不知道有没有专门针对这个的入门文档--ctex宏包69页的那个文档，一直在参考
去搜搜看了
Powered by2009年 总版技术专家分年内排行榜第四
2009年2月 总版技术专家分月排行榜第一2009年1月 总版技术专家分月排行榜第一2008年11月 总版技术专家分月排行榜第一2008年10月 总版技术专家分月排行榜第一2008年9月 总版技术专家分月排行榜第一2008年8月 总版技术专家分月排行榜第一2008年7月 总版技术专家分月排行榜第一2008年6月 总版技术专家分月排行榜第一2008年5月 总版技术专家分月排行榜第一2008年4月 总版技术专家分月排行榜第一
2009年 总版技术专家分年内排行榜第四
2009年2月 总版技术专家分月排行榜第一2009年1月 总版技术专家分月排行榜第一2008年11月 总版技术专家分月排行榜第一2008年10月 总版技术专家分月排行榜第一2008年9月 总版技术专家分月排行榜第一2008年8月 总版技术专家分月排行榜第一2008年7月 总版技术专家分月排行榜第一2008年6月 总版技术专家分月排行榜第一2008年5月 总版技术专家分月排行榜第一2008年4月 总版技术专家分月排行榜第一
本帖子已过去太久远了，不再提供回复功能。1.3高级语言解释系统；为了实现在一个计算机上运行高级语言的程序,主要有；解释程序直接对源程序中的语句进行分析，执行其隐含；解释程序直接输出结果4；编译系统生成的目标代码由计算机执行才能生成结果；据说第一个编译程序的出现是在20世纪50年代早期；随着并行技术和并行语言的发展，处理并行语言的并行；编译实现方式的发展－手工机器语言汇编；系统程序设计语言－自动构造
1.3 高级语言解释系统
为了实现在一个计算机上运行高级语言的程序,主要有两个途径：第一个途径是把该程序翻译为这个计算机的指令代码序列，这就是我们已经描述的编译过程。第二个途径是编写一个程序，它解释所遇到的高级语言程序中的语句并且完成这些语句的动作，这样的程序就叫解释程序。从功能上说，一个解释程序能让计算机执行高级语言。它与编译程序的主要不同是它不生成目标代码，它每遇到一个语句，就要对这个语句进行分析以决定语句的含义，执行相应的动作。下面的图示意了它的工作机理。 解释程序直接对源程序中的语句进行分析，执行其隐含的操作。
如执行下面的程序：
解释程序直接输出结果 4。而编译程序则生成目标代码，诸如：
movf #2, b
movf b , R1
addf #2, R1
movf R1, a
编译系统生成的目标代码由计算机执行才能生成结果。使用编译系统时会区分编译阶段和运行阶段，编译阶段对源程序进行编译，运行阶段是指目标程序的运行。而解释系统则是边解释边执行。从存储组织来看，在编译阶段，存储区一般要有源程序缓冲区，目标代码缓冲区，名字表以及编译程序使用的源程序中间表示和各种表格等等。在运行阶段，存储区只有目标代码和数据区了。对解释系统来说，在它工作的自始至终，存储区中要有源程序，名字表，标号表等表格，输入输出缓冲区以及数据区等等... 1.4 编译技术的发展和应用
据说第一个编译程序的出现是在20世纪50年代早期，很难讲出确切的时间，因为当初大量的实验和实现工作是由不同的小组独立完成的，多数早期的编译工作是将算术公式翻译成机器代码。用现在的标准来衡量，当时的编译程序能完成的工作十分初步，如只允许简单的单目运算，数据元素的命名方式有很多限制。然而它们奠定了对高级语言编译系统的研究和开发的基础。20世纪50年代中期出现了FORTRAN等一批高级语言，相应的一批编译系统开发成功。随着编译技术的发展和社会对编译程序需求的不断增长，20世纪50年代末有人开始研究编译程序的自动生成工具，提出并研制编译程序的编译程序。它的功能是以任一语言的词法规则、语法规则和语义解释出发，自动产生该语言的编译程序。目前很多自动生成工具已广泛使用，如词法分析程序的生成系统LEX，语法分析程序的生成系统YACC等。20世纪60年代起，不断有人使用自展技术来构造编译程序。自展的主要特征是用被编译的语言来书写该语言自身的编译程序。1971年，PASCAL的编译程序用自展技术生成后，其影响就越来越大。
随着并行技术和并行语言的发展，处理并行语言的并行编译技术，将串行程序转换成并行程序的自动并行编译技术也正在深入研究之中。 另外嵌入式应用迅速增长的需求，推动了交叉编译技术的发展.还有系统芯片设计方法和关键EDA技术的研究，也带动了专用语言VHDL等及其编译技术的不断深化。 编译实现方式的发展
系统程序设计语言
－自动构造工具lex yacc gcc 推动编译技术发展的因素
语言范型（计算模式）
计算机体系结构 语言范型
－命令式(imperative language)
－应用式(applicative)
－基于规则的（rule-based）
－面向对象的（object-oriented）
－并行计算(parallel computing) 体系结构
－万诺曼机体系结构
－并行体系结构
－嵌入系统
编译程序执行环境
－交互环境
－嵌入系统环境 为了提高软件开发的效率和保证质量，人们除了要在软件工程中对软件开发过程所要遵循的规范化或标准化外，还尽量使用先进的软件开发技术和相应的软件工具，而大部分软件工具的开发，常常要用到编译技术和方法。实际上编译程序本身也是一种软件开发工具。为了提高编程效率，缩短调试时间，软件工作人员研制了不少对源程序处理的工具。这些工具的开发不同程度地用到编译技术和方法。下面仅是一些例子。 1、语言的结构化编辑器 结构化编辑器是引导用户在语言的语法制导下编制程序，能自动地提供关键字和与其匹配的关键字，如if后必须有then，begin和end的配对，左右括号的配对等，这样可以减少语法上的错误，可加快对源程序的调试，提高效率和质量。
2、语言程序的调试工具 调试是软件开发过程中一个重要环节，结构化编辑器只能解决语法错误的问题，而对一个已通过编译的程序来说，需进一步了解的是程序执行的结果与编程人员的意图是否一致，程序的执行是否实现预计的算法和功能。这种对算法的错误或程序没能反应算法的功能等错误就需用调试器来协助解决。调试器的功能愈强，实现愈复杂，但它必须与语法分析、语义处理有紧密联系。
3、语言程序测试工具 语言程序的测试工具有两种：静态分析器和动态测试器
静态分析器是对源程序进行静态地分析。它对源程序进行语法分析并制定相应表格，检查变量定值与引用的关系。如某变量未被赋值就被引用，或定值后未被引用，或多余的源代码等一些编译程序的语法分析发现不了的错误。动态测试工具是在源程序的适当位置插入某些信息，并用测试用例记录(显示语句或函数)程序运行时的实际路径。将运行结果与期望的结果进行比较分析，帮助编程人员查找问题。这种测试工具在国内已有开发，如FORTRAN语言和C语言的测试工具。
4、高级语言之间的转换工具 由于计算机硬件的不断更新换代，更新更好的程序设计语言的推出为提高计算机的使用效率提供了良好条件，然而一些已有的非常成熟的软件如何在新机器新语言情况下使用呢?为了减少重新编制程序所耗费的人力和时间，就要解决如何把一种高级语言转换成另一种高级语言，乃至汇编语言转换成高级语言的问题。这种转换工作要对被转换的语言进行词法和语法分析，只不过生成的目标语言是另一种高级语言而已。这与实现一个完整的编译程序相比工作量要少些。在国内已研制出C，PASCAL，FORTRAN到Ada的翻译器和IBM 4700汇编到C的转换器，其效果很好。近年来,由于JAVA语言的发展,国内外也已研制出不少其他语言到JAVA的转换系统,如c到JAVA的转换系统,cobol到JAVA的转换系统等等。 【本章小结】
1.从功能上说编译程序是一个翻译程序，将高级语言的程序翻译成低级语言的程序。
2.以源程序在编译过程中的不同表示形式初步理解编译各阶段的工作。
3.不会有很多人会从事设计和编写编译程序的工作的，但编译技术会应用在很多领域。
4.有关术语：源语言，源程序，目标语言，目标程序，语言转换系统，编译程序的T型图表示。
【思考题】
① 为什么需要编译程序？
② 用源程序片段
if (a>=b+1)
为例，考虑编译过程中它可能的不同表示形式来理解编译各阶段的工作。
③ 比较你所使用过的一些语言的编译程序：他们的编译速度，出错信息的可读性，有无优化选择等等。
三亿文库包含各类专业文献、幼儿教育、小学教育、专业论文、应用写作文书、文学作品欣赏、生活休闲娱乐、高等教育、编译原理高级语言解释系统(希赛教育基础学院)92等内容。　
　编译原理试卷答案练习题_院校资料_高等教育_教育专区...4-06.自顶向下的语法分析方法的基本思想是:从文法...系统 (2) a.高级语言程序和低级语言程序 b.解释... 　希赛教育专家亲临讲解软件设计师各科目复习方法_IT认证...程序设计语言包括 C 语言、编译原理和面向对象的程序...(6)操作系统。操作系统没什么说得了,把它的几个... 　高级语言解释系统 为了实现在一个计算机上运行高级语言的程序,主要有两个途径:第一个途径是把该程序翻译为这个计 算机的指令代码序列,这就是我们已经描述的编译... 　编译原理高级语言解释系统... 暂无评价 3页 免费 基于三层架构的教育城域网.....数据库系统教材学习第一章引言(希赛教育基础学院)数据库系统教材学习第一章引言(... 　编译原理高级语言解释系统... 暂无评价 3页 免费 编译原理 第二章 pl0编译程...本文转载自希赛教育基础学院本文转载自希赛教育基础学院隐藏&& 2.2 PL/0 编译... 　编译原理PL0编译程序的实现1(希赛教育基础学院)_教育学_高等教育_教育专区。本文转载自希赛教育基础学院今日推荐 88份文档 2014年全国注册造价工程师 ... 　关键词:编译原理 1/2 相关文档推荐 编译原理高级语言解释系统... 暂无评价 3...编译原理第二三章教材学习(希赛教育基础学院) 编译原理教材学习,其余章节编译原理... 　个人征信基础数据库系统... 35页 免费 编译原理高级语言解释系... 暂无评价 ...★ 第二章 实体-联系模型【学习目标】本章是数据库设计的基础,课程从介绍实体...