论文部分内容阅读
本论文提出了一种服务网络拓扑结构的形式化描述方法,该方法定义服务、业务和ICT组件之间的关系,并将形式化地定义ICT路径的描述。通过该方法能够有效地实现服务网络的可用性及服务风险的量化。
一种服务网络拓扑结构的形式化描述方法
【摘 要】
：
本论文提出了一种服务网络拓扑结构的形式化描述方法,该方法定义服务、业务和ICT组件之间的关系,并将形式化地定义ICT路径的描述。通过该方法能够有效地实现服务网络的可用性
【机 构】
：
北京中科院软件中心有限公司
【出 处】
：
微计算机信息
【发表日期】
：
2012年8期
【基金项目】
：
基金申请人：陈鹏,项目名称：证券期货行业信息技术应急保障管理平台,颁发部门：国家基金项目,编号：2009BAH47B02
其他文献
文章从电磁兼容性角度出发,详细描述了混合信号虚拟仪器（MSV2102）开发过程中的电磁兼容性设计,重点描述了四层印刷电路板的分层设计,布局设计和布线设计。这些设计使得混合信号
行业职业院校实行双证书制度是职业院校教育改革的必然选择,也是高职教育发展的持续动力,更是社会人才市场的要求。双证书制度实施以来,在转变职业院校传统的人才培养模式方
l 病例介绍〈br〉 患者，男，74岁，因右手部突发疼痛、麻木、发凉、发绀10 h于2014年3月23日入我科，入院前一天有服鼠药史；既往高血压10年，有吸烟史20年，双下肢动脉闭塞溶栓术后。入
为进一步提高超声金属焊接的可靠性与稳定性,针对现有模拟超声焊接电源频率跟踪性能差、焊接过程振幅不可调的缺陷,本文提出了基于数字信号处理器(DSP)控制的超声电源方案。
以纳米羟基磷灰石(nHA)和聚乳酸(PLA)基体树脂为原料,采用相分离方法制备PLA/nHA多孔支架,并采用脱胶蚕丝纤维(DSF)对PLA/nHA多孔支架进行增强。扫描电子显微镜结果表明,随着
介绍未来碳酸二甲酯替代光气作羰基化剂在农药工业上的广泛应用，举例介绍未来以碳酸二甲酯为羰基化剂进行羰基化反应合成各种农药的新路线。
日本研究人员日前开发出一种切断后可自动修复的高分子材料,这一成果有望应用于各种需要材料本身能自我修复的场景。日本理化学研究所和日本九州大学的研究团队使用一种稀土
针对应用于图像无损压缩的传统SPIHT算法没有充分利用小波系数低频子带带内的相关性且存在编码冗余的不足之处,提出了基于改进SPIHT的图像无损压缩算法。首先对原始图像进行整数小波变换,然后对小波变换后的低频子带和高频子带分开编码,即对低频子带进行预测编码;对高频子带,当阈值小于等于2时,改变了传统SPIHT算法的编码方式,减少了比特输出。实验结果表明,与传统SPIHT算法相比,比特率平均降低了0.
为了降低计算代价，实现多尺度优化，本文从微观模型入手，以燃料电池反应一扩散过程为例，在动力学蒙特卡洛法（ki—neticsMonteCarlo，简称kMc）仿真中引入非结构化自适应建表方法（insituA