A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.（ Hardware Description Language ）, and the validity of the system has been proved by logi...A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.（ Hardware Description Language ）, and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overheadsaving for operating .system, so it is profitable for the controller in the embedded system. The relationship among RTOS （Real-Time Operating System）, SoC（System on Chip）, VIA （Virtual Interface Architecture） and hardware logic task is also discussed in the paper.展开更多
A thermodynamic description of the Ni-Co-Gd system is developed by means of the computer programs THERMO CALC, using models for the Gibbs energy of individual phases. Previous assessments of the three binary systems ...A thermodynamic description of the Ni-Co-Gd system is developed by means of the computer programs THERMO CALC, using models for the Gibbs energy of individual phases. Previous assessments of the three binary systems were incorporated. The system contains ten different compounds and they are all treated as line compounds. Good agreement is obtained between the calculation and experimental results in the ternary system.展开更多
An often unrecognized problem is the geology and glacial history paradigm’s inability to explain topographic map drainage system and erosional landform evidence, which means geology research studies rarely address th...An often unrecognized problem is the geology and glacial history paradigm’s inability to explain topographic map drainage system and erosional landform evidence, which means geology research studies rarely address that type of topographic map evidence. The problem originated in the late 19<sup>th</sup> century with William Morris Davis who is sometimes called the father of geomorphology and was one of the first geologists to interpret what in the late 19<sup>th</sup> century were newly available topographic maps. An 1889 Davis paper describes selected drainage system evidence observed on an advance copy of the 1890 Doylestown (Pennsylvania) topographic map and an 1892 Ward paper written after discussions with Davis describes additional selected drainage system evidence seen on the same map. Both papers fail to mention the majority of the Doylestown map’s drainage system features including most barbed tributaries, asymmetric drainage divides, and through (dry) valleys crossing major drainage divides. Had Davis used all of the map’s drainage system and erosional landform evidence he should have recognized the map evidence shows headward erosion of an east-oriented Neshaminy Creek valley captured southwest-oriented streams which headward erosion of the south-oriented Delaware River valley and its east-oriented tributary Tohickon Creek valley had beheaded. Consciously or unconsciously, Davis chose not to alert future investigators that Doylestown topographic map evidence did not support his yet-to-be-published Pennsylvania and New Jersey erosion history interpretations and instead Davis proceeded to develop and promote erosion history interpretations which the map evidence did not support.展开更多
世界各国都高度重视教育发展,在新时代背景下进行教育活动核算方法的研究有重要的理论与实践意义。本文以联合国教科文组织发布的《国民教育账户方法论》(Methodologyof National Education Accounts 2016,MNEA2016)和联合国《国民账户...世界各国都高度重视教育发展,在新时代背景下进行教育活动核算方法的研究有重要的理论与实践意义。本文以联合国教科文组织发布的《国民教育账户方法论》(Methodologyof National Education Accounts 2016,MNEA2016)和联合国《国民账户体系》(System of National Accounts2008,SNA2008)等为基础,讨论我国教育活动核算体系的理论基础与重要范畴,设计账户与核算表通式,构造教育核算指标体系,探讨我国教育核算体系的数据支撑及其与中国国民经济核算体系(China’s System of National Accounts 2016,CSNA2016)的对接问题,以期形成我国教育核算体系的基本范式。展开更多
协方差分析描述函数法(covariance analysis describing function technique,CADET)在处理系统的随机响应问题上具有求解迅速、仿真精度高等优点.但对于复杂系统,其理论推导过程、求解系统解析响应方程较为复杂繁琐.为进一步推广CADET...协方差分析描述函数法(covariance analysis describing function technique,CADET)在处理系统的随机响应问题上具有求解迅速、仿真精度高等优点.但对于复杂系统,其理论推导过程、求解系统解析响应方程较为复杂繁琐.为进一步推广CADET的应用,依托高斯–埃尔米特积分法,提出了一种通用化的CADET数值算法.作为算法验证,以车辆行驶过程中的随机振动为例,建立了几种不同非线性悬架车辆的二自由度动力学模型,并将CADET通用化数值算法与传统CADET算法及蒙特卡罗法进行了对比分析.仿真结果表明,CADET的通用化数值算法可以达到满足应用要求的计算精度,这验证了所提数值算法的有效性,且具有更强的泛化应用于复杂非线性动力系统的价值.展开更多
故障树分析(Fault Tree Analysis)在系统可靠性评估中起着至关重要的作用。然而,作为故障树分析的核心故障树(FT)的构建,传统构建故障树的方法存在耗时长且容易出错等缺点。为了解决这些问题并应对复杂系统自动建造故障树的困难,该文提...故障树分析(Fault Tree Analysis)在系统可靠性评估中起着至关重要的作用。然而,作为故障树分析的核心故障树(FT)的构建,传统构建故障树的方法存在耗时长且容易出错等缺点。为了解决这些问题并应对复杂系统自动建造故障树的困难,该文提出一种基于元部件模型及系统结构模型的规范化描述方法,并以此为基础,通过建立元部件模型库、复杂标识符库,设计出故障树自动建树及分析软件,实现系统结构模型搭建、自动建树、复杂结构识别处理及可靠性分析过程的全自动化。详细阐述了故障树自动建树软件自动建树及分析的基本步骤,并通过一个简化的汽车ABS系统应用实例验证了该软件的有效性和可行性。实例应用结果表明,该故障树自动建树及分析软件不仅能够实现自动构建和分析故障树,提高工作效率,而且能够识别处理具有复杂结构的故障树,对复杂系统的自动建树及可靠性分析的推广具有重要意义。展开更多
基金Supported bythe National Basic Research Programof China (973 Program2004CB318201) the National Natural Sci-ence Foundation of China (60273074)
文摘A new task mode, hardware logic task mode, is presented. Its architecture, schedule and implementation are described with HDI.（ Hardware Description Language ）, and the validity of the system has been proved by logic simulation. It has advantage for real-time applications and overheadsaving for operating .system, so it is profitable for the controller in the embedded system. The relationship among RTOS （Real-Time Operating System）, SoC（System on Chip）, VIA （Virtual Interface Architecture） and hardware logic task is also discussed in the paper.
文摘A thermodynamic description of the Ni-Co-Gd system is developed by means of the computer programs THERMO CALC, using models for the Gibbs energy of individual phases. Previous assessments of the three binary systems were incorporated. The system contains ten different compounds and they are all treated as line compounds. Good agreement is obtained between the calculation and experimental results in the ternary system.
文摘An often unrecognized problem is the geology and glacial history paradigm’s inability to explain topographic map drainage system and erosional landform evidence, which means geology research studies rarely address that type of topographic map evidence. The problem originated in the late 19<sup>th</sup> century with William Morris Davis who is sometimes called the father of geomorphology and was one of the first geologists to interpret what in the late 19<sup>th</sup> century were newly available topographic maps. An 1889 Davis paper describes selected drainage system evidence observed on an advance copy of the 1890 Doylestown (Pennsylvania) topographic map and an 1892 Ward paper written after discussions with Davis describes additional selected drainage system evidence seen on the same map. Both papers fail to mention the majority of the Doylestown map’s drainage system features including most barbed tributaries, asymmetric drainage divides, and through (dry) valleys crossing major drainage divides. Had Davis used all of the map’s drainage system and erosional landform evidence he should have recognized the map evidence shows headward erosion of an east-oriented Neshaminy Creek valley captured southwest-oriented streams which headward erosion of the south-oriented Delaware River valley and its east-oriented tributary Tohickon Creek valley had beheaded. Consciously or unconsciously, Davis chose not to alert future investigators that Doylestown topographic map evidence did not support his yet-to-be-published Pennsylvania and New Jersey erosion history interpretations and instead Davis proceeded to develop and promote erosion history interpretations which the map evidence did not support.
文摘世界各国都高度重视教育发展,在新时代背景下进行教育活动核算方法的研究有重要的理论与实践意义。本文以联合国教科文组织发布的《国民教育账户方法论》(Methodologyof National Education Accounts 2016,MNEA2016)和联合国《国民账户体系》(System of National Accounts2008,SNA2008)等为基础,讨论我国教育活动核算体系的理论基础与重要范畴,设计账户与核算表通式,构造教育核算指标体系,探讨我国教育核算体系的数据支撑及其与中国国民经济核算体系(China’s System of National Accounts 2016,CSNA2016)的对接问题,以期形成我国教育核算体系的基本范式。
文摘协方差分析描述函数法(covariance analysis describing function technique,CADET)在处理系统的随机响应问题上具有求解迅速、仿真精度高等优点.但对于复杂系统,其理论推导过程、求解系统解析响应方程较为复杂繁琐.为进一步推广CADET的应用,依托高斯–埃尔米特积分法,提出了一种通用化的CADET数值算法.作为算法验证,以车辆行驶过程中的随机振动为例,建立了几种不同非线性悬架车辆的二自由度动力学模型,并将CADET通用化数值算法与传统CADET算法及蒙特卡罗法进行了对比分析.仿真结果表明,CADET的通用化数值算法可以达到满足应用要求的计算精度,这验证了所提数值算法的有效性,且具有更强的泛化应用于复杂非线性动力系统的价值.
文摘故障树分析(Fault Tree Analysis)在系统可靠性评估中起着至关重要的作用。然而,作为故障树分析的核心故障树(FT)的构建,传统构建故障树的方法存在耗时长且容易出错等缺点。为了解决这些问题并应对复杂系统自动建造故障树的困难,该文提出一种基于元部件模型及系统结构模型的规范化描述方法,并以此为基础,通过建立元部件模型库、复杂标识符库,设计出故障树自动建树及分析软件,实现系统结构模型搭建、自动建树、复杂结构识别处理及可靠性分析过程的全自动化。详细阐述了故障树自动建树软件自动建树及分析的基本步骤,并通过一个简化的汽车ABS系统应用实例验证了该软件的有效性和可行性。实例应用结果表明,该故障树自动建树及分析软件不仅能够实现自动构建和分析故障树,提高工作效率,而且能够识别处理具有复杂结构的故障树,对复杂系统的自动建树及可靠性分析的推广具有重要意义。
