云南大学历史名人--庄圻泰

庄圻泰，1909年生于山东省莒县．幼时，在家乡读私塾．后到济南市的织锦小学读书，毕业后考入正谊中学．中途又转入教育家张伯苓创办的天津南开中学。     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

云南大学历史名人——冯景兰

冯景兰，字淮西、怀西．1898年生于河南省唐河县．幼时在家乡私塾受启蒙教育，1913年入河南开封省立第二中学学习，1916年考入北京大学预科．1918年考取公费赴美留学，入美国科罗拉多矿业学院学习矿山地质，1921年毕业；同年考入美国哥伦比亚大学研究院．攻读矿床学、岩石学和地文学，1923年获硕士学位．当年回国．     

臭氧强化混凝工艺在污水处理中的应用

本试验采用臭氧强化混凝处理工艺对某城市污水处理厂二级生化出水进行深度处理,考察了投加臭氧对混凝处理效果的影响。经试验可知在臭氧投加量为1.5mg/L,混凝剂PAC投加量为4mg/L,混凝搅拌15min的条件下,CODCr、TP、色度、UV254去除率分别为27.3%、23%、41.1%、11.2%,出水CODCr、TP、色度、UV254值分别为16mg/L、0.378mg/L、9.67度、0.12mg/L。该工艺提高了出水水质,在相同出水水质要求下大大降低了混凝剂投加量。     

冯景兰

冯景兰,字淮西、怀西.1 898年生于河南省唐河县.幼时在家乡私塾受启蒙教育,1 91 3年入河南开封省立第二中学学习,1 91 6年考入北京大学预科.1 91 8年考取公费赴美留学,入美国科罗拉多矿业学院学习矿山地质,1 92 1年毕业;同年考入美国哥伦比亚大学研究院,攻读矿床学、岩石学和地文学,1 92 3年获硕士学位.当年回国.1 92 3～1 92 7年间,任河南中州大学地质学教授并担任系主任.期间,除完成教学任务外,开始研究开封附近的沙丘,著有《开封附近沙堆之成因分布与风力水力风向之关系》等文章.1 92 7年,到河北昌平黑山寨分水岭调查金矿地质.这是我国最…     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

正负电子对产生和湮没的最早发现者——赵忠尧

赵忠尧(1902～1998)，核物理学家．1902年6月生于浙江省诸暨县．1920年考入南京高等师范学校数理化部，毕业后曾去浙江吴兴师范学校任教，半年后返回东南大学(1923年南京高等师范学校改建为东南大学)，任物理助教并补修物理系课程．1925年东南大学毕业后，去清华大学任助教．     

浅析活性污泥的堆肥利用

活性污泥是城市污水处理厂的处理副产物,活性污泥堆肥的土地利用是污泥处置和资源化利用的最经济可行的方式,被许多国家广泛采用,由于近年来污泥产量不断增大,污泥堆肥的应用范围也在增大。本文主要介绍了我国污泥堆肥的土地利用现状,结合青岛的活性污泥具体情况,认为最为适宜的污泥利用方式是堆肥后作为林地、花卉的肥料。     

内电解法处理麦草浆造纸中段废水试验研究

利用正交试验确定内电解法处理草浆造纸中段废水的主要影响因素顺序及其最优水平组合为废水的pH值为4.37,铁屑量(V)/原水量(V)为13%,反应时间为1.5 h,焦炭量(V)/铁屑量(V)为1.0.在正交实验基础上,通过动态优化实验研究确定了内电解系统最佳工艺运行条件,在曝气且将原水pH值调节至4.0左右,反应停留时间为2.0 h的条件下,内电解反应的CODCr去除率可达到65%以上,色度的去除率可达到50%左右.     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O（P）（P是路径数目）减少为O（N＋E）N）（N是控制流图节点数，E是控制流图边数）。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。