企业软件开发方法模型剖析

一、软件开发模型应具有的能力 为了解决企业软件开发中的诸多问题必须使用一个好的软件开发模型。一个好的软件开发模型，应该具有以下三个方面的能力。 １、具有较强的描述能力。能以直观真实的方法描述一个问题，不仅能够描述开发活动，而且也应能够描述开发过程中的管理活动。 ２、具有较强的使用能力。无论大型的软件系统还是小型的软件系统或者特殊领域的软件系统，它都能使用。 ３、适合于计算机上实现该模型。所有开发工作及文档都应使用计算机来实现，进行计算机辅助设计工作。 目前我们已使用或提出的开发模型很多，但较典型的有…     

充分预设才能演绎精彩

在课堂教学中，尤其是公开课上，许多老师都碰到过学生“提早”说出答案的尴尬。在这种情况下，绝大部分老师采用冷处理。应该说这也是一种方法．但我总觉得对这个“生成”资源弃之不理有点不妥。凡事预则立，不预则废。一个普通的棋手能够预想一、两步棋，而专业棋手能够预想好几步棋。只有充分的预设，才能临危不乱。最近，上了《圆的周长》一课，我试图寻找一种期待已久的精彩。     

电影《迷雾》—透析宗教

这部电影由史蒂芬·金的小说《被诅咒的手》改编而成,是2008年不可多得的佳作。影片虽属于恐怖片但导演通过特定的场景和情节揭露了宗教的演绎过程及宗教对人精神的控制。     

康德B版先验演绎中的“自我认识”问题

能否认识作为认识主体的自我呢?康德B版先验演绎的一个结果就是对自我认识的可能性问题的提出。康德的回答是肯定的。遵循其认识论的基本思路,即感性与知性在功能上的严格区分和认识上的结合,康德得出双重意义上的自我认识:认识作为现象的自我和认识作为我自身的自我。     

施语境实践教学 提高中职英语教学有效性

新的中等职业技术学校英语教学大纲注重学生基于情境进行英语学习,强调教学基于日常生活与职业场景的创设。根据这些要求,在中职英语教学中适当实施语境实践教学,以项目任务为载体,把教学置于相对真实的生活和职业场景,能很好地提高教学的有效性。     

传承科研创新，演绎别样“浪漫”

许多人把科学家定义为只会刻板研究，不懂变通的“怪人”，但事实上，敏锐的科学眼光和精准的科学直觉，是一位优秀科学家必不可少的素质之一。每一项科学研究都是艰苦的，但是在热爱它的科学家眼里，这种艰苦也有一种别样的“浪漫”。在五四青年节到来之际，上海市科技团工委主办的“科技系统青年创新文化月”正式启动。在开幕式上，     

财经应用写作教学方法探新

注意改进教学方法，是提高教学质量的一条重要途径。本从财经应用写作教学实践出发，在常用教学方法“突出重点，难点”，“精讲多练”的基础上，总结出“用已知推导新知”，“用直观的图象显现语言字的表述”，“用公式演绎写作思维规律”，“用史哲知识启发深入学习的兴趣”，“用编写参考资料的方法巩固拓展学习成果”等教学方法，对于提高教学质量，进行了新的有益的探索。     

智能，演绎高度自动化

一直以来，科技都是世博会的核心元素之一，上海世博会同样也是科技创新成果的又一次集中展示。尤其在现今所处的信息化时代，一届成功的盛会更离不开信息技术的支撑，同时，世博会的精彩需要通过先进的信息技术来展示。     

演绎数据库中处理递归查询的一种改进算法

如何提高演绎数据库的递归查询效率是演绎数据库领域所面临的一个重要问题．介绍了一种结合传统的逻辑查询处理自顶向下和自底向上两种处理方式的递归查询算法．该算法基于侧向信息传递策略，把查询计算始终限制在与查询的初始约束相关的元组，从而避免了大量无关数据的计算．     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式: