基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

山西省影响旅游业发展因素的实证分析——基于多重共线性的检验

借助E-views统计软件建立1993-2011年间的山西省影响旅游业发展的因素模型.通过对影响旅游业发展因素的分析,建立以旅游收入为因变量,以接待旅游总人数、省内公路里程、铁路里程、省内星级宾馆数以及国内城镇居民人均旅游支出、国内农村居民人均旅游支出等为自变量的多元线性回归模型,并利用模型对影响因素进行量化分析和共线性检验,为山西省"十二五"期间发展旅游业、增加旅游收入在政策方面提供相关理论依据和参考性意见.     

网络协议的形式化分析与设计

随着形式化方法和技术的日趋完善,网络协议的开发已逐步从非形式化描述、手工方法实现过渡到已形式化描述技术为基础,渗透到网络协议分析、综合、测试等各环节的软件工程方法。本文从网络协议的基本要素、协议的形式化模型介绍了网络协议,并从协议的性质描述、不变性分析、可达性分析、基于有序二叉判决图的符号模型检验对网络协议进行了形式化设计与验证,最后进行了测试。     

脉冲涡流感应测量方法的研究

对脉冲信号激励的线圈在与其接近的金属导体中的涡流效应进行了时域分析,并对脉冲激励与检测电路的设计作了详尽介绍,为无损探伤、材质检验等领域提供了新的思路,扩大了电感式传感器的应用范围。     

江浙沪能源消费与经济增长关系的研究——基于自举面板因果检验和VAR模型的实证分析

基于江浙沪1990~2011年能源消费与地区国内生产总值的面板数据,运用小样本自举(bootstrap)面板格兰杰因果检验和向量自回归模型等方法研究了江浙沪能源消费与经济增长之间的关系.自举面板因果检验结果表明:江苏地区能源消费与经济增长之间具有双向的格兰杰因果关系,而浙江和上海地区则仅存在能源消费到经济增长的单向格兰杰因果关系.基于VAR模型的分析结果显示,江浙沪能源消费和经济增长之间都具有正向的动态脉冲响应,并且具有一定的滞后性.     

牛市熊市中机构投资者的行为分析

传统金融理论认为机构投资者是“理性经济人”,从而能够采取正确的投资策略。而通过行为金融学的研究发现,机构投资者在投资心理和行为上也会出现各种偏差。根据国内封闭式证券投资基金每季度公布的数据,通过配对T检验的方法,对比分析在牛市、熊市开始和结束时,基金持有股票占资产净值的比例,得出国内机构投资者有“噪声交易者”的特性,并且预测能力和择时能力欠佳的结论。     

江淮流域一次区域性大暴雨过程的诊断分析与预报

利用常规天气图、Ncep再分析资料(1°×1°)、地面加密站资料、雷达资料、数值预报模式产品等,对2011年7月5日发生在江淮流域一次大暴雨天气过程进行了综合分析。这次强降水过程处于江淮梅雨期,高低空上冷下暖配置,各种物理因素相互影响作用,促成了这次强降水过程的发生。各家数值模式对西太平洋副高动态、强降水落区预报有一定的指示意义。     

生产过程中质量目标的经济选择

提出了在通过抽样检验控制产品质量的生产过程中选择产品最经济质量目标值的一般模型，并讨论了正态质量分布模型的求解问题，给出了若干最优解值表。分析了各过程参数优化过程中的作用以及对优化结果的影响。通过一个实例说明了对质量目标值进行经济选择的必要性。     

假设检验的推理过程分析

讨论了数理统计中的假设检验问题.从问题的提出,推理的逻辑方法几方面,分析了假设检验问题的特点,得出假设检验中有定性因素与定量分析的相互作用,推理过程是归纳与演绎相结合的结论.提出这种方法也可为解决其他问题时所借鉴.     

卫生检验与检疫专业课程体系的探索与构建

高等院校担负着培养创新型人才的重要使命,其中课程设置对高等院校培养创新型人才具有重要意义。为了顺应现代卫生检验人才培养的需求,桂林医学院整合传统的预防医学和分析化学这两门专业课程,开设了《卫生检验与检疫》专业,在培养方案制定过程中注重卫生检验与检疫专业课教学,构建了适应时代需要的课程内容体系,针对考试课、考查与选修课、基地实习三方面对课程不断进行优化设置,更好地培养学生卫生检验检疫技能,以适应我国现代卫生事业发展的时代要求。