形式化方法自动生成测试用例的算法研究

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法,给出了算法步骤.算法设计,并进行了算法分析。最后指出了下一步工作的重点所在。     

何以赎罪——评麦克尤恩《赎罪》

《赎罪》是英国当代优秀作家伊恩·麦克尤恩的精品之作,改编的同名电影一上映就好评如潮。作品涉及了许多主题而引起评论界的广泛关注。爱情和战争是其主题之一。作者通过探讨了人性的恶,转而暗颂人性的善的伟大;抛弃以往作家对战争宏大叙事的描写,转而刻画人物的个人感受,更加真实的再现了战争对人的摧残,使得人们更加珍惜和平。     

"I have a dream"中人际意义的体现

本文从语气、情态、人称、态度词汇(即表达态度的动词、形容词和名词等)方面对马丁·路德·金的著名演说"I have a dream"一文中人际意义的体现形式进行分析,并提出排比句式也是政治演说中实现人际意义的一种手段.     

计算机网络信息安全及防范措施之我见

随着计算机网络的不断发展,全球信息化已成为人类发展的大趋势,但由于计算机网络具有联结形式多样性、终端分布不均匀性和网络开放性、互联性等特性．致使网络易受黑客、恶意软件和其他不轨行为的攻击,所以计算机网络中的信息安全是一个至关重要的问题。如何对网络上的各种非法行为进行主动防御和有效抑制．从而建立一种网络信息安全机制已成为当今计算机信息网络方面待解决的一个重要问题。     

深化"两课"教学改革的原则

"两课"是马克思主义理论课和思想品德课的简称,进入21世纪,"两课"教学在改革中应该坚持以人为本、以平等的身份和学生交流、理论联系实践、"精"和"管用"和多种教学形式相结合的原则。     

超音速火焰喷涂WC-12Co涂层的磨粒磨损行为研究

对超音速火焰WC-12Co涂层进行了磨粒磨损试验,研究了磨粒磨损试验参数对涂层性能的影响,并通过SEM对涂层表面的显微形貌进行了观察分析,探讨了WC-12Co涂层的磨粒磨损失效机制.结果表明:涂层的失重随试验载荷及磨料直径的增加而增加;在载荷或磨料粒度较大时.涂层的磨损失效形式为晶粒剥落及犁沟切削相结合;当载荷或磨料粒度较小时,其失效形式主要为晶粒剥落方式.     

英语中委婉语的表达及最新发展

准确得当地运用委婉语,可以体现一个人受教育的程度及素养,也使人际间的交往更加顺畅和谐。本文从禁忌语的替代形式和间接表达法两个方面对英语的委婉语表达进行了探讨。替代形式主要从避短扬长、避俗求雅、避凶求吉三个方面进行探讨;而间接表达法的探讨主要从命令、请求、拒绝中的间接表达等几个方面来进行。     

量子群Uq（f（K））的局部有限子代数

用U表示量子群Uq(f(K)), F(U)是U的局部有限子代数(即由量子伴随作用下局部有限的所有元素组成的U的子代数).利用量子群Uq(f(K))表示理论的基本结论,讨论其局部有限子代数F(U)的单子模形式、中心和单位群.     

小学自然课中的概念教学

概念是反映客观事物本质属性的一种基本思维形式。小学自然课中有大量的自然科学概念。如何进行概念教学,对于儿童形成科学意识,掌握科学方法,发展抽象思维,获取科学知识,培养实践能力等等,都有重要意义。本文仅就形成概念的思维过程,谈谈自然课中概念的教学,旨在与同行研究。     

Lorentz流形中的类空超曲面

讨论Lorentz流行中具有常数平均曲率的类空超曲面,得到它为全脐超曲面的一个充分条件．