南华大学代码是多少?

南华大学离散数学复习题1,下载模考,详解请查看:/lfy/article/details/ 不一定完全正确,解答方式可能不唯一。

Language(UML,统一建模语言)是一种基于面向对象建模方法组合的建模语言。它以支持面向对象、可视化建模和强大的表达能力等优点已经成为人们构建大型超大型系统模型的首选语言。大多数UML规范都是描述性的,易于理解,但它们不是形式化的描述语言,它们的语法结构使用形式化规约,却缺乏精确的语义,经常产生模糊或者歧义,无法保证软件的正确性和可靠性。因此,为了增强该语言的准确性、一致性和可扩展性,保证系统的正确性并且降低软件开发的成本和后期的运行和维护风险,我们特别需要对UML进行形式化研究。本文首先讨论了一种从UML到Object-Z的映射方法。Object-Z作为一种形式化语言,引入了类的概念,能够较好地为UML元模型层上的各类图形中的语法和静态语义进行形式化描述。本文使用Object-Z语言对UML类图的语法和语义进行了形式化映射,并且用实例验证了该映射的可行性和正确性。然后,本文试图寻找一种从Object-Z到可执行代码的映射,将Object-Z形成的“伪代码”变成可被计算机识别和运行的可执行代码。本文发现Python作为现在越来越热门的编程语言,由于其独特的语法特点、优良的代码可移植性,最关键是和Object-Z语言有很多相似性,使得它自然而然成为我们转换Object-Z伪代码的一种极好的语言。在转换过程中,我们使用契约式设计,保证了Object-Z规约和Python代码之间的一致性,从而确保了该映射过程的正确性。通过该工作,我们找到了一种将UML类图形式化为Object-Z规约,最后从Object-Z规约映射为Python可执行代码的方式,这将为提高软件开发特别是复杂大型系统的开发效率提供了一种可行的方法。


  2008年在职人员攻读工程硕士专业学位招生简章

  具备以下条件之一的在职工程技术或工程管理人员,或在学校从事工程技术与工程管理教学的教师可以报考:

  1、2005年7月31日前获得学士学位。

  2、2004年7月31日前获得国民教育系列大学本科学历。

  报名采取网上报名与现场报名相结合的方式。

  时间:7月上、中旬(具体时间查看湖南省学位办通知)。

  程序:登陆湖南省学位办网站http:// ,填写、提交报名信息,并仔细检查,如有误,及时修改。网报成功,生成资格审查表(样表),核准相关信息并打印。

  注意:在规定网报时间截止后报名网站将关闭,不再受理网上报名。

  时间:2008年7月18日至21日(如有改变,请在网报阶段关注湖南省学位办通知)。

  地点:南华大学研究生处招生办(设在北校区办公楼四楼)。

  (1) 报考者在规定时间内持资格审查表(样表)到研究生处招生办进行现场资格审查,缴纳报名考试费,照相。同时,领取《非全日制攻读硕士学位全国考试考生守则及违规处理规则》,并认真阅读。考生在现场确认时,应提供友以下相关材料证明其符合报考有关学位类别的条件:

  ①本科毕业证书原件和复印件;

  ②学士学位证书原件和复印件;

  ③身份证和工作证复印件。

  (2) 报考者仔细核对现场确认时当场打印的“资格审查表”和“报名登记表”,认真核对并阅读相关信息后,在“诚信承诺书”栏签名确认。报名信息一经签字确认,不得更改,由此造成的一切后果由考生自负。

  (3) 考生须将现场打印的资格审查表交本人所在单位人事部门(或档案管理部门),核准表中内容、填写推荐意见,并在电子照片上加盖公章,一周内将资格审查表送、寄南华大学研招办进行资格审查。

  ★考生既可在招生单位所在地指定地点报名考试,也可在考生工作单位所在地指定地点报名考试。

  1、第一阶段GCT考试:

  考试地点:见准考证。

  2、第二阶段专业考试和相关测试:

  “GCT”成绩符合我校08年标准的考生须参加我校组织的第二阶段考试。参试考生名单12月12日校园网上公布。

  考试时间:2008年12月16日;

  考试地点:报考学院(详见通知)。

  我校自行划线,择优录取。

  学校录取具有国民教育系列大学本科毕业学历但未获得学士学位的人数,不得超过本校当年录取总人数的10%。

  我校在矿业工程、核能工程领域招收工程硕士生,录取具有国民教育系列大学本科毕业学历但未获得学士学位的人数所占比例可单列,但不得超过该领域当年录取人数的20%。

  1、培养费:24000元/人。

  3、学习方式:不脱产或半脱产。

  有关学习方式、培养计划、学习年限、学位论文和答辩等见南华大学有关规定。

  七、招生学科、专业以及对应考试科目

  “GCT”试卷由四部分构成:语言表达能力测试、数学基础能力测试、逻辑推理能力测试、外国语(语种为英语、俄语、德语和日语)运用能力测试。“GCT”试卷满分400分,每部分各占100分,考试时间为3小时。“GCT”命题依据《硕士学位研究生入学资格考试指南(2005年版)》(科学技术文献出版社出版)

  专业课参考书目:请与招生学院联系。

  南华大学研究生处招生办,电话:0734—8282310,8282694(传真)。

  十、工程硕士学位代码:430100

  十一、招生专业所属学院以及联系方式:

430114建筑与土木工程

430127核能与核技术工程

我要回帖

更多关于 南华大学是重点大学吗 的文章

 

随机推荐