基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

华榕命丧信用刀锋

2002年1月,福建超市群雄的龙头老大——拥有91家连锁店面、营业额曾高达3.4亿元的福州华榕超市集团,因为连锁链条上的一环——华榕“好佳家”超市出现供货商上门讨债然后哄抢超市货品的风波,进而在短短的一周内便波及到整个华榕超市集团。市民们惊奇地看到,“华榕”的连锁分店纷纷开始甩卖、清仓、结账。一条曾在榕城昂首摆尾嘘气成云的“巨龙”忽然就这样一蹶不振了…… 这家中国最早一批获得或许经营许可的连锁商业零售企业所发生的巨变,一度成为榕城百姓茶余饭后最热门的话题。衰败让人措手不及 福州华榕超市集团有限公司成立于1995     

浅析“科技情报写作”称谓之误失

分析了科技情报仅是科技文献的内容，指出“科技情报写作”提法的不确切性，认为用“科技文献研究文体写作”的提法较为恰当。     

一类重叠互联电力系统的分散鲁棒控制

讨论一类重叠互联电力系统在不确定的结构扰动下的分散鲁棒控制问题，给出了一种基于线性矩阵不等式算法的此类系统分散鲁棒控制器设计方法。该方法设计控制器时充分考虑了系统间的关联情况，能有效地保证系统的联结稳定性。     

说f

本文剖析轻唇音ｆ的形成音理和过程，并引用方言材料加以印证。同时解释了今ｆ声母不拼齐齿呼、撮口呼韵母的道理     

非智力因素共生效应与高校课堂教学的优化

非智力因素共生效应与高校课堂教学的优化刘俐李非智力因素和智力因素是教育领域常用的一组概念。前者指情感、兴趣、动机、意志、性格等，后者指观察力、思维力、感知力、判断力、想象力、记忆力等。教学是一种传授知识的智慧活动，自然要调用参与者的智力因素，这是共识...     

受迫振动的几何描述与分析

在推广简谐振动概述的前提下，开拓了旋矢用途，供助矢量对受迫振动作出了几何描述，公式推导和分析。     

专用铁路生产调度信息系统

系统是针对兰州石化分公司化工储运厂开发的生产作业软件.将日常工作紧密结合,实现了资料的多种分类查询方式与数据的电子移交功能,体现了资源共享;保证生产数据的及时、准确、完整、统一;通过本系统,即时掌握企业内部运输生产动态;根据自动生成的各类图表,管理者能够及时协调生产过程,保证实时高效化管理.     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

冬小麦根系生长的三维仿真模拟

根据冬小麦根系分布的试验测量参数与生长规律,综合考虑根系生长的生理生态模型和虚拟植物模型,构造了描述小麦根系生长的动态模型．在已建立的根系生长模型基础上,运用分形几何理论与计算机图形学技术,对耕作土壤环境下冬小麦根系构型进行了三维仿真模拟．根据根系实测参数,对冬小麦根系生长模拟进行宏观控制,可以真实再现冬小麦地下根系部分的动态生长过程．