基于模型驱动的Web服务符号执行与验证

Web服务测试与验证是保证Web服务功能正确的关键,目前大多数Web服务的研究无法对程序路径穷举遍历,不能保证分析的完备性.针对该不足,在基于模型驱动的3阶段Web服务模型转换生成方法的基础上,该文对转换生成的Java代码进行符号执行与形式化验证.符号执行方法可对程序运行的所有路径进行分析,为程序测试提供高覆盖率的测试...     

考虑降价时点的易逝品动态定价机制设计

研究了一个同时考虑厂商动态定价和降价时点的易逝品销售策略问题.针对短视与策略消费者同时存在,运用经典的Stackelberg博弈模型,利用倒退归纳法进行分析,得到厂商在面对消费者的策略行为时,如何在确定和不确定降价时点的情形下最大化自己的利润.最后,利用Matlab对算例进行计算得出厂商最优价格策略与降价时点.结论表明,随着策略顾客所占比例的增加,第一阶段价格、第二阶段的降价幅度及厂商的利润都会随之减少;厂商的利润随着降价时点的推迟先增加后减少;策略顾客所占比例越大,厂商的最优降价时间越晚.     

姜汁乳的制作工艺与配方的优化

该文以牛奶和姜汁为原料制作姜汁乳,以氯化钙添加量、姜汁添加量、蔗糖添加量、凝乳温度为因素进行L9（34）正交试验,确定姜汁乳的制作工艺为：氯化钙添加量为0.1%、姜汁添加量为5%、蔗糖添加量为4%、凝乳温度60℃,制得的产品凝乳完全,表面光滑,无乳清析出,具有姜汁和牛奶的香味,口感滑嫩细腻。     

由网络“＊＊＊体”说开去

近几年风靡网络的各种“＊＊＊体”,如“高晓松体”、“知音体”、“遗憾体”、“淘宝体”等不胜枚举,这不仅反映出人们对各种社会现象的认识理解和价值取向,更体现人们对整个时代的感知领悟和概括总结。本文从语言学角度试图分析网络“＊＊＊体”的类型、特征及语用价值。     

隧道穿越既有铁路轨道加固施工技术

杭州市解放路隧道穿越沪杭铁路段,共长41.6m。本段隧道位于直线上,坡率为-0.359%的纵坡。隧道由两座小间距(隔墙厚仅75cm)隧道组成,为双向四车道,采用暗挖法施工。解放路隧道中线对应沪杭铁路里程为K200 942.5,隧道中线与既有线路成80°角度斜交,隧道施工影响行车范围为48m。隧道所穿越地层为砂质粉土夹砂层,地下水位埋深较低且极其丰富,隧道开挖过程中极易发生涌水、涌砂、坍塌等事故。一、铁路加固施工方案结合本工程施工场地狭窄,行车干扰大,工期紧等特点,在保证营业线正常高密度安全行车条件下,采用D24定型便梁对既有线进行加固实现隧…     

识别关键冲突任务的定量分析

建立关键链（CC）计划,关键在于识别关键冲突任务.讨论了项目进度计划中与冲突资源相关的关键任务、关键任务组以及关键任务群,提出了统一的定量表示方法.针对一种冲突资源,相应地提出了识别关键冲突任务的一个启发式算法,找出了相关冲突任务,并得出相应的优先顺序,建立了有效的CC计划.通过实例进行了实证研究,为CC技术的应用提供了定量支撑.     

《骆驼祥子》中叹词的表情差异

叹词在汉语词类中是很小的一类，可在语言运用中却非常灵活、多变，起着不容忽视的作用。有许多专家学者对其运用规律，词形变化等方面进行了探讨、研究，而对叹词因句法位置引起的表情差异却少有论及。文中以《骆驼祥子》中的叹词为主要考察范围，考察叹词的句法位置及表情差异。叹词的句法位置，可于句首、句尾或句中。叹词的表情功能因其句法位置的不同，读音的不同，致使叹词表情存有差异。(一)同一叹词同一位置表情存在差异。(二)同一叹词不同位置表情存有差异。(三)不同叹词表情却有重合。     

成都人的休闲心理及其形成

通过对成都人日常活动(喝茶、打麻将、吃火锅)的描写，体现出他们的休闲心理，并从地理环境和人环境两个方面来说明这种心态形成的原因和渊源。     

互助县主要气象灾害类型及发展趋势

对互助县近50年气象灾害观测资料进行分析。结果表明,主要气象灾害为冰雹、洪灾、连阴雨、干旱和霜冻等,发生机率依次为43%、26%、15.2%、13%和2.8%;80年代以后灾害发生趋势明显上升,干旱、冰雹、霜冻、洪灾及连阴雨发生次数分别是70年代以前的2.9、2.4、2.2和1.8倍,成灾率由80年代的76.3%上升至90年代的83.4%。     

试论人力资源与人力资本

文章对人力资源和人力资本的基本区别与联系及有机的融合做了粗浅的论述和探讨。