基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

AHP 判断矩阵一致性改进的若干问题研究

研究层次分析法中判断矩阵次序一致性检验及改进方法.指出判断矩阵次序一致性和基本一致性之间无相关性的特点,提出对判断矩阵应首先进行次序一致性检验,并把判断矩阵转化成0-1矩阵,利用图论理论得到如下结论:0-1矩阵对应的有向图中,若含有边长大于3的循环链,则一定能构造出边长为3的循环链.基于此结论,设计检验判断矩阵是否具有次序一致性的算法.对不具有次序一致性的判断矩阵,提出两条修改原则.     

影响我国汽车产业竞争力的因素分析:一个UECM模型

采用非限制误差修正模型(UECM)分析了劳动力的投入、资本劳动力的比率和开放度对我国汽车产业总产值的影响,利用界限检验和协整模型,估算了这些因素对总产值的长期和短期弹性.结果发现,无论从长期还是短期而言,劳动力对总产值有负的影响,资本劳动力比对总产值有正的影响;开放度仅在长期对总产值有正且显著的影响.最后对如何提高我国汽车产业竞争力提出了相应的对策建议.     

中国股市波动的异方差模型及其SPA检验

以中国股票市场最具代表性的股价指数-上证综指的高频(High-frequency)数据样本为例,实证计算了以GARCH族模型和随机波动(Stochastic volatility)模型为代表的不同异方差模型对中国股市波动率的预测,并进一步运用SPA(Superior predictive ability)检验法,实证检验了不同异方差模型对中国股市波动的刻画能力和预测精度问题.实证结果显示,就中国股市而言,随机波动(Stochastic volatility)模型是预测精度最高的异方差模型,但在某些损失函数标准下,EGARCH模型也具有良好的波动预测表现.     

军事需求工程研究综述

军事需求工程是用工程化手段解决军事系统建设的有效性问题,军事需求工程研究综述对促进军事需求工程研究、建立健全军事需求生成机制等方面具有意义。围绕军事需求开发、军事需求管理和军事需求检验三个方面,对军事需求工程技术进行了探讨。分析总结了国防领域的相关研究成果和典型应用。研究发现军事需求工程正向实用化、规范化、制度化方向发展。     

基于Logit模型的中小企业成长危机预警

中小企业是国民经济发展中的重要力量,然而其成长过程却有较高的不确定性。为了构建稳健且能有效预测中小企业成长危机的预警模型,以2003年沪深中小上市公司为样本,运用Logit regression构建模型,采用2004年的样本公司对模型进行稳健性检测,最终结果表明,Logit模型可以有效预测中小企业成长危机。公司业绩和主营业务是影响中小企业成长性的重要因素。     

数学模型重演检验的研究

用三因素五水平回归设计法,设置重复并在小区处理上汲取拉丁方排列的优点以３×４方式布局,使一个试验结果有多个组合统计。在相同的条件下,研究建立作物生产数学模型实现参数重演检验的途径。结果表明：对二年度处理组合得到模型的Ｒ、Ｆ、Ｓdisplay status     

可靠性增长数据突变点的辨识方法

对可靠性增长数据的突变点,本文提出了一种客观而精确的辨识方法。该法是基于Ｃｒａｍｅｒ－ＶｏｎＭｉｓｅｓ拟合优度检验统计量上的最优化技术。     

修正的KSS检验及其对中国通货膨胀率的应用

Kapetanios等~([1])提出在指数平滑转换自回归(ESTAR)模型框架下进行单位根检验.他们的检验是基于误差项为独立同分布的强假设下得到的,该假设在现实中很难成立.当误差项为平稳弱相依时,该检验统计量的极限分布包含冗余参数.通过构造修正的KSS检验,得到了不包含冗余参数的检验统计量.蒙特卡罗模拟结果表明该修正的统计量大大减少了序列相关性带来的水平扭曲(size distortion),且该检验统计量对于非线性平稳过程的检验功效高于PP检验.将该检验用于中国的通货膨胀率,发现它存在着一个单位根,是非平稳过程.     

智力资本协同风险资本的系统建模及效应检验

根据哈肯的协同学原理和方法, 对智力资本和风险资本的协同系统建模并进行了参数变量和协同变化定性分析, 推导了二者的自组织运动方程, 指出风险资本的参与会引起创业企业智力资本水平的显著变化, 进而会影响企业整体绩效. 后根据VAIC模型（value added intellectual coefficient model）进行多变量面板回归实证检验, 研究发现： 有风险资本参与时智力资本对企业绩效影响较大, 二者的协同效应会提升企业的资产利用效率, 增加股东权益回报, 以及提高企业的持续增长能力. 但该绩效影响 主要表现在有形资本方面, 即物质资本增值效率, 而无形资本如人力资本和结构资本增值效率并不显著. 该研究表明创业企业还需加强风险资本利用效率, 并要有针对性地改革和增强自身智力资本形成.