基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

项目反应理论下等值方法——在Samejima模型下,用比准则求解等值系数

本文首先介绍了项目反应理论的优势、项目反应模型及一些等值的方法,然后详细用R方法对Samejima等级反应模型进行处理和模拟,以检测其误差及优劣性.     

基于LEAP的中国电力需求情景及其不确定性分析

本文采用LEAP模型能源需求模块的基本思想, 对现有大量研究结果进行归纳和总结, 在此基础上设置2020 年、2030 年、2040 年和2050 年影响我国电力需求各主要参数的三种情景——强电气化情景、基准情景以及弱电气化情景, 对我国电力需求量进行情景分析。同时本文还将构建各主要参数的概率分布, 运用蒙特卡罗方法对基准情景下电力需求结果进行不确定性评价。结果表明, 未来我国电力需求将经历先快速增加后缓慢增长的过程, 到2050 年, 三种情景下我国电力需求量将分别达到1 3573.6 TWh、9443.2 TWh和6578.57 TWh。各年份基准情景分析结果的不确定性都在11%以内, 但随着时间的推进, 不确定性显著增加。对不确定性结果的敏感性分析表明, 各年份不确定的关键来源也各不相同, 具体表现在, 2030 年以前, 不确定性主要来自于产业结构以及工业内部结构调整的进程;而到2030 年以后, 则主要来自于经济总体增长状况以及居民生活和服务部门的用能方式上。     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

科技型中小企业的信用模糊综合评价--从存货质押融资模式角度探讨

针对存货质押融资模式下各参与主体的多元性,在中小企业信用评价的过程中需要克服其信用评价具有主观性、复杂性和模糊性的难题,本文提出将组合赋权法和模糊综合评判法结合应用于中小企业信用评价。考虑到主客观赋权法各有优缺点,先分别采用层次分析法、熵权法从主观、客观的角度进行赋权,再采用相对熵法进行组合赋权确定了各项评价指标的权重;然后采用正态隶属函数计算企业信用等级的隶属度,得出企业的信用评价结果。选取24家科技型中小企业作为样本,进行了实证分析,验证了上述评价方法的可行性和适用性。     

计算机病毒防治策略研究

通过分析计算机病毒的起源、发展、应对措施,总结人民银行系统对病毒防治的有效方法,对病毒防治策略进行探讨与研究.     

大学体育教学中篮球体能训练法分析

对于大学任何一项体育运动项目来说,在制定训练原则和训练内容时,都要做到科学合理,并要意识到影响运动员运动成绩和竞技能力的因素。简单来说,就是指的训练专家所重视的项目特征问题。所以,在大学体育篮球教学中,就要求教练员要对篮球运动项目有一个充分的了解和掌握。然后在此基础上采用科学的体能训练方法,这样在一定程度上能够有效地确保正确运动训练的顺利开展,提高训练质量和效果,使运动员的运动潜能能够在比赛当中得以充分体现和发挥,获得优异的成绩。     

跆拳道运动爆发力训练探讨

跆拳道运动是速度耐力性项目。爆发力作为跆拳道运动专项素质的重要组成部分,直接影响运动员的得分水平。通过探讨爆发力训练的原理,分析各肌肉群在跆拳道训练中的作用,从而为技术水平的提高提供思考的依据。     

中文图书采购招标评价指标体系的建立

提出采用改进德尔菲法建立图书馆中文图书采购招标评价指标体系,利用该方法针对初步确定出的26个评价指标,选择了12名从事中文图书采购工作均在3年以上的专家作为专家咨询人员进行了两轮咨询,在对咨询结果进行统计处理的基础上,筛选出了19个评价指标。该指标体系的建立,可为图书馆中文图书采购招标的评价工作提供一定的借鉴。     

刍议高中“选项教学”中学生体育能力的培养

高中体育课采用“选项教学”已成为当前学校体育的发展趋势,高中生体育能力正处在形成、提高、发展的关键期。从当前的课程改革而言,高中体育教学应以学生体育能力的培养为重点,为终身体育打基础,以适应现代社会发展的需要。