使用NWA对组合web服务进行可达性分析

为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机（WCFA）对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机（NWA）对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机（NWA）的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性（SAT）求解工具对这些断言进行验证.     

关于目标规划问题图解法的注记

目的：研究了对目标函数中同一优先级内含有多个带权偏差变量的目标规划问题的图解方法．方法：利用平面几何的相关知识．结果：给出了求解具有两个决策变量的目标规划问题的完整方法——分区图解法．结论：得出了解具有两个决策变量的目标规划问题的一般理论和方法．     

股指与宏观经济变量的神经网络仿真建模和预测

股市波动与宏观经济变量之间有着复杂的非线性关系。分析了影响股指的宏观经济因素,利用2000年至2006年度的相关数据建立BP神经网络模型仿真、建模和预测,取得预定效果,并对2006年度股指的快速上涨现象做出分析,得出我国股市已进入复苏上涨期。     

阶梯形变截面梁的弯曲变形

提出了计算阶梯形变截面梁弯曲变形的一种新方法．算例表明，本文方法和结果对静定和超静定梁均适用，并且计算简捷，便于应用．     

流动注射化学发光葡萄糖生物传感器

本文提出了一种将酶及所有试剂均加以固定的新型葡萄糖生物传感器 .利用酶促反应产生H2 O2 ,与Luminol-K3 Fe(CN) 6 -H2 O2 化学发光反应相偶合 ,从而可以进行葡萄糖的测定 .线性范围为 5× 10 - 7—— 5× 10 - 4M ,检出限为 2× 10 - 7M ,相对标准偏差RSD为 3.6% (c =4× 10 - 6 M ,n =7) ,单次测定可在 1分钟内完成 .该传感器具有简单、快速 ,灵敏度高等特点 ,已成功应用于血清中葡萄糖的测定 .     

基于现金流量法的企业外汇风险暴露度量研究

随着中国企业国际化程度的提高,由汇率波动所带来的企业价值变化的外汇风险将越来越大。因此,如何准确而简约地衡量企业外汇风险是一个亟待解决的问题。从这个角度出发,通过实证研究发现现金流量法能较好地度量中国企业的外汇风险暴露。     

连续潮流计算的算法改进研究

针对常规的连续潮流计算在求取P-V曲线时存在的缺点,提出了一种连续潮流计算的改进算法。该改进算法通过采用单位化处理切线预测向量、以切线预测向量的内积确定预测方向以及变步长控制等措施,提高了连续潮流计算在求取P-V曲线时的准确性和计算效率。Matlab仿真验证了该改进算法的有效性。     

从变质量物体的运动谈起

牛顿运动定律以及由牛顿第二定律推导出的动量定理、动量矩定理、动能定理,只适用于宏观低速的情况下,而且在运动的过程中,物体的质量是恒定不变的。然而在宏观低速的情况下,我们会遇到许多变质量物体运动的问题,在此情况下,牛顿运动定律以及由此推导出的三条基本定理将要做一定的修改,其表达式是不一样的。     

泊松方程圆内狄利克雷问题的付氏解

本文应用分离变量法．求出了一个泊松方程圆内狄利克雷问题的付氏解。     

层次分析法在上市公司现金流量综合分析中应用研究

现金流量表是上市公司对外编报的主表之一,因其能客观反映公司的财务能力、财务弹性、投资价值和盈利质量而备受关注。但是要真正发挥现金流量表的作用,需要对现金流量表有深入的认识并掌握一定的分析技巧。本文采用层次分析法（AHP）对上市公司现金流量表分析指标进行排序,得出其在上市公司现金流量综合评价中所占的权重及上市公司现金流量效率公式。