数字系统模块化分割原理及其在EDA中应用

为了加快数字系统的设计仿真，提高设计效率，提出了IP核模块化仿真方法。应用数字系统模块化分割原理，通过将数字系统分解为若干个子模块，在EDA(Electronic Design Automation)中先建立子模块系统的IP(Intellectual Property)核，再应用子模块IP核构造数字系统进行数字仿真。证明了数字系统的可分割性理论基础。应用仿真结果表明：采用IP核模块化仿真方法能够简化数字系统设计仿真，提高设计效率。所提出的IP核模块化仿真方法具有较好的实用价值。     

组织决策过程及其涌现性研究

取得决策优势是信息化战争的关键问题之一。重大的战略决策往往是组织决策。如何对组织决策过程进行有效管理和控制，以实现整体大于部分之和的组织增效潜力，是组织决策理论需要研究解决的重点问题。本文研究了组织决策过程的复杂性及其中的涌现现象，分析了涌现性对组织决策效能的作用和影响，提出对组织决策过程中的涌现性进行控制，是组织决策过程管理控制的重心，也是提高组织决策效能的重要途径。     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

Short‐term salmon price forecasting

This study establishes a benchmark for short‐term salmon price forecasting. The weekly spot price of Norwegian farmed Atlantic salmon is predicted 1–5 weeks ahead using data from 2007 to 2014. Sixteen alternative forecasting methods are considered, ranging from classical time series models to customized machine learning techniques to salmon futures prices. The best predictions are delivered by k‐nearest neighbors method for 1 week ahead; vector error correction model estimated using elastic net regularization for 2 and 3 weeks ahead; and futures prices for 4 and 5 weeks ahead. While the nominal gains in forecast accuracy over a naïve benchmark are small, the economic value of the forecasts is considerable. Using a simple trading strategy for timing the sales based on price forecasts could increase the net profit of a salmon farmer by around 7%.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

欧美关于数字图书馆的纷争与启示

近年来欧美国家关于数字图书馆的一系列纷争,从一贯的知识产权焦点深化至本国文化地位等多层视角,给中国的数字图书馆建设带来诸多启示与借鉴。     

基于区域叠合有限元技术预测三维编织复合材料弹性性能

本文基于区域叠合有限元技术预测三维四向编织复合材料弹性性能。在该方法中,分别建立相互独立的纤维增强相有限元模型和复合材料整体区域(包括所有增强相和基体相所占几何空间)有限元模型,两相模型在空间叠合组成复合材料模型,运用节点自由度耦合技术使两相模型满足变形协调关系,通过对两相模型赋予适当的材料属性以使所建复合材料模型具有与实际复合材料等效的力学特性。该方法较传统方法显著缩短了建模时间,降低了建模难度。区域叠合法的数值模拟结果与传统方法预测结果一致。本文的研究为进一步研究编织复合材料非线性宏观力学特性和渐进损伤过程模拟奠定基础。     

煤层冲击倾向性试验及数值模拟

冲击地压是一种特殊的矿山动力现象,而冲击倾向性是煤岩体发生冲击地压的内在因素和必要条件.对松树镇煤矿主采煤层进行冲击倾向性试验,对冲击能量指数、弹性能量指数和动态破坏时间三个煤层冲击能量指标进行分析,得出煤层无冲击倾向性.但对开采煤层数值模拟,得出深部煤层顶部最大主应力值、顶板下沉较大,需要实施一定的防治措施.这为该矿防治冲击地压提供了科学依据.     

三向应力下岩石的强度和变形特性研究

为探讨岩石在三向应力作用下的强度和变形破坏规律及影响因素,采用MTS815电液伺服岩石力学试验系统,分别对砂岩和灰岩进行了三轴压缩试验。基于岩石的应力应变曲线与莫尔-库伦准则,对其残余强度、抗剪强度参数和弹性模量等力学变形特性进行了研究,并分析了孔隙率对岩石各类参数的影响。结果表明:围压对岩石的破坏特征有显著影响,岩石由低围压控制下的脆性破坏逐渐转变为高围压控制下的塑性破坏;横向应变的变化规律与侧向压力作用关系不明显,岩石在峰值应力处的横向应变几乎为定值,应力刚降至残余强度时的横向应变也近似为定值;与砂岩相比,灰岩的孔隙率较低,因而内摩擦角较大,峰值强度也越高,峰值后的残余强度降低得越明显;围压对低孔隙率岩石的弹性模量影响较小,而高孔隙率岩石的弹性模量随围压增加而增大。