基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约;以HierOns提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如ViPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

极危植物毛果木莲花粉败育及其结籽率研究

 毛果木莲是云南特有种,也是被IUCN评估为极危种(CR)的濒危植物.通过石蜡切片技术与显微观测技术对极危物种毛果木莲花粉败育、花粉胚珠比与结籽率进行研究,发现该物种花粉败育率达29%,正常花粉胚珠比>4527,结籽率聚合果达到34%,单果达44%.结合花粉胚珠比,初步认为该物种交配系统为专性异交类型,花粉败育对结籽率低影响不大.结合该物种野外种群调查,初步分析认为该物种的选择性败育特性是适应外界环境资源有限的一种生殖保障策略.     

长征开始前后张闻天毛泽东合作之基础评析

本文着重从三个方面探讨了张闻天和毛泽东在长征前后进行合作的基础。其中张闻天 思想的转变是他们合作的思想基础,毛泽东在中央政治路线是非问题上的让步是他们合作的政治基础,而他们在人格上互相尊重、工作上互相帮助、生活上互相照顾,是他们合作的情感基础。     

绣屏上的白鸟与蝴蝶标本——简析张爱玲、李碧华小说之不同

张爱玲和李碧华是中国现当代文学史上的两朵奇葩,也是文学研究者不断研究的“传奇”,但长期以来研究者多侧重于两者共性的总结,而对其作品之间的差异却涉猎不足。有关作品中的人物命运,前者多写世俗生活中无奈地生,后者则写奇幻世界里惨烈地死;作家创作情感层面,前者趋冷,而后者趋热,等等。她们作品之间的诸多不同,其根源正在于两者在女性意识和宗教意识方面的差异。     

张说诗文系年考辨

经考证,唐宰相张说《张说之文集》中部分诗文作品的创作时间等有误,对其辨正很有必要。     

戏如人生——谈《传奇》对张爱玲小说创作的影响

通过《传奇》,从童年体验的影响、复杂的经验世界、独特的女性视角三个方面分析张爱玲的小说创作。认为张爱玲是中国现代文坛上一个不可多得的才女作家,她的小说以特有的魅力,经历了时间的考验,独领风骚,为人称道。《传奇》是张爱玲小说中具有代表性和影响力的作品。     

头顶一颗珠及其提取物的二维红外光谱研究

采用傅里叶变换红外光谱并借助于二阶导数谱以及二维相关红外光谱法,研究头顶一颗珠原药材及其提取物所含化学成分的红外光谱整体变化规律.结果显示:头顶一颗珠原药材在1 743 cm-1、1 653 cm-1、1 415 cm-1、1 376 cm-1、1 154 cm-1、1 078 cm-1、1 016 cm-1等处有特征...     

享誉国际的神经生理学家——张香桐

中国科学院神经科学研究所名誉所长张香桐院士，是我国对神经生理贡献最大，最负国际盛誉的神经生理学家之一。他是神经元树突生理功能研究的先驱者，在机体各部位的肌肉在猴运动皮层的定位研究、肌肉传入神经纤维分类、视觉研究、针刺镇痛神经机制的研究等方面有重要建树，对我国神经科学的发展起到了重要的推动作用。美国1989年出版的《神经科学百科全书》中，张香桐被列为“公元前300年至公元1950年间对神经科学进展有贡献的人物”之一。     

礼失求诸野学问在民间——读张期鹏《吴伯箫书影录》《吕剑书影录》有感

张期鹏《吴伯箫书影录》和《吕剑书影录》的出版,既展示了作者致力于探求学问本性的学者品格,也是“学问在民间”的一个很好的例证.