排序方式: 共有11条查询结果,搜索用时 46 毫秒
1.
目前,由杭州微生物试剂厂生产的水解酪蛋白琼脂(MHA)、沙门氏志贺氏菌属琼脂(SS琼脂)在香港大学微生物系接受抽 相似文献
2.
3.
形式语义描述方法研究进展与评价 总被引:3,自引:0,他引:3
程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。 相似文献
4.
【目的】针对当前交通地理系统(GIS-T)领域中常用数据模型在城市交通网络的几何、时空语义属性、拓扑关系等描述以及路径诱导实际需求方面的不足,提出基于车道特征的多层交通网络时空数据模型。【方法】根据数据模型的建模层次,引入道路中心线、行车道、实际车道等特征,构建交通网络的多层次表达,并依次设计概念数据模型和逻辑数据模型,最后通过实验验证模型的性能。【结果】该模型比传统基于车道的网络模型的算法效率高,行驶时间少。【结论】该模型对车道特征的描述方案可行,在交通路径诱导中的实用性、精度及效率等方面比传统模型更优。 相似文献
5.
6.
使用Delphi 6.0作为前端开发工具,选择SQL Server作为后端数据库,设计并实现了高校学分制收费管理信息系统.该系统主要由学费管理模块、选课管理模块、统计查询及报表模块和系统维护模块组成.该系统安全性高、透明性强、工作效率高,已经推广到广西的大部分大专院校,以及其他省市的部分大专院校使用. 相似文献
7.
8.
9.
在模糊模型检测时,如果模糊Kripke结构不满足性质规约,模型检测工具会给出模型中违反性质规约的反例,这往往需要设计人员手工修复,会导致效率低下,因此如何对模糊Kripke结构进行自动修复具有极大的研究意义。由此,提出一个基于模糊tableaux方法的子模型修复算法,从而将经典的模型修复算法提升到模糊系统中,使得模糊Kripke结构能够自动修复。通过一个医疗诊断的例子来阐述该算法在实际中的价值。 相似文献
10.
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性. 相似文献