排序方式： 共有5条查询结果，搜索用时 15 毫秒
1
1.
ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法. 相似文献
2.
基于多维立方体的数据挖掘思想和方法, 提出一种定量分析和定性分析相结合的教学质量综合测评方法, 并应用数据仓库和联机分析处理技术构建一种“平面”和“立体”相结合的教学质量综合测评体系, 建立多维综合测评联机分析挖掘模型, 并应用于高校教学质量分析评价体系中. 相似文献
3.
无线传感器网络(WSN)在城市灾害检测和管理中的应用越来越广泛.结合城市灾害检测的实际需求,介绍了WSN在应用于灾害检测时需要重点解决的关键问题,提出了一种灾害检测传感器节点的原型设计方法,并重点阐述了该设计的软硬件实现,同时展示了部分人机交互界面和节点实际采集到的测试数据.最后就该设计的可扩展性和实用性进行了探讨. 相似文献
4.
在利用Globus网格平台的基础上, 提出一种计算机按时间分组的概念模型, 讨论了该模型的设计与实现方法, 并对该模型的使用范围及前景进行了分析和评价. 相似文献
5.
访问控制是信息安全技术的重要组成部分, 网络的发展使访问控制的应用更加广泛. 对当前几种主流访问控制技术, 包括自主访问控制、 强制访问控制、 基于角色的访问控制和基于任务的访问控制技术进行了论述和分析, 并介绍了新型的UCON访问控制模型. 相似文献
1