首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

在numpy.histogram中使用面元边缘时,Numpy.digitize()会提供比预期更多的面元

在numpy.histogram中使用面元边缘时,Numpy.digitize()会提供比预期更多的面元。Numpy.histogram函数用于计算一维直方图,它将数据分成多个面元(bins),并统计每个面元中数据的数量。面元边缘是指将数据分割成面元的边界值。

Numpy.digitize()函数用于将给定的数据根据面元边缘进行分组,并返回每个数据所属的面元索引。然而,在使用面元边缘时,Numpy.digitize()可能会提供比预期更多的面元。

这是因为Numpy.digitize()函数将数据根据面元边缘进行分组时,使用的是半开半闭区间的方式。也就是说,面元边缘的左侧是闭区间,而右侧是开区间。这意味着如果数据恰好等于某个面元边缘的右侧值,它将被分配到下一个面元中。

为了解决这个问题,可以通过在面元边缘的最后添加一个无穷大的值来避免出现多余的面元。这样,数据等于最后一个面元边缘的右侧值时,将被分配到最后一个面元中。

以下是一个示例代码:

代码语言:txt
复制
import numpy as np

data = np.array([1, 2, 3, 4, 5])
bins = np.array([0, 2, 4, 6])

# 添加无穷大的值到面元边缘的最后
bins = np.append(bins, np.inf)

# 使用Numpy.digitize()进行分组
indices = np.digitize(data, bins)

print(indices)

输出结果为:

代码语言:txt
复制
[1 2 3 3 4]

在这个示例中,数据数组data被分成了三个面元,分别是[0, 2),[2, 4),[4, ∞)。数据1被分配到第一个面元,数据2被分配到第二个面元,数据3和4被分配到第三个面元,数据5被分配到第四个面元。

推荐的腾讯云相关产品:腾讯云云服务器(CVM)和腾讯云对象存储(COS)。

  • 腾讯云云服务器(CVM):提供可扩展的云服务器,适用于各种计算场景,包括前端开发、后端开发、数据库、服务器运维等。了解更多信息,请访问腾讯云云服务器(CVM)产品介绍
  • 腾讯云对象存储(COS):提供安全可靠的云端对象存储服务,适用于存储和管理各种类型的数据,包括音视频、多媒体文件等。了解更多信息,请访问腾讯云对象存储(COS)产品介绍

请注意,以上推荐的腾讯云产品仅供参考,具体选择应根据实际需求进行。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

边缘计算,关键技术是什么?

这是因为,章鱼巨量的神经元有60%分布在八条腿上,脑部只有40%,是“多个小脑+一个大脑”的构造,类似于分布式计算。 而边缘计算也是一种分布式计算。...优势二:低时延 据运营商估算,若业务经由部署在接入点的 MEC 完成处理和转发,则时延有望控制在 1ms 之内;若业务在接入网的中心处理网元上完成处理和转发,则时延约在 2~5ms 之间;即使是经过边缘数据中心内的...譬如,一些连接的传感器(例如相机或在引擎中工作的聚合传感器)会产生大量数据,在这些情况下,将所有这些信息发送到云计算中心将花费很长时间和过高的成本,如若采用边缘计算处理,将减少大量带宽成本。 ?...在车联网领域,业务对时延的需求非常苛刻,边缘计算可以为防碰撞、编队等自动/辅助驾驶业务提供毫秒级的时延保证,同时可以在基站本地提供算力,支撑高精度地图的相关数据处理和分析,更好地支持视线盲区的预警业务。...由此可见,由于5G与边缘计算相辅相成,在5G发展未达预期时,边缘计算也很难达到我们所期望的状态。两者发展密不可分,市场繁荣仍需时日。

2.7K20

移动边缘计算安全研究

(2) 超低时延高可靠 (uRLLC) 的时延限制,对网络时延提出苛刻的要求。移动边缘计算提供的本地业务处理、内容加速等技术,明显减少数据流在核心网中的传输时间。...在 5G 架构设计中,通过支持用户面数据网关的下沉部署、灵活分流等,实现对移动边缘计算的支持。...ETSI 在 2017 年 2 月发布了在 NFV 环境中如何部署MEC 架构,为 MEC 在移动网络中的落地提供了实施指南。...在条件允许时,可使用可信计算保证物理服务器的可信 ;在虚拟基础设施安全方面,应对 Host OS、虚拟化软件、Guest OS 进行安全加固, 防止镜像被篡改,并提供虚拟网络隔离和数据安全机制。...另外,当对于有高安全级别需求的移动边缘计算应用,运营商还应考虑如何通过能力开放,将网络的安全能力以安全服务的方式提供给移动边缘计算应用,实现在满足安全需求的同时,开发更多的商业模式,创造更多的网络价值。

1.7K20
  • 科技巨头布局元宇宙系列报告:腾讯&字节跳动,注定将成为元宇宙中国版本的先行者

    科技巨头在元宇宙布局方向的研究框架:以体验升级为终,倒推其必备的要素,分拆出元宇宙研究框架的六大组件。   ...首先是提供元宇宙体验的硬件入口(VR/AR/MR/脑机接口)及操作系统,其次是支持元宇宙平稳运行的后端基建(5G/算力与算法/云计算/边缘计算)与底层架构(引擎/开发工具/数字孪生/区块链),再次是元宇宙中的核心生产要素...(人工智能),最终呈现为百花齐放的内容与场景,以及元宇宙生态繁荣过程中涌现的大量提供技术与服务的协同方。   ...我们通过跟踪海内外科技巨头的元宇宙布局动向,一方面能够动态跟踪并阶段性评估各公司的未来潜力,另一方面也能够敏锐于元宇宙的前进节奏与发展阶段。...,产生更多的流量,吸引更多的公司。

    47420

    网宿科技2021年报解读:战略布局“2+3”业务,正在加快转型之路

    报告期内,公司实现2021年收入45.75亿元,同比下降19.55%,归母净利1.65亿元,同比下降24.89%,公司业绩低于市场预期,但整体保持盈利状态。...一方面,在CDN成熟技术基础上,向“云安全”与“边缘计算”方向革新,推进边缘计算平台和安全访问边缘架构建设,不断完善平台能力;另一方面,积极拓展私有云/混合云、MSP、数据中心液冷解决方案等协同性强、且公司有一定能力积累的新兴黄金赛道...按照年报数据,2021年CDN及边缘计算业务收入同比下降20.1%至42.9亿元,收入下降的幅度较大。目前可能是受到疫情反复的影响,但CDN收入下滑的趋势短期来看难以改变。...近期,一些金融机构已经下调对网速科技后续的业绩预期,其中,中金研报下调网宿科技2022年的收入预期26.6%至48.6亿元,下调2022年归母净利润35.8%至1.73亿元。...一文看2021年全球及中国内容分发网络行业市场规模、细分市场及竞争格局-前瞻产业研究院; 4. 2021年中国内容分发网络行业竞争格局及市场份额分析互联网企业CDN市场占比将近60%-前瞻产业研究院;

    77520

    A股将迎来一大波新经济公司:几家欢喜几家愁

    从富士康、宁德时代不断打破过会时间记录来看,证监会想让更多新经济公司在A股上市或者在包括A股在内的多个资本市场同时上市的姿态已经很明确,而且行动比所有人预期都快。...再比如最近三年来与AT两大云计算巨头同台竞技的网宿科技,这家成立于2000年的CDN(数据分发)龙头,稳打稳扎,即便面临巨头的价格战打击,也在一年时间内迅速扭转局面。...网宿科技最新公布的业绩预告显示,公司2018年一季度盈利区间在19,644.30万元- 23,573.16万元,在连续四个季度业绩下滑后首次实现同比正增长,然而其最新市值只有350亿元左右,市盈率刚过40...不论是高估还是低估,估值及市值不匹配的现象在A股科技公司中不少,核心原因在于,A股投资者的投资风格趋于投机而不是价值投资,对于公司内在价值的挖掘和理解不够,缺乏对应的价值评价体系,所以给部分科技公司给予了比互联网公司还互联网的估值模型...当然,对于所有科技公司,特别是新经济公司来说,BAT等龙头股的回归,会让A股形成“新经济”板块,如同中概股在美股一样,进而形成板块效应,与荣俱荣、联动发展。这一点在美股/港股都已被证明。

    86350

    机器视觉系统之——镜头、相机介绍

    、场曝光和滚动行曝光等几种常见方式,数字工业相机机一般都提供外触发采图的功能。...传感器尺寸越大,理论上可以聚集更多的感光单元,可以获得更高的相素。在相素不变的情况下,相机传感器尺寸越大,噪点控制能力越强,因为单个感光元件之间的间距越大,相互之间的信号干扰越小。...所以在需要精密尺寸及位置测量的视觉系统中,尽量采用短波长的单色光作为照明光源,对提高系统精度有很大的作用; 5.常用的工业相机品牌 通过对市面上的镜头加以整理我们可以了解一下常用的相机品牌如下所示:...6.工业镜头的选择要点 对镜头的选择,我们首先必须的了解客户的需求: 1.视野范围、光学放大倍数及期望的工作距离:在选择镜头时,我们会选择比被测物体视野稍大一点的镜头,以有利于运动控制。...2.景深要求:对于对景深有要求的项目,尽可能使用小的光圈;在选择放大倍率的镜头时,在项目许可下尽可能选用低倍率镜头。如果项目要求比较苛刻时,倾向选择高景深的尖端镜头。

    1.6K40

    广域铭岛打造一体化数字基座,构建数据驱动的智造体系

    然而,传统工业互联网在预测性分析和优化决策大数据分析能力上依然欠缺,如何利用数据分析结果为企业决策提供增值是许多企业碰到的难题,为此广域铭岛工业物联网平台——嘉元物宇IIoT平台应运而生。...实现数据处理逻辑和上层业务的解耦,保证建立在基座的上层应用获取到干净的数据。尤其值得一提的是,嘉元物宇IIoT平台提供了边缘智能的有力支撑。...一方面,平台诞生于工业行业,比传统互联网企业开发的工业平台支持的底层工业协议更多,在工业协议的实施和工业数据处理等方面也更有经验。...同时,领克成都工厂也成为广域铭岛打造的工业4.0智能制造工厂标杆,展示在全新迭代的广域铭岛官网中,详情可登陆官网“案例中心”栏目内了解。...“如果只是局部的改造,不进行系统重构,IIoT平台的真正价值也会大打折扣。”对于IIoT平台自身发展,广域铭岛接下来将继续提升三方面实力。

    30430

    Dr.周涛:大脑科学告诉我们什么是领导力

    大脑科学告诉我们什么是领导力 “领导力发展”在企业中是高管层最后重视的,但领导力的提升是最难的。...大脑是一种神经元相互连接的“机器” 把注意力集中在“识别”和“创造”新的领导行为上,而不是继续这些老习惯,实际上可以通过大脑中的化学与物理变化,创造新的习惯和行为。...那么,如何给予相应的刺激,促进这个“机器”中的神经元联结,是领导力训练需要考虑的具体实践。...根据人类的进化神经生物学,人类都是趋利避害的:一方面尽可能地减少危险;另一方面最大限度地获得更多奖励 恐惧比动机更强烈 当受到威胁的时候,大脑被全面激活,但会抑制人类解决“非线性问题”所需的“微妙信号”...这时,人们对这些外在的“刺激”反而变得更加具有防卫心理。 满足预期会导致大脑中多巴胺水平的增加,这是一种奖励反应。

    1.3K100

    关于边缘计算,那些不边缘的“术”与“道”

    边缘计算提供了绝佳的选择:将音视频计算从云端迁移到边缘,可以优化成本和时延;从终端卸载到边缘,可以突破终端的算力制约。...如今CDN一方面在继续提升技术指标降低成本,另一方面也在不断变得智能化,边缘计算相关技术无疑会在这方面带来很多助力。 LiveVideoStack:在过去几年里,网心科技积累了哪些边缘计算能力?...所以一方面是识别出边缘计算真正能带来价值的场景;另一方面是在边缘侧部署资源,以及针对边缘节点和网络的复杂性提供便捷易用的基础设施,方便上层应用开发。...一方面元宇宙是面向终端和个人的,但它需要的强大算力是终端无法负担的,需要云化。但强互动属性又要求这个云是低延迟的,这就是边缘计算可以解决的问题了。...过去我们的工作更多集中在分发这块,后续会更多地发掘计算的场景,从基础设施和应用两个层面来看如何更好地挖掘音视频场景的价值。

    47730

    解析5G安全(一):5G网络架构

    ,PDN网关)的用户面功能在5G中是由专门的网元UPF(User Plane Function,用户面功能)实现。...切片的范围覆盖接入网、传输网和核心网。在未来的5G传输网中,通过结合SDN控制器,SR可以为不同切片提供不同转发路径和QoS支持。...SDN技术能够提供端到端的差异化流量控制,而NFV技术使得5G网元能够在整个5G网络中灵活部署。下面,我们选取了两个应用场景来分析不同场景下的切片部署方式,如图16所示。...图16 两种场景的切片部署方案 四、MEC在5G中的部署 当我们谈到5G总是会提到MEC(Multi-access Edge Computing,多接入边缘计算)。...边缘计算需要数据中心承载,在本文中,我们将MEC部署于边缘DC上(接入边缘DC和传输边缘DC)。 ETSI发布的5G MEC白皮书[8]中,MEC的部署方案可以分为在UPF之后或UPF之前两种场景。

    17.1K411

    从「胖瘦终端」谈边缘网络下的融合趋势

    在现实中,瘦终端、胖终端都有大量使用实例。 比如最近火热的云游戏,将AR/VR的渲染放置云端,大大降低了终端的复杂度。再例如家庭用某盒子,本地廉价终端只保留必需硬件,所有计算和存储服务全部上云。...而在某些To B场景中,如智能监控等,将摄像头额外叠加AI算力形成“胖终端”,通过外设将图像识别置于本地,一方面降低时延,一方面减轻了对于网络连接和容量的需求。...所以,如何融合连接和计算,在对客户提供解决方案时,将终端、连接、边缘网络和AI本身的算力需求匹配,也是关键点。...计算和存储比连接更有价值 连接永远是终端和网络的桥梁,当连接越来越多、连接越来越长期在线,大量的连接提供数传通路的同时,其附加价值的重点在计算。...无处不在的神经元 为网络和终端提供连接另外一个必须的条件是,这个连接要“触及机体全身”,在实际中就是对边缘网络的可达性提出了较高的要求。

    1.6K20

    大规模 IoT 边缘容器集群管理的几种架构-4-Kubeedge

    它建立在 kubernetes 之上,为网络、应用部署和云与边缘之间的元数据同步提供基本的基础设施支持。...Kubeedge 的目标是建立一个开放的平台来实现边缘计算,将原生的容器化应用协调能力扩展到边缘的主机,该平台建立在 kubernetes 之上,为云和边缘之间的网络、应用部署和元数据同步提供基本的基础设施支持...~70MB 内存占用•支持复杂的边云网络环境: 双向多路复用的边云消息通道,支持边缘位于私有网络; 应用层可靠增量同步机制,支持在高时延、低质量网络环境下工作•边缘自治: 支持边缘离线自治:边缘元数据持久化...(edged 节点,在 kubernetes 看来也是一个 node) 和云节点混合管理,提供边云数据通信和边边数据通信•DMI 架构设备管理: 管理面数据与业务面数据分离•EdgeMesh: 跨云边...•边缘容器管理和边缘计算业务有一定耦合: Kubeedge 除了提供边缘容器管理基本功能外,还提供了大量与边缘计算业务有密切关系的功能,可能会导致部门耦合。

    45620

    腾讯音乐新财报背后,向B端要增量

    另一方面,在社交娱乐服务收入呈现不断下滑趋势的时候,是营收不断增长的在线音乐服务维持住了腾讯音乐70亿元级别的季度营收体量。...其中订阅收入同比增长18.3%,ARPPU也与去年同期保持在同一水平(2021年8.9元,2022年8.8元),并提供了主要的增长动力;而其他收入则在周杰伦新专辑等的影响下同比增长了将近20%,同时这也从侧面说明在遭受了开屏广告整顿...这一措施在收缩了销售费用的同时,依旧带来了环比净增260万的订阅用户,虽然略低于预期,但这说明在面对越来越多的歌曲资源被纳入付费墙后,核心用户外围的“价格敏感型用户”逐渐流失的局面时,腾讯音乐选择将压力后置...来自B端的商业机会的核心是跨场景音乐服务,相较于C端消费者的私域,这部分需求更注重影响更多人的公域,具体能够大致分为六种使用场景:公共播放(线下商业空间音乐播放)、广告宣传、使用/表演/改编、智能终端、...从这个角度出发,C端用户在家庭场景、车载场景中的音乐需求,使得IoT智能硬件厂商、智能汽车厂商的“用音乐需求”不断快速发展,更多的音乐使用场景被IoT设备激活了,用户对音乐潜藏的需求也再次被唤起,因而成为又一个听音乐的入口

    58720

    联想MWC大秀另一面AI实力,BAT为此转型以求

    并且围绕5G,同时在终端侧和网络基础架构领域展开布局。 在终端领域,不仅是智能手机,联想在PC领域也将5G技术延伸到更多的终端产品中。 ? 首先是招牌产品业务PC。...联想集团董事长兼CEO杨元庆表示: 5G的建设成本很高,它所需要的基站的数量比4G时代更多,如果能够采用更加通用、更加开放的软硬件的基础架构,对运营商来说成本大大下降,新业务和应用的推出会更加灵活。...而开放的基础架构有助于5G的快速普及,且利于更多场景应用,杨元庆进一步介绍: 除了面向消费者的终端应用场景外,它更多的是在未来的基础架构上,例如智慧城市、交通、工业制造等领域,大家有更多的5G流量消耗,...在该方面中,采用联想边缘平台,并配以轻量级英特尔Movidius加速卡,旨在打造端到端仓储物联网解决方案,推动工厂数字化转型。...值得注意的是,该方案已经在联想美国Whitsett工厂仓库进行了测试验证。 最后,联想还透露,即将发布的边缘计算服务器,为该方案提供了强有力的技术支持。 ?

    53120

    Meta业绩下滑,给元宇宙投资泼冷水?

    并且在2022年春季,用户数持续下滑,大多数注册会员进入Horizon Worlds产品中,玩了一个月左右就不再使用了。目前,元宇宙硬件产品技术也不够成熟。...但目前的VR产品更多的使用场景出现在家中,当用户沉浸在虚拟大自然环境中时,很容易忘却现实的环境中有什么东西,这就会出现,在玩儿着游戏的时候碰到了桌子上的杯子,撞到门框等情况,使用户无法全身心地投入到虚拟世界中...对于未来的发展规划,在与投资者的电话会议开始时,扎克伯格说了他的2023年管理主题——“效率年”。他表示,Meta现在专注于减少一些中层管理人员,削减绩效不佳的项目。...事实上,元宇宙在整个公司业务占比不到10%,在2022年当地时间11月20日,扎克伯格公开表示,元宇宙目前不是Meta的重点业务,公司只有不到20%的投资用于Reality Labs,公司的核心业务仍然是在线广告...如今元宇宙还处于雏形阶段,未来元宇宙会走向何方仍是未知数,但是不可以否认的是,Meta在元宇宙方面业务的开展带动了产业的新一轮浪潮。元宇宙业务很“烧钱”,却丝毫不影响全世界企业对元宇宙的追捧和投资。

    24920

    云原生5G核心网需要DPU吗?

    其本质是实现硬件资源与软件功能的解耦,目标是通过标准的x86服务器、存储和交换设备来取代通信网络中私有的、专用的网元设备,在为运营商节省投资的同时实现新业务的快速开发和部署,并基于实际业务需求实现自动部署...为满足5G应用场景大带宽和低时延的特性要求,5G核心网的用户面在部署时不仅要下沉到边缘或区域数据中心以减少传输时延,而且还要大幅减少用户面报文的转发时延,VNF(虚拟网络功能)已经无法快速需求。...长期以来,业界一直在争论最初为计算任务而设计的基础设施,如何有效地处理 5G 用户面和低延迟边缘用例?...40% 的受访者选择“在特定场景(例如固定无线接入)下使用DPU/SmartNIC”。固定接入服务每次连接产生的吞吐量比移动服务要大得多(根据经验来说,一般高 10 倍左右)。...虽然DPU/SmartNIC硬件加速在 5G 核心网中具有一定优势,但业界一度对核心网 NFV 的用户面是否需要使用硬件加速持怀疑态度。

    68970

    十一假期余额不足,脑科学揭秘:为什么快乐时光如此短暂

    情绪、音乐、我们周围发生的事情以及我们注意力的转移都有能力让时间加速或减慢。 当看到屏幕上的图像时,我们认为愤怒的面孔比中性的面孔持续的时间更长,蜘蛛比蝴蝶持续的时间更长,红色比蓝色持续的时间更长。...心急时总吃不上热豆腐,开心的时候却光阴似箭。 前不久,在《自然神经科学》上,三位来自以色列魏茨曼科学研究所的研究人员提出了一些重要的新见解,揭示了到底是什么延伸和压缩了我们的时间体验。...哈佛大学认知神经科学家山姆 · 格什曼(Sam Gershman)说: 「每个人都知道玩得开心时光飞逝,但是,时间飞逝可能会有微妙的差别: 当你比自己预期的更开心时,时间过得更快」。...多巴胺与时间知觉的联系很有趣,部分是因为神经递质在奖赏和强化学习过程中的作用。...根据研究人员的说法,这可能是因为神经元对较短时间的反应变得疲劳,使得神经元对较长时间的反应对后续刺激的感知产生更大的影响。类似地,在反复接受长时间的刺激后,实验对象低估了稍微短一点的间隔时间。

    39341

    【笔记】《计算机图形学》(8)——图形管线

    ,片元与像素的区别在于片元拥有比像素更多的信息例如像素拥有深度值,法线,纹理坐标等等信息。...我们可以通过下面的式子得到这条线与平面的交点,然后使用BSP算法对这个三角形进行裁剪,具体的裁剪在12.4中会介绍 ?...z缓冲法在实际使用的时候常常使用非负整型来表示深度,这可能导致深度接近的物体被归类到了同一个深度值中,从而使得隐藏面消除错误。...而且这样的着色面对光照着色的计算时,由于光照方向只在顶点处才有采样,因此一方面处于图元中间的光源照射得到的光照常常比实际的暗,而且曲面区域上的高光效果会呈现很明显的多边形特征。如下图: ?...电子游戏这种对效率要求很高的软件为了保证效率常常使用片元较大顶点较少的模型来渲染,所以3D电子游戏一般采用逐片元着色 ---- 8.3 简单的反走样 在光栅化部分我们看到了,线段在光栅化后会呈现出锯齿状的边缘

    2.7K31

    2021,我的技术观察

    大众口头上讲的低代码,可以划分在前者身上。 面向终端用户的低代码工具,更多的流程型、表单型应用,可以快速成型使用。...面向技术用户的平台,更多还是偏向于技术支撑,提供能力层级不同,还可以分为SaaS、PaaS、IaaS,越来越近代码底层,为帮助开发者快速开发应用而生,经过开发人员的辗转腾挪再变成面向终端客户的系统。...联盟链一方面受到监管,一方面又兼备区块链技术特性,在国内有较好的生存土壤,知名度较大的开源产品有两个FISCO BCOS,Hyperledger Fabric,不少应用场景中基于两者做上层应用。...DeFi 的出现,填补了区块链没有落地应用(币除外)的担忧,GameFi 的出现更是将落地实践推向了高潮,很多东南亚居民在 P2E( Play to Earn ) 模式中,把它当成正式的职业来做。...AI 技术、XR/MR/AR/MR技术、区块链技术、云计算、边缘计算、3D 技术等等的再组合,形成了元宇宙。

    31320

    Differentiable Monte Carlo Ray Tracing

    首先,作者提到了该问题的难点在于光路中的遮盖问题,求导时因为被积函数中包含Dirac delta函数,因而无法使用传统的采样方式。...则是其在相机视角下的2D投影,这里的投影面是上图中褐色的面,黄色的scene surface投影到edge surface时,需要进行面积的补偿(area correction)。...原因是因为对边缘的识别很复杂,对primary,因为相机固定,可以预先找到,我们基于边缘的两个端点在的屏幕距离进行均匀采样,但在secondary中,随着视点的不同,边缘也会不同(view dependent...第二层则处理其他的边,包括该边的两个端点以及与边的两个面关联的两个平面,在查询时,我们构建一个从shading point p到相机位置的球,然后判断该球是否和边相交。...(d)是对应于桌子颜色中的红色通道 的梯度,(e)是相对于光源绿色通道的梯度。 ? 在神经网络中,基于梯度的优化方法,我们进行反向传播,让渲染图像更符合我们预期的结果,用于生成对抗样本。

    1.5K31
    领券