QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2007     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 激光电视的色域映射研究 学位论文 硕士, 光电技术研究所: 中国科学院光电技术研究所, 2007 张明勇 收藏  |  浏览/下载：45/0  |  提交时间：2013/11/19 激光显示  色域映射  色相修正  三维查找表  四面体插值  FPGA   面向服务业务过程建模方法的研究 学位论文 博士, 软件研究所: 中国科学院软件研究所, 2007 董广智 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17 面向服务体系结构  业务过程管理  过程建模  过程元模型  动态语义  XYZ/E  过程分析与验证  过程柔性运作  反射  动态绑定   双重软件体系结构描述框架XYZ/ADL 期刊论文 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 收藏  |  浏览/下载：19/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem