虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

任务调度

  • 基于AVR和FPGA的SOC—FPSLIC的无人机下级控制系统.rar

    论文提出了一种基于FPSLIC的下位机控制器系统设计,并且在嵌入式硬件和软件的联合调度之下予以实现,并将该系统应用于微小型无人直升机MUAV控制上。 微小型无人直升机体积小、重量轻、隐蔽性好、机动性强、易实现悬停和超低空飞行,因此在军用和民用领域都有广泛的应用前景。微小型无人直升机在空中执行任务时需要实时获得在空间的姿态和高度位置信息,然后通过调制舵机状态来调整飞行器的空中姿态,纠正飞行路线,而MUAV的飞控系统需要具有负荷轻,功能强大,实时性强以及低功耗的特点,对嵌入式处理器要求较高,所以针对MUAV的控制采用上下位机联合控制的结构。并且由于目前现有的下位机控制器满足不了MUAV控制发展的需求,所以本文中利用FPS[JC优越的性能,实现了一种新的下位机控制器的设计,具有体积小、重量轻、价格低、功耗低、实时性强、可靠性高、扩展性好等优点的同时,完成了基于PWM的舵机的控制和基于Kalman滤波的多传感器的数据融合,以及上下位机之间的通讯等功能,具有较强的使用和应用价值。 论文首先介绍了MUAV飞行控制的结构,以及下位机实现功能的模块划分。然后是对MUAV控制系统相关理论的介绍,包括舵机控制的原理和方法以及多传感器数据融合的理论。 其次论文介绍了基于FPSLIC的下位机控制器系统的软硬件设计。在硬件设计上,给出了硬件总体设计方案,并对各个功能模块进行了详细论述,软件部分在给出了主要的框架和功能划分后,主要介绍了利用FPSLIC的FPGA部分实现PWM控制和测量的模块以及AVR部分对多传感器信息进行Kalman滤波融合的实现。 最后在实验室的汽油无人直升机的测试平台上进行了舵机控制和高度测试实验,取得了满意的实验结果。

    标签: FPSLIC FPGA AVR SOC

    上传时间: 2013-04-24

    上传用户:fredguo

  • 基于H264的网络视频监控的FPGA实现研究.rar

    随着科学技术的发展与公共安全保障需求的提高,视频监控系统在工业生产、日常生活、警备与军事方面的应用越来越广泛。采用基于 FPGA 的SOPC技术、H.264压缩编码技术和网络传输控制技术实现网络视频监控系统,在稳定性、功能、成本与扩展性等方面都有着突出的优势,具有重要的学术意义与实用意义, 本课题所设计的网络视频监控系统由以Nios Ⅱ为核心的嵌入式图像服务器、相关网络设备与若干PC机客户端组成。嵌入式图像服务器实时采集图像,采用H.264 编码算法进行压缩,并持续监听网络。PC机客户端可通过网络对服务器进行远程访问,接收编码数据,使用H.264解码算法重建图像并实时显示,使监控人员有效地掌握现场情况, 在嵌入式图像服务器设计阶段,本文首先进行了芯片选型与开发平台选择。然后构建图像采集子系统,采用双缓存乒乓交换的方法设计图像采集用户自定义模块。接着设计双Nios Ⅱ架构的SOPC系统,阐述了双软核设计中定制连接、内存芯片共享、数据搬移、通信与互斥的解决方法。同时完成了网络服务器的设计,采用μC/OS-Ⅱ进行多任务的管理与调度, H.264视频压缩编解码算法设计与实现是本文的重点。文中首先分析H.264.标准,规划编解码器结构。接着设计了16×16帧内预测算法,并设计宏块扫描方式,采用两次判决策略进行预测模式选择。然后设计4×4子块扫描方式,编写整数变换与量化算法程序。熵编码采用Exp-Golomb编码与CAVLC相结合的方案,针对除拖尾系数之外的非零系数值编码子算法,实现了一种基于表示范围判别的编码方法。最后设计了网络传输的码流组成格式,并针对编码算法设计相应解码算法。使用VC++完成算法验证,并进行测试,观察不同参数下压缩率与失真度的变化。 算法验证完成后,本文进行了PC机客户端设计,使其具有远程访问、H.264解码与实时显示的功能。同时将H.264 编码算法程序移植到NiosⅡ中,并将嵌入式图像服务器与若干客户端接入网络进行联合调试,构建完整的网络视频监控系统, 实验结果表明,本系统视频压缩率高,监控图像质量良好,充分证明了系统软硬件与图像编解码算法设计成功。本系统具有成本低、扩展性好及适用范围广等优点,发展前景十分广阔。

    标签: H264 FPGA 网络视频监控

    上传时间: 2013-04-24

    上传用户:wang0123456789

  • DSP实时多任务操作系统设计与实现

    DSP实时多任务操作系统设计与实现pdf版

    标签: DSP 实时多任务 操作 系统设计

    上传时间: 2013-06-21

    上传用户:不挑食的老鼠

  • 基于ARMLinux的多道脉冲幅度分析器数字系统设计

    随着电子技术的不断发展,各种智能核仪器逐步走向自动化、智能化、数字化和便携式的方向发展。针对传统的多道脉冲幅度分析器体积大,人机交互不友好,不方便现场分析等的缺陷[5]。新型的高速、集成度高、界面友好的多道脉冲幅度分析器的陆续出现填补了这一缺点。 随着电子技术的发展,以ARM为核的处理器技术的应用领域不断扩大,相比较单片机而言,它的主频高、运算速度快,可以满足多道脉冲幅度分析器的苛刻的时间上的要求。而且ARM处理器功耗小,适合于功耗要求比较苛刻的地方,这些方面的特点正好满足了便携式多道脉冲幅度分析器野外勘察的要求。同时,由于以ARM为核的处理器具有丰富的外设资源,这样就简化了外设电路及芯片的使用,降低了功耗并增强了产品的信赖性。另外,ARM芯片可以方便的移植操作系统,为多道脉冲幅度分析器多任务的管理和并行的处理,甚至硬实时功能的实现提供了前提。而且在ARM平台使用嵌入式linux操作系统使多道脉冲幅度分析器的软件易于升级。 智能化和小型化是多道脉冲幅度分析器的发展趋势。智能化要求系统的自动化程度高、操作简便、容错性好。智能化除了需要控制软件外,还需要软件命令的执行者即硬件控制电路来实现相应的控制逻辑,两者的结合才能真正的实现智能化。小型化要求系统的体积小、功耗小、便于携带;小型化除了要求采用微功耗的器件,还要求电路板的尺寸尽量的小且所用元件尽量的少,但小型化的同时必须保持系统的智能化,即不能减少智能化所要求的复杂的逻辑和时序的控制功能。为此采用高集成度的ARM芯片实现控制电路能满意地同时满足智能化和小型化的要求。在研制的多道脉冲幅度分析器中,几乎所有的控制都可以用控制芯片来实现,如阈值设定、自动稳谱以及多道数据采集,在节省了元件的数目和电路板的尺寸的同时仍能保持系统的智能化程度。 Linux内核精简而高效,可修改性强,支持多种体系结构的处理器等,使得它是一个非常适合于嵌入式开发和应用的操作系统。嵌入式Linux可以运行的硬件平台十分广泛,从x86、MIPS、POWERPC到ARM,以及其他许多硬件体系结构。目前在世界范围内,ARM体系结构的SOC逐渐占领32位嵌入式微处理器市场,ARM处理器及技术的应用几乎已经深入到各个领域,例如:工业控制,无线通讯,网络,消费类电子,成像等。 本课题采用三星公司生产的ARM(Advanced RISC Machines,先进精简指令集机器)芯片S3C2410A设计并研制了一种便携式的核数据采集系统设计方案。利用ARM芯片丰富的外设资源对传统的多道脉冲幅度分析器进行改进和简化。系统由前端探测器系统,以及由线性脉冲放大器、甄别电路、控制电路、采样保持电路组成的前置电路,中央处理器模块,显示模块,用户交互模块,存储模块,网络传输模块等多个模块组成。本设计基于ARM9芯片S3C2410,并在此平台上移植了嵌入式linux操作系统来进行任务的调度和处理等。 电路板核心板部分设计采用6层PCB板结构,这样增加了系统可靠性,提高了电磁兼容的稳定性。数据采集系统是多道脉冲幅度分析器的核心,A/D转换直接使用了S3C2410内置的ADC(Analog to Digital Converter,模数转换器),在2.5 MHz的转换时钟下最大转换速度500 KSPS(Kilo-Samples per second,千采样点每秒),满足了系统最低转换时间≤5 μs的要求,并且控制简单,简化了外部接口电路。由于SD(Secure Digital Card,安全数码卡)卡存储容量大、携带方便、成本低等优点,所以设计中采用其作为外部的数据存储设备,其驱动部分采用SD卡软件包,为开发带来了方便。本设计采用640*480的6.4寸LCD(Liquid Crystal Display,液晶显示)屏作为人机交互的显示部分,并且通过Qt/Embedded为系统提供图形用户界面的应用框架和窗口系统。其中包括了波形显示部分和用户菜单设置部分,这样方便了用户操作。系统的数据存取方面是基于SQLite嵌入式小型数据库而进行的。为了方便数据向上位机的传输,系统设计中采用XML(Extensible Markup Language,可扩展标记语言)格式来组织传输的数据,通过基于TCP/IP(Transmission Control Protocol/Internet Protocol)协议的Linux下Socket套接字编程,来进行与上位机或PC(Personal Computer,个人计算机或桌面机)等的连接和数据传输。

    标签: ARMLinux 多道 分析器 脉冲幅度

    上传时间: 2013-04-24

    上传用户:tzl1975

  • 基于ARM的IC卡机房管理终端设计

    目前,许多高校在机房管理上使用了IC 卡,其中少数机房是使用接触式IC卡,众所周知,接触式IC 卡在可靠性、易用性、安全性、高抗干扰性和工作距离方面不及非接触式IC 卡,因此很多接触式IC 卡基本已被非接触式IC 卡取代。 经过调研发现,使用IC 卡的机房管理系统的基本工作方式是每个机房中配置了1个IC 卡读写终端和1 台监控机。IC 卡读卡终端只是一个普通的读卡器,只负责读取卡内信息,并通过串口等通信方式将IC 卡信息传输给监控机,读卡终端本身没有信息存储功能,实际的计费管理完全是通过监控计算机控制,监控计算机向中心服务器端定时或实时传输刷卡信息。由于整个系统要占用一台微机,而且中间的信息传递、计费环节都要由它来完成,不仅浪费资源,而且也增加了安全隐患。在这种工作模式下,会出现一些问题和漏洞: 1) 可靠性不高由于读卡设备与监控计算机之间的信息传输只是暂时保存在监控计算机中,如果监控计算机遭到病毒袭击或者出现硬件故障,将出现无法挽回的后果。而且由于学生信息都保存在监控计算机中,因此存在着人为伪造、篡改和徇私舞弊行为的极大可能。 2) IC卡的特点未完全体现IC卡除了能标识身份外,还有电子钱包功能,能对其进行充值和扣款,但是上述方法基本上IC卡只用做标识身份,实际的每次扣款,都是由监控计算机和中心服务器来完成,基本与读卡设备无关。 3) 不方便学生上机和收费管理学生每次上机刷卡,都要由监控计算机连接中心服务器端,由中心服务器端读出学生信息,进行核对,而且对学生的扣款需要额外的计算机软件来进行计时和计费处理,显得比较繁琐。 鉴于以上问题,为提高机房管理效率,降低工作强度,并及时处理机房发生的故障,采用机房计费管理系统势在必行。如果能在读卡终端设备中完成计费的大部分功能,并且增加存储功能,这样就可以减少监控计算机的负担,甚至读卡终端设备可以直接与中心服务器通信,不仅能增加系统的可靠性和安全性而且还充分利用了IC 卡的功能,还降低了财务统计和计算带来的麻烦。 目前已经应用于机房管理的解决方案主要有3种方式,即:软硬件结合控制方式、帐号方式和门禁方式。鉴于设计要求,并且考虑到安全、可靠、简单等因素,如果在软硬件结合控制方式中,把更多的任务交由读卡终端,比如由读卡终端来存储数据、计费管理,同时如果读卡终端能实现TCP/IP 通信,那么监控计算机的任务就大大降低,甚至可以由读卡终端直接与中心服务器通信。就减少了一些不必要的麻烦和安全风险。本论文的设计就是基于这一点来进行的。 本系统要求数据传输稳定可靠,实时性要好,另外考虑到性价比等因素,综合考虑选择将μC/OS-II 操作系统移植到ARM7 上作为开发平台。在此平台基础上,考虑到TCP/IP协议栈的实现与要采用的硬件的性能以及实现的成本有关。从解决这一技术问题出发,结合本论文研究的应用对象,决定使用嵌入式操作系统,此种方案可以描述为嵌入式TCP/IP协议栈+嵌入式操作系统+微控制器。 本文介绍了一种基于ARM7的IC 卡机房管理终端的设计方案。该系统在ARM7的基础上实现了μC/OS-Ⅱ操作系统的移植和TCP/IP协议栈的嵌入,能够正确读写IC 卡信息,增加了SD 卡存储功能,完成计费操作,实现液晶显示功能,能够通过以太网或串口直接与服务器通信。 本文详细介绍了整个机房管理系统终端的硬软件设计,给出了嵌入式操作系统μC/OS-Ⅱ在ARM7 处理器上的详细移植过程,介绍了一种TCP/IP协议栈和基于套接字的编程方法,同时也提供了一种多卡操作的防冲突机制。 同目前大多数机房管理系统相比,该系统有如下特点: 1) 由于使用了嵌入式操作系统μC/OS-Ⅱ,提高了系统的实时性和反应时间,任务管理和调度更加方便有效。 2) 由读卡终端来进行计费操作,降低了服务器端的工作压力,同时降低了安全风险。 3) 增加了数据存储功能,提高了系统的可靠性,有利于数据的查询和故障的恢复。 4) 增加了对无效卡、注销卡和欠费卡的判断与处理,对恶意操作或者有意或者无意的逃费操作采取了积极有效的措施。 5) 以太网通信克服了以往串口通信的传输距离短、传输速率慢等缺点,使得通信更加方便、高效,并且可以进行远距离传输和控制。

    标签: ARM IC卡 机房管理 终端设计

    上传时间: 2013-07-09

    上传用户:浅言微笑

  • 基于ARM的消防终端导航系统的设计与实现

    消防部门为什么要引入GIS/GPS技术?消防部门担负着保护生命和财产安全的重任,但其可利用的资源却非常有限。能够有效利用宝贵信息对消防工作是至关重要的。这出于多种理由,如:火情的需要,营救力量,战术布置,火灾记录,反应时间等。传统方法需要大量的图纸,报告和历史记录。这些数据来自于不同的地方,而且数据格式不一致。因此要花费大量的时间进行数据搜集、准备和统一成可用的数据格式。如何更高效的搜集利用数据,如何进一步提高消防部队的快速反应能力,加强消防车辆的动态管理、动态调度、动态指挥等。这些都是现行消防指挥调度系统中迫切需要解决的问题。而在消防指挥调度系统中引入GIS/GPS技术恰恰解决了这些问题。 各地的消防车辆动态管理子系统普遍上是利用GPS卫星定位技术,通过GPRS无线通讯网络,将灭火出动途中、灭火战斗中的消防车辆的行驶路线、车辆位置信息实时传送到消防调度指挥中心,在指挥中心的电子地图上显示出行车路线和消防车辆位置信息。指挥中心的调度员根据情况,通过无线通讯设备,及时对参战车辆进行调度指挥和行车路线矫正。 本消防车辆调度系统采用M/S(Mobile/Server)模式,本文论述了终端部分的设计和实现。终端采用ARM硬件平台,并在此基础上,集合全球卫星定位技术(GPS)、嵌入式地理信息系统技术(eGIS)、通用分组无线服务技术(GPRS)、计算机网络技术等于一体,实现消防车辆的动态管理、调度、指挥的子系统。实现GPS的车辆导航、车辆跟踪、车辆定位、车辆调度等功能。从而更加形象和直观的对现行消防车辆动态管理系统进行了改进。 当前,随着社会经济的快速发展,高层建筑、地下工程、石油化工、公众聚集场所的大量涌现,火灾日趋多样化、复杂化,快速地处置灾害事故,有效地保护市民生命和财产安全,已成为消防队伍面临的一项紧迫任务。如果能充分地发挥和挖掘GPS技术在消防领域上的应用,拓展和利用它的功能,进行消防通信的改革,这将更好地协助消防队伍为社会的经济和人民生命安全保驾护航。

    标签: ARM 导航系统

    上传时间: 2013-04-24

    上传用户:晴天666

  • 基于ARM和uCOSⅡ的火灾报警系统研究

    随着城市高层建筑的发展,建筑的消防安全性越来越引起人们的重视。火灾报警系统是建筑自动化系统中重要的组成部分,它利用各种探测器来检测火情,对火灾的发生进行及时准确的报警,并控制各种灭火设备进行自动灭火和对相关设备进行联动控制。传统的火灾报警系统采用微机中心处理方式,每个控制中心处理2000至8000个探测单元的信息,系统的实时性与稳定性的提升受到控制中心的数据处理能力和网络通信速率的限制。 基于这一现状,本文提出了基于ARM与uC/OS-Ⅱ的网络火灾报警系统。将控制中心的数据处理任务交由各控制单元,引入嵌入式操作系统对任务进行管理,同时引入TCP/IP协议栈实现网络功能,利用Internet来进行信息传输。 本文设计了基于ARM的控制单元硬件平台,并进行了硬件模块测试。ARM作为32位RISC芯片的领导者,具有很高的处理能力,同时其成本较低,十分适用于作为系统中的控制单元,从硬件上保证了系统的数据处理能力与火灾报警的实时性。 在软件上,本文移植了uC/OS-Ⅱ作为系统的软件平台,编写了启动与移植相关代码,并做了移植测试。uC/OS-Ⅱ作为开源的嵌入式实时操作系统,拥有极为精简的内核和出色的实时性与可靠性,作为控制单元的操作系统平台对任务进行管理与调度,从软件上保证了系统的稳定性与可靠性。 最后,本文在ARM和uC/OS-Ⅱ的基础上实现了网络协议栈LwIP的移植,进行了计算机通信测试。网络协议栈的移植使控制单元通过Internet完成信息的传输与控制,提高网络的扩展性与健壮性,同时摆脱了专用网络的传输速率与范围的限制。 本文研究的系统具有分布智能化的特点,多个嵌入式控制单元取代了控制中心火灾信息处理,降低了中心数据处理压力和网络通信压力,平行的网络结构提高了系统的稳定性,个别控制单元故障不会引起整个系统的崩溃,为基于这一思路的火灾报警系统建立了一个完整的软硬件平台。

    标签: uCOS ARM 火灾报警 系统研究

    上传时间: 2013-04-24

    上传用户:Ten_Gallon_Head

  • 基于ARM的TKernel系统移植研究

    T-Kernel作为一种嵌入式操作系统,由于实时性和开源性,在嵌入式操作系统领域中的应用越来越广泛。ARM是一款比较好的微处理器,T-Kernel在ARM上的应用研究基本上是空白,所以结合两者进行研究促进T-Kernel在国内嵌入式领域的发展。同时,T-Kernel内部调度机制存在着优先级反转缺陷,优先级反向使得高优先级任务的执行时间无法预测,增加了实时系统的不确定性。早期的解决协议较好地解决了优先级反转问题,但同时也存在着自身不足之处。 针对T-Kernel存在的缺陷,在深入研究相关协议的基础上,本论文提出了一种新的改进的优先级继承协议。该协议设置超时保护机制,避免任务在获取信号量时长时间的阻塞,结合Havender提出的“有序资源使用法”防止死锁发生,给出该协议的分析过程,并把该协议结合到T-Kernel中。在这个基础之上,建立研究开发平台;针对硬件设备,研究引导程序的执行原理,实现系统的引导程序;构建T-Kennel内核;移植内核到开发板;最后对T-Kernel的启动过程进行了详细的分析。 T-Kernel在ARM上的移植研究,为嵌入式系统开发的提供了一种开发流程,同时对于T-Kernel的启动过程的分析,为以后的应用程序开发提供了一个接口;对于T-Kernel存在的优先级反转问题的解决,可以改进T-Kernel的实时性和灵活性,同时为实时系统的性能改进提供了参考。

    标签: TKernel ARM 移植

    上传时间: 2013-04-24

    上传用户:shangdafreya

  • 基于ARM的嵌入式测控平台的设计及实现

    嵌入式测控系统和测控装置在工业生产过程控制、仪器仪表及自动化系统、智能楼宇监控等方面得到广泛的应用。由于嵌入式测控系统监控对象的多样性,因此通用性不是很强,传统的设计方法都是从底层的硬件设计开始,再设计专用的软件,导致设计周期长,重复工作多,成本增加。微电子技术和计算机技术的飞速发展,使得微处理器的性能和功能得到极大的提高,为通用型测控平台的构建奠定了基础。 本文提出了一种嵌入式测控平台的设计思路。采用主板和扩展板相结合的模块化设计,使嵌入式测控系统可以在一个标准化平台上进行构建。平台主板选用基于32位ARM7TDMI-S内核的微控制器LPC2292作为核心,加上以太网芯片、CPLD以及其它外围电路,构成了一个维持系统正常运行的最小系统。扩展功能模块包括ZigBee无线通信、USB、A/D、D/A、液晶触摸屏等模块,通过层叠式结构与主板连接。测控开发平台在功能、电路、结构上实现了可裁剪、可扩展,能满足大多数嵌入式测控系统的需求。 在实现嵌入式测控开发平台硬件设计的基础上,嵌入式测控平台引入了Nucleus Plus实时操作系统来完成系统资源的管理和任务的调度。文中提出了启动代码模版的概念,简化了移植操作系统的工作,提高了效率。 基于ARM的嵌入式测控开发平台为开发各种智能化、小型化现代测控系统提供了可重用、高性能、图形化、网络化软硬件基础平台和高效的开发模式。从而,大大缩短了软、硬件开发的周期,具有十分重要的意义。 作为在测控开发平台的基础上构建测控系统的实例,研制了气门弹簧负荷计算机自动分选系统的现场级控制器。

    标签: ARM 嵌入式 测控平台

    上传时间: 2013-06-16

    上传用户:kkchan200

  • 基于ARM的嵌入式强实时内核设计

    随着国内工业化、数字化的迅速发展,嵌入式开发在IT行业中的重要性越来越显著。嵌入式开发领域对产品的功能性、稳定性、实时性等方面的要求也越来越高。 采用嵌入式实时操作系统作为开发平台,以高性能的嵌入式处理器为工业控制等领域的主控制器可以有效地提高系统的可靠性、实时性、和软件编程的灵活性。在嵌入式处理器方面,ARM构架已经在高性能、低功耗、低成本的嵌入式领域里占领先地位。而在嵌入式操作系统方面,适合国内发展方向的解决方案以及系统基础结构方面并不理想。首先,国外成熟的嵌入式实时操作系统大都成本高、结构复杂,不适合强实时应用;其次,因大部分实时操作系统不公开源码,使开发的产品存在安全隐患。而类似μC/OS-II的小型强实时嵌入式操作系统内核虽然具有低成本、易控制、小规模、高性能等特性,但这类系统的基础较为薄弱,面临产品化和商业化还有一定的距离。 本文针对这种情况,结合现有的操作系统内核理论及嵌入式强实时系统的特殊需求,特别是对μC/OS-Ⅱ的研究分析基础上,面向强实时应用,设计、构造了一种适合在32位ARM处理器环境下使用的内核。这样做的目的是为了提供一个基础牢固、值得信赖的基本平台。 本文研究工作主要集中在以下几个方面: 针对嵌入式环境中高效、简洁、易扩展、易剪裁的要求,对内核体系结构框架进行了设计。内核整体上采用分层结构,在各层中采用功能相对独立的模块:在最底层借鉴微核的原理,只提供最基本的功能模块。 针对系统快速和稳定的实时响应能力需求,为IRQ中断建立了统一的中断入口,采用合理的半嵌套工作方式;保留FIQ为不可屏蔽中断,在快速反应场合使用;引入中断分段处理机制解决中断和任务的ITC机制共享,需要硬保护机制相互协调所引起的硬保护机制被隐性地泛滥使用问题。 针对应用提出的系统行为的可预测性需求,在调度算法方面采用基于优先级位图的抢占阈值调度算法,提高了处理器的利用率和任务集合的可调度性,减少了内核存储开销;在共享资源访问控制方面,以优先级天花板协议为依据,使用互斥事件解决优先级反转和死锁问题的发生。 为了保障系统的强实时性能,本文还对内核的时钟管理、内存管理等方面进行了设计。最后,通过实时性能测试,结果表明该实时内核有很好的强实时特性。

    标签: ARM 嵌入式 内核设计

    上传时间: 2013-04-24

    上传用户:alia