论文部分内容阅读
针对体系结构与体系结构验证评估之间的相互关系，以及两者之间如何进行耦合的问题，提出了一种紧耦合的方案，将体系结构验证评估模块嵌入到体系结构中，从而实现了评估的动态性、实时性，使得评估的结果能够及时反应到体系结构中。
体系结构验证评估与体系结构融合研究
【摘 要】
：
针对体系结构与体系结构验证评估之间的相互关系，以及两者之间如何进行耦合的问题，提出了一种紧耦合的方案，将体系结构验证评估模块嵌入到体系结构中，从而实现了评估的动态性、实
【机 构】
：
中国青年政治学院计算机教学与应用中心
【出 处】
：
计算机与现代化
【发表日期】
：
2009年7期
【基金项目】
：
中国青年政治学院校级科研项目（189020903）
其他文献
通过分析SaaS模式的多重租赁、UI设置、按需定制以及可扩展性等特点，结合WSS平台的技术，阐述了WSS平台对SaaS模式软件开发中展现其各种特点的支持，提出一种在一定范围内适用于Sa
介绍构建高校图书借阅数据仓库的过程,建立多维图书借阅数据集,使用OLAP数据分析方法对教职工图书借阅进行多维分析,对结果进行认真的分析和解释,并指出今后高校教师应加强自
基于角色的访问控制（RBAC）具有减少授权管理复杂性、降低管理开销、增强系统安全性等优良特性。本文分析了RBAC模型的基本原理、结构，描述了RBAC在B／S模式信息管理系统中的应用模
网络管理协议SNMP安全缺陷不能自己得到解决，还必须借助其他的安全协议来解决。利用安全外壳协议SSH来解决这样的问题显然是一种好的方法。本文以SSH协议为基础构造安全外壳安
针对嵌入式应用程序在发布之后版本难以维护的问题，本文提出了基于HTTP协议的解决方案，并对该解决方案进行了深入讨论。最后，本文从文件压缩及动态创建序列号等方面提出了改进意
IPv6组播技术作为下一代互联网的核心技术之一，相对于IPv4组播技术具有更大的优越性。PIM-SM协议具有用户显式加入、流量泛洪控制等特点，其标准比较成熟，是网络中最常用的组播路
通过分析具有代表性的P2P流媒体系统中所使用的Gossip协议,针对其没有考虑节点和网络的动态异质性等因素,提出动态自适应Gossip协议,该协议采取对节点的能力度进行排序的方式
在企业软件应用中,开发生命周期短、面向业务的情景应用程序需求大量增加。随着新一代互联网Web 2.0的普及,推动了基于Web 2.0的情景应用程序的发展。本文提出基于Web 2.0的
利用软件技术对菲涅耳双棱镜干涉现象进行模拟设计，建立了模拟菲涅耳双棱镜干涉的数学模型，运用模块化程序设计思想设计了模型的模块化结构，并开发了仿真模型核心模块的程序，该模