兰州交通大学研究生毕业要求包括以下五个方面:1、学分要求:研究生必须修满规定的学分方可毕业。具体学分要求根据不同专业和学位类型而有所不同。2、课程要求:研究生必须完成规定的学位课程和专业课程,同时还要完成导师和学院要求的其他课程和学术活动。3、学位论文要求:研究生必须完成一篇符合学院和导师要求的学位论文,通过答辩并获得指导教师和评阅专家的认可。4、学位考试要求:研究生必须通过研究生学位考试,包括综合考试和学科考试。
兰州交通大学硕士论文字数要求不低于300字,不高于500字。
如下:
1、封面。采用学校规定的统一格式的封面,按要求填写论文题目、作者姓名、学号、指导教师姓名、学科(专业)学习形式、层次等内容。
2、中文摘要。中文摘要应简捷明了,字数为400字左右。内容包含本项毕业设计(论文)工作的目的、意义、研究方法、研究过程、研究成果及结论、关键词(3-5个)等。
3、外文摘要。外文摘要要求有论文题目,内容应与中文摘要相对应,要求用词准确、语法规范、意思完整。
4、目录。目录一般列至二级标题,文字表述与正文要一致,并标明页码。
5、正文。正文一般由标题、主体部分、图、表格和公式五个部分构成。
6、设计图纸。图号按章序编号,如图3—2为第三章第二图。如果图中含有几个不同部分,应将分图号标注清楚,并在图题下列出各部分内容。
7、参考文献。正文中按引用顺序在参考文献出处的文字右角上用[ ]标明,[ ]中序号应与“参考文献”中序号一致,正文之后则应列出参考文献。作者阅读的参考文献中应包含一定的外文文献,并翻译一定数量的外文文献或写出一定量的阅读笔记。
8、附录。
9、致谢。
撰写本科毕业设计(论文)字数的原则要求是:
设计类:设计绘图量不少于折合成为 A0 号的图纸 2 张,设计说明书的字数不少于 1. 5 万字。
论文类:理工类全文不少于 2 万字;经管类全文不少于 1. 5 万字;外语专业论文全文不少于 5000 个外文单词。各专业根据本专业特点可适当提高分量要求。
楼上说的似乎都太小儿科了,楼主想必是要发表的那种,当然要正式一点.http://ptc3.fjpt.cn.net/sxx/jingpin/teachersemail/paper/5-guojunmo.doc这里的一篇是偏向交作业的下面一个是正式发表的双语版本张彧典人工证明四色猜想 山西盂县党校数学高级讲师用25年业余时间研究四色猜想的人工证明。在借鉴肯普链法和郝伍德范例正反两方面做法的基础上,独创了郝——张染色程序和色链的数量组合、位置(相交)组合理论,确立了仅包含九大构形的不可免集合,从而弥补了肯普证明中的漏洞。现贴出全文(中——英文对照)及参考文献的英译汉全文。欢迎各位同仁批评指正。最后特别感谢英国兰开斯特大学A.lehoyd、兰州交大张忠辅、清华大学林翠琴、上海师大吴望名四位教授的无私帮助。附:论文用“H·Z—CP“求解赫伍德构形张彧典 (山西省盂县县委党校 045100)摘要:本文根据色链的数量和位置组合理论,用赫伍德染色程序(简称H—CP)和张彧典染色程序(简称Z—CP)找到一个赫伍德构形的不可避免集。关键词:H—CP Z—CP H·Z—CP《已知的赫伍德范例》〔1〕对求解赫伍德构形有两大贡献。其一,提供了H—CP,使我们用它找到了赫伍德染色非周期转化的赫伍德构形组合;其二,范例2提供了赫伍德染色周期转化的赫伍德构形,使我们发现了Z—CP,解决了这种构形的正确染色。为下面讨论方便,先给出〔1〕文中赫伍德构形的最简单模型。如图1所示:四色用A、B、C、D表示,待染色区V用小圆表示,其五个邻点染色用A1、B1、B2、C1、D1表示,形成的五边形区域叫双B夹A型中心区。中心区外有A1—C1链、A1—D1链(因它们的首尾分别被V连成环,故叫环,以便与开放链区分),其中还有B1—D2链、B2—C2链,A1、A2被C2—D2链隔开。其余赫伍德构形类同。在我们所设的模型中,再添加一些不同的色链后就构成许多不同的标准三角剖分图(记为G′)。当借助H—CP对它们求解时发现,其中色链的不同数量组合和相交组合直接影响解法上的差异。现在具体确立赫伍德构形的不可避免集。在后面图解中,画小横线者表示环,画粗线者表示两点以上染色互换的链,B(D)等表示一个点的染色互换。如图2: 设图1中有B1-A2链、D1-C2链(也可以是B2-A2链)存在时。其解法是:在A1—C1环内作B、D互换,生成新的A—D环(生不成情形归于下一种构形),再作A—D环外的C、B互换,可给V染C色。如图3:设图1中有C1-D2链、D1-C2链存在时。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成新的A—C环(生不成情形归于下一种构形);再作A—C环内的B、D互换,可给V染B色。如图4:设图1中有C1-D2链、B2-A2链存在时。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成B—D环;作B—D环内的A、C互换,生成新的B—C环(生不成情形归于下一种构形);再作B—C环内的D、A互换,可给V染D色。如图5:设图4中B1-D2链与A1-D1环相交,这时有B1-A3、C1-A3生成。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成B—D环;作B—D环内的A、C互换,生成A—D环;作A—D环外的C、B互换,生成新的B—D环(生不成情形归于下一种构形);再作B—D环外的A、C互换,可给V染A色。如图6:设图5中C1-D2链与A1-C1环相交,为简单起见,将C1-D2链在A1-C1环外的D色点均改染B色,见图中B(带圈子的)。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成B—D环;作B—D环内的A、C互换,生成A—D环;作A—D环外的C、B互换,生成A—C环;作A—C环外的B、D互换,生成新的A—D环(生不成情形归于下一种构形);再作A—D环内的C、B互换,可给V染C色。如图7:设图6中B1-D2链再与B1-A3链相交,为简单起见,将B1-A3链在B1-D2链内侧的A色点均改染C色,见图中C(带圈子的)。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成B—D环;作B—D环内的A、C互换,生成A—D环;作A—D环外的C、B互换,生成A—C环;作A—C环外的B、D互换,生成B—C环;作B—C环内的D、A互换生成新的A—C环(生不成情形归于下一种构形);再作A—C环内的B、D互换,可给V染B色。如图8:设图7中有B1-D2链与C1-D2链在A1-C1环内相交。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成B—D环;作B—D环内的A、C互换,生成A—D环;作A—D环外的C、B互换,生成A—C环;作A—C环外的B、D互换,生成B—C环;作B—C环内的D、A互换生成B—D环;作B—D环外的A、C互换,生成新的B—C环(生不成情形归于下一种构形);再作B—C环内的D、A互换,可给V染D色。图9:设图8中有B2-A2链与A1-D1环相交。其解法是:在A1—C1环内作B、D互换,生成B—C环;作B—C环外的D、A互换,生成B—D环;作B—D环内的A、C互换,生成A—D环;作A—D环外的C、B互换,生成A—C环;作A—C环外的B、D互换,生成B—C环;作B—C环内的D、A互换生成B—D环;作B—D环外的A、C互换,生成A—D环;作A—D环内的C、B互换,生成新的B—D环;(生不成情形归于下一种构形)再作B—D环内的A、C互换,可给V染A色。如图10:这是一个十折对称的赫伍德构形。即在图3中,按图6的相交组合方式设C1—D2链与A1—C1环相交,D1—C2链与A1—D1环相交,C1—D2链在A1—C1环外的D色点与D1—C2链在A1—D1环外的C色点均改染B色,见图中B(带圈子的)。;再设改染成的C—B链、D—B链对称相交。这个赫伍德构形就是〔1〕文中范例2的拓扑变换形式。对于图10如果沿用图2—9的求解方法,就会产生四个周期转化的赫伍德构形,无法得解。但是,四个连续转化的赫伍德构形有一个共同的染色特征,即都包含A—B环,于是产生了如下特殊的Z—CP:若已知的是第一(或三)图时,先作A—B环外的C,D互换,生成新的A—C,A—D(或B—C、B—D)环,再作B(D)、B(C)[或A(D)、A(C)]互换,使五边形五个顶点染色数减少到3。解如图10(1)和图10(3)。若已知的是第二(或四)图时,先作A—B环外的C,D互换,生成了新的B—C(或A—D)链,再作B—C(或A—D)链一侧的A(D)[或A(C)〕互换,使五边形五个顶点染色数减少到3。解如图10(2)和10(4)。下面从理论上证明图2—10组成的不可避免集的完备性。在已四染色的G’中,由A、B、C、D四色中任意二色组成的不同色链共C42(=6) 种。反映在赫伍德构形中,有始点终点均在中心区且相交的A1-C1环、A1-D1环,还有始点在中心区,终点在A1-C1、A1-D1二环交集区域边缘上的B1-D2、B1-A2(B2-A2)、B2-C2、C1-D2(D1-C2)四种链。这四种链在赫伍德构形中的不同数量组合共四组:B1-A2、B1-D2、B2-C2、B2-A2B1-A2、B1-D2、B2-C2、D1-C2C1-D2、B1-D2、B2-C2、B2-A2C1-D2、B1-D2、B2-C2、D1-C2而六种色链中任意两种色链的不同位置组合共C62(=15)组。其中有三组不可相交组合:A-B与C-D、A-C与B-D、A-D与B-C;还有12组可相交组合:A-B与A-C、A-D、B-C、B-D;A-C与A-D、B-C、C-D ;A-D与B-D、C-D;B-C与B-D、C-D;B-D与C-D。我们把上述六种色链的不同数量组合(4组)及不同位置组合(12组可相交的)作为两大变量,一共可得到16种不同组合的赫伍德构形;然后在“结构最简”和“解法相同”的约束条件下逐一检验,具体归纳为:图2——4体现四种不同数量组合,其中图2体现前两种组合;图5——9体现依次增多的相交组合,其中图9已包含了12种相交组合;图10体现特殊的数量组合和相交组合。到此,我们用“H·Z—CP”成功地解决了赫伍德构形的正确染色,从而弥补了肯普证明中的漏洞。参考文献:〔1〕、Holroyd,F.C.and Miller,R.G..The example that heawood shold have given Quart J Math.(1992). 43 (2),67-71附英文版Using H·Z-CP Solves Heawood ConfigurationZhang Yu-dianYu Xian Party School, Yu Xian 045100, Shanxi, ChinaAbstract: In this text, One Heawood configuration’s inevitable sets is found by using Heawoods-clouring procedure (abbreviated as H-CP) and Zhang Yu-dian clouring procedure (abbreviated as Z-CP), based on quantity and poison combination theory of coloring chain. And, one new procedure is found, which is named as H·Z-CP.Key words: H-CP Z-CP H·Z-CPIntroduceThesis [1] made two main contributions to solving Heawood configuration. One is H-CP, by using it Heawood-coloring aperiodic transform’s Heawood configuration sets was found. The other one, in example II[1], provided Heawood-coloring periodic transform’s Heawood configuration. With it, Z-CP was found, and solved correct coloring for this configuration.For the convenience of discuss, the simplest Heawood configuration model is given in [1] as follows.As shown in Fig. 1, A, B,C ,D denote four colors, one roundlet denotes section V to be dyed, A1, B1, B2,C1 ,D1, denote five adjacent points border upon V, the pentagon area that forms is defined as pairs of B & A embedded area. Outside of V is A1-C1 chain and A1-D1 chain (because the head and trail is looped by V separately, so called loop, in order to distinguish with others). And there are B1-D2 chain and B 2-C2 chain also. A1, A2 is separated by C2-D2 chain. The other Heawood configuration is similar.In this model, if add another coloring chain, many distinct normal triangle section map is formed(is G′). When to find the solution of map, it is found that distinct quantity combination and intersectant combination have effect on solution’s difference.As follows, the detailed Heawood configuration’s inevitable sets is given.ResultIt is defined in latter figure as: a small transverse thread denotes a loop, a thick thread denotes a chain in which two or more coloring changed. B(D) etc. denotes that one point’s coloring is changed.As shown in Fig. 2, if there are B1-A2 chain and D1-C2 chain in Fig. 1(can also be B2-A2 chain):Its solution is: in A1-C1 loop, B and D is interchanged, a new A-D loop is formed (if it can’t be formed, belongs to another configuration). Then, C and B outside A-D loop is interchanged, and then V can be dyed with C color.As shown in Fig. 3, if there are C1-D2 chain and D1-C2 chain in Fig. 1:Its solution is: in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new A-C loop is formed (if it can’t be formed, belongs to another configuration). Then, in A-C loop, B and D is interchanged, and then V can be dyed with B color.As shown in Fig.4, if there are C1-D2 chain and B2-A2 chain in Fig. 1:Its solution is: in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new B-D loop is formed , in B-D loop, A and C is interchanged, a new B-C loop is formed, (if it can't be formed, belongs to another configuration). Then, in B-C loop, D and A is interchanged, and then V can be dyed with D color.As shown in Fig.5, if B1-D2 chain and A1-D1 loop is intersectant in Fig. 4, new B1-A 3 loop and C1-A 3 loop are formed.Its solution is:in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new B-D loop is formed, in B-D loop, A and C is interchanged, a new A-D loop is formed, C and B outside A-D loop is interchanged, a new B-D loop is formed, (if it can't be formed, belongs to another configuration). Then, A and C outside B-D loop is interchanged, and then V can be dyed with A color.As shown in Fig.6, if C1-D2 chain and A1-C1 loop is intersectant in Fig. 5, for simplicity, D can be dyed with B color in C1-D2 chain outside A1-C1 loop. See ○B in Fig.6.Its solution is: in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new B-D loop is formed, in B-D loop, A and C is interchanged, a new A-D loop is formed, C and B outside A-D loop is interchanged, a new A-C loop is formed, B and D outside A-C loop is interchanged, a new A-D loop is formed, (if it can't be formed, belongs to another configuration). Then, in A-D loop, C and B is interchanged, and then V can be dyed with C color.As shown in Fig.7, if B1-D2 chain and B1-A3 loop is intersectant in Fig. 6, for simplicity, A can be dyed with C color in B1-A3 chain inside B1-D2 chain. See ○C in Fig. 7.Its solution is: in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new B-D loop is formed, in B-D loop, A and C is interchanged, a new A-D loop is formed, C and B outside A-D loop is interchanged, a new A-C loop is formed, B and D outside A-C loop is interchanged, a new B-C loop is formed, in B-C loop, D and A is interchanged, a new A-C loop is formed, (if it can't be formed, belongs to another configuration). Then, in A-C loop, B and D is interchanged, and then V can be dyed with B color.As shown in Fig.8, if B1-D2 chain and C1-D2 chain is intersectant inside A1-C1 loop in Fig. 7.Its solution is: in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new B-D loop is formed, in B-D loop, A and C is interchanged, a new A-D loop is formed, C and B outside A-D loop is interchanged, a new A-C loop is formed, B and D outside A-C loop is interchanged, a new B-C loop is formed, in B-C loop, D and A is interchanged, a new B-D loop is formed, A and C outside B-D loop is interchanged, a new B-C loop is formed, (if it can't be formed, belongs to another configuration). Then, in B-C loop, D and A is interchanged, and then V can be dyed with D color.As shown in Fig.8, if B2-A2 chain and A1-D2 loop is intersectant in Fig. 8.Its solution is: in A1-C1 loop, B and D is interchanged, a new B-C loop is formed, D and A outside B-C loop is interchanged, a new B-D loop is formed, in B-D loop, A and C is interchanged, a new A-D loop is formed, C and B outside A-D loop is interchanged, a new A-C loop is formed, B and D outside A-C loop is interchanged, a new B-C loop is formed, in B-C loop, D and A is interchanged, a new B-D loop is formed, A and C outside B-D loop is interchanged, a new A-D loop is formed, in A-D loop, C and B is interchanged, a new B-D loop is formed, (if it can't be formed, belongs to another configuration). Then, in B-D loop, A and C is interchanged, and then V can be dyed with A color.In Fig. 10, it is a ten-fold symmetrical Heawood configuration. Namely in Fig. 3, according intersectant combination method in Fig. 6,if C1-D2 chain and A1-C1 loop intersects, D1-C2 chain and A1-D1 loop intersects, D color point at C1-D2 chain outside A1-C1 loop and C color point at D1-C2 chain outside A1-D1 loop are both exchanged with B coloring, see ○B in Fig. 10. And then presume the exchanged C-B chain and D-B chain are symmetrically intersectant. This Heawood configuration is the topology transform form in example II [1].For Fig. 10, if using the solution way in Fig. 9, 4 periodic transform’s Heawood configurations will come into being, and will be no result. But there is a common coloring character for the 4 sequence transform Heawood configurations, namely, they all contain A-B loop. And then, as follows Z-CP comes into being.If Fig. 10(1) or 10(3) is known, firstly, C and D outside A-B loop interchanged, the new A-C loop and A-D loop(or B-C loop and B-D loop) come into being.then B(D) & B(C) (or A(D) & A(C)) interchange. The coloring number at the point of the pentagon is reducing to 3. Its conclusion is shown in Fig. 10(1) and Fig. 10(3).If Fig. 10(2) or 10(4) is known, firstly, C and D outside A-B loop is interchanged, the new B-C (or A-D) chain come into being, then A(D) (or A(C)) at the side of B-C (or A-D) is interchange. The coloring number at the point of the pentagon is reducing to 3. Its conclusion is shown in Fig. 10(2) and Fig. 10(4).The self-contained inevitable sets composed of Fig 2 to 10 will be proved as follows.In the 4 color dyed G’, the quantity of distinct coloring chain formed by two colors in A, B,C ,D four colors have C42(=6) kinds totally. It is reflected in Heawood configuration, there are intersectant A1-C1 loop and A1-D1 loop whose start-point and end-point are all in center area. And there are B1-D2, B1-A2(B2-A2), B2-C2, C1-D2(D1-C2) 4 chains , whose start-point is in center area, and end-point is on the verge of the intersection area of A1-C1 loop and A1-D1 loop. There are 4 groups in total for the 4 kinds of chain’s distinct quantity combination in Heawood configuration:B 1-A2、B 1-A2、B2-C2、B2-A2B 1-A2、B 1-D2、B2-C2、D1-C2C 1-D2、B 1-D2、B2-C2、B2-A2C 1-D2、B 1-D2、B2-C2、D1-C2There are C62(=15) kinds of two different situation’s combination in 6 kinds of chains, among them ,there are 3 kinds of not intersectant combinations:A-B and C-D、A-C and B-D、A-D and B-C;Otherwise there are 12 kinds of intersectant combinations:A-B and A-C、A-D、B-C、B-D;A-C and A-D、B-C、C-D ;A-D and B-D、C-D;B-C and B-D、C-D;B-D and C-D。Above 6 kinds of chain’s different quantity combinations(4 groups) and different situation combinations (intersectant 12 groups ) are two major variables, 16 kinds of Heawood configurations in different combination can be found totally. Then, on the “simplest structure” and “same solution” restrictive condition, verifiyed one by one, detailed conclusion is: Fig. 2 to Fig. 4 indicate 4 kinds of different quantity combinations. Among them, Fig. 2 indicates the former 2 groups. Fig. 5 to Fig. 9 indicate intersectant combination increased in turn. Among them, Fig. 9 contains12 kinds of intersectant combinations. Fig. 10 indicates specific quantity combinations sand intersectant combinations.By this time, correct coloring for Heawood configuration is solved. The procedure which solve the problem, we name it H·Z-CP. The conclusion renovate the leak of kengpu proof.Bibliography:〔1〕、Holroyd,F.C.and Miller,R.G..The example that heawood shold have given Quart J Math.(1992). 43 (2),67-71
一般在5-8千都可以了
数学论文一般都有专门的课题,不知你要哪方面的,网上有很多这方面的资料,你在百度搜索出输入:数学论文或者某课题的数学论文,注意下面的相关搜索及更多相关搜索,你就会看到的。
论文格式要求一篇完整的论文应包括如下四部分:第一部分:正文之前(1)题目(2)作者(3)数学系 级 专业 班(4) 指导教师 名字空一行(5)摘要(中文)200字以内;(6)关键词3—5个空一行第二部分:正文(1)引言;(2)主要结论和必要的论证.(可分成若干节讨论)第三部分:参考文献:应依引用次序编号,注意书写的规范性.例1:[1]陈世明.一类半线性双调和方程的整体解,应用数学[J],1994,7(1):85—92说明:其中,[1]是文献出现的序号,陈世明是作者名,"一类半线性双调和方程的整体解"是论文的题目,"应用数学"是杂志的名称,[J]表示杂志,"1994,7:85—92"表示发表的年份,卷,期,页(起止)码.例2:[3]华罗庚.数论导引[M].北京:科学出版社,1985说明:其中,[3]是文献出现的序号,华罗庚是作者名,"数论导引"书的题目,其后加[M]表示这是一本书,"北京:科学出版社"表示出版地点和出版社,"1985"表示出版的年份.第四部分:英文部分(1)英文题目(2)作者姓名(拼音字母)(3)数学系 级 专业 班(4)指导教师 名字(3)英文摘要;(4)英文关键词.二,文字字体要求:用A4纸打印,其中(1)题目用2号宋体(粗);(2)小标题用4号黑体;(3)其他用5号宋体(中文)(英文用5号Times New Roman);(4)其他未说明的问题(如脚码,脚注等)按一般科技论文格式要求三,其他论文一律采用Word文档或Latex文档形式打印编排(尤其是符号,字母要用数学形态);要用统一的封面;在左侧装订.例文:活动片段展示: 我首先通过一个活动让学生进行操作,使学生亲身体验知识的形成。 师:小朋友们到野外秋游,带了三箱矿泉水,回来时只剩下一部分(黑板出现一箱9瓶,别外还有7瓶),请小朋友们算一算剩下的矿泉水有几瓶?请你们用小棒来代替矿泉水来数一数。 生1:我是1瓶1瓶地数……一共16瓶。 生2:我是2瓶2瓶数……一共16瓶。 生3:我是4瓶加5瓶加7瓶一共16瓶。 生4:我是先拿1瓶和9瓶合起来是10瓶,10瓶和6瓶合起来是16瓶。 (老师有意识地抽出各种数法的代表来比赛看谁数得快) 师:老师现在请三位小朋友来同时数一数老师这里一共有几朵花。(出示红花9朵,黄花8朵,分三组来数) 师:哪个小朋友数得最快?为什么他数得这么快?哪种方法好? …… 教学反思 上面的教学片段,我改变了以往教学中通过事先的设计一环一环、一层一层引着学生走,整个教学程序成了一部“教案剧”。而是从学生学习实际出发,组织和引导学生进行探索研究,较好地体现了现代数学教学的基本理念。 1、把学生当作研究者,满足学生心理需要。 苏霍姆林斯基说进:“在人的心灵深处,都有一种根深蒂固的需要,这就是希望感到自己是一个发现者、研究者、探索者,而在儿童的精神世界里这种需要特别强烈。”小学生天生就有强烈的好奇心和求知欲。在以上教学片段中,我正是从这一特点出发,让小学生在活动中学习数学,重视学生学习的过程,让学生亲身体验知识的形成和发展,而不是单纯地把凑十法强加给学生,因为这些算法都是学生在动手操作、自主探索、动脑思考获得的。这样教学,学生的好奇心和求知欲得到了满足,并能感到自己是个研究者、发明者,体验到学习成功的快乐。 2、为学生创造条件,引导学生探索发现。《新课标》指出:“数学教学活动必须建立在学生的认知发展水平和已有的知识经验的基础上。教师应激发学生的学习积极性,向学生提供充分从事教学活动的机会,帮助他们在自主探索和合作交流的过程中真正理解和掌握基本的数学知识与技能、数学思想和方法,获得广泛的数学活动经验。学生是数学学习的主人,教师是数学学习的组织者、引导者与合作者。”对一年级学生来说,他们对数数已经掌握了很多种方法,因此在教学中我不是简单的用一种方法强加学生掌握,而是引导、实践、探索,发现,虽然有些学生认知水平存在一定差异,他们不是用很优化的方法,但通过他们的亲身体验,感悟,也能发现其它方法比自己的方法好。这种多向交流,为学生创造了生动、愉悦、和谐的学习氛围,使每一位学生都能在自主探索中获得成功。 3、使学生学会学习,渗透数学思想方法。 爱因斯坦曾经说过:“在一切方法的背后,如果没有一种生机勃勃的精神,它们到头来不过是笨拙的工具。”这里的精神就是对方法的本质认识,即数学思想。学生在学习活动中一旦把数学精神、数学的思维方法、研究方法、推理方法等铭刻于头脑中,那么不管他今后从事什么工作,将会使他受益终身。正是鉴于这样的认识,在上面的教学片段中,我为学生创设了自主探索的时空,让他们像从事科学研究那样经历:“操作----发现”的过程。在这一过程中培养了学生的思维能力、口算能力,更为重要的是学生在这一过程中运用了数学思想和方法,体验到计算过程中的优化意识,促使学生在掌握知识与基本技能的同时,体会知识的产生、形成与发展的过程,获得积极的情感体验,为后继学习乃至于他们的终身发展奠定了基础。例文:随着九年制义务教育阶段数学教材的改革,“通过义务教育阶段的数学学习,使学生能够具有初步的创新精神和实践能力”的创新教育已成为数学教学的一个重点,在实际教学过程中对学生创新能力的培养,已引起广大数学教师的高度重视,如何培养学生创新能力,找到培养和发展学生创新能力的有效途径,在数学教学中愈来愈显得重要。本人在具体的数学教学过程中,注重了学生创新能力的培养,该文就“学生创新精神的培养和创新能力的发展”的几点做法和体会表述如下:一、数学教师的创新意识是培养学生创新能力的首要条件教育本身就是一个创新的过程,教师必须具有创新意识,改变以知识传授为中心的教学思路,以培养学生的创新意识和实践能力为目标,从教学思想到教学方式上,大胆突破,确立创新性教学原则。(一)克服对创新认识上的偏差。一提到创新教育,往往想到的是脱离教材的活动,如小制作、小发明等等,或者是借助问题,让学生任意去想去说,说得离奇,便是创新,走入了另一个极端。其实,每一个合乎情理的新发现,别出心裁的观察角度等等都是创新。一个人对于某一问题的解决是否有创新性,不在于这一问题及其解决是否别人提过,而关键在于这一问题及其解决对于这个人来说是否新颖。学生也可以创新,也必须有创新的能力。教师完全能够通过挖掘教材,高效地驾驭教材,把与时代发展相适应的新知识、新问题引入课堂,与教材内容有机结合,引导学生再去主动探究。让学生掌握更多的方法,了解更多的知识,培养学生的创新能力。(二)建立新型的师生关系,创设宽松氛围、竞争合作的班风,营造创造性思维的环境罗杰斯提出:“有利于创造活动的一般条件是心理的安全和心理的自由”。首先,要使学生积极主动地探求知识,发挥创造性,必须克服那些课堂上老师是主角,少数学生是配角,大多学生是观众、听众的旧地教学模式。因为这种课堂教学往往过多地发挥教师的主导作用,限制了学生创造性思维的发展。教师应以训练学生创新能力为目的。保留学生自己的空间,尊重学生的爱好、个性和人格,以平等、宽容、友善的态度对待学生,使学生在教育教学过程中能够与教师一起参与教和学中,做学习的主人,形成一种宽松和谐的教育环境。只有在这种氛围中,学生才能充分发挥自己的聪明才智和创造想象的能力;其次,班集体能集思广益,有利于学生之间的多向交流,在班集体中,取长补短。课堂教学中有意识地搞好合作教学,使教师、学生的角色处于随时互换的动态变化中,设计集体讨论、查缺互补、分组操作等内容,锻炼学生的合作能力。特别是一些不易解决的问题,让学生在班集体中开展讨论,这是营造创新环境发扬教学民主环境的表现在班集体中。学生在轻松环境下,畅所欲言,各抒己见,学生敢于发表独立的见解,或修正他人的想法,或将几个想法组合为一个更佳的想法,从而在学习过程中,培养学生集体创新能力。值得注意的是,任何合作,都不要让有的学生处于明显的从属地位,都是应细心把握,责任确定到每个学生,最大限度调动学生潜能。(三)教师应当充分地鼓励学生发现问题,提出问题,讨论问题、解决问题,通过质疑、解疑,让学生具备创新思维、创新个性、创新能力。教师运用有深度的语言,创设情境,激励学生打破自己的思维定势,从独特的角度提出疑问。鼓励学生进行批判性质疑。批判性质疑是创新思维的集中体现,科学的发明与创造正是通过批判性质质疑开始。让学生敢于对教材上的内容质疑,敢于对教师的讲解质疑,特别是同学的观点,由于商榷余地较大,更要敢于质疑。能够打破常规,进行批判性质疑,并且勇于实践、验证,寻求解决的途径,是具有创新意识的学生必备的素质。培养学生对复杂问题的判断能力,在课堂教学中随时体现。设计一些复杂多变的问题,让学生自己的判断来加以解决,或用辩论形式训练学生的判断能力,使学生思维更具流畅性和敏捷性,发表出具有个性的见解在课堂教学过程中,教师在每堂课里都要进行各种总结,也必须有意识地让学生总结,总结能力是一种综合素质的体现。培养学生总结能力,即锻炼学生集中思维的能力,这与培养学生的求异思维是相辅相成的,集中思维使学生准确、灵活地掌握各种知识,将它们概括、提取为自己的观点、作为求异思维的基础,保障了求异思维的广度、新颖程度和科学性。培养总结能力,课堂教学中要将总结的机会尽可能地放给学生,如总结一个问题总结一堂课的内容;总结一次讨论的结果;总结一次辩论的正、反意见等。每次总结,都挑选多位学生发言,要求他们说出自己的独特理解,不要众口一词,随声附和。总结完后,让学生提出自己发现的更深层次的问题,进一步延伸,拓展思维。二、学生的创新兴趣是培养和发展创新能力的关键教育学家乌申斯基说:“没有丝毫兴趣的强制学习,将会扼杀学生探求真理的欲望”兴趣是学习的重要动力,兴趣也是创新的重要动力。创新的过程需要兴趣来维持。(一)利用“学生渴求他们未知的、力所能及的问题”的心理,培养学生的创新兴趣。兴趣产生于思维,而思维又需要一定的知识基础。在教学中出示恰如其分的出示问题,让学生“跳一跳,就摘到桃子”,问题高低适度,问题是学生想知道的,这样问题会吸引学生,可以激发学生的认知矛盾,引起认知冲突,引发强烈的兴趣和求知欲,学生因兴趣而学,而思维,并提出新质疑,自觉的去解决,去创新。(二)合理满足学生好胜的心理,培养创新的兴趣。学生都有强烈的好胜心理,如果在学习中屡屡失败,会对从事的学习失去信心,教师创造合适的机会使学生感受成功的喜悦,对培养他们的创新能力是有必要的。比如:针对不同的群体开展几何图形设计大赛、数学笑话晚会、逻辑推理故事演说等等,展开想象的翅膀,发挥它们不同的特长,在活动中充分展示自我,找到生活与数学的结合点,感受自己胜利的心理,体会数学给他们带来的成功机会和快乐,培养创新的兴趣。(三)利用数学中图形的美,培养学生的兴趣。生活中大量的图形有的是几何图形本身,有的是依据数学中的重要理论产生的,也有的是几何图形组合,它们具有很强的审美价值,在教学中宜充分利用图形的线条美、色彩美,给学生最大的感知,充分体会数学图形给生活带来的美。在教学中尽量把生活实际中美的图形联系到课堂教学中,再把图形运用到美术创作、生活空间的设计中,产生共鸣,使他们产生创造图形美的欲望,驱使他们创新,维持长久的创新兴趣。 (四)利用数学中的历史人物、典故、数学家的童年趣事、某个结论的产生等等激发学生的创新兴趣。学生一般喜欢听趣人趣事,教学中结合学习内容讲述数学发展的历史和历史上数学家的故事,象数学理论所经历的沧桑,数学家成长的事迹,数学家在科技进步中的贡献,数学中某些结论的来历,既可以了解数学的历史,丰富知识,又可以增加学生对数学的兴趣,学习其中的创新精神。三、教师是保护学生创新能力发展的“监护人”(一)分清学生错误行为是有意的,还是思维的结晶。学生早求知的过程中属于不成熟的个体,在探索中出现这样或那样的错误是难免的,也是允许的。教师不要急于评价,出示结论,而是重在帮助弄清出现错误的原因,从而让他们以积极的态度去承认并且改正错误,与文过饰非相比在对待错误的态度上,这个不正是一种创新态度吗?作为教师对发展中的个体要以辩证的观点,发展的眼光,实行多元化的发展的评价。从客观上保护了学生思维的积极性,促使学生以积极的态度投入到学习中去。比如:教学中常见的“插嘴”,可理解为学生的不遵守纪律,也可以理解为学生思维快的表现,这就要看他们的动机是什么,再作结论。 (二)多给学生一些鼓励,一些支持,对学生的正确行为或好的成绩表示赞许。学生时期自我评价能力较低,常常默认教师的评价,而且常以教师的评价衡量自己在群体中的地位。同时,又常从成人的表情或语言判断对其的评价,带有一定片面性。因此,教师应对学生正确行为表示明确的赞扬,使学生明白教师对他们的评价,增强他们的自信心,使学生看到自己成功的希望。比如:教学中宜常使用表扬的语气词,如:“很好!”“太棒了!”“不错”“有进步”等等表示你的关注和赞许。(三)保护学生的好奇心。好奇是儿童与生俱来的天性,好奇是思维的源泉,创新的动力。因为好奇,学生有了创新的愿望,努力去揭开事物的神秘面纱,这种欲望就是求知行为在孩子心灵中点燃的思维的火花,是最可贵的创新性心理品质之一,但随着年龄的增长,好奇程度呈递减趋势,而创造性人才的特点却是永驻的,用好奇的眼光和心理去审视整个世界,每一个成才的人,必须保持这颗好奇的童心,教师对教学中学生好奇的表现应给予肯定。比如:对于学生“打破沙锅问到底”精神,应加以爱护和培养。教学实践中,学生创新能力的培养是多方位的,既需要教师的主导,也需要学生的主体,只有师生共同的配合下,才能教学相长.
毕业答辩这是必须的吧
兰州交通大学研究生毕业要求包括以下五个方面:1、学分要求:研究生必须修满规定的学分方可毕业。具体学分要求根据不同专业和学位类型而有所不同。2、课程要求:研究生必须完成规定的学位课程和专业课程,同时还要完成导师和学院要求的其他课程和学术活动。3、学位论文要求:研究生必须完成一篇符合学院和导师要求的学位论文,通过答辩并获得指导教师和评阅专家的认可。4、学位考试要求:研究生必须通过研究生学位考试,包括综合考试和学科考试。
兰州交通大学毕业论文设计格式规范要求 1、 毕业论文 组成论文 由封面、 毕业设计 (论文)成绩评议表、 毕业 设计(论文)任务书、开题报告、中期检查、结题验收、中文摘要、英文摘要、目录、正文、参考文献、附录十二部分组成。各种部分的格式详见附录; (1)封面:封面包括论文题目、学生姓名、班级等,格式详见附1; (2)成绩评议表:包括论文评语、论文成绩,由答辩委员会填写,格式详见附2; (3)任务书:由指导教师填写,在布置毕业设计时发给学生,格式详见附3; (4)开题报告:学生认真书写后交指导教师检查,经指导教师签字有效,格式详见附4; (5)中期报告:由学生认真书写,指导教师签字后有效,格式详见附5; (6)结题验收:由学生认真书写,指导教师签字后有效,格式详见附6; (7)目录:按三级标题编写,要求层次清晰,主要包括摘要、正文主要层次标题、参考文献、附录等; (8)摘要:中文摘要应在400字左右,包括论文题目、论文摘要、关键词(3至5个),英文要与中文摘要内容要对应; (9)正文:论文正文包括绪论(或前言、概述等)、论文主体、结论。工科论文要求符合科技论文格式,正文文字应在15000字以上; (10)参考文献:必须是学生本人真正阅读过的,以近期发表的'杂志类文献为主,图书类文献不能过多,且要与论文内容直接相关; (11)附录:含外文复印件及外文译文、有关图纸、计算机源程序,如果有毕业 实习 ,需提供毕业 实习报告 等。 2、毕业论文的格式要求 (1)毕业论文要统一用A4(210mm×197mm)标准纸打印装订(左装订)成册,正文用宋或楷体小四号字,版面上空2.5cm,下空2cm,左右空2cm(靠装订纸一侧增加0.5cm空白用于装订)。题目用三号(分两行书写时用小三号)黑体字;题序和标题用四号黑体字。 (2)论文中所涉及到的全部附图,不论计算机绘制还是手工绘制,都应规范化,符号符合国颁标准。 (3)学生完成毕业设计(论文)后,打印一份在2012年9月15日以前交指导教师评阅,进行结题验收。 ;
兰州交通大学硕士论文字数要求不低于300字,不高于500字。
如下:
1、封面。采用学校规定的统一格式的封面,按要求填写论文题目、作者姓名、学号、指导教师姓名、学科(专业)学习形式、层次等内容。
2、中文摘要。中文摘要应简捷明了,字数为400字左右。内容包含本项毕业设计(论文)工作的目的、意义、研究方法、研究过程、研究成果及结论、关键词(3-5个)等。
3、外文摘要。外文摘要要求有论文题目,内容应与中文摘要相对应,要求用词准确、语法规范、意思完整。
4、目录。目录一般列至二级标题,文字表述与正文要一致,并标明页码。
5、正文。正文一般由标题、主体部分、图、表格和公式五个部分构成。
6、设计图纸。图号按章序编号,如图3—2为第三章第二图。如果图中含有几个不同部分,应将分图号标注清楚,并在图题下列出各部分内容。
7、参考文献。正文中按引用顺序在参考文献出处的文字右角上用[ ]标明,[ ]中序号应与“参考文献”中序号一致,正文之后则应列出参考文献。作者阅读的参考文献中应包含一定的外文文献,并翻译一定数量的外文文献或写出一定量的阅读笔记。
8、附录。
9、致谢。
撰写本科毕业设计(论文)字数的原则要求是:
设计类:设计绘图量不少于折合成为 A0 号的图纸 2 张,设计说明书的字数不少于 1. 5 万字。
论文类:理工类全文不少于 2 万字;经管类全文不少于 1. 5 万字;外语专业论文全文不少于 5000 个外文单词。各专业根据本专业特点可适当提高分量要求。
毕业设计的基本要求1.按任务书的规定,学生在教师的指导下,独立完成所要求的内容,严禁抄袭;2.设计方案合理、可行,图面质量符合规定,说明书文理通顺,书写整洁;3.论点明确,论据充分,结论正确;4.体现先进技术、新的试验方法和计算方法;5.有一定技术经济分析;6.工作量要求(以12周计)(1)学生毕业设计完成的绘图工作量,由学院、系及指导教师根据毕业设计论文的具体情况来确定;(2)毕业设计说明书要求按统一格式编写,工程设计型的计算说明书不少于15000字,其它类型的计算说明书及实验分析不少于19000字。(3)有特殊要求的学科,可根据所学专业的特点,比照上述工作量的要求,完成毕业设计(论文);(4)翻译一篇与本毕业设计(论文)相关的外文参考文献,不少于5000字符。7.指导教师在毕业设计(论文)题目确定后,应编写“兰州交通大学毕业设计论文任务书”,并在毕业设计(论文)工作开始两周前发给学生。8.指导教师要指导学生在毕业设计(论文)工作开始后两周内完成“开题报告”(见附件二),合格后才能开始毕业设计(论文)工作。
具体的范文模板链接:
工科毕业设计,这个一般来说 要求严格的话需要写开题报告,然后,答辩,由几个老师来看题目的可行性与工作量。毕业设计是教学过程的最后阶段采用的一种总结性的实践教学环节。通过毕业设计,学生可以综合应用所学的各种理论知识和技能,进行全面、系统、严格的技术及基本能力的练习。通常情况下,仅对大专以上学校要求在毕业前根据专业的不同进行毕业设计,对中等专业学校的学生不作要求。毕业设计不同于毕业论文,它的组成部分不只是一篇学术论文,我们拿“机械毕业设计”举例:随着科技发展的进步,各大高校对机械毕业设计的内容提出了一定的要求,2004年以前设计内容一般包括:毕业设计图纸+说明书(毕业论文),2005年以后国家教育部门提出新的要求,结合工厂需求加入了三维设计,模拟仿真,及程序分析研究。其中包括:毕业设计图纸(三维“UG ,PRO/E,CAM,CAXA,SWOLIDWORD”+CAD二维工程图)+开题报告+任务书+实习报告+说明书正文。这足够的说明了做一份优质的毕业设计是要付出相当的努力!高等学校技术科学专业及其他需培养设计能力的专业或学科应届毕业生的总结性独立作业。要求学生针对某一课题,综合运用本专业有关课程的理论和技术,作出解决实际问题的设计。毕业设计是高等学校教学过程的重要环节之一。相当于一般高等学校的毕业论文。目的是总结检查学生在校期间的学习成果,是评定毕业成绩的重要依据;同时,通过毕业设计,也使学生对某一课题作专门深入系统的研究,巩固、扩大、加深已有知识,培养综合运用已有知识独立解决问题的能力。毕业设计也是学生走上国家建设岗位前的一次重要的实习。一些国家根据学生的毕业设计,授予一定的学衔。如建筑师、农艺师、摄影师等。中国把毕业设计和毕业考试结合起来,作为授予学士学位的依据。
具体的范文模板链接:
用最恰当、最简明的词语反映说明书中最重要的特定内容。用最简单的方式,用最简朴的语言,描绘出你心中最美的蓝图,全文至始至终都要把你的设计和构思惯通全文,以达到说服他人的目的,并能让人接受。
帮您下了两篇,希望对您有所帮助哦!祝您愉快!1 题目:基于无线传感器网络仿真平台的研究一、引言 传感器网络(WSN)日新月异,各种网络方案和协议日趋复杂,网络规模日趋庞大,对网络研究人员而言,掌握网络仿真的重要性是不言而喻的。WSN仿真能够在一个可控制的环境里研究WSN应用,包括操作系统和网络协议栈,能够仿真数量众多的节点,能够观察由不可预测的干扰和噪声引起的难以琢磨的节点间的相互作用,获取节点间详细的细节,从而提高节点投放后的网络成功率,减少投放后的网络维护工作。目前无线传感器网络使用的仿真工具主要有NS2、TinyOS、OPNET、OMNET++等等。其中TinyOS是专门针对无线传感器网络的特点而研究开发的。 二、无线传感器网络仿真简介 在传感器网络中,单个传感器节点有两个很突出的特点。一个特点是它的并发性很密集;另一个特点是传感器节点模块化程度很高.上述这些特点使得无线传感器网络仿真需要解决可扩展性与仿真效率、分布与异步特性、动态性、综合仿真平台等等问题。 三、无线传感器网络常用仿真工具 无线传感器网络常用仿真工具有NS2、OPNET、OMNET++、TinyOS,下面我们简要介绍它们各自的性能和特点。 3.1 NS2 NS是一种可扩展、以配置和可编程的时间驱动的仿真工具,它是由REAL仿真器发展而来.在NS的设计中,使用C++和OTCL两种程序设计语言, C++是一种相对运行速度较快但是转换比较慢的语言,所以C++语言被用来实现网络协议, 编写NS底层的仿真引擎; OTCL是运行速度较慢,但可以快速转换的脚本语言,正好和C++互补,所以OTCL语言被用来配置仿真中各种参数,建立仿真的整体结构, OTCL的脚本通过调用引擎中各类属性、方法,定义网络的拓扑,配置源节点、目的节点建立链接,产生所有事件的时间表,运行并跟踪仿真结果,还可以对结果进行相应的统计处理或制图.NS可以提供有线网络、无线网络中链路层及其上层精确到数据包的一系列行为仿真。NS中的许多协议都和真实代码十分接近,其真实性和可靠性是非常高的。 3.2 OPNET OPNET是在MIT研究成果的基础上由MIL3公司开发的网络仿真软件产品。 OPNET的主要特点包括以下几个方面:(1)采用面向对象的技术,对象的属性可以任意配置,每一对象属于相应行为和功能的类,可以通过定义新的类来满足不同的系统要求; (2)OPNET提供了各种通信网络和信息系统的处理构件和模块;(3) OPNET采用图形化界面建模,为使用者提供三层(网络层、节点层、进程层)建模机制来描述现实的系统;(4) OPNET在过程层次中使用有限状态机来对其它协议和过程进行建模,用户模型及OPNET内置模型将会自动生成C语言实现可执行的高效、高离散事件的模拟流程;(5) OPNET内建了很多性能分析器,它会自动采集模拟过程的结果数据;(6)OPNET几乎预定义了所有常用的业务模型,如均匀分布、泊松分布、欧兰分等。 3.3 OMNET++ OMNET++是面向对象的离散事件模拟工具,为基于进程式和事件驱动两种方式的仿真提供了支持。 OMNET++采用混合式的建模方式,同时使用了OMNET++特有的ned(Network Discription,网络描述)语言和C++进行建模。OMNET++主要由六个部分组成:仿真内核库、网络描述语言的编译器、图形化的网络编译器、仿真程序的图形化用户接口、仿真程序的命令行用户接口和图形化的向量输出工具。OMNET++的主要模型拓扑描述语言NED,采用它可以完成一个网络模型的描述。 网络描述包括下列组件:输入申明、信道定义、系统模块定义、简单模块和复合模块定义。使用NED描述网络,产生.NED文件,该文件不能直接被C++编译器使用,需要首先采用OMNET++提供的编译工具NEDC将.NED文件编译成.cpp文件。最后,使用C++编译器将这些文件与用户和自己设计的简单模块程序连接成可执行程序。 3.4 TinyOS TinyOS是专门针对传感器研发出的操作系统。在TinyOS上编程序使用的语言为nesC(C language for network embedded systems) 语言。 nesC语言是由C语言扩展而来的,意在把组件化/模块化思想和TinyOS基于事件驱动的执行模型结合起来。 nesC 组件有Module(模块)和Configuration(连接配置文件)两种。在模块中主要实现代码的编制,在连接配置文件中主要是将各个组件和模块连接起来成为一个整体。 TinyOS程序采用的是模块化设计,所以它的程序核心往往都很小,能够突破传感器存储资源少的限制,这能够让TinyOS很有效的运行在无线传感器网络上并去执行相应的管理工作等。TinyOS的特点主要体现在以下几个方面: (1)组件化编程(Componented-Based Architecture)。TinyOS的组件通常可以分为以下三类:硬件抽象组件、合成组件、高层次的软件组件;硬件抽象组件将物理硬件映射到TinyOS组件模型.合成硬件组件模拟高级硬件的行为.高层次软件模块完成控制、路由以及数据传输等。} (2)事件驱动模式(Event-Driven Architecture)。事件驱动分为硬件驱动和软件事件驱动。硬件事件驱动也就是由一个硬件发出中断,然后进入中断处理函数。而软件驱动则是通过singal关键字发出一个事件。 (3)任务和事件并发模式(Tasks And Events Concurrency Model)。任务用在对于时间要求不是很高的应用中,任务之间是平等的,即在执行时是按顺序先后来的,而不能相互抢占,TinyOS对任务是按简单的FIFO队列进行处理的。事件用在对于时间的要求很严格的应用中,而且它可以占先优于任务和其他事件执行。 (4)分段执行(Split-Phase Operations)。在TinyOS中由于tasks 之间不能互相占先执行,所以TinyOS没有提供任何阻塞操作,为了让一个耗时较长的操作尽快完成,一般来说都是将对这个操作的需求和这个操作的完成分开来实现,以便获得较高的执行效率。 (5) 轻量级线程(lightweight thread)。轻量级线程(task, 即TinyOS中的任务)按FIFO方式进行调度,轻量级线程之间不允许抢占;而硬件处理线程(在TinyOS中,称为硬件处理器),即中断处理线程可以打断用户的轻量级线程和低优先级的中断处理线程,对硬件中断进行快速处理响应。 (6) 主动通信消息(active message)。每一个消息都维护一个应用层和处理器。当目标节点收到这个消息后,就会把消息中的数据作为参数,并传递给应用层的处理器进行处理。应用层的处理器一般完成消息数据的解包操作、计算处理或发送响应消息等工作。 TinyOS操作系统中常用的仿真平台主要是TOSSIM和Avrora (1)TOSSIM(TinyOS simulation)是一个支持基于TinyOS的应用在PC机上运行的模拟器.TOSSIM运行和传感器硬件相同的代码,仿真编译器能直接从TinyOS应用的组件表中编译生成仿真程序。 (2)Avrora是一种专门为Atmel和Mica2节点上以AVR单片机语言编写的程序提供仿真分析的工具。它的主要特点如下:1) 为AVR单片机提供了cycle accurate级的仿真,使静态程序可以准确的运行。它可以仿真片上(chip-on)设备驱动程序,并为片外(off-chip)程序提供了有规则的接口;2)可以添加监测代码来报告仿真程序运行的性能,或者可以在仿真结束后收集统计数据,并产生报告;3)提供了一套基本的监控器来剖析程序,这有助于分析程序的执行模式和资源使用等等;4)Avrora可以用gdb调试程序;5) Avrora可以为程序提供一个程序流图,通过这个流程图可以清楚的表示机器代码程序的结构和组织;6) Avrora中提供了分析能量消耗的工具,并且可以设置设备的带电大小;7) Avrora可以用来限制程序的最大堆栈空间,它会提供一些关于目前程序中的最大的堆栈结构,和一些关于空间和时间消耗的信息报告。 3.5性能比较 TinyOS 用行为建模,可以仿真跨层协议;仿真程序移植到节点上,不需要二次编码。 通过对上述几种仿真软件的分析比较,我们可以清楚的看到各个仿真软件的特点、适用范围,我们可以根据研究需要选择适合的仿真软件,使得我们的学习研究可以事半功倍。 结束语 网络仿真技术为通信网络规划和优化提供了一种科学高效的方法。网络仿真在国内是近几年才发展起来的,但在国外网络仿真技术已经相当成熟,我们应该大胆地借鉴国外先进技术,促进国内网络仿真技术迅速发展。 参考文献 【1】于海斌,曾鹏等.智能无线传感器网络.科学出版社,2006,p283~p303, 【2】石怀伟,李明生,王少华,网络仿真技术与OPNET应用实践,计算机系统应用2006.第3期 【3】李玥,吴辰文,基于OMNeT++地TCP/IP协议仿真,兰州交通大学学报(自然科学版),2005年8月 【4】袁红林,徐晨,章国安,TOSSIM:无线传感器网络仿真环境,传感器与仪表仪器 ,2006年第22卷第7-1期 2集群虚拟服务器的仿真建模研究来源:电子技术应用 作者:杨建华 金笛 李烨 宁宇摘要:阐述了集群虚拟服务器的工作原理和三种负载均衡方式,通过实例讨论了虚拟服务器的仿真和建模方法,创建了测试和仿真系统性能的输入和系统模型,并依据Q—Q图和累积分布函数校验了其概率分布。 关键词:集群虚拟服务器负载均衡仿真建模概率分布 随着互联网访问量和数据流量的快速增长,新的应用层出不穷。尽管Intemel服务器处理能力和计算强度相应增大,但业务量的发展超出了先前的估计,以至过去按最优配置建设的服务器系统也无法承担。在此情况下,如果放弃现有设备单纯将硬件升级,会造成现有资源的浪费。因此,当前和未来的网络服务不仅要提供更丰富的内容、更好的交互性、更高的安全性,还要能承受更高的访问量,这就需要网络服务具有更高性能、更大可用性、良好可扩展性和卓越的性价比。于是,集群虚拟服务器技术和负载均衡机制应运而生。集群虚拟服务器可以将一些真实服务器集中在一起,组成一个可扩展、高可用性和高可靠性的统一体。负载均衡建立在现有网络结构之上,提供了一种廉价、有效和透明的方法建立服务器集群系统,扩展网络设备和服务器的带宽,增加吞吐量,加强网络数据处理能力。提高网络的灵活性和可用性。使用负载均衡机制.大量的并发访问或数据流量就可以分配到多台节点设备上分别处理。系统处理能力得到大幅度提高,大大减少用户等待应答的时间。实际应用中,虚拟服务器包含的真实服务器越多,整体服务器的性能指标(如应答延迟、吞吐率等)越高,但价格也越高。在集群中通道或其他部分也可能会进入饱和状态。因此,有必要根据实际应用设计虚拟服务器的仿真模型,依据实际系统的测量数据确定随机变量的概率分布类型和参数,通过分位点一分位点图即Q-Q图(Quaantile-Quantile Plot)和累积分布函数(Cumulative Distribution Functions)等方法校验应答或传播延迟等性能指标的概率分布,通过仿真软件和工具(如Automod)事先分析服务器的运行状态和性能特点,使得集群系统的整体性能稳定,提高虚拟服务器设计的客观性和设计的可靠性,降低服务器建设的投资风险。1 集群虚拟服务器的体系结构 一般而言,首先需要在集群虚拟服务器上建立互联网协议伪装(Internet Protocol Masquerading)机制,即IP伪装,接下来创立IP端口转发机制,然后给出在真实服务器上的相关设置。图1为集群虚拟服务器的通用体系结构。集群虚拟服务器通常包括:真实服务器(RealServers)和负载均衡器(Load Balmlcer)。由于虚拟服务器的网络地址转换方式是基于IP伪装的,因此对后台真实服务器的操作系统没有特别要求,可以是windows操作系统,也可以是Lmux或其他操作系统。负载均衡器是服务器集群系统的惟一入口点。当客户请求到达时,均衡器会根据真实服务器负载情况和设定的调度算法从真实服务器中选出一个服务器,再将该请求转发到选出的服务器,并记录该调度。当这个请求的其他报文到达后,该报文也会被转发到前面已经选出的服务器。因为所有的操作都在操作系统核心空间中完成,调度开销很小,所以负载均衡器具有很高的吞吐率。整个服务器集群的结构对客户是透明的,客户看到的是单一的虚拟服务器。负载均衡集群的实现方案有多种,其中一种是Linux虚拟服务器LVS(Linux Virtual Server)方案。LVS实现负载均衡的技术有三种:网络地址转换(Network Address Translation)、直接路由(Direct Routing)和IP隧道(IP Yunneling)。网络地址转换按照IETF标准,允许一个整体机构以一个公用IP地址出现在Inlemet上。通过网络地址转换,负载均衡器重写请求报文的目标地址,根据预设的调度算法,将请求分派给后端的真实服务器;真实服务器的应答报文通过均衡器时,报文的源地址被重写,把内部私有网络地址翻译成合法网络IP地址,再返回给客户,完成整个负载调度过程。直接路由的应答连接调度和管理与网络地址转换的调度和管理相同,但它的报文是直接转发给真实服务器。在直接路由应答中,均衡器不修改、也不封装IP报文.而是将数据帧的媒体接入控制MAC(Medium Aceess Control)地址改为选出服务器的MAC地址,再将修改后的数据帧在局域网上发送。因为数据帧的MAC地址是选出的服务器,所以服务器肯定可以收到该数据帧,从中获得该IP报文。当服务器发现报文的目标地址在本地的网络设备时,服务器处理该报文,然后根据路由表应答报文,直接返回给客户。IP隧道是将一个IP报文封装在另一个IP报文中的技术。该技术可以使目标为某个口地址的数据报文被封装和转发到另一个IP地址。用户利用IP隧道技术将请求报文封装转发给后端服务器,应答报文能从后端服务器直接返回给客户。这样做,负载均衡器只负责调度请求,而应答直接返回给客户,不需要再处理应答包,将极大地提高整个集群系统的吞吐量并有效降低负载均衡器的负载。IP隧道技术要求所有的服务器必须支持IP Yunnehng或lP.封装(Encapsulation)协议。2 集群虚拟服务器报文延迟的确定 通过一个装有5台真实服务器并使用网络地址转换技术实现Linux虚拟服务器的实际系统,可以得到有关请求和应答报文的时戳(Time Stamp)文件n根据这些文件.能够计算出集群虚拟服务器的仿真和建模所需数据。为了确定随机变量分布类型和参数,应该统计下列延迟:(1)从客户到负载均衡器的传播延迟(Transport Delay);(2)负载均衡器的应答延迟(Response Delay);(3)从负载均衡器到真实服务器的传播延迟;(4)真实服务器的应答延迟;(5)从真实服务器到负载均衡器的传播延迟;f61负载均衡器对真实服务器的应答延迟;(7)从负载均衡器到客户的传播延迟。在实际系统产生的时戳文件中,问接地描述了上述各延迟时间。文件包含的内容如下:当一个服务请求到达集群虚拟服务器系统时,即产生带有惟一序列号的同步请求报文(Synchronized Request Package),将该报文转发到某一真实服务器,同时建立该服务器与客户端的连接,每个这样的连接都带有惟一的端口号;该服务器处理通过该连接的确认请求报文(Acknowledgement Request Package),直到服务器收到结束请求报文(Finished Request Package)。对每一种类型的请求报文,系统都给予一个相应的应答报文。因此,在不同的报文时戳文件中,如果两条记录具有相同的端口号、报文类型和序列号,则它们是同一个请求或应答报文,对相关的时戳相减即可得到集群虚拟服务器系统的仿真和建模所需的延迟数据。通过所编写的C++程序即可计算这些延迟。3 系统仿真模型 上述的集群虚拟服务器实际系统的仿真模型如图2所示,在负载均衡器、各通道、5台真实服务器中通过或处理的均为请求或应答报文。4 随机变量模型的确定 对具有随机变量的集群虚拟服务器进行仿真,必须确定其随机变量的概率分布,以便在仿真模型中对这些分布进行取样,得到所需的随机变量。4.1 实际虚拟服务器的延迟数据概况 在实际虚拟服务器的负载均衡器、各通道和5台真实服务器中,对请求和应答报文都有一定的延迟。部分报文延迟的统计数据如表1所示。由表l中的数据可见,报文延迟的中位数与均值差异较大,所以其概率分布不对称;变异系数不等于l,导致概率分布不会是指数分布,而可能是γ分布或其他分布。4.2 随机变量的概率分布 图3为第一台真实服务器到负载均衡器之间的通道报文传播延迟直方图,其中t为报文延迟时间,h(t)为报文延迟区间数。由图3可知,通道内的报文传播延迟数据近似服从γ分布或对数正态分布。描述γ分布需要两个参数:形状(Shape)参数α和比例(Scahj)参数口,这两个参数与均值M、方差V之间的关系是非线性的:描述对数正态分布也需要形状参数σ和比例参数μ,这两个参数与均值M、方差V之问的关系也是非线性的:式(1)~(4)都可以通过最大似然估计MLE(Maximum Likelihood Estimator)方法或最速下降法(Steepest Descent Method)求出。表2给出了甩这两种方法求出的从第一台真实服务器到负载均衡器之间通道内的报文延迟概率分布参数。使用累积分布函数和Q-Q图可以校验并进一步确定上述通道内报文传播延迟的概率分布。取用表2中的参数,可以得到γ分布的累积分布函数,如图4所示,其中t为报文延迟时间,F(t)为报文延迟的累积分布函数。为作比较,实验分布也画在该图中。γ分布和对数正态分布的Q-Q图如图5所示。由图4和图5可以看出,γ分布较好地拟合了该通道内的报文传播延迟数据分布。其他通道报文延迟直方图也有类似形状。经计算和分析,这些通道的报文传播延迟概率分布也近似服从γ分布。根据表1中的数据以及相关的直方图都难以确定在负载均衡器和真实服务器中报文延迟的理论分布。因此,采用实验分布作为其模型。5 模型仿真 在建立了图1所示的集群虚拟服务器的系统仿真模型并确定了其随机变量的分布特性后,可以采用由美国布鲁克斯自动化公司(Brooks Automation)开发的仿真软件Automod输入该模型,并通过在Automod环境中编程进行集群虚拟服务器的仿真和分析。在Automod的仿真过程中,可以直接利用软件提供的资源(Resource)作为各种报文数据处理的单元;系统各部分的报文排队活动可以直接通过排队(Queue)实现;建立一个负载产生器,等效为在Inlemtet上使用虚拟服务器的客户。通过采用Automod的属性变量(Attribute Variable)可以解决负载均衡器的双方向报文处理功能的问题。负载均衡器使用轮转调度算法(Round Robin Scheduling),即假设所有真实服务器的处理性能均相同,依次将请求调度到不同的服务器。验证仿真模型可以分别在实际虚拟服务器系统和Automod的仿真模型中从以下两方面进行对比:(1)在负载均衡器、各个真实服务器和通道中排队的应答或传播报文数量;(2)真实服务器及负载均衡器的cPU利用率。例如,当使用实际的应答或传播报文延迟数据时,在Automod的仿真模型中,如果设置一个较低的资源量,则在仿真过程中就会发现大部分的负载都被堵在真实服务器的排队中,即真实服务器处理报文的能力过低,无法与实际系统的状况相比;如果设置一个较高的资源量,则意味着服务器的并行处理能力增加,真实服务器的利用率提高,负载就很少或不会滞留在真实服务器的排队中。因此,在Automod中可以根据实际情况调整仿真模型的资源量大小。如果在Automod中增加负载产生器的负载产生率,就等效为用户访问量增加,通过观察排队中的负载滞留比例,就可以发现系统的最大处理报文的能力以及系统各部分应答报文可能出现瓶颈之处。例如,将负载产生率增加一倍,虽然系统仍然可以处理所有的报文,但各台真实服务器的平均利用率将达80%左右。显然,这时系统应答报文的“瓶颈”为真实服务器,有必要在系统中增添一台新的真实服务器。通过一个包括5台真实服务器的实际虚拟服务器系统。收集并计算了仿真和建模的样板数据。依据系统报文延迟的中位数、均值、变异系数和直方图等,确定了系统随机变量的概率分布;采用最大似然估计方法和最速下降法,得到了通道概率分布的具体参数;根据Q-Q图和累积分布函数进一步校验并最终确定通道的概率分布形式。使用Automod软件进行了仿真建模和编程,借助仿真结果可以发现虚拟服务器的最大处理能力和可能的“瓶颈”之处。通过及时定位系统“瓶颈”,可以有的放矢地进一步研究和改进系统,有效提高系统性能。所采用的仿真方法也可以用于其他领域的仿真建模或分析中。在仿真模型中,负载均衡方式和调度算法还需要进一步增加,以便于比较不同的虚拟服务器系统。样本数据也需要进一步扩充,以避免报文延迟的自相关性。
上世纪五十年代兰州铁道学院建校之初被国家中央政府列入原苏联重点援助项目,兰州交通大学作为交通大学的重要分支之一,历史渊源可以追溯到1896年,兰州交通大学位于甘肃省会兰州市,学校由中央部委投资创建,铁道部重点大学, 是甘肃省高水平大学建设院校,入选教育部“卓越工程师教育培养计划”、“中西部高校基础能力建设工程”,教育部本科教学工作水平评估优秀高校、中国轨道交通职业教育联盟理事单位、中国人民解放军空军后备军官选拔培养院校、“中俄交通大学联盟”成员、”中国—东盟轨道交通教育培训联盟“成员高校、全国深化创新创业教育改革示范高校,中国轨道交通人才培养和科学技术研究的重要基地,是一所以工科为主,理学、经济学、管理学、文学和艺术学兼有的教学研究型大学, 具有推荐优秀应届本科毕业生免试攻读研究生资格。1959年1月铁道部公布《1960—1967年铁路高校专业(全日制)学校发展规划草案》。4月铁道部在成都召开全路高等学校及中等专业学校教育工作会议,会议传达贯彻中共中央教育工作会议关于“整顿、巩固、提高”的工作方针,在总结1958年工作的基础上,提出1959年的工作任务和目标,着重讨论了关于加强学校统一管理、调整新建高等学校以及提高教育质量的措施等问题,确定了6条整顿的原则和具体方案,提出每省1所大学的布局;会议讨论了铁道部《关于加强全日制高等学校和中等专业学校统一管理问题的若干规定(草案)》、《关于整顿1958年新建高等学校意见》等文件。6月铁道部发文规范铁路高校校名和学制。规定:铁道部直属高校,均以“铁道学院”命名,并冠以该院校所在地名;各局、院、厂所属高等学校,均以“铁路学院”命名,并冠以该院校所在地名;铁道部直属高校本科为五年,其他的为四年,专科为三年或两年。1959年6月铁道部在全路高等学校内确定3所重点学校,为唐山铁道学院、北京铁道学院、兰州铁道学院。1961年3月铁道部在衡阳召开铁路高等和中等专业教育工作会议。会议讨论了贯彻中央“调整、巩固、充实、提高”八字方针问题,具体研究了:关于铁路高等学校及中等专业学校进行调整“四定”的初步方案;关于铁路高等学校及中等专业学校进行充实提高的初步方案;铁道部《关于设置全路重点高等学校和重点中等专业学校的决定(草案)》;《关于铁路高等学校及中等专业学校机构编制的暂行规定(草案)》;铁路高等及中等专业学校专业目录。4月铁道部确定5所全路重点高等院校:北京铁道学院、唐山铁道学院、兰州铁道学院、长沙铁道学院、南京铁道医学院。2005年,经过铁道部、教育部、甘肃省人民政府批准决定将铁道部重点中等专业学校兰州铁路机械学校和铁道部重点技工学校兰州铁路运输技术学校整体并入铁道部重点大学兰州交通大学。2003年,经国务院学位委员会审议通过,兰州交通大学成为博士学位授予单位。2020年2月中国国家铁路集团有限公司与甘肃省人民政府签署共建兰州交通大学协议。这标志着兰州交通大学正式迈入“省部共建”高校行列。根据协议,国铁集团将重点支持兰州交通大学加强科技创新、学科建设和人才培养。甘肃省政府将进一步加强对兰州交通大学组织领导和办学支持,在政策和资金上予以特别倾斜和扶持,促进学校高质量特色发展。共建双方将共同促进兰州交通大学建设发展,支持兰州交通大学成为我国西部地区高素质交通人才培养、高水平科学研究、高质量科技创新与成果转化的重要基地,成为工科优势鲜明、多学科协调发展的高水平教学研究型大学。
兰州交通大学学报研究生专辑满足毕业条件。1、国家承认学历的应届本科毕业生及自学考试和网络教育届时可毕业本科生。2、具有国家承认的大学本科毕业学历的人员。