首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  免费   5篇
综合类   10篇
  2014年   2篇
  2013年   2篇
  2008年   1篇
  2006年   3篇
  2005年   1篇
  1988年   1篇
排序方式: 共有10条查询结果,搜索用时 15 毫秒
1
1.
目前,由杭州微生物试剂厂生产的水解酪蛋白琼脂(MHA)、沙门氏志贺氏菌属琼脂(SS琼脂)在香港大学微生物系接受抽  相似文献   
2.
形式语义描述方法研究进展与评价   总被引:3,自引:0,他引:3  
程序设计语言形式语义描述技术在1990年代进入新一轮发展高潮,它对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及安全协议形式化描述、分析验证与设计等都有着重要的意义。但不同于成熟统一的形式化语法描述技术,语义的形式描述技术尚处于蓬勃发展和多种技术并存时期。首先回顾形式语义描述方法的研究发展史;然后通过实例介绍当前主要的语义形式描述方法;最后给出这些方法的评价标准和比较结果,并指出最有发展潜力的语义描述方法,以及将来的发展方向。  相似文献   
3.
使用Delphi 6.0作为前端开发工具,选择InterBase或Access作为后端数据库,设计一个物价收费管理信息系统,该系统由收费许可证管理系统、收费年审统计系统和收费目录及文件查询系统三个子系统组成.该系统已经应用于广西物价局收费处和广西所有的县市物价部门,以及数千个物价收费单位.实际应用表明,该系统安全性高、透明性强、工作效率高.  相似文献   
4.
使用Delphi 6.0作为前端开发工具,选择SQL Server作为后端数据库,设计并实现了高校学分制收费管理信息系统.该系统主要由学费管理模块、选课管理模块、统计查询及报表模块和系统维护模块组成.该系统安全性高、透明性强、工作效率高,已经推广到广西的大部分大专院校,以及其他省市的部分大专院校使用.  相似文献   
5.
结合桂林市现有的机动车档案管理状态,设计桂林市机动车电子档案管理系统,给出机动车电子档案管理系统的结构和功能,以及技术实现方案。  相似文献   
6.
桂林市机动车远程审验系统主要包括远程审验中心和检车站审验管理平台,采用面向对象的三层软件架构,通过对电子档案系统以及公安网车辆信息系统的整合,实现集采集、监控及管理为一体的车辆检测全过程的信息化。  相似文献   
7.
状态爆炸是模型检验需解决的一个关键问题.基于GPVW算法,以及从LTL公式导出识别该公式的Büchi自动机,用OBDD符号表示,通过符号操作求解自动机乘积.采用符号方法求解出含有初始状态或接受状态的最大连通图,判断自动机是否存在初始状态能否到达含有接收状态的最大连通分支,从而判定所接受的语言是否非空来模型检验LTL公式.采用本文所提出模型检验LTL公式的方法,能在一定程度上解决空间爆炸问题.  相似文献   
8.
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性.  相似文献   
9.
【目的】针对当前交通地理系统(GIS-T)领域中常用数据模型在城市交通网络的几何、时空语义属性、拓扑关系等描述以及路径诱导实际需求方面的不足,提出基于车道特征的多层交通网络时空数据模型。【方法】根据数据模型的建模层次,引入道路中心线、行车道、实际车道等特征,构建交通网络的多层次表达,并依次设计概念数据模型和逻辑数据模型,最后通过实验验证模型的性能。【结果】该模型比传统基于车道的网络模型的算法效率高,行驶时间少。【结论】该模型对车道特征的描述方案可行,在交通路径诱导中的实用性、精度及效率等方面比传统模型更优。  相似文献   
10.
【目的】针对网络布置费用的优化问题,利用基本遗传算法的良好搜索性能,设计出优化网络布置费用问题的遗传算法。【方法】通过分析网络布置费用的优化问题,抽象出网络模型,并将该问题转化为求解无向图中最小生成树的问题。【结果】基于遗传算法基本原理和抽象出的网络模型,设计出一种优化网络布置费用的遗传算法。【结论】应用遗传算法解决网络结构优化问题,可以让用户在短时间里获得一个比较满意的结果。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号