逻辑表示相关论文
近年来,软件体系结构已经成为软件工程领域的研究热点以及大型软件系统开发中的关键技术之一。随着软件系统规模越来越大、越来越......
1.引言知识的表示与管理一直是当今人工智能领域的研究热点课题,而逻辑表示是人工智能中使用最早的表示模式之一[1],特别是模态逻......
提出了一种检查代码安全的类型安全策略,详细描述了该策略的逻辑表示、形式化描述和基于该策略的证明方法,最后给出一个基于该策略......
本文在充分理解了web统计业务的需求后，分析web报表的物理结构和逻辑表示，阐释了web报表的处理过程．探讨了web报表的总体框架，分析说明......
