模型检查在测试用例生成中的应用

按照存在量词公式的证据是全称量词公式的反例的特性,通过考察时态逻辑算子,用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域,寻找验证的路径,生成测试用例,据此对系统进行测试．通过实例说明了测试用例的具体实现过程．     

普9图美术封的较早实寄品

现介绍一件笔者新近寻觅到的,比杨波先生的1号封早6天的实寄品(图见封二)。 此封的编号为5—1957,封图是特伟所作年画“拔萝卜”,收信人为安徽歙县纺织品公司汪姓同志,寄信人地址姓名处落款为:沪俞寄57.4.22,销上海12支局1957年4月23日10时点线三格戳,封底盖有安徽歙县1957年4月25日三格式(内点线)落地戳。此封编号虽然排列在1号封之后,但由于此组封1—5号为同     

让数学课堂引领学生触摸生活——反思“估”的教学

就平时数学教学中"估"的教学,本人谈谈如何引领学生真正体验到学数学的实用价值。一、估算比求精确值更有价值在解决实际问题时,经常通过估算来检验解答的结果是否正确,可见估算有时比求精确值更有价值。如苏教版五年级上册第12页有这样的一道题:一块白菜地的形状是梯形。它的上底是9米,下底是12米,高是18米。如果平均每棵白菜占地9平方分米。这块地里一共有白菜多少     

文本：不可能讲完，也不应讲完

总有教师说,进度跟不上。课文来不及讲。其实。在这个现象的背后。有几个值得反思的问题：语文一学期应教多少篇课文才算完成任务？每一篇文本都非得讲吗？怎样才算把文本讲好了？你能把一篇文本讲完吗？你应当把一篇文本讲完吗？     

彝族撒尼人刺绣的色彩基调及其内涵

石林彝族撒尼人刺绣的颜色有着其特有的基调,其基调的颜色透视和蕴涵了彝族撒尼人的等级观念、价值取向和心理文化特点、婚姻状况和社会地位以及撒尼人的黑白宇宙观和阴阳哲学观念。     

基于职业成长过程的高职课程体系改革与实施

以培养具有创新能力、合作精神以及计划、设计、实施、评估和反馈等系统行动能力的全面发展的高素质的职业人为目标,基于电气自动化现场技术人员的成长过程构建课程体系,基于赵志群课程开发理论进行课程开发,基于典型工作任务实施课程教学,改革试点取得明显效果.     

新媒体写作谈之一新媒体:催生"新新闻文体"

2010年3月14日上午,十一届全国人大三次会议闭幕后,国务院总理温家宝接受中外记者提问.记者会期间,正在现场的一位记者朋友给笔者发来几次手机信息,一是了解温总理引用的古语出处和<富春山居图>的情况以准确发稿,一是介绍会场动人的气氛让人先睹为快.记者会结束不到1小时,有关温总理答记者问中所有引经据典内容一一出现在一些知名网站上,国内外的报道和评价铺天盖地而来.     

新媒体写作谈之二微博新闻的写作及其文体特征——以2010年两会微博报道为例

新闻文体不是一成不变的,每一次重大的传播媒介变革都会对新闻文体造成深深的影响,使之不断创新、发展.微博作为一种互联网的新技术,成为今年媒体报道两会的重要传播途径.相应地,通过微博发布的新闻报道表现出其独特的文体特征和写作手法.     

满江红 贺唐无忌先生八秩寿诞

沪上人家,薪传了,大龙文脉。一代代,冰心未改,绿播方苑。发奋邮王膝下德,宏图会士榜前唤。苦耕耘,菘韭茂江南,秋正艳,日月度,时光换。心不老,春常在,更几番烟雨,彩云笑看。卓尔经纶传浦水,飘然     

提质培优视域下高职院校治理能力建设研究

高效治理是职业教育实现提质培优、增值赋能的根本保证。高职院校应该顺应国家治理体系和治理能力现代化大势,立足职业教育类型特征和高职院校办学规律,结合本校实际情况,坚持问题导向和目标导向,从供给侧视角谋划学校治理改革和发展问题,解决好治理主体、治理内容、治理方式、治理手段等关键问题,协调好内外关系,整合利益相关方力量,共同推进学校高质量发展。