嵌入式软件系统的实时建模方法研究

测试需求模型采用形式化语言构建,对于系统测试实现自动化具有重要促进作用。本文基于面向对象思想,采用状态图作为核心技术,与类图相结合提出适用于嵌入式软件系统实际测试需要的一种实时建模方法。该方法对于需求模型的构建直观简洁易用,与测试用例生成策略相结合,能够实现测试用例的自动生成。     

利用可拓方法生成土地收购的关键策略

针对现行土地收购中存在的问题，提出了应用可拓方法的对策，明确了土地收购补偿价格的内涵，生成土地收购的关键策略，在注重经济效益的同时，也要重视社会效益和人本效益。     

基于Z语言的软件形式化需求分析

Z语言是目前广泛使用的一种形式化方法语言。它是一种基于集合和一阶谓词逻辑的模式规约语言，可用于产生精确的需求规格说明。本文介绍了需求分析的Z语言形式化方法，并给出了一个小型图书馆管理的Z语言描述实例，给出了小型图书馆管理从状态模式到操作模式的需求规格说明，同时指出这种形式化方法有待进一步研究的方向。     

大气边界层大涡模拟入口湍流生成方法研究

生成满足大气边界层风场特性的入口湍流是开展结构风效应大涡模拟的关键问题之一。该文的主要目的是验证并探讨两类主要的大气边界层大涡模拟入口湍流生成方法的合理性与可行性。采用CDRFG(Consistent Discretizing Random Flow Generation)方法和被动模拟法生成大气边界层风场,从统计特性、流场结构和计算效率等方面进行对比分析,比较不同网格系统下的数值模拟结果,提出结构风效应大涡模拟的网格划分策略。结果表明:相比于CDRFG方法,被动模拟法生成的流场结构更加合理,但无法预先考虑脉动风场的空间相关性,且需要较高的计算成本和先验的流场信息。计算域的网格分辨率对于统计特性和流场结构的模拟精度具有重要影响,而目标区域的网格分辨率应依据控制工程结构风致响应的主要频带范围确定。     

基于STL数据模型的刀具轨迹生成

基于STL文件的数控加工技术，可为解决快速仿制成形问题提供一个切实可行的方案，具有重要的实用价值。本文引用并推广了局部等距的概念，设计了可满足多种铣刀加工要求的局部偏置模型生成算法，并论述了加工轨迹生成算法等关键问题，实践证明，该算法精度高，速度快，且可有效地解决多面体模型轨迹生成中的干涉和碰撞问题。     

基于材料体验的产品创新设计方法研究

目的材料作为产品创新设计要素,将材料体验融入产品创新设计实践中,利用可拓学理论,将产品设计要素变量分类,建构产品设计创新的迭代过程。方法结合用户的个性化需求,提出基于材料体验的技术原理、特性、情感力3个设计要素,建立设计要素的物元变换模型。通过物元变换模型对产品功能要素和产品需求要素分别进行分析、变换、推理、判断,最终生成解决问题策略的方法,用表征化和形式化的模型推导演算出从发现问题到生成解决问题的策略。结论根据模型推导,充分发挥材料体验在产品创新设计中的推动力,实现差异化补偿的积极用户体验,给用户带来新的服务力。通过设计案例证明了该方法可有效提升用户满意度,为实现产品的集成创新提供了新的途径。     

可信分布式实时系统的面向方面的形式化方法

形式化方法具有精确数学含义的科学研究和验证方法,是建立在数学基础上的,可信分布式实时系统开发过程中的时间分析是非常复杂的,涉及到不同的方面,需要考虑很多东西,不同的可信分布式实时系统具有不同的时间性需求,不能用一种开发方法进行分析、设计和实现,由于形式化方法具有严谨、可数学分析、证明、完整性、一敌性、无二义性和精确性等特性,可以根据系统开发的不同方面采用不同的形式化语言进行分析、设计和实现,然后再把这些方面编织应用到系统中去,来完成它在系统中特定的作用,因此形式化方法已经成为人们深入研究的一个领域。     

OWL应急预案本体构建研究

参与组织间的知识表示和共享是应急反应系统的关键问题。通过分析应急反应系统对应急预案知识的需求，构建一种基于OWL面向应急预案领域的领域本体。实验表明，构建的应急预案领域本体可以为应急反应系统中不同组织进行知识共享和互操作，提供形式化的预案知识表示。     

三级倒立摆的云控制方法及动平衡模式

文章提出了定性和定量之间转换的云模型的形式化表示方法,用来反映语言值中蕴涵的模糊性和随机性,给出云发生器的生成算法,解释多条定性推理规则同时被激活时的不确定性推理机制。利用这种智能控制方法有效地实现了单电机控制的一、二、三级倒立摆的多种不同动平衡姿态,显示其鲁棒性,并给出了详细试验结果。研究成果不仅可用于对太空飞行器以及机器人控制,而且对揭示定性定量转换规律和策略具有普遍意义。     

可拓策划研究

可拓策划是从处理矛盾问题的角度，应用可拓学的方法而进行的策划。文章简介了可拓策划的基本思想、理论和方法，试图用形式化的方法告诉人们，在遇到矛盾问题时，如何生成策划创意，如何进行全面的资源分析、寻找可拓资源，以化不相容为相容，化对立为共存。在可拓策划的实务操作部分，介绍了资源整合的可拓策划、项目的可拓策划、市场开拓的可拓策划及危机防范与处理的可拓策划。     

关键要素与关键策略

分析关键要素是制定关键策略的前提，本文以可拓学的理论和方法为基础，给出了确定关键事物、关键特征和关键量值的分析方法，通过案例分析给出了利用关键要素制定关键策略的基本步骤。     

基于关键路径方法的战略联盟风险分析

针对战略联盟伙伴数量众多的特点,运用管理决策与数量分析的知识,对战略联盟的各种风险进行了分析,提出了联盟伙伴管理中的关键路径方法和关键联盟链的概念,并基于此法求解出了风险最小联盟链,为优化联盟伙伴的管理提供了参考。     

中国航天的发展战略和重点领域

回顾了中国航天50年来取得的成就，总结了中国航天发展的经验及存在的差距；就国际航天的发展趋势，阐述了我国航天未来的发展战略及重点发展领域。     

复杂产品虚拟样机综合集成型决策支持系统研究

现有常规决策方法和决策支持环境难以对复杂问题进行有效的决策支持和求解，复杂产品虚拟样机即属于该类问题，其决策支持环境的设计是虚拟样机工程需要解决的问题之一。在分析当前各种决策支持系统的特点并与综合集成型决策支持系统进行比较后，提出了只有构建综合集成型决策支持系统才能有效地解决复杂产品虚拟样机设计中的决策支持问题。从虚拟样机决策求解的过程分析了系统的需求，建立了B/S架构的、基于移动Agent技术的综合集成型决策支持系统，并阐明了系统的组织结构和功能，对系统实现的关键技术、仿真、信息和知识的综合集成进行了深     

包装企业资源外包战略探析

资源外包战略作为包装企业核心战略的一部分,日益受到包装企业的重视.文中将资源外包战略视为一种企业经营战略,分析了资源外包战略对包装企业价值的支持及实施资源外包战略的约束条件.     

Implications of product upgrading confronting supplier remanufacturing

It is generally believed that new products upgrading is an effective strategy to deal with the cannibalisation problem from remanufacturing, however, it is not clear how the new product upgrading strategy affect the decision-making of the downstream manufacturer and the upstream supplier. By examining the relationship between supplier remanufacturing profits and product cannibalisation, we develop two models to investigate the implications of the manufacturer's product upgrading confronting supplier remanufacturing. The results show that an product upgrading strategy can effectively enhance the manufacturer's profits if the investment cost is relatively low. Although the product upgrading strategy may hinder the remanufacturing operations, it will always be beneficial for the wholesaling of the supplier's new products. Therefore, the upgrading strategy can mitigate cannibalisation problems and create an optimal pareto improvement for both parties. Finally, we conduct a data analysis to provide additional managerial insights regarding the supply chain.     

Consensus oriented fuzzified decision support for oil spill contingency management

Studies on multi-group multi-criteria decision-making problems for oil spill contingency management are in their infancy. This paper presents a second-order fuzzy comprehensive evaluation (FCE) model to resolve decision-making problems in the area of contingency management after environmental disasters such as oil spills. To assess the performance of different oil combat strategies, second-order FCE allows for the utilization of lexical information, the consideration of ecological and socio-economic criteria and the involvement of a variety of stakeholders. On the other hand, the new approach can be validated by using internal and external checks, which refer to sensitivity tests regarding its internal setups and comparisons with other methods, respectively. Through a case study, the Pallas oil spill in the German Bight in 1998, it is demonstrated that this approach can help decision makers who search for an optimal strategy in multi-thread contingency problems and has a wider application potential in the field of integrated coastal zone management.     

影响我国印刷机械行业发展水平的一个关键因素

分析了影响我国印刷机械行业发展的一个关键因素,是如何有效改进印刷机设计水平,并对解决方法给予了论述,以便于我国印刷机械行业调整战略,迎接世界市场的挑战.     

我国分布式供能关键技术研究进展

分布式供能技术是我国中长期科技发展规划中能源领域的前沿技术,是实现高效、环保、可靠、智能、多元化供能的先进技术.通过对分布式供能作为我国能源战略需求的必要性和重要意义的阐述,概述了分布式供能的关键技术及其在我国的研究进展,指出微小型动力、动力余热高效利用、多能源互补等系统集成技术是当前重要的研究方向.     

北京创新型城市建设中的环境保护

建设创新型城市是北京面向未来的重大战略,是实施可持续发展的重要举措。创新型城市建设对环 境保护提出了更高的要求,从理念、思路到任务、目标均有了很大变化。创新型城市必须树立生态环境优先发 展的理念,环境保护应积极参与城市经济发展决策,并为城市的生态安全建立完整、高效的生态支撑体系,并 就什么是创新型城市、创新型城市建设中环境保护的目标、任务等问题进行了讨论。