标签　>　eda

【39减肥达人召集令】欢迎减肥成功的你来秀~长期有效

+关注 0人关注百度现为庆祝国家基地成立五周年，南方医院李可中医药学术流派国家传承基地将于3月9日举行大型义诊咨询活动，由吕英教授带领其弟子为市民义诊，并接受咨询。

EDA是电子设计自动化（Electronics Design Automation）的缩写，在20世纪60年代中期从计算机辅助设计（CAD）、计算机辅助制造（CAM）、计算机辅助测试（CAT）和计算机辅助工程（CAE）的概念发展而来的。

文章： 2441 个

视频： 237 个

浏览： 178592 次

帖子： 273 个

详情
知识
相关内容

eda简介

　　20世纪90年代，国际上电子和计算机技术较为先进的国家，一直在积极探索新的电子电路设计方法，并在设计方法、工具等方面进行了彻底的变革，取得了巨大成功。在电子技术设计领域，可编程逻辑器件（如CPLD、FPGA）的应用，已得到广泛的普及，这些器件为数字系统的设计带来了极大的灵活性。这些器件可以通过软件编程而对其硬件结构和工作方式进行重构，从而使得硬件的设计可以如同软件设计那样方便快捷。这一切极大地改变了传统的数字系统设计方法、设计过程和设计观念，促进了EDA技术的迅速发展。

eda百科

　　EDA技术就是以计算机为工具，设计者在EDA软件平台上，用硬件描述语言VerilogHDL完成设计文件，然后由计算机自动地完成逻辑编译、化简、分割、综合、优化、布局、布线和仿真，直至对于特定目标芯片的适配编译、逻辑映射和编程下载等工作。EDA技术的出现，极大地提高了电路设计的效率和可操作性，减轻了设计者的劳动强度。

查看详情

eda知识

概伦电子与上海国投、上海芯合创一号基金签署战略合作框架协议

7月24日下午，上海国投公司、概伦电子、上海芯合创一号基金战略合作框架协议签署仪式举行。上海国投公司党委书记、董事长袁国

2025-08-04 标签： eda 概伦电子 448 0
新思科技CEO盖思新致函：Ansys正式加入新思科技，共同激发从芯片到系统工程创新

? 2025-08-04，对于新思科技来说，是一个极具变革意义的日子；对于我们的员工、客户、合作伙伴和世界各地的工程创新

2025-08-04 标签：仿真 eda 新思科技 1246 0
开芯院采用芯华章P2E硬件验证平台加速RISC-V验证

近日，系统级验证 EDA 解决方案提供商芯华章科技与北京开源芯片研究院（以下简称 “开芯院”）宣布，双方基于芯华章的P2

2025-08-04 标签： eda 硬件验证 RISC-V 841 0
新思科技收购Ansys交易已获全部所需批准预计将于2025-08-04完成交易

新思科技（Synopsys, Inc.，纳斯达克股票代码：SNPS）宣布，其拟议收购Ansys（ANSYS, Inc.，

2025-08-04 标签：仿真 eda 新思科技 1379 0
Allegro Skill字符功能之补齐REF字符

在使用Allegro软件进行封装绘制时，通常器件位号会被放置在两个不同的层上：丝印层和装配层。丝印层的位号会在PCB制板

2025-08-04 标签：封装 eda allegro 770 0
西门子发布关于美国解除近期对中国EDA出口限制的声明

西门子今天就美国解除近期对中国 EDA 出口限制发布以下声明。西门子近期获美国商务部工业与安全局 (BIS) 通知，该

2025-08-04 标签：西门子 eda 1662 0
新思科技（Synopsys）、西门子、楷登电子（Cadence）三大巨头恢复对华EDA销售

新思科技（Synopsys）、西门子、楷登电子（Cadence）三大芯片设计软件巨头正式恢复对华供货；意味着美国已正式取

2025-08-04 标签：西门子 Cadence eda 1591 0
华大九天物理验证EDA工具Empyrean Argus助力芯片设计

在芯片设计的流片之路充满挑战，物理验证EDA工具无疑是这“最后一公里”关键且不可或缺的利器。它通过设计规则检查、版图与原

2025-08-04 标签： IC设计芯片设计 eda 1843 0
美取消对中国芯片设计软件出口限制西门子已恢复中国客户对其软件和技术的全面访问

据央视新闻报道，美国已取消对中国芯片设计软件的出口限制。据悉，在当地时间的7月2日德国西门子证实了该消息，德国西门子称

2025-08-04 标签：西门子芯片设计 eda 1598 0
荣膺 | 「上海矽朋微」荣获“2025年度中国半导体市场领军企业”

2025-08-04-21日，2025世界半导体大会开幕式暨南京国际半导体博览会在南京举行，大会以合筑“芯”机遇，共谋新

2025-08-04 标签：半导体 eda 483 0

展开查看更多

全部技术资讯资料帖子视频产品方案企业

eda帖子

555定时器设计异常现象

标签：CMOS IC eda 4177 1

Cadence画PCB傻瓜式教程

标签：pcb eda PCB 771 0

【试用评选】为昕原理图设计EDA软件（Jupiter）试用活动评选结果公布

标签：eda 为昕eda 为昕科技 1300 0

【为昕原理图设计EDA软件试用】试用报告

标签：软件 eda 760 0

使用什么EDA工具打开EVAL-AD2428WD1BZ-layout.pcb的PCB文件？

标签：eda PCB文件 12015 1

南京国企招聘Eda人才培训部部长，考虑可备注岗位联系

标签：eda 13399 0

南京eda国企岗位招聘，考虑可微信联系：Bonnie2017060132

标签：eda 13319 0

【国产高性能EDA来了】为昕原理图设计EDA软件（Jupiter）有限名额试用中

标签：eda 为昕eda 1581 1

2023美国19家主要半导体公司营收解剖

标签：半导体 eda 1199 0

【招聘贴】寻找志同道合的伙伴，一起砥砺前行！

标签：pcb eda DFM 3198 0

eda资料下载

Autodesk EAGLE Premium 9.6.2 PCB立即下载

类别：PCB设计规则 2025-08-04 标签：pcb eda EAGLE

Cadence SPB OrCAD Allegro24.1安装包立即下载

类别：PCB设计规则 2025-08-04 标签：pcb Cadence eda

PCB板的电磁协同设计立即下载

类别：PCB设计规则 2025-08-04 标签：pcb 电磁 eda

OrCAD Capture V16.3 简易教程立即下载

类别：教程 2025-08-04 标签：eda orcad

一文了解皮肤电活动测量系统的设计、开发与评估立即下载

类别：电子资料 2025-08-04 标签：监控测量系统 eda

基于可编程器件的任意进制计数器的设计方法立即下载

类别：电子资料 2025-08-04 标签：eda 计数器电子设计自动化

7天学会Robei EDA-北京革新创展科技有限公司立即下载

类别：电子资料 2025-08-04 标签：eda 快速入门

北京革新创展科技有限公司EP2C35-M672 FPGA板卡立即下载

类别：电子资料 2025-08-04 标签：eda 可编程逻辑 FPGA开发板

EDA八路彩灯课程设计立即下载

类别：电子资料 2025-08-04 标签：控制器彩灯 eda

EDA市场现状分析及趋势立即下载

类别：报告 2025-08-04 标签：集成电路模拟电路计算机

eda资讯

英诺达2025技术巡回研讨会圆满结束

继成都首站成功举办后，英诺达2025年“左移赋能，功耗突围”技术巡回研讨会于7月22日、24日在北京和上海相继举行。本次巡回研讨会聚焦低功耗设计与静态验...

2025-08-04 标签：芯片设计 eda 英诺达 288 0

今日看点丨某EDA公司认罚并向美支付1.4亿美元罚款；光库科技拟收购安捷讯控制权 2025年全球纯半导体代工收

? 2025年全球纯半导体代工收入将达1650亿美元：同比增长17% 据市调机构Counterpoint?Research最新报告，2025年全球纯半导...

2025-08-04 标签：eda 光库科技 1474 0

概伦电子与上海国投、上海芯合创一号基金签署战略合作框架协议

7月24日下午，上海国投公司、概伦电子、上海芯合创一号基金战略合作框架协议签署仪式举行。上海国投公司党委书记、董事长袁国华，概伦电子董事长刘志宏出席并见...

2025-08-04 标签：eda 概伦电子 448 0

上海立芯数字实现平台LeCompiler入选CCF CFTC 2025

近日，第二十一届全国容错计算学术会议(CCFCFTC2025)在杭州隆重开幕。会议上表彰过去40年以来所取得的杰出成果，其中，由上海立芯牵头，联合福州大...

2025-08-04 标签：集成电路 eda 393 0

上海立芯亮相第五届RISC-V中国峰会

上海立芯软件科技有限公司的四款核心产品——LeCompiler(数字设计全流程平台)、LePI(电源完整性平台)、LePV(物理验证与签核平台)及Le3...

2025-08-04 标签：IC设计 eda RISC-V 436 0

奇捷科技亮相第62届设计自动化大会

此前，2025年6月22-25日，奇捷科技（Easy-Logic）参加美国旧金山举办的全球电子设计自动化（EDA）领域顶级盛会——第62届设计自动化大会...

2025-08-04 标签：asic eda 电子设计自动化 454 0

Arm专家深入解析汽车研发新业态

在 Arm 投身汽车技术研发的这些年，我身处行业前沿，亲眼见证了从传统软硬件协同设计到真正软件定义系统的重大转变。在近期于旧金山举办的第 62 届设计自...

2025-08-04 标签：ARM 西门子 eda 236 0

第九届集创赛“法动杯”燃爆七大赛区

盛夏创新热潮涌动，“法动杯”燃爆集创赛七大赛区。第九届全国大学生集成电路创新创业大赛（简称“集创赛”）正如火如荼进行中，集创赛七大分赛区决赛已全面启动。

2025-08-04 标签：集成电路 eda 人工智能 572 0

芯行纪智能布局规划工具AmazeFP助力RISC-V芯片设计

根据Semico Research数据显示，2024年全球RISC-V芯片出货量突破100亿颗，中国出货量占比超过50%，预测到2025年，采用RISC...

2025-08-04 标签：芯片 eda 时序 861 0

华大九天“芯聚九天”系列活动助力集成电路产业蓬勃发展

华大九天希望通过“芯聚九天”系列活动，打造一个行业精英与企业应用通畅交流的专业平台，营造以“开放、合作、创新”为主体的产业生态圈，促进技术交流、行业合作...

2025-08-04 标签：集成电路 eda 华大九天 258 0

eda数据手册

相关话题

换一批

IOT

IOT

+关注

IoT是Internet of Things的缩写，字面翻译是“物体组成的因特网”，准确的翻译应该为“物联网”。物联网（Internet of Things）又称传感网，简要讲就是互联网从人向物的延伸。
海思

海思

+关注
STM32F103C8T6

STM32F103C8T6

+关注

STM32F103C8T6是一款集成电路，芯体尺寸为32位，程序存储器容量是64KB，需要电压2V~3.6V，工作温度为-40°C ~ 85°C。
数字隔离

数字隔离

+关注

数字隔离技术常用于工业网络环境的现场总线、军用电子系统和航空航天电子设备中，尤其是一些应用环境比较恶劣的场合。数字隔离电路主要用于数字信号和开关量信号的传输。另一个重要原因是保护器件（或人）免受高电压的危害。本文详细介绍了数字隔离器工作原理及特点，选型及应用，各类数字隔离器件性能比较等内容。
硬件工程师

硬件工程师

+关注

硬件工程师Hardware Engineer职位要求熟悉计算机市场行情；制定计算机组装计划；能够选购组装需要的硬件设备，并能合理配置、安装计算机和外围设备；安装和配置计算机软件系统；保养硬件和外围设备；清晰描述出现的计算机软硬件故障。
wifi模块

wifi模块

+关注

Wi-Fi模块又名串口Wi-Fi模块，属于物联网传输层，功能是将串口或TTL电平转为符合Wi-Fi无线网络通信标准的嵌入式模块，内置无线网络协议IEEE802.11b.g.n协议栈以及TCP/IP协议栈。传统的硬件设备嵌入Wi-Fi模块可以直接利用Wi-Fi联入互联网，是实现无线智能家居、M2M等物联网应用的重要组成部分。
MPU6050

MPU6050

+关注

MPU-6000（6050）为全球首例整合性6轴运动处理组件，相较于多组件方案，免除了组合陀螺仪与加速器时间轴之差的问题，减少了大量的封装空间。
74ls74

74ls74

+关注

74LS74是双D触发器。功能多，可作双稳态、寄存器、移位寄存器、振荡器、单稳态、分频计数器等功能。本章详细介绍了74ls112的功能及原理，74ls74引脚图及功能表，74ls112的应用等内容。
Protues

Protues

+关注

Proteus软件是英国Lab Center Electronics公司出版的EDA工具软件（该软件中国总代理为广州风标电子技术有限公司）。它不仅具有其它EDA工具软件的仿真功能，还能仿真单片机及外围器件。
STC12C5A60S2

STC12C5A60S2

+关注

在众多的51系列单片机中，要算国内STC 公司的1T增强系列更具有竞争力，因他不但和8051指令、管脚完全兼容，而且其片内的具有大容量程序存储器且是FLASH工艺的，如STC12C5A60S2单片机内部就自带高达60K FLASHROM，这种工艺的存储器用户可以用电的方式瞬间擦除、改写。
UHD

UHD

+关注

UHD是”超高清“的意思UHD的应用在电视机技术上最为普遍，目前已有不少厂商推出了UHD超高清电视。
循迹小车

循迹小车

+关注

做单片机的工程师相比都堆循迹小车有所认识，它是自动引导机器人系统的基本应用，那么今天小编就给大家介绍下自动自动循迹小车的原理，智能循迹小车的应用，智能循迹小车程序，循迹小车用途等知识吧！
光模块

光模块

+关注

光模块(optical module)由光电子器件、功能电路和光接口等组成，光电子器件包括发射和接收两部分。简单的说，光模块的作用就是光电转换，发送端把电信号转换成光信号，通过光纤传送后，接收端再把光信号转换成电信号。
LM2596

LM2596

+关注

LM2596是降压型电源管理单片集成电路的开关电压调节器，能够输出3A的驱动电流，同时具有很好的线性和负载调节特性。固定输出版本有3.3V、5V、12V，可调版本可以输出小于37V的各种电压。
光立方

光立方

+关注

光立方是由四千多棵光艺高科技“发光树”组成的，在2025-08-04天安门广场举行的国庆联欢晚会上面世。这是新中国成立六十周年国庆晚会最具创意的三大法宝之首。
K60

K60

+关注
STM32单片机

STM32单片机

+关注

STM32系列基于专为要求高性能、低成本、低功耗的嵌入式应用专门设计的ARM Cortex-M3内核
Nexperia

Nexperia

+关注

Nexperia是大批量生产基本半导体的领先专家，这些半导体是世界上每个电子设计都需要的组件。该公司广泛的产品组合包括二极管、双极晶体管、ESD 保护器件、MOSFET、GaN FET 以及模拟和逻辑IC。
步进驱动器

步进驱动器

+关注

步进驱动器是一种将电脉冲转化为角位移的执行机构。当步进驱动器接收到一个脉冲信号，它就驱动步进电机按设定的方向转动一个固定的角度（称为“步距角”），它的旋转是以固定的角度一步一步运行的。可以通过控制脉冲个数来控制角位移量，从而达到准确定位的目的；同时可以通过控制脉冲频率来控制电机转动的速度和加速度，从而达到调速和定位的目的。
CD4046

CD4046

+关注

cD4046是通用的CMOS锁相环集成电路，其特点是电源电压范围宽（为3V－18V），输入阻抗高（约100MΩ），动态功耗小，在中心频率f0为10kHz下功耗仅为600μW，属微功耗器件。本章主要介绍内容有，CD4046的功能 cd4046锁相环电路，CD4046无线发射，cd4046运用，cd4046锁相环电路图。
COMSOL

COMSOL

+关注

COMSOL集团是全球多物理场建模解决方案的提倡者与领导者。凭借创新的团队、协作的文化、前沿的技术、出色的产品，这家高科技工程软件公司正飞速发展，并有望成为行业领袖。其旗舰产品COMSOL Multiphysics 使工程师和科学家们可以通过模拟，赋予设计理念以生命。
加速度传感器

加速度传感器

+关注

加速度传感器是一种能够测量加速度的传感器。通常由质量块、阻尼器、弹性元件、敏感元件和适调电路等部分组成。
联网技术

联网技术

+关注
服务机器人

服务机器人

+关注

服务机器人是机器人家族中的一个年轻成员，到目前为止尚没有一个严格的定义。不同国家对服务机器人的认识不同。
四轴飞行器

四轴飞行器

+关注

四轴飞行器，又称四旋翼飞行器、四旋翼直升机，简称四轴、四旋翼。这四轴飞行器（Quadrotor）是一种多旋翼飞行器。四轴飞行器的四个螺旋桨都是电机直连的简单机构，十字形的布局允许飞行器通过改变电机转速获得旋转机身的力，从而调整自身姿态。具体的技术细节在“基本运动原理”中讲述。
基站测试

基站测试

+关注

802.11ac与11基站测试（base station tests）在基站设备安装完毕后，对基站设备电气性能所进行的测量。n的区别，802.11n无线网卡驱动，802.11n怎么安装。
SDK

SDK

+关注

　　SDK一般指软件开发工具包，软件开发工具包一般都是一些软件工程师为特定的软件包、软件框架、硬件平台、操作系统等建立应用软件时的开发工具的集合。软件开发工具广义上指辅助开发某一类软件的相关文档、范例和工具的集合。
TMS320F28335

TMS320F28335

+关注

TMS320F28335是一款TI高性能TMS320C28x系列32位浮点DSP处理器
静电防护

静电防护

+关注

为防止静电积累所引起的人身电击、火灾和爆炸、电子器件失效和损坏，以及对生产的不良影响而采取的防范措施。其防范原则主要是抑制静电的产生，加速静电泄漏，进行静电中和等。
ESP8266

ESP8266

+关注

wifi模块ESP8266的默认波特率是115200，但是单片机不能达到那么快的传输速率，只能使用4800bps，那么设置的时候，必不可少的要先用转串口调试下载器。

换一批

关注此标签的用户(71人)

编辑推荐厂商产品技术软件/工具OS/语言教程专题

电机控制	DSP	氮化镓	功率放大器	ChatGPT	自动驾驶	TI	瑞萨电子
BLDC	PLC	碳化硅	二极管	OpenAI	元宇宙	安森美	ADI
无刷电机	FOC	IGBT	逆变器	文心一言	5G	英飞凌	罗姆
直流电机	PID	MOSFET	传感器	人工智能	物联网	NXP	赛灵思
步进电机	SPWM	充电桩	IPM	机器视觉	无人机	三菱电机	ST
伺服电机	SVPWM	光伏发电	UPS	AR	智能电网	国民技术	Microchip

瑞萨	沁恒股份	全志	国民技术	瑞芯微	兆易创新	芯海科技	Altium
德州仪器	Vishay	Micron	Skyworks	AMS	TAIYOYUDEN	纳芯微	HARTING
adi	Cypress	Littelfuse	Avago	FTDI	Cirrus LogIC	Intersil	Qualcomm
st	Murata	Panasonic	Altera	Bourns	矽力杰	Samtec	扬兴科技
microchip	TDK	Rohm	Silicon Labs	圣邦微电子	安费诺工业	ixys	Isocom Compo
安森美	DIODES	Nidec	Intel	EPSON	乐鑫	Realtek	ERNI电子
TE Connectivity	Toshiba	OMRON	Sensirion	Broadcom	Semtech	旺宏	英飞凌
Nexperia	Lattice	KEMET	顺络电子	霍尼韦尔	pulse	ISSI	NXP
Xilinx	广濑电机	金升阳	君耀电子	聚洵	Liteon	新洁能	Maxim
MPS	亿光	Exar	菲尼克斯	CUI	WIZnet	Molex	Yageo
Samsung	风华高科	WINBOND	长晶科技	晶导微电子	上海贝岭	KOA	Echelon
Coilcraft	LRC	trinamic

放大器	运算放大器	差动放大器	电流感应放大器	比较器	仪表放大器	可变增益放大器	隔离放大器
时钟	时钟振荡器	时钟发生器	时钟缓冲器	定时器	寄存器	实时时钟	PWM 调制器
视频放大器	功率放大器	频率转换器	扬声器放大器	音频转换器	音频开关	音频接口	音频编解码器
模数转换器	数模转换器	数字电位器	触摸屏控制器	AFE	ADC	DAC	电源管理
线性稳压器	LDO	开关稳压器	DC/DC	降压转换器	电源模块	MOSFET	IGBT
振荡器	谐振器	滤波器	电容器	电感器	电阻器	二极管	晶体管
变送器	传感器	解析器	编码器	陀螺仪	加速计	温度传感器	压力传感器
电机驱动器	步进驱动器	TWS	BLDC	无刷直流驱动器	湿度传感器	光学传感器	图像传感器
数字隔离器	ESD 保护	收发器	桥接器	多路复用器	氮化镓	PFC	数字电源

开关电源	步进电机	无线充电	LabVIEW	EMC	PLC	OLED	单片机
5G	m2m	DSP	MCU	ASIC	CPU	ROM	DRAM
NB-IoT	LoRa	Zigbee	NFC	蓝牙	RFID	Wi-Fi	SIGFOX
Type-C	USB	以太网	仿真器	RISC	RAM	寄存器	GPU
语音识别	万用表	CPLD	耦合	电路仿真	电容滤波	保护电路	看门狗
CAN	CSI	DSI	DVI	Ethernet	HDMI	I2C	RS-485
SDI	nas	DMA	HomeKit	阈值电压	UART	机器学习	TensorFlow

Arduino	BeagleBone	树莓派	STM32	MSP430	EFM32	ARM mbed	EDA
示波器	LPC	imx8	PSoC	Altium Designer	Allegro	Mentor	Pads
OrCAD	Cadence	AutoCAD	华秋DFM	Keil	MATLAB	MPLAB	Quartus

C++	Java	Python	JavaScript	node.js	RISC-V	verilog	Tensorflow
Android	iOS	linux	RTOS	FreeRTOS	LiteOS	RT-THread	uCOS
DuerOS	Brillo	Windows11	HarmonyOS

林超文PCB设计：PADS教程，PADS视频教程	郑振宇老师：Altium Designer教程，Altium Designer视频教程
张飞实战电子视频教程	朱有鹏老师：海思HI3518e教程，HI3518e视频教程
李增老师：信号完整性教程，高速电路仿真教程	华为鸿蒙系统教程，HarmonyOS视频教程
赛盛：EMC设计教程，EMC视频教程	杜洋老师：STM32教程，STM32视频教程
唐佐林：c语言基础教程，c语言基础视频教程	张飞：BUCK电源教程，BUCK电源视频教程
正点原子：FPGA教程，FPGA视频教程	韦东山老师：嵌入式教程，嵌入式视频教程
张先凤老师：C语言基础视频教程	许孝刚老师：Modbus通讯视频教程
王振涛老师：NB-IoT开发视频教程	Mill老师：FPGA教程，Zynq视频教程
C语言视频教程	RK3566芯片资料合集
朱有鹏老师：U-Boot源码分析视频教程	开源硬件专题

奥斯卡是什么意思	黄瓜为什么不叫绿瓜	逸五行属性是什么	脊髓空洞症是什么病	用盐泡脚有什么好处
03年是什么年	藕粉不能和什么一起吃	拔牙后吃什么消炎药最好	今天什么年	高压偏低有什么危害
感光度是什么意思	湿疹是什么引起的	肝肾亏虚吃什么中成药	雪茄是什么	为什么明星不激光祛斑
右边腰疼是什么原因	梦见前夫是什么意思	沉香是什么味道	玻璃酸钠是什么	为什么第一次进不去

薛定谔的猫比喻什么hcv9jop6ns6r.cn	什么相关四字成语cj623037.com	硫磺是什么hcv8jop4ns3r.cn	致密是什么意思hcv8jop6ns4r.cn	疰夏是什么意思hcv9jop4ns2r.cn
野生甲鱼吃什么bjcbxg.com	什么是干冰hcv8jop7ns5r.cn	束缚是什么意思hcv8jop1ns9r.cn	得水痘不能吃什么hcv8jop5ns5r.cn	当医生要什么学历hcv8jop9ns9r.cn
花生什么时候收获hcv8jop4ns1r.cn	月经来了不走是什么原因helloaicloud.com	大姨妈不来是什么原因造成的hcv9jop1ns6r.cn	女命带驿马是什么意思hcv9jop6ns8r.cn	埋伏牙是什么意思0297y7.com
地狱不空誓不成佛是什么意思hcv8jop3ns5r.cn	鸭子什么时候下蛋xscnpatent.com	蒲公英有什么药效hcv8jop3ns5r.cn	日和立念什么hcv8jop5ns5r.cn	维生素d3什么牌子好fenrenren.com

搜索历史