Design and Implementation of IEEE 802.15.4 Mac Protocol on FPGA
IEEE 802.15.4是针对具有中等数据率的低功率、低成本无线通信而引入的无线标准。在未来的几年里,预计低速率无线个域网(LR-WPAN)将被用于各种各样的嵌入式应用,包括家庭自动化,工业传感和控制,环境监测和传感。在这些应用中,许多靠电池运行的嵌入式设备分布在通过无线电通信的区域中。本文提出了一种可用于比较无线数据传输嵌入式系统电流消耗的方法。本文实现了IEEE 802.15.4协议的一个小子集,以实现点对点通信。所实现的协议使用802.15.4 MAC兼容数据和确认分组。在进行一个数据包传输时测量电流消耗。测量与现有的工作进行比较。IEEE802.15.4协议的实现是用Verilog语言完成的。代码实现以这样的方式完成,以便它可以以最小的更改移植到任何平台。它也可以进行修改,以适应任何特殊的实验设置要求。
2012-03-09 cs.NI
An Overview on IEEE 802.11bf: WLAN Sensing
本文系统综述了 IEEE 802.11bf 任务组为制定面向感知的 WLAN 新修正案所做的最新工作,涵盖标准化进展、用例与 KPI、感知框架、候选技术及评估方法,并指出挑战与未来方向。
2023-10-20 cs.NI eess.SP
A Multi-Channel Spectrum Sensing Fusion Mechanism for Cognitive Radio Networks: Design and Application to IEEE 802.22 WRANs
IEEE 802.22是一种新的认知无线电标准,旨在将无线覆盖范围扩展到农村地区。WRAN被称为无线区域网络,基于无干扰频谱共享模型设计,是在未充分利用的UHF/VHF电视频段上工作的信道化和中央控制网络,用于与远程用户(所谓的客户端设备(CPE))建立通信。尽管在这些频率中的可靠和无干扰操作的重要性,在IEEE 802.22中建议的频谱感测融合机制是基本的,并且不能满足严格的强制感测要求。其他根深蒂固的缺点是在不同信噪比制度下的性能不一致,不平衡的性能,不稳定和缺乏灵活性。受此启发,本文提出了一种基于多信道学习的分布式感知融合机制(MC-LDS)。MC-LDS被证明是自我训练,稳定,并通过其固有的奖惩方法来补偿故障报告。此外,MC-LDS在所有业务状态中表现出更好的统一性能,是公平的(减少了误报警/误检测间隙)、可调节的(以几个自由度工作)和带宽高效的(为更多CPE打开传输机会)。仿真结果和比较一致证实MC-LDS优于IEEE 802.22推荐算法,即,和,或和投票规则。
2016-03-11 cs.IT cs.NI math.IT
A Network Architecture for Distributed Event Based Systems in an Ubiquitous Sensing Scenario
无处不在的传感设备经常在它们之间传播它们的数据。使用一个分布式的基于事件的系统,使发布者和订阅者成为一个理想的候选人来实现传播过程。在本文中,我们提出了一个网络架构,它合并了典型的结构化的基于事件的系统的网络和覆盖层。定向随机游走(DRW)用于构建此合并层。我们的第一个结果表明,DRW是适合使用网络中的几个节点来构建传播路径的负载均衡。作为未来的工作,我们建议研究这个新的层的属性和工作的设计布隆过滤器来管理代理节点。
2014-08-13 cs.DC cs.NI
Aerial UAV-IoT Sensing for Ubiquitous Immersive Communication and Virtual Human Teleportation
我们考虑无人机物联网空中传感,为远程用户提供多个VR/AR沉浸式通信会话。无人机群在空间上分布在一个广阔的感兴趣区域,每个无人机捕获其下方场景的一个视点。远程用户对特定子区域/感兴趣场景的视觉沉浸式导航感兴趣,根据捕获的数据在各自的VR/AR设备上重建。在用户处的沉浸式场景表示的重建质量将取决于与每个UAV相关联的采样/感测速率。由于物理/传输容量限制,UAV群可以采样并向用户发送的数据总量有限。类似地,每个VR/AR应用程序对其自己的会话具有最低重建质量要求。我们提出了一个优化框架,在这种情况下,使三个贡献。首先,我们选择每个无人机使用的最佳采样率,使得不超过系统和应用约束,同时最大化所有VR/AR会话的优先级加权重建质量。然后,我们设计了一个最佳的可扩展的源信道信号表示,灌输到捕获的数据固有的速率自适应性,不平等的错误保护,和最低限度的冗余。最后,通过使用小形状因子多波束定向天线和跨可缩放信号表示层的最佳功率/链路调度来增强UAV传输效率。我们的实验证明了传统的视觉传感方法的竞争优势。这是一项对具有广泛社会影响的新兴应用的首次研究。
2017-07-21 cs.NI
Analysis Framework for Opportunistic Spectrum OFDMA and its Application to the IEEE 802.22 Standard
我们提出了一个分析模型,使吞吐量评估的频谱正交频分多址(OS-OFDMA)网络。该模型的核心特点是基于离散时间马尔可夫链,考虑不同的信道和子信道分配策略下不同的主用户和次用户类型,流量和优先级。分析模型还评估了不同频谱感知策略对OS-OFDMA网络吞吐量的影响。该分析适用于IEEE 802.22标准,以评估两阶段频谱感知策略和无线麦克风的不同时间活动对IEEE 802.22吞吐量的影响。我们的研究表明,OS-OFDMA与子信道开槽和信道绑定可以提供几乎十倍的吞吐量相比,没有这些选项的设计,当无线麦克风的活动和密度非常高。此外,我们确认,在IEEE 802.22中使用的没有子信道陷波的OS-OFDMA实现能够支持实时和非实时服务质量类,只要无线麦克风的时间活动是适度的(大约每3,000个居民有一个无线麦克风,城市人口密度小,占空比短)。最后,两阶段的频谱感知选项提高OS-OFDMA的吞吐量,在每个阶段的频谱感知的长度是使用我们的模型进行优化。
2012-08-29 cs.IT cs.NI cs.PF
Next generation IEEE 802.11 Wireless Local Area Networks: Current status, future directions and open challenges
新一代无线局域网(WLAN)将基于最近批准或正在开发的对IEEE802.11标准的修改在未来几年内出现在市场上。最受期待的例子是IEEE 802.11aa(鲁棒音频视频传输流),IEEE 802.11ac(< 6 GHz的超高吞吐量),IEEE 802.11af(电视空白)和IEEE 802.11ah(机器对机器通信)规范。本次调查的目的是提供这些新的技术功能和相关的开放式技术挑战,将推动未来的WLAN演进的全面概述。与其他IEEE 802.11调查相比,这是一个面向用例的研究。具体来说,我们首先描述了三个关键的情况下,下一代无线局域网将不得不操作。然后,我们审查了这些用例中最相关的修改,重点关注它们包括的附加功能和新技术,例如多用户MIMO技术,组播通信,动态信道绑定,频谱数据库和信道感测,增强的节能机制和高效的小数据传输。我们还讨论了相关的工作,以突出仍然必须解决的关键问题。最后,我们回顾了可能影响未来无线局域网设计的新兴趋势,特别关注软件定义的MAC和与蜂窝系统一起工作的互联网。
2021-09-24 cs.NI
A Study of IEEE 802.15.4 Security Framework for Wireless Body Area Network
无线体域网(WBAN)是一组低功耗、轻量级的无线传感器节点,用于监测人体功能和周围环境。它支持许多创新和有趣的应用,包括无处不在的医疗保健和消费电子(CE)应用。由于WBAN节点用于收集敏感(生命关键)信息,并且可能在恶劣环境中运行,因此需要严格的安全机制来防止与系统的恶意交互。在本文中,我们首先强调主要的安全要求和拒绝服务(DoS)攻击WBAN在物理层,介质访问控制(MAC),网络和传输层。然后,我们讨论了IEEE 802.15.4的安全框架,并确定在WBAN的上下文中的安全漏洞和主要攻击。分析和讨论了对竞争接入期(CAP)和无竞争期(CFP)部分的各种攻击。据观察,聪明的攻击者可以成功地破坏CFP周期中越来越多的GTS时隙,并且可以显著地影响WBAN中的服务质量(QoS)(因为大部分数据在CFP周期中携带)。随着智能攻击者数量的增加,损坏的GTS时隙最终会增加,这会阻止合法节点有效地利用带宽。这意味着,直接适配的IEEE 802.15.4安全框架WBAN是不完全安全的某些WBAN应用程序。需要新的解决方案来在WBAN中集成高级别的安全性。
2011-02-03 cs.NI
Modeling IEEE 802.15.4 Networks over Fading Channels
虽然IEEE 802.15.4的介质访问控制(MAC)的性能已经在理想的无线信道的假设下进行了研究,当无线信道呈现路径损耗,多径衰落和阴影时,MAC和物理层之间的跨层动态的理解是一个开放的问题。分析MAC层和无线信道的相互作用对于一致的性能预测、正确的协议设计和优化是必不可少的。在本文中,提出了一种新的方法来分析这些相互作用的建模。分析同时考虑了复合信道衰落,多个终端产生的干扰,隐藏终端引起的影响,和MAC减少载波侦听能力。根据MAC参数和物理层阈值,它表明,在衰落信道的MAC性能指标可以远离理想信道假设下得出的。作为新的结果,我们展示了在何种程度上衰落的存在可能是有益的整体网络性能,通过减少多址干扰,以及如何这可以用来驱动联合选择的MAC和物理层参数。
2013-07-24 cs.NI
Performance Analysis of Network Coding with IEEE 802.11 DCF in Multi-Hop Wireless Networks
网络编码是提高无线网络容量的一种有效方法,各种研究探讨了其在不同场景下的优势。然而,针对IEEE 802.11分布式协调功能规范,对多跳无线网络中网络编码的吞吐量和端到端时延的分析研究还不多。在本文中,我们利用排队论提出了一个分析框架,在多跳无线网状网络中的双向单播流。本文研究了IEEE 802.11标准下流间网络编码的吞吐量和端到端时延,该编码采用CSMA/CA随机接入和指数退避时间,并考虑时钟冻结和虚拟载波侦听,给出了成功传输的概率(以比特出错率和冲突概率表示)、分组在节点的等待时间和重传机制等参数。我们的模型使用一个多类排队网络与稳定的队列,编码的数据包有一个非抢占式的更高的优先级超过本地数据包,本地数据包的转发不会延迟,如果没有编码的机会。最后,我们使用计算机模拟来验证我们的分析模型的准确性。
2018-01-07 cs.NI
UniCSI Towards a Universal Wi-Fi CSI Encoder for Ubiquitous Human Sensing
UniCSI提出统一基础架构,通过物理信息RF分词器和频谱聚合器直接处理异构CSI,在25个数据集上实现跨域迁移性能提升。
2026-10-08 cs.LG cs.NI
CSI-JEPA: Towards Foundation Representations for Ubiquitous Wi-Fi Sensing with Minimal Supervision
North Carolina State University, USA(北卡罗来纳州立大学)
CSI-JEPA提出一种自监督预测表示学习框架,通过学习可重用的时频表示,实现高效多任务Wi-Fi感知,提升性能并节省标注数据成本。
2026-11-06 cs.LG cs.NI
Reliable Wireless Multi-Hop Networks with Decentralized Slot Management: An Analysis of IEEE 802.15.4 DSME
无线通信是实现工业物联网的关键要素,可实现灵活且经济高效的工业过程监控。使用IEEE 802.15.4的无线网状网络具有以低能耗和低部署和维护成本执行监视和控制任务的高潜力。然而,基于载波侦听的常规介质访问技术不能为工业应用提供所需的可靠性。因此,该标准被扩展为多个信道上的时隙介质访问技术。在本文中,我们提出了openDSME,确定性和同步多通道扩展(DSME)的全面实施,并提出了一种方法,流量感知和分散的时隙调度,使可扩展的无线工业网络。DSME的性能和我们的实现在OMNeT++模拟器和FIT/IoT-LAB中物理部署的无线网络上进行了演示。结果表明,在给定的情况下,两倍多的流量可以可靠地提供使用DSME,而不是CSMA/CA,并可以显着降低能耗。本文通过提出参数选择的重要权衡和揭示当前规范的开放问题来完成,这些问题需要在研究和标准化方面进一步努力。
2018-06-27 cs.NI
Design of a Novel Network Architecture for Distributed Event-Based Systems Using Directional Random Walks in an Ubiquitous Sensing Scenario
无处不在的传感设备经常在它们之间传播数据。使用一个分布式的基于事件的系统,将发布者从订阅者中分离出来,是实现传播过程的理想选择。在本文中,我们提出了一个网络体系结构,融合了典型的结构化的基于事件的系统的网络和覆盖层。定向随机游走用于构建此合并层。我们的策略避免使用提供点对点通信的特定网络协议。这意味着网络的拓扑结构不被维护,使得不涉及系统的节点能够节省能量和计算资源。我们使用定向随机游走和纯随机游走来评估覆盖层的性能。我们的研究结果表明,定向随机游走更有效,因为:(1)它们使用更少的网络节点来建立覆盖层的活动路径,(2)它们具有更可靠的性能。此外,随着网络中节点数量的增加,对于相同数量的发布者和订阅者,覆盖层的活动路径中的节点数量也增加。最后,我们丢弃形成覆盖层的节点数量与步行者遍历的最大欧几里得距离之间的任何相关性。
2015-01-26 cs.DC cs.NI
Spectrum Sensing with USRP-E110
频谱感知是实现未来无线服务(如SuperWiFi)的关键主题之一。这一新的无线提案旨在利用电视频道从模拟到数字的过渡所产生的空闲频谱进行无线数据传输(UHF电视空白)。与IEEE 802.11标准相比,其优点包括更好的建筑物穿透力和更长的距离。然而,可用频谱的有效使用受到严格的监管,禁止未经许可的用户干扰现任者(如无线麦克风)。认知无线电(CR)和动态频谱分配是解决这一问题的有效方法。这些技术包括TV-UHF频段的频率扫描,以检测可用于SuperWiFi传输的空白频段。在本文中,我们开发并实现了GNURAdio在Ettus USRP-E110中的算法,以构建一个独立的空白检测器,可以通过IP网络从集中位置进行咨询。
2012-09-06 cs.NI
Beamforming Feedback-based Model-Driven Angle of Departure Estimation Toward Legacy Support in WiFi Sensing: An Experimental Study
Graduate School of Informatics, Kyoto University(京都大学信息学研究科);School of Engineering, Tokyo Institute of Technology(东京工业大学工学院);Centre of Wireless Communications, University of Oulu(奥卢大学无线通信中心)
本文提出了一种基于波束成形反馈的模型驱动角度发射估计方法,无需CSI即可实现高精度角度估计,适用于Wi-Fi传感的遗留支持。
2022-02-02 cs.NI eess.SP
Automatic energy saving (AES) modelto boost ubiquitous wireless sensor networks (WSNs)
我们部署BT节点(传感器),提供被动和主动传感能力,以节省能源。BT节点在室外通信时工作在被动模式,在室内通信时工作在主动模式。BT节点支持新的自动节能(AES)数学模型来决定模式。它以更少的能耗提供更快的通信。为了验证该方法的有效性,采用ns2仿真软件对网络的行为进行了仿真,并给出了相应的数学模型。这项研究的主要目标是远程访问不同类型的服务器,笔记本电脑,台式机和其他静态和移动对象。该原型最初用于通过移动设备从远程控制MSCS [13]和[14]。原型可以进一步增强,以同时处理多个对象,消耗更少的能源和资源。
2013-09-17 cs.NI
Distributed Fair Scheduling Using Variable Transmission Lengths in Carrier-Sensing-based Wireless Networks
IEEE 802.11无线网络(包括无线局域网和Ad-hoc网络)的公平性由于MAC竞争和动态性的随机性和复杂性而难以预测和控制。此外,不对称的信道条件,如捕获和信道错误所造成的,往往会导致站之间的严重不公平。在本文中,我们提出了一种新的分布式调度算法,我们称之为VLS,为“{ \em可变长度调度}”,提供加权公平的所有站点,尽管MAC层和物理信道的缺陷。VLS的独特功能包括使用基于分布式观测的可变传输长度,与802.11的竞争窗口算法的兼容性,在时变无线环境中实现高吞吐量的机会主义调度,以及灵活性和易于实现。此外,VLS使每个站的吞吐量更平滑,这对视频和语音等实时应用很有吸引力。虽然本文主要假设了802.11协议,但该思想通常适用于基于载波侦听多址接入(CSMA)的无线网络。
2007-12-12 cs.NI
Throughput Characterization of Wireless CSMA Networks With Arbitrary Sensing and Interference Topologies
School of Electronics and Communication Engineering, Sun Yat-sen University(中山大学电子与通信工程学院)
本文提出一种新框架,用于分析任意感知与干扰拓扑的无线CSMA网络通过量,通过感知图的团结构将网络转换为多通道网络,并利用离散时间马尔可夫再生过程建模动态,从而精确评估接入参数对网络性能的影响。
2026-04-14 cs.NI
Wirelessly Powered Urban Crowd Sensing over Wearables: Trading Energy for Data
在这篇文章中,我们提出了移动人群感知范式的基础上无处不在的可穿戴设备进行人类用户。大规模用户参与未来城市人群发送应用的关键挑战,例如监测大规模现象(例如,交通挤塞和空气污染水平),是适当的动力来源。因此,我们提倡使用无线功率传输来交换感测数据,以激励可穿戴设备的所有者参与协作数据汇集。基于这种结构,我们开发了无线供电的人群感应的新概念,并提供了相应的网络架构的考虑,以及无线充电技术的系统性审查,以实现it.Further,我们贡献了一个详细的系统级可行性研究,报告可实现的性能水平为设想的设置。最后,基本的能源数据交易机制进行了讨论,并概述了开放的研究机会的工作结束。
2016-11-17 cs.NI
Exposing the CSI: A Systematic Investigation of CSI-based Wi-Fi Sensing Capabilities and Limitations
National Inter-University Consortium for Telecommunications (CNIT)(国家校际电信联盟(CNIT));University of Brescia(布雷西亚大学);Northeastern University(东北大学)
由于Wi-Fi热点的无处不在的部署,基于信道状态信息(CSI)的Wi-Fi感知可以在许多领域(如医疗保健,安全和娱乐)中释放改变游戏规则的应用。然而,尽管对Wi-Fi感测进行了十年的积极研究,但大多数现有工作仅考虑传统IEEE 802.11n设备,通常是在特定和严格控制的环境中。更糟糕的是,人们根本不了解现代Wi-Fi功能对基于CSI的感知的影响,例如160 MHz带宽,多输入多输出(MIMO)传输以及IEEE 802.11ax(Wi-Fi 6)中增加的频谱分辨率。这项工作旨在阐明Wi-Fi 6功能对感知性能的影响,并为未来的Wi-Fi感知研究创建基准。为此,我们使用Wi-Fi 6信号进行了广泛的CSI数据汇集活动,涉及3个人,3个环境和12个活动。通过视频记录获得的匿名地面真相伴随着我们的80 GB数据集,其中包含来自三个收集器的近两个小时的CSI数据。我们利用我们的数据集来剖析不同环境和个人之间最先进的传感框架的性能。我们的主要研究结果表明:(i)MIMO传输和更高的频谱分辨率可能比更大的带宽更有利于传感应用;(ii)迫切需要标准化Wi-Fi传感研究,因为实现真正独立于环境的框架的路径仍然不确定。为了简化实验的可复制性并解决当前Wi-Fi 6 CSI数据集的缺乏问题,我们向社区发布了80 GB的数据集。
2023-02-02 cs.LG cs.NI eess.SP
A Survey of Commodity WiFi Sensing in 10 Years: Current Status, Challenges, and Opportunities
WiFi设备的普及和WiFi网络的无处不在的覆盖为我们提供了将WiFi功能扩展到通信之外的机会,特别是在感知物理环境方面。在本文中,我们调查的演变,WiFi传感系统利用商品设备在过去的十年。它将WiFi传感系统分为三个主要类别:活动识别(大规模和小规模),对象传感和定位。我们强调了每个类别的里程碑式的工作和他们采用的下划线技术。接下来,这项工作提出了现有WiFi传感系统所面临的挑战。最后,我们全面讨论了商品WiFi传感的未来趋势。
2022-04-12 cs.HC cs.NI
Measuring Discrete Sensing Capability for ISAC via Task Mutual Information
本文提出用任务互信息度量ISAC离散感知能力,通过m状态目标与n维独立特征建模,实现细粒度感知优化与资源平衡,并在多个真实场景中验证其与准确率等指标高度相关。
2025-04-02 cs.IT cs.NI eess.SP
A CSI Dataset for Wireless Human Sensing on 80 MHz Wi-Fi Channels
University of Padova(帕多瓦大学);University of Palermo(巴勒莫大学);CNIT(意大利国家电信研究所)
本文发布了一个在 80 MHz 带宽下采集的 IEEE 802.11ac 信道状态信息数据集,涵盖十三名受试者、多环境与多硬件的超过十三小时测量数据,以支持无线人体感知算法的领域自适应研究。
2023-04-29 cs.LG cs.NI eess.SP
Deep Reinforcement Learning-Based Channel Allocation for Wireless LANs with Graph Convolutional Networks
Kyoto University(京都大学)
去年,IEEE 802.11极高吞吐量研究组(EHT Study Group)成立,以发起对IEEE 802.11新特性的讨论。EHT研究小组讨论了无线局域网(WLAN)中接入点(AP)的协调控制方法。本研究提出了一种使用图卷积网络(GCN)的基于深度强化学习的信道分配方案。作为一种深度强化学习方法,我们使用了一种著名的方法双深度Q网络。在密集部署的无线局域网中,AP的可用拓扑结构的数量是非常高的,因此,我们提取的拓扑结构的特征的基础上GCN。我们将GCN应用到竞争图中,其中在其载波侦听范围内的AP被连接以提取载波侦听关系的特征。此外,为了提高学习速度,特别是在学习的早期阶段,我们采用了基于博弈论的方法来收集独立于神经网络模型的训练数据。仿真结果表明,与现有的方法相比,该方法可以适当地控制信道。
2019-05-17 cs.LG cs.NI eess.SP
Enabling Joint Communication and Radar Sensing in Mobile Networks -- A Survey
移动网络正从单纯的通信网络向具有通信和雷达/无线电感知(JCAS)能力的感知移动网络(PMN)发展。在PMNs中,JCAS将传感集成到通信中,共享大部分系统模块和相同的传输信号。PMN有望提供一个无处不在的无线电传感平台,并实现大量新颖的智能应用,同时提供不受损害的通信。在本文中,我们提出了实现PMN的动机,方法,挑战和研究机会,提供了一个全面的调查,主要是在过去十年中开发的系统和技术。首先回顾了共存的通信和雷达系统的工作,我们强调他们的限制解决干扰问题,然后介绍JCAS技术。然后,我们建立了JCAS在移动网络的背景下,并设想其潜在的应用。我们将继续简要回顾三种类型的JCAS系统,特别关注它们在设计理念上的差异。然后,我们介绍了PMN的框架,包括系统平台和基础设施,三种类型的传感操作,和可用于传感的信号。随后,我们讨论了所需的系统修改,使目前的通信基础设施上的传感。在PMN的背景下,我们回顾了刺激的研究问题和潜在的解决方案,组织在九个主题:性能界限,波形优化,天线阵列设计,杂波抑制,传感参数估计,传感模糊的分辨率,模式分析,网络传感蜂窝拓扑结构下,和传感辅助通信。在论文的最后,我们列出了上述主题的关键开放研究问题,并分享了我们学到的一些教训。
2021-10-21 cs.NI eess.SP
Neighbor Discovery for Wireless Networks via Compressed Sensing
本文研究了无线网络中的邻居发现问题,即每个节点都希望在一跳内发现并识别其网络接口地址。提出了一种新的范例,称为压缩邻居发现,它使所有节点同时发现各自的邻居与一个单一的帧的传输,这是典型的几千个符号的历元。其关键技术是为每个节点分配一个唯一的开关签名,并让所有节点同时发送它们的签名。尽管无线电是半双工的,但每个节点通过其自己的非时隙(off-slot)观察到其邻居的签名(部分地)的叠加。为了从一个大的网络地址空间中识别出它的邻居,每个节点都解决了一个压缩感知(或稀疏恢复)问题。研究了两种实用方案。第一种方法采用随机开关签名,每个节点使用基于组测试的非相干检测算法发现其邻居。第二种方案使用基于确定性二阶Reed-Muller码的开关签名,并应用Chirp解码算法。第二种方案需要低得多的信噪比(SNR)来实现相同的错误性能。线性调频脉冲解码算法的复杂度是次线性的,因此它原则上可扩展到具有数十亿个具有48位IEEE 802.11 MAC地址的节点的网络。压缩邻居发现方案比传统的随机接入发现更有效,其中节点必须在具有随机延迟的许多帧上进行搜索才能成功发现。
2012-05-22 cs.IT cs.NI math.IT