转轨经济中制约企业成长的四维模型初探 被引量：3

1

作者 张明 许晓明 《上海管理科学》 2005年第4期28-30,共3页

　企业成长理论除了西方学者在企业内部和产业组织这两个维度研究外,转轨国家中,特别是中国的企业成长理论,应该引入新的变量,即市场维度和政府维度。因此,转轨经济中制约企业成长的四维变量包含:1.企业内部的资源整合与运营效益,2.产... 　企业成长理论除了西方学者在企业内部和产业组织这两个维度研究外,转轨国家中,特别是中国的企业成长理论,应该引入新的变量,即市场维度和政府维度。因此,转轨经济中制约企业成长的四维变量包含:1.企业内部的资源整合与运营效益,2.产业组织的竞争与合作,3.市场需求及市场容量,4.政府规制及产业政策。本文就这四个变量结合中国国情进行探讨。 展开更多

关键词 转轨经济 企业成长 成长模型 市场需求 政府规制 企业成长理论 四维 模型 两个维度 产业组织

下载PDF 职称材料

一种基于四变量模型的系统安全性建模与分析方法 被引量：6

2

作者 胡军 石娇洁 +2 位作者 程桢 陈松 王明明 《计算机科学》 CSCD 北大核心 2016年第11期193-199,229,共8页

近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义... 近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全性建模与分析验证方法,该方法利用AltaRica建模语言对系统进行建模。通过对四变量模型及AltaRica进行语义研究构建二者之间的映射规则,以民用飞机中机轮刹车系统(Wheel Brake System,WBS)为例来说明整个验证过程,即首先利用四变量模型从系统的需求层次上对WBS进行需求分析并根据映射关系构建AltaRica模型,接着利用故障树分析方法对WBS进行安全性研究,最后基于AltaRica配套工具ARC对系统的安全性属性进行验证。验证结果表明了该方法在系统安全工程领域中的实用性。 展开更多

关键词 四变量模型 AltaRica建模语言 故障树分析 ARC

下载PDF 职称材料

一种60GHz毫米波的四参数模型 被引量：1

3

作者 张奇 林如俭 修明磊 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2007年第1期30-34,共5页

在传统毫米波四参数模型的基础上,通过分析60GHz毫米波特有的传输特性,运用大、小尺度衰落概念模拟幅值,同时改用延时箱对时延的模拟,构造出符合60GHz毫米波特性、复杂度较低、模拟效果较好的时域模型.根据该模型,用Matlab进行编程仿真... 在传统毫米波四参数模型的基础上,通过分析60GHz毫米波特有的传输特性,运用大、小尺度衰落概念模拟幅值,同时改用延时箱对时延的模拟,构造出符合60GHz毫米波特性、复杂度较低、模拟效果较好的时域模型.根据该模型,用Matlab进行编程仿真.通过仿真结果的分析,该模型完全符合60GHz毫米波的物理传输特性,而且还能较准确地进行统计分析,达到了对60GHZ毫米波进行快速模拟,快速分析的目的. 展开更多

关键词 60GHZ毫米波 四参数模型 尺度衰落 延迟箱 功率时延谱

下载PDF 职称材料

大型冷却塔热力计算模型 被引量：4

4

作者 韩琴 刘德有 +2 位作者 陈负山 齐慧卿 焦诗元 《河海大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第5期591-595,共5页

基于质量守恒和能量守恒原理,以出塔水温作为冷却塔冷却性能的评价指标,建立了大型冷却塔热力计算的湿差模型,并与目前常用的焓差模型以及四变量模型进行了比较,分析了不同模型的计算结果差异以及气象条件(如大气压力、干球温度及湿球温... 基于质量守恒和能量守恒原理,以出塔水温作为冷却塔冷却性能的评价指标,建立了大型冷却塔热力计算的湿差模型,并与目前常用的焓差模型以及四变量模型进行了比较,分析了不同模型的计算结果差异以及气象条件(如大气压力、干球温度及湿球温度)、淋水面积和风速等参数对冷却塔出塔水温的影响.即随着干球温度及湿球温度的降低,或者在一定的范围内,淋水面积的增大,或者风速的增大,出塔水温均会降低.结果表明:湿差模型和焓差三阶模型是适用于大型或超大型冷却塔的热力计算模型,在大型冷却塔设计时,应特别重视循环冷却水系统冷端参数的综合优化分析. 展开更多

关键词 大型冷却塔 热力计算 出塔水温 湿差模型 焓差模型 四变量模型

下载PDF 职称材料

基于四变量模型的系统需求建模方法研究 被引量：1

5

作者 刘力 《信息与电脑》 2017年第1期39-40,50,共3页

近年来,基于模型的系统需求分析是实时嵌入式安全关键系统工程领域中的一个重要研究方向,得到了工程师的广泛关注。其基本思想是在设计过程中对系统进行需求分析研究。笔者介绍的分析方法主要是基于四变量模型的系统需求分析方法。四变... 近年来,基于模型的系统需求分析是实时嵌入式安全关键系统工程领域中的一个重要研究方向,得到了工程师的广泛关注。其基本思想是在设计过程中对系统进行需求分析研究。笔者介绍的分析方法主要是基于四变量模型的系统需求分析方法。四变量模型是在系统需求层次上描述所需的系统行为及软件行为,通过指明系统需求以及系统的输入和输出硬件接口来限制软件需求,包括系统与外界的交互行为以及系统内部的状态、模式变化的行为特征描述等,再进行SCR方法形式化。 展开更多

关键词 四变量模型 系统建模 需求分析 SCR方法

下载PDF 职称材料

面向DO-178C的襟缝翼控制系统需求的形式化描述

6

作者 战芸娇 魏欧 胡军 《计算机科学》 CSCD 北大核心 2018年第4期196-202,共7页

DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于... DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。 展开更多

关键词 DO-178C SCR方法 四变量模型 机载软件 T-VEC

下载PDF 职称材料

基于四变量模型的软件安全性需求提取技术研究

7

作者 姚金垠 张伟 《舰船电子工程》 2020年第11期116-119,共4页

文章针对软件安全性需求的提取,提出了基于四变量模型的安全性需求提取方法。分析了现有四变量模型的不足,改进了现有四变量模型的建模分析能力,并将其运用到软件安全性需求提取中,最后通过实例验证了该方法的有效性和可行性。

关键词 软件安全性需求 四变量模型 需求提取

下载PDF 职称材料

面向驾驶舱显示系统需求的形式化建模与分析

8

作者 战芸娇 魏欧 +2 位作者 胡军 王立松 谷青范 《计算机技术与发展》 2018年第3期20-25,31,共7页

在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响。对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战。驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引。保证驾驶舱显示系... 在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响。对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战。驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引。保证驾驶舱显示系统需求的完整、一致和准确是飞机正常和安全运行的重要基础和保障。对此,提出了一种针对复杂系统需求的一致性和完备性描述方法,帮助检测需求中存在的错误。其中,根据四变量模型和表格符号表示以驾驶舱显示系统为例建立需求模型;在建立的需求模型的基础上,为需求模型提供精确的语义;最后,使用T-VEC工具对需求模型进行检测。通过使用该方法对驾驶舱显示系统需求文档进行一致性和完备性检测,找出了需求模型中的潜在错误。 展开更多

关键词 驾驶舱显示系统 需求工程 -致性和完备性检测 四变量模型 表格符号 形式化方法 T-VEC工具

下载PDF 职称材料

符合民机适航标准的形式化方法研究 被引量：1

9

作者 王辉 陈蕾 +1 位作者 曹杨华 唐晨 《航空电子技术》 2019年第4期53-59,共7页

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法... 描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求糢型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。 展开更多

关键词 形式化方法 形式化模型 形式化分析 四变量模型 EVENT-B

下载PDF 职称材料

四变量Oregonator模型的复杂动态

10

作者 江成瑜 李旭东 常玉 《北京化工大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期139-143,共5页

运用中心流形定理和分岔理论讨论了基于Belousov-Zhabotinskii反应体系的被改进的Oregonator模型系统的非线性动态,包括随参数变化时平衡点的类型及稳定性变化。从理论上严格证明了系统存在Hopf分岔,通过考察平衡点的分岔,发现了系统振... 运用中心流形定理和分岔理论讨论了基于Belousov-Zhabotinskii反应体系的被改进的Oregonator模型系统的非线性动态,包括随参数变化时平衡点的类型及稳定性变化。从理论上严格证明了系统存在Hopf分岔,通过考察平衡点的分岔,发现了系统振荡现象产生与消失分别是由于平衡点发生Supercritical Hopf分岔和Subcritical Hopf分岔导致的。并通过相关的数值模拟,验证了理论分析的正确性。 展开更多

关键词 HOPF分岔 Belousov-Zhabotinskii反应 Oregonator模型

下载PDF 职称材料

东亚最适度通货区的经济可行性研究——一个经济冲击对称性的视角 被引量：11

11

作者 崔晓燕 王少平 《金融研究》 CSSCI 北大核心 2007年第01A期122-137,共16页

本文建立了一个四变量的结构VAR模型,以欧盟国家为参照标准,分别从经济冲击的对称性、经济冲击的规模以及实际有效汇率对潜在冲击的响应模式三个方面,考察了东亚组建最适度通货区的可行性。实证研究发现,目前东亚并不满足建立全面的最... 本文建立了一个四变量的结构VAR模型,以欧盟国家为参照标准,分别从经济冲击的对称性、经济冲击的规模以及实际有效汇率对潜在冲击的响应模式三个方面,考察了东亚组建最适度通货区的可行性。实证研究发现,目前东亚并不满足建立全面的最适度通货区的条件,但是分别在东南亚和东北亚,即印度尼西亚、新加坡和泰国组建子通货区,中国和香港组建另一个子通货区是可行的。 展开更多

关键词 四变量结构VAR模型 对称 最适度通货区

原文传递

基于四变量SVAR模型的东亚货币合作研究 被引量：10

12

作者 马杰 赵秋迪 《亚太经济》 CSSCI 北大核心 2009年第1期32-37,72,共7页

为探究在东亚建立最优货币区的可行性,本文构建了一个四变量SVAR模型系统。研究表明,目前东亚并不满足建立一个全面单一最优货币区的条件,但可考虑分别在"中国、香港、菲律宾、泰国"和"中国、马来西亚、菲律宾"2组... 为探究在东亚建立最优货币区的可行性,本文构建了一个四变量SVAR模型系统。研究表明,目前东亚并不满足建立一个全面单一最优货币区的条件,但可考虑分别在"中国、香港、菲律宾、泰国"和"中国、马来西亚、菲律宾"2组国家/地区率先建立"次货币区",这个发现与我们在此问题上的地缘政治认识似乎有些不同。 展开更多

关键词 东亚货币合作 四变量SVAR模型 Spearman秩相关 脉冲响应函数 方差分解

原文传递