共查询到20条相似文献，搜索用时 15 毫秒
1.
<正> 近年来,国外对计算机程序的正确性的验证技术进行了大量的研究,其目的都是为了提高软件的可靠性.程序正确性的证明也愈来愈成为程序设计的一个重要组成部分。在国内,在程序的正确性证明方面也已开展了许多研究工作,这个问题日益受到广大软件工作者的重视。随着计算机应用领域的不断扩大,计算机软件的可靠性也日趋重要,计算机程序中的错误往往造成应用领域里的严重损失。因此,人们总是想把数学的严密性不断地应用于程序设计过程中去。类似于数学学科在其发展中经历了形式化和公理化的过程,在程 相似文献
2.
《广东工业大学学报》1992,(3)
聚合物媒介合成近年来已发展成为功能高分子化学和有机合成化学的一个交叉分支, 由杨辉荣、黎碧娜、陆乾生编著的由广东科技出版社出版的《聚合物试剂和催化剂》,是一本详细地介绍这一领域的研究进展的学术专著。目前,有关这一重要领域的研究工作,文献报导不少,但总结成书国内则尚未出现,本出的作者们是高校的教师,多年来从事这方面的科研 相似文献
3.
《武汉理工大学学报》1985,(3)
由我院李桂青教授主编的《框架轻板建筑结构设计手册》,是框架轻板建筑材料、基本结构构件、节点及整体结构的试验研究总结,是结构设计人员系统的参考资料,全书共分九章及十一个附录,约80万字,即将由知识出版社出版。第一章简要介绍框架轻板建筑的特点,编写手册的总则。第二章为建筑材料,除简要介绍承重结构材料、轻质墙板以及浆锚、保温隔 相似文献
4.
介绍了如何用图示法、类比法、对比法将汇编语言中的一些重点和难点问题讲解透彻,主要包括寻址方式、堆栈操作、数据分配伪指令、循环与分支程序设计、中断调用过程等,并探讨了实践性教学环节的安排. 相似文献
5.
针对计算机技术和多媒体技术的发展在改变了传统教学模式的同时，仍存在需要合理利用的问题，结合汇编语言程序设计课程的教学特点，讨论了如何利用多媒体技术提高教学质量与教学效果，并通过实际案例说明了具体的应用方法． 相似文献
6.
《广东工业大学学报》1991,(1)
由我院基础部郝同壬、吴为汗、陈耀灼、张式强等人编著的《高等数学解题方法研究》一书近日由华南理工大学出版社出版。该书在出版前经过多年试用,并吸收了一些专家、学者的意见修改而成,所以是一部比较全面、系统介绍高数解题方法的专著。该本共分四章,第一章函数与极限;第二章导数与微分;第三章不定积分与定积分;第四章证题方法。共介绍了一百多种常用的解题方法,解题方法简捷,并归纳得比较系统、全面,可帮助读者掌握解题规律、开拓解题思路,从而提高解题能力。该书有一特点,就是把有关的基本知识融化在解题方法之中,这样可能会有利于读者对 相似文献
7.
王立新 《成都纺织高等专科学校学报》2008,25(2):38-39
《世说新语》的著者,历来书目文献著录均为南朝宋临川王刘义庆,而学界目前对此存有一定争议。本文认为,尽管《世说新语》文风、选材可能不排除受刘义庆招聚的文士群体的影响,但《世说新语》能被视为“魏晋风度”的杰出范本,获得“名士教科书”的评价,仍主要是与刘义庆本人独特的家世背景、审美趣味,以及文化修养相关。 相似文献
8.
8088/8086模块程序设计的概念,主程序及子程序书写格式,主程序段间调用子程序的设计举例,各模块程序的汇编与连接、主程序可执行文件的生成. 相似文献
9.
《广东工业大学学报》1992,(2)
电工系张占松教授编著的《高频开关稳压电源》一书作为广东科技出版社的重点书已于今年四月出版。该书是概括作者在美国弗吉尼亚理工学院及州立大学电子电力研究中心进修研究时获得的成果并结合多年教学实践编写而成。 相似文献
10.
11.
汇编语言程序设计是计算机专业及相关学科学生的核心基础课程,但一方面传统的汇编语言教学还是基于tntel8086／8088,内容陈旧,过时,缺乏实用性;另一方面,汇编语言本身较为抽象、难学。为此,本文有针对性地探讨了课程内容更新、课程教学方法改革等关键问题,提出了一系列的改革措施并在教学实践中实施,取得了良好的效果。 相似文献
12.
2000年,ISO9000族标准经历了一次换版,换版后的标准从其思想性、结构和内容等方面皆发生了巨大的变化,但作为管理体系文件中纲领性文件的《管理手册》却大多传承了原1994版机械对应标准条款的旧貌。如果你是一名审核员,或是咨询师,或许你不用打开任何一本《管理手册《,你就能知道这本《管理手册》中的章节编排和基本内容。那些内容几乎千篇一律,甚至几乎是用与ISO9001标准相同的语句和表述。如果不看封面的话,你甚至不能区分这是哪个组织的文件。 相似文献
13.
《沈阳理工大学学报》1993,(3)
由我院弹药研究所翻译、王尔林教授审校的《现代武器弹药技术手册》,已由兵器工业出版社出版;该书16开本,近60万字,共分为14章:火炸药、内弹道学、外弹道学、中间弹道学、概率理论应用、观测与瞄准、自动武器、重型身管武器(枪炮)、枪炮射击动力学、枪炮和炮塔(机枪转塔)试验台、弹药、火箭与导弹、引信与火工品、弹道学与兵器试验法。 相似文献
14.
王永坤 《徐州工程学院学报》1997,(3)
随着人类社会的飞速发展和人们物质文化水平的不断提高,人们对自身生活物质质量的要求也越来越高。食品卫生直接关系着人类健康,比环境卫生更为人们所关注。当今的国际卫生组织及发达国家的卫生主管部门均对食品中微生物污染控制给予了高度的重视。近年来,从风靡国际食品加工、贸易及检验界的HACCP(危害分析及关键控制点管理体系)的起源就可以看出,把食品加工过程中的微生物污染视为最大的危害。 食品微生物检验的目的就是要为生产出安全卫生的食品提供科学的依据。检验出不合格的食品原料使它不被投入生产;检查出污染严重的生产工序使它得到应有的控制;检验出不合格的成品使它不被人们所消费。食品微生物检验是介于卫生防疫微生物检验和兽医卫生微生物检验之间的交叉学科。该课程首先开设于各大专院校的食品卫生检验专业,现逐步扩大到食品加工、食品工程、畜产品加工、食品营养卫生等专业。从现有的各大专院校所使用的教材看,全部是各学校自编的内部资料,内容上不太全面,形式上也不太一致,特别是缺少最新内容的补充,至今还没有一本正式出版的统一教材。本书的出版必将为解决这一问题作出应有的贡献。 本书由苏世彦同志主编,他从事本专业的教学10余年,可谓孜孜不倦,勤勤恳恳。书中收录了他多年的 相似文献
15.
何莹台 《沈阳理工大学学报》1993,(4)
《现代武器弹药技术手册》中译本已经出版,这是一本很具特色的参考书和工具书。该书的主要特点有三:一是涉及的专业面宽,包括火炸药、内弹道学、外弹道学、中间弹道学、概率理论的应用、枪炮射击动力学、观测与瞄准、自动武器、重型身管武器(枪炮)、弹药、火箭与导弹、引信与火工品、弹道与兵器试验法以及枪炮与炮塔(机枪转塔)试验台诸方面的武器系统的基础理论和构造原理。一本书的专业面论述如此众多,在国内兵器科技图书中实属少 相似文献
16.
陈德第 《河北工业大学学报》1982,(2)
河北工学院邹仁鋆教授编写的裂解专著——《石油化工裂解原理与技术》一书已由化学工业出版社出版,在国内外公开发行。这部著作是邹仁鋆教授长期从事石油化工裂解教学与科学研究的又一重要成果。全书六十三万字,分精装平装两种版本。书中主要包括裂解原料的来源、种类和性能,裂 相似文献
17.
《上海城市管理》2016,(3)
当城市,让生活更美好的美好愿景深入人心的同时,我们不由地要问:怎样的城市才能让我们的生活更美好?未来的我们又将面临怎样的城市生活?城市与人类生活如此的密切相关,如何让城市可持续发展的经验和教训更好地得以继承和流传?这些应该说是每一个关心和亲身参与到城市可持续发展实践中的亲历者共同关心的问题。为此,国际社会作出了不懈的努力,《上海手册——21世纪城市可持续发展指南》的出版和续编即为其中之一。通过对城市最佳实践案例的集中展示,能够促使绿色、环保、低碳等引领未来发展的新理念得到更加广泛的认同,并使得科技创新、可持续发展进一步成为各国的普遍追求,让人类生存的地球家园更加美好成为大家的共同呼声,以对未来城市发展产生更加广泛而深远的影响。 相似文献
18.
《哈尔滨理工大学学报》2015,(4)
<正>《哈尔滨理工大学学报》是由哈尔滨理工大学主办的自然科学类综合性学术刊物,立足本校,面向全国,以办一流理工类学术期刊为目标,主要刊登电气与电子工程、机械动力工程、材料科学与工程、测控技术与通信工程、计算机与控制工程、数理科学等方面具有原创性、创新性和较高学术 相似文献
19.
《哈尔滨理工大学学报》2013,(1):2
《哈尔滨理工大学学报》是由哈尔滨理工大学主办的自然科学类综合性学术刊物(双月刊),立足本校,面向全国,以办一流理工类学术期刊为目标,主要刊登电气与电子工程、机械动力工程、材料科学与工程、测控技术与通信工程、计算机与控制工程、数理科学等方面具有原创性、创新性和较高学术水平的学术论文和科研论文。 相似文献
20.
《浙江理工大学学报》2019,(5)
<正>《浙江理工大学学报》1979年创刊,时名《浙丝科技》,由浙江理工大学前身浙江丝绸工学院主办。1984年更名为《浙江丝绸工学院学报》。随着学校的更名,刊物于1999年更名为《浙江工程学院学报》,2005年更名为《浙江理工大学学报》。2014年改为月刊,逢单月出版自然科学类论文,逢双月出版社会科学类论文。《浙江理工大学学报》坚持正确的办刊方向和鲜明的办刊特色,在内容上以纺织与材料、服装与艺术 相似文献