期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
大中型高技术企业创新效率测度与分解——基于DEA模型的实证分析 被引量:24
1
作者 孙国锋 张婵 姚德文 《审计与经济研究》 CSSCI 北大核心 2016年第3期111-119,共9页
把大中型高技术企业科技活动分解为科技成果产出和科技成果转化为生产力两阶段,运用KAO模型和在规模报酬可变的条件下构建的链形关联DEA模型,选取2000年、2005年和2007—2011年的大中型国有控股企业、大中型内资企业、大中型港澳台资企... 把大中型高技术企业科技活动分解为科技成果产出和科技成果转化为生产力两阶段,运用KAO模型和在规模报酬可变的条件下构建的链形关联DEA模型,选取2000年、2005年和2007—2011年的大中型国有控股企业、大中型内资企业、大中型港澳台资企业和大中型外资企业的数据,具体分析计算各类企业的技术效率、纯技术效率和规模效率。实证研究表明:大中型国有控股企业、大中型内资企业的表现普遍弱于大中型港澳台资企业和大中型外资企业;科技成果转化为生产力的能力低和规模效率低是制约大中型国有控股企业和大中型内资企业发展的两大障碍。 展开更多
关键词 大中型高技术企业 kao模型 链形关联DEA模型 效率分解 产业升级 战略性产业 技术创新 产业创新效率
下载PDF
一种形式化建模中活性属性转化方法研究
2
作者 张棋 谢健 尹小花 《计算技术与自动化》 2018年第3期161-164,共4页
现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证,这种方法一方面需要耗费大量时间与人力,另一方面测试并不能保证系统中不存在错误。使用形式化的开发方法可以将软件需求添加到模型中,使用数学证... 现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证,这种方法一方面需要耗费大量时间与人力,另一方面测试并不能保证系统中不存在错误。使用形式化的开发方法可以将软件需求添加到模型中,使用数学证明的方法来验证所要建立的系统是正确的,即在开发早期就能发现需求与系统设计间可能存在的问题,能够有效地减少后期发现错误所带来的损失。在现有需求工程方法KAOS方法转化到Event-B模型的方法基础上,对其中活性属性丢失问题进行研究,并给出了解决方法。 展开更多
关键词 安全关键系统 kaoS EVENT-B 活性 模型检测
下载PDF
Developing Dependability Requirements Engineering for Secure and Safe Information Systems with Knowledge Acquisition for Automated Specification
3
作者 Mohammed Abu Lamddi 《Journal of Software Engineering and Applications》 2017年第2期211-244,共34页
Our dependability on software in every aspect of our lives has exceeded the level that was expected in the past. We have now reached a point where we are currently stuck with technology, and it made life much easier t... Our dependability on software in every aspect of our lives has exceeded the level that was expected in the past. We have now reached a point where we are currently stuck with technology, and it made life much easier than before. The rapid increase of technology adoption in the different aspects of life has made technology affordable and has led to an even stronger adoption in the society. As technology advances, almost every kind of technology is now connected to the network like infrastructure, automobiles, airplanes, chemical factories, power stations, and many other systems that are business and mission critical. Because of our high dependency on technology in most, if not all, aspects of life, a system failure is considered to be very critical and might result in harming the surrounding environment or put human life at risk. We apply our conceptual framework to integration between security and safety by creating a SaS (Safety and Security) domain model. Furthermore, it demonstrates that it is possible to use goal-oriented KAOS (Knowledge Acquisition in automated Specification) language in threat and hazard analysis to cover both safety and security domains making their outputs, or artifacts, well-structured and comprehensive, which results in dependability due to the comprehensiveness of the analysis. The conceptual framework can thereby act as an interface for active interactions in risk and hazard management in terms of universal coverage, finding solutions for differences and contradictions which can be overcome by integrating the safety and security domains and using a unified system analysis technique (KAOS) that will result in analysis centrality. For validation we chose the Systems-Theoretic Accident Model and Processes (STAMP) approach and its modelling language, namely System-Theoretic Process Analysis for safety (STPA), on the safety side and System-Theoretic Process Analysis for Security (STPA-sec) on the security side in order to be the base of the experiment in comparison to what was done in SaS. The concepts of SaS domain model were applied on STAMP approach using the same example @RemoteSurgery. 展开更多
关键词 Safety INFORMATION model Security INFORMATION model DEPENDABILITY Requirements GOAL modeling kaoS Obstacles Base Risk Management
下载PDF
明太祖传世法书考 被引量:1
4
作者 马顺平 《中国国家博物馆馆刊》 CSSCI 北大核心 2013年第2期99-110,共12页
本文从书法特点、书写背景、历史文献价值等方面对国内所藏《总兵帖》、《安丰令卷》、《高邮令卷》、《行书手谕》、《大军帖》、《致驸马李桢手敕卷》、《跋李公麟临韦偃牧放图卷后》等七件明太祖朱元璋传世法书进行了综合研究。七件... 本文从书法特点、书写背景、历史文献价值等方面对国内所藏《总兵帖》、《安丰令卷》、《高邮令卷》、《行书手谕》、《大军帖》、《致驸马李桢手敕卷》、《跋李公麟临韦偃牧放图卷后》等七件明太祖朱元璋传世法书进行了综合研究。七件法书体现出较为一致的书法风格,内容或见于历代著录,或为明清内府收藏,确定为明太祖真迹。它们不但具有重要文物价值,也是研究明建国前及明初历史的珍贵史料。 展开更多
关键词 明太祖 传世法书 诏令杂考 花押
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部