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

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

帮助

条数/页：排序方式：
	声音对中国大学生群体的压力恢复作用及其时间进程学位论文 OAI收割中国科学院心理研究所: 中国科学院大学, 2024 作者: 朱正清 \| 收藏 \| 浏览/下载：41/0 \| 提交时间：2024/07/11 压力恢复时间进程自然声音国际情感数字声音库-2 (IADS-2) 广义加性模型 (GAM)
	物联网软件体系结构中的感执模型的求精期刊论文 OAI收割软件学报, 2014, 卷号: 25.0, 期号: 008, 页码: 1659 作者: 谢开斌; 陈海明; 崔莉 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 物联网感执模型构件通信顺序进程进程分析工具
	CTCS-3级列车运行控制系统的形式建模学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2012 权曌 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2012/05/31 CTCS-3级列车运行控制系统混成系统信息物理融合系统混成通信顺序进程形式化模型
	Formalization and specification for controlling process modularity in mobile computing 学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 Takashi KITAMURA \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2011/03/17 进程代数 Pi演算分布移动计算模态逻辑 Mu演算模型检测
	Isabelle在分析安全操作系统状态机模型中的应用期刊论文 OAI收割计算机工程与设计 , 2008, 卷号: 29, 期号: 3, 页码: 580-582, 730 陈坤; 贺也平 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2010/01/06 形式化 Isabelle工具状态机模型安全操作系统可信进程模型
	自定义数据上传应用在OPNET中的实现期刊论文 OAI收割计算机工程与应用, 2007, 卷号: No.579, 期号: 20, 页码: 113-116 李云; 严海蓉; 王玉林; 邹德财收藏 \| 浏览/下载：23/0 \| 提交时间：2012/07/01 OPNET 进程模型应用属性仿真
	高安全等级操作系统可信进程安全策略及其关键技术的研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 沈晴霓收藏 \| 浏览/下载：26/0 \| 提交时间：2011/03/17 安全操作系统可信进程安全策略模型形式化分析特权可信路径
	需求驱动的Web服务建模及其验证:一个基于本体的方法期刊论文 OAI收割中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219 侯丽珊; 金芝; 吴步丹 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/13 Web服务环境本体自动组合 π演算形式化验证需求驱动 Web服务建模验证算法本体组合模型环境变化能力描述进程表达式转换机制验证方法可满足性操作形式化概念化 π演算语义行为框架交互
	面向Web Server的QoS自适应控制鲁棒性研究期刊论文 OAI收割计算机工程, 2006, 卷号: 32, 期号: 11, 页码: 24-25,28 李捷; 刘先省; 皇甫伟 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/07/13 Web 服务质量卡尔曼滤波自适应控制鲁棒性研究卡尔曼滤波方法控制机制 Web服务在线系统辨识最优预测重新分配控制算法仿真结果稳定性离散型服务类模型连接进程基础会话调度参数