|
搜索
搜 索
高等教育领域数字化综合服务平台
j2106金属钩码10g*2
宁波浪力仪器有限公司（余姚市朗海科教仪器厂）
2021-08-23
j2106金属钩码20g*2
产品的详细介绍，请直接咨询我们。电话：13285746781
宁波浪力仪器有限公司（余姚市朗海科教仪器厂）
2021-08-23
我国成功实现51比特超导量子簇态制备和验证
中国科学家继2017年起先后完成10比特、12比特、18比特的真纠缠态制备之后，在量子科技领域又一次刷新世界纪录——成功实现51比特超导量子簇态制备和验证。
科创中国
2023-07-17
一种基于模型转换的CPS建模与验证方法
本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。
东南大学
2021-04-10
GEOSAR地面成像验证系统与卫星信号处理仿真系统（技术）
成果简介：GEOSAR卫星运行在高轨道，长合成孔径时间使得目标回波具有距离徙动量大、空变性剧烈的特点，因而成像处理难度大。同时电离层对信号传播的影响也是影响卫星成像性能的重要因素。 GEOSAR地面成像验证系统利用导航卫星作为照射源、在地面配置多通道接收机分别接收直达波和回波信号，其中直达波信号用于实现卫星与接收机间的时频同步和分析电离层的影响，回波信号可用于实现成像处理。通过研究此模式下回波信号特性和成像算法，因此利用该验证体制可实现对GEOSAR成像机理的等效地面成像验证；同时，
北京理工大学
2021-04-14
非连续可用子载波CI-OFDM码添加方法
本发明相对于传统的OFDM系统发射机模型，添加了一个N点IDFT运算，不需要太多额外的复杂度和硬件开销。相对于传统的OFDM，本发明大大降低了发送信号的PAPR，使发送信号功率分配更加均匀，降低了发射机功放的设计难度。本发明提出对添加Nzero个0后的N维信号进行CI扩展，相对于现有技术直接对N-Nzero调制符号进行CI扩展，保持了子载波的正交性，使得发射信号的PAPR获得了进一步的降低。
电子科技大学
2021-04-10
基于HybridUML向微分代数程序转换的CPS建模与验证方法
本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。
东南大学
2021-04-10
动态频谱资源共享宽带无线通信系统验证网络
项目“动态频谱资源共享宽带无线通信系统验证网络开发”属于国家863重点项目“频谱资源共享无线通信系统”的子课题。该项目目标是开发与现有系统共存的宽带无线通信系统验证网络，并在694～806MHz频段进行演示验证。在不影响现有系统业务的前提下，为固定和移动用户提供语音和其它宽带业务。
电子科技大学
2021-04-10
一种套用商户类别码欺诈行为的检测方法
本发明公开了一种套用商户类别码欺诈行为的检测方法，首先通过获取正常商户交易数据并进行预处理、层次聚类获取标准行为模式；然后，按照正常商户：套用商户＝1:1的数量，随机抽取正常商户、套用商户的交易流水数据并获取各商户的86维特征的交易数据向量，通过欧式距离计算获取一个9维特征进行叠加，得到95维的特征向量，通过批量梯度下降方法不断训练得到逻辑斯蒂回归模型的参数，从而得到分类器；最后依据新用户的一年的交易流水数据构造一个95维的特征向量送入分类器分类，检测出是否是套用商户。
电子科技大学
2021-04-10
基于极化码的分段CRC校验堆栈译码方法及架构
本发明公开了一种基于极化码的分段CRC校验堆栈译码方法，包括：将信息序列分为N部分；对每一段最后一位比特在极化码码字序列中的位置进行标记；在进行堆栈译码的过程中，当译码长度到达标记位置时，实施CRC检验，若通过，则该译码路径存活，若不通过，则该译码路径被淘汰。与传统的方法相比，本发明大大降低了算法复杂度并使译码性能得到提升，并提升了译码的正确率。此外，在译码方法的基础上，硬件架构同时被提出，资源占据较传统算法实现了降低。
东南大学
2021-04-14