扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

双层钢板组合剪力墙抗震性能试验研究

以盐城广播电视塔实际工程中剪力墙的构造形式为基础,通过九个缩尺试件,研究不同构造形式的双层钢板内填混凝土组合剪力墙在常轴力和反复水平荷载作用下的刚度变化特征、破坏机理与破坏模式、抗震性能和极限承载能力.分析了墙板的高宽比、轴压比、钢板厚度、混凝土强度等级等对双层钢板内填混凝土组合剪力墙受力性能的影响.结果表明:双层钢板内填混凝土组合剪力墙能够充分发挥钢板与混凝土材料各自的优点,是一种良好的抗侧力构件.     

用分层法和D值法求解框架在竖向荷载作用下的内力

分层法是计算框架在竖向荷载作用下内力的一种近似方法,该方法简单,计算量少,故常用于手算.但对于结构不对称或荷载变化较大的有侧移框架,仅用分层法计算内力往往会造成较大的误差.文章提出了联合应用分层法和D值法求解该类框架内力的方法,并以一个两层框架为例进行了对比分析.由于该方法考虑了侧移对框架内力的影响,所以使计算精度有较大的提高.     

带翼缘短肢墙结构低周反复荷载试验研究

根据三片短肢剪力墙试件在低周反复荷载作用下的试验研究 ,研究了肢厚比大小、连梁刚度等因素对构件破坏形态和极限荷载的影响。分析了以上因素对短肢墙结构耗能能力和延性的不同影响 ,并给出了一些工程设计建议。     

组合连梁与墙肢节点恢复力模型试验研究

为了建立平面内钢-混凝土组合梁与混凝土墙肢节点的恢复力模型,进行2个足尺平面内钢-混凝土组合连梁与混凝土墙肢节点的低周反复荷载试验,研究节点的破坏机理,得到节点的低周反复荷载作用下的滞回曲线.利用统计分析软件SPSS,采用对平面内钢-混凝土组合梁与混凝土墙肢节点滞回曲线的回归分析,考虑强度和刚度退化规律,建立平面内钢-混凝土组合梁与混凝土墙肢节点的恢复力模型.实验结果表明:平面内钢-混凝土组合梁与混凝土墙肢节点的低周反复荷载试验滞回曲线呈弓形,骨架曲线呈倒"Z"形,平面内钢-混凝土组合梁与混凝土墙肢节点有较好的延性和较强的耗能能力.     

高新技术企业全面风险管理实施框架——基于美国COSO企业风险管理框架

高新技术企业处于技术创新最前沿,在其运营过程中蕴含了比传统企业高得多的风险。美国COSO委员会提出的企业风险管理框架对于企业的风险管理有着现实的指导意义。根据高新技术企业面临风险的特点,借鉴COSO风险管理理念,构建高新技术企业全面风险管理的实施框架,对于保证高新技术企业的可持续发展,增强其获利能力有着不可忽视的作用。     

基于系统因素作用理论的轨道加氢站Fine Kinney风险评估方法

由于液态氢能源燃料具有高能量密度优势,在轨道交通运输中有望得到广泛应用.考虑到液态氢能源在加注或运输环节具有潜在风险性,提出了轨道交通加氢站风险评估模型,在Fine Kinney框架中应用因素相互作用理论,对风险指数进行多层次评估.在案例分析中,对佛山市某加氢站的风险指数进行科学评估,确保加氢站全过程全态势的运行安全.结果表明:氢能不稳定特性与周边较为频繁流动车辆和人员,给轨道交通加氢站带来一定的安全风险,在加氢站运营过程中应高度关注.     

个体软件过程的原理与应用

阐述了个体软件过程(PSP)的相关技术,探讨了PSP的实施过程,并给出PSP在软件企业中的具体应用及应注意的事项.     

论“民族经济学”主要问题及解决思路

民族经济学自创立至今已有数十年,但尚未形成完整独立的学科体系,其原因关键在于研究对象界定不清,没有明确的逻辑起点,致使民族经济学仍然存在较大分歧,研究陷入两难困境。针对民族经济学在研究对象、研究思路及理论分析框架3个方面存在的问题提出了一些浅显的解决思路和方向。     

一个集成的战略信息系统规划框架

随着信息技术在企业越来越广泛的应用,信息系统的作用也提高到战略的层次。能否有效地从战略层次上来规划信息系统对于企业实现其商业战略、获得竞争优势有着至关重要的作用。然而,很少有满意的规划信息系统的框架和方法。因此,提出了一个由规划目标、规划流程、规划机制、规划输出和规划实施5个侧面集成的战略信息系统规划框架;讨论了规划流程和规划机制及其组成要素和维度;最后从规划实施的角度分析了规划输出的内容。运用该框架将有助于提高企业信息化的内在一致性和外在有效性,促进企业信息系统实施的成功。