中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	具有环形结构微通道网路中双液滴串编码行为研究会议论文 OAI收割中国力学大会——2013, 中国北京, 2013-08-19 作者: 宋奎; 胡国庆收藏 \| 浏览/下载：10/0 \| 提交时间：2014/04/02 串编码环形结构微通道网路液滴运动行为研究微流控芯片逻辑编码调控流量输入信息理论模型正确性编码过程实验观测输出信息参量操控间距:输运:0
	基于LOBA逻辑的言语行为表示期刊论文 OAI收割计算机研究与发展, 2007, 期号: 第3期, 页码: 420～426页作者: 眭跃飞; 潘瑜; 曹存根 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/10/13 可信主体认知过程言语行为 Loba逻辑
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	UML活动图的时序逻辑语义期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484 朱雪阳; 唐稚松 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/28 UML 活动图形式化语义时序逻辑 XYZ/E 活动图线性时序逻辑语言逻辑语义 UML Activity Diagrams 形式化系统行为语义转换行为建模描述系统逻辑框架动态行为图结构控制流可表示程序性基础
	一种基于构件的软件体系结构求精方法及其应用期刊论文 OAI收割重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 软件体系结构构件形式化描述求精 XYZ/E 基于构件软件体系结构方法及应用求精方法形式化描述时序逻辑语言研究领域描述语言开发实例基于行为工程学科风格
	对等实体执著度语义及其应用期刊论文 OAI收割电子学报, 2003, 卷号: 31, 期号: 2, 页码: 287-289 詹敏; 左春 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 对等实体互操作持续目标执著度执著目标对等实体互操作语义应用持续目标语言描述行为逻辑心理态度发起者参考点缺陷歧义控制概念Information management Semantics
	可视化软件体系结构描述工具XYZ/ADL的设计与实现期刊论文 OAI收割重庆师范学院学报（自然科学版）, 2001, 卷号: 18, 期号: 2, 页码: 1-6 张广泉; 骆华俊; 郑建丹 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 时态逻辑软件体系结构体系结构描述工具可视化软件体系结构描述工具体系结构设计模块化程序逐步过渡图形表示设计方法设计单元求精方法逻辑语言动态行为抽象层次语言能连接件交互端组件框架基础规范
	一种新型的非否认协议期刊论文 OAI收割软件学报, 2000, 卷号: 11, 期号: 10, 页码: 1338-1343 卿斯汉 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/07/29 非否认协议 SVO逻辑可信第三方仲裁方非否认协议概念和方法欺骗行为逻辑分析证明信道缺陷扩展扩充基础草案安全Algorithms Communication channels (information theory) Cryptography Data processing Formal logic Security of data