排序方式: 共有2条查询结果,搜索用时 187 毫秒
1
1.
本文先从软件工程的角度,探讨验证数据库说明的重要性.然后提出一种数据库说明的时序语言.一个数据库说明由静态约束、时序约束和操作描述组成.数据库是一个动态物体.它的演变是由操作序列建立的.本文介绍一种验证数据库说明的形式方法.该方法检查静态约束是否是协调的;操作描述的实现是否可在合法的数据库状态中应用,导致合法状态并且没有不良效应;最后,它检查容许操作序列都满足所有的时序约束. 相似文献
2.
作者针对大功率短波天线阵子连接磁棒在恶劣天气下故障率高,抢修过程中由于常用工具实用性不强,常常延误处理故障时间这一问题,设计出了一种简单实用的天线阵子抢修工具,本文介绍了该专用工具的使用技巧和制作方法. 相似文献
1