排序方式: 共有104条查询结果,搜索用时 15 毫秒
101.
研究了基于验证完毕的逻辑和软件体系的码垛机器人生产线控制软件设计问题.基于软件开发的瀑布模型,首先根据需求提出了软件体系架构,其次采用Petri网络建立软件模块调用规则模型和控制逻辑模型,并使用可达图证明了调用规则的安全性和无死锁性,基于系统仿真软件Simulink-stateflow仿真技术验证了控制逻辑的合理性.在... 相似文献
102.
近年来,随着软件规模的不断扩大,传统的手工测试方法已严重影响了软件的发展,它不但需要投入大量的人力、物力和时间,最终还是由于测试的工作量太大,而无法保证软件测试的充分性,从而无法保证软件的质量。企业对软件测试的过程越来越重视,但是目前适合中小企业的软件测试文档管理系统还不是太多。为满足这方面的需求,利用软件开发中瀑布模型的设计方法和面向对象的技术设计,实现了对软件文档和测试用例等进行管理。在实际应用中,通过系统对测试的管理,可以更加方便地对软件进行测试,对测试文档进行统一管理。 相似文献
103.
104.
以我国自主的环境卫星(HJ-1A/B)多光谱影像为主要数据源,结合Landsat TM多光谱影像数据,获取瀑布沟水电站周边2003—2011年三期土地利用数据.引入综合土地利用动态度、转移矩阵并结合土地生态系统服务价值,在GIS技术支持下定量地获取分析瀑布沟水电站工程建设过程中周边土地利用情况以及生态环境指数.结果表明:2003—2007年瀑布沟水电站工程建设期间,土地利用类型变化的程度不高,生态环境影响不大;2007—2011年瀑布沟水电站流域水域迅速扩张,土地利用类型剧烈变化,生态环境影响较大;生物丰度状况指数以及土地生态系统服务价值的上升,说明该地区生态环境状况逐渐趋好,但潜在影响不可忽视. 相似文献