登录
首页 » Others » 【第4部分 定义和缩略语】GBT 20438.4-2006(IEC 61508-4-1998) 电气 电子 可编程电子安全相关系统的功能安全.pdf

【第4部分 定义和缩略语】GBT 20438.4-2006(IEC 61508-4-1998) 电气 电子 可编程电子安全相关系统的功能安全.pdf

于 2020-11-29 发布
0 295
下载积分: 1 下载次数: 1

代码说明:

GBT 20438.4-2006(IEC 61508-4-1998) 电气 电子 可编程电子安全相关系统的功能安全 第4部分 定义和缩略语.pdf

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 数学建模大全
    充分了解数学建模的相关知识,其中包括各种算法以及MATLAB在数学建模中的具体应用以及相关的程序代码,综合各方面的知识,方便我们了解例如线性规划maxx s.t. Ax>b的Maab标准型为min -cx s.Axcx∑anx,=bi=12,…,mst≥可行解满足约束条件(4)的解x=(x1,x2,…,xn),称为线性规划问题的可行解,而使目标函数(3)达到最大值的可行解叫最优解可行域所有可行解构成的集合称为问题的可行域,记为R14线性规划的图解法101+x2=106z=12图1线性规划的图解示意图图解法简单直观,有助」了解线性规划问题求解的基木原坦。我们先应用图解法来求解例1。对于每一固定的值z,使目标函数值等于z的点构成的直线称为目标函数等位线,当z变动时,我们得到一族平行直线。对于例1,显然等位线截趋于右上方,其上的点具有越大的目标函数值。不难看出,本例的最优解为x*=(2,6),最优目标值26从上面的图解过程可以看出并不难证明以下断言:(1)可行域R可能会出现多种情况。R可能是空集也可能是非空集合,当R非空时,它必定是若干个半平面的交集(除非遇到空间维数的退化)。R既可能是有界区域,也可能是无界区域(2)在R非空,线性规划既可以存在有限最优解,也可以不存在有限最优解(其目标函数值无界)。(3)若线性规划存在有限最优解,则必可找到具有最优目标函数值的可行域R的“顶点”。上述论断可以推广到一般的线性规划问题,区别只在」空问的维数。在一般的n维空间中,满足一线性等式∑a1x=b的点集被称为一个超平面,而满足一线性不等式氵=1∑ax≤b(或∑a1x,≥b)的点集被称为一个半空间(其中(a1…,an)为一n维行向量,b为一实数)。若千个半空间的交集被称为多胞形,有界的多胞形又被称为多面体。易见,线性规划的可行域必为多胞形(为统一起见,空集Φ也被λ为多胞形)。在一般n维空问中,要直接得出多胞形“顶点”概念还有一些困难。二维空间中的顶点可以看成为边界直线的交点,但这一几何概念的推广在一般n维空间中的几何意义并不十分直观。为此,我们将采用另一途径来定义它。定义1称n维空间中的区域R为一凸集,若Vx,x2∈R及元∈(01),有x+(1-4)x2∈R定义2设R为n维空间中的一个凸集,R中的点x被称为R的一个极点,若不存在x、x2∈R及∈(0,1),使得x=4x+(1-4)x2。定义1说明凸集中任意两点的连线必在此凸集中;而定义2说明,若x是凸集R的个极点,则x不能位于R中任意两点的连线上。不难证明,多胞形必为凸集。同样也不难证明,维空间中可行域R的顶点均为R的极点(R也没有其它的极点)1.5求解线性规划的 Matlab解法单纯形法是求解线性规划问题的最常用、最有效的算法之一。这里我们就不介绍单纯形法,有兴趣的读者可以参看其它线性规划书籍。下面我们介绍线性规划的 Matlab解法Matlab中线性规划的标准型为min c rAx shs t.Aeq. x=beb
    2020-12-01下载
    积分:1
  • 健身房会员管理系统(c#.net)
    此文档为完善后的c#.net期末课程设计,功能完善,包括数据库,下载即用。
    2021-05-06下载
    积分:1
  • 基于matlab二种子大脑图像分割代码
    图像分割算法,区域生长法,基于二个种子点分割脑部MRI图像,程序完整,希望跟大家分享。
    2020-12-10下载
    积分:1
  • libssh2_include&&lib
    编译好的libssh2的库,可直接使用libssh2提供的接口,积分降低至1分,随意下载。资源存在多年,积分偶尔会改变(非本人意愿)
    2020-12-05下载
    积分:1
  • sniffer源代码文件
    通过研究Winpcap中常用的库函数的使用方式来实现了一个小型的网络数据包抓包器,并通过对原始包文的分析来展示当前网络的运行状况。
    2020-11-30下载
    积分:1
  • MySQL Workbench汉化xml文件
    MySQL Workbench汉化xml文件测试可用
    2020-12-06下载
    积分:1
  • ad7768.rar
    ad7768驱动程序,头文件源文件,可稍作修改用于DSP或单片机AD的开发,AD7768可通过引脚配置,也可以通过SPI配置,8通道24位ADC
    2021-05-07下载
    积分:1
  • stm32F4+w5300
    stm32f4 驱动 w5300 固件库例程 接口使用8/16位数据总线 以太网
    2020-12-12下载
    积分:1
  • 数据结构课设计 用C++实现的交通咨询系统
    数据结构课程设计代码,用C++实现的交通咨询系统,能实现最短距离,最省钱,最省时间3种查询。
    2020-07-01下载
    积分:1
  • 简易异步FIFO代码及testbench
    简易异步FIFO代码及testbench,满足基本FIFO要求,简单实用
    2020-12-06下载
    积分:1
  • 696516资源总数
  • 106436会员总数
  • 7今日下载