• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"作者=陈圣坚"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
根植本土文化的西南山地城市园林建筑设计研究
收藏
分享
引用
《沈阳文旅》2024年 第9期 76-78页
作者：陈圣坚 肖婵 羊丽娇六盘水师范学院土木与规划学院 
建筑不单单只是物质层面的物体,也是一种承载文化精神的寄托。本文以中国西南地区为例,从建筑形态、建筑材料、建筑情感等角度分析对于本土文化对该地区城市园林建筑设计的影响,在此基础上提出根植本土文化的西南山地城市园林建筑设计...
来源：详细信息评论
一种基于状态机的形式化验证技术
收藏
分享
引用
《电脑知识与技术》2008年 第5期3卷 720-722页
作者：林敬恩 滕忠坚 陈圣群福建师范大学光电科学与技术教育部重点实验室福建福州350007 
状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义，给它的形式化验证带来困难。本文给出一种形式化操作语义，并概述基于...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部