The First Verification Test of Space-Ground Collaborative Intelligence via Cloud-Native Satellites

Recent advancements in satellite technologies and the declining cost of access to space have led to the emergence of large satellite constellations in Low Earth Orbit(LEO).However,these constellations often rely on bent-pipe architecture,resulting in high communication costs.Existing onboard inference architectures suffer from limitations in terms of low accuracy and inflexibility in the deployment and management of in-orbit applications.To address these challenges,we propose a cloud-native-based satellite design specifically tailored for Earth Observation tasks,enabling diverse computing paradigms.In this work,we present a case study of a satellite-ground collaborative inference system deployed in the Tiansuan constellation,demonstrating a remarkable 50%accuracy improvement and a substantial 90%data reduction.Our work sheds light on in-orbit energy,where in-orbit computing accounts for 17%of the total onboard energy consumption.Our approach represents a significant advancement of cloud-native satellite,aiming to enhance the accuracy of in-orbit computing while simultaneously reducing communication cost.

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.

Priori information analysis of optocoupler accelerated degradation experiment based on failure mechanism verification test

The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small sample products,it is very important to obtain prior information for the design and implementation of accelerated degradation test.In this paper,the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained.The results show that optocouplers have two failure modes,one is sudden failure and the other is degradation failure;the maximum temperature stress of optocoupler can’t exceed 140℃;the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip.The surface leakage current is proportional to the adsorption amount.The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler.The lifetime distribution model of the optocoupler is determined by the failure physics.The lifetime of the optocoupler is subject to the lognormal distribution.The degeneracy orbit of the optocoupler leakage current is described by a power law model.The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced.The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.

Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification

This white paper explores three popular development methodologies for network softwarization: DevOps, NetOps, and Verification. The paper compares and contrasts the strengths and weaknesses of each approach and provides recommendations for organizations looking to adopt network softwarization.

STG-BASED VERIFICATION AND TEST GENERATION

This paper presents the techniques of verification and Test Generation(TG) for sequential machines (Finite State Machines, FSMs) based on state traversing of State Transition Graph(STG). The problems of traversing, redundancy and transition fault model are identified. In order to achieve high fault coverage collapsing testing is proposed. Further, the heuristic knowledge for speeding up verification and TG are described.

Design and Test of Closed Hydraulic Transmission System of 4WD High-clearance Wheeled Sprayer

In conjunction with the working characteristics of the high-clearance wheeled sprayer and the benefits of the closed hydraulic system,a series of reasonable working parameters should be established,and a hydraulic system that fulfills the requisite specifications should be designed.The AMESim software model is employed to construct a closed hydraulic transmission system,and the simulation analysis is then performed according to the data of hydraulic components.According to analysis results,the prototype can be optimized and upgraded,and a verification test is further carried out.The test results demonstrate that the designed closed hydraulic transmission system meets the actual working requirements of the high-clearance wheeled sprayer and provides a stable experimental platform for intelligent control of agricultural machinery.

Drug Sensitivity Test and Regression Verification of Escherichia coli from Rex Rabbit

[ Objectives] The paper aimed to select drugs reasonably for treatment of rex rabbit colibacillosis, and to isolate the pathogenicity of Escherichia coll. [ Methods ] Pathogen isolation, drug sensitivity test and pathogen regression test were performed with rex rabbits killed by E. coli in clinic. [ Results] The isolate was E. coli 0-23, susceptible to amikacin and cefotaxime sodium; when the challenge dose was 1.0 mL/rabbit （about one billion E. coli）, the test animal would discharge mucous feces. [ Conclusions] The results provided model support for clinical medicine selection against rex rabbit colibacillosis.

Verification test on an innovated method for the studies on inheritance of resistance to rice sheath blight

We have recently developed a systematic method for the study on the inheritance of resistance to sheath blight. The key of the system is an innovated method of inoculation and investigation along with the employment of the permanent population. This paper reported the procedure of the system and the result of its verification.

Location Verification Systems in Emerging Wireless Networks

As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of activity related to lo- cation-verification techniques in wireless networks. In particular, there has been a specific focus on intelligent transport systems because of the mission-critical nature of vehicle location verification. In this paper, we review recent research on wireless location verification related to vehicular networks. We focus on location verification systems that rely on for- mal mathematical classification frameworks and show how many systems are either partially or fully encompassed by such frameworks.

运用verification phase判定男大学生最大摄氧量的研究

目的:运用verification phase对男大学生递增负荷运动测试(GXT)测定的最大摄氧量(VO_(2max))进行判定,探讨verification phase应用的可行性。方法:招募13名健康男大学生作为受试者,完成跑台GXT,休息20 min,进行verification phase,使受试者再次力竭。在GXT和verification phase过程中采用便携式心肺功能仪Cosmed k5进行实时呼吸气体分析,运用verification phase判定指标(△VO_(2),即两次力竭测试的VO_(2max)差异)和现行判定指标(VO_(2)平台、HR_(max)、RER_(max)、BLA_(max)、RPE)对受试者的VO_(2max)进行判定。结果:(1)在GXT、verification phase两次力竭测试中,VO_(2max)的绝对值和相对值均无显著性差异(P>0.05),HR_(max)、RER_(max)、BLA_(max)及RPE均无显著性差异(P>0.05)。GXT力竭时间显著长于verification phase(P<0.05)。(2)在GXT中,13名(100%)受试者均出现VO_(2)平台;9名(69.2%)受试者的HR_(max)>(220-年龄)bpm;8名(61.5%)受试者的RER_(max)>1.10;12名(92.3%)受试者的BLA_(max)>8 mmol·L-1;7名(53.8%)受试者的RPE≥18,达到各自判定标准。(3)11名(84.6%)受试者的△VO_(2)在±3.0%内,符合verification phase判定标准;另2名受试者的△VO_(2)分别为3.1%、3.4%,超过verification phase判定标准。(4)达标的11名受试者的VO_(2max)可取值为两次力竭测试VO_(2max)的均值或任一测试的VO_(2max)值;另2名受试者的VO_(2max)可取值为verification phase测试的VO_(2max)值或两次力竭测试VO_(2max)的均值。结论:运用verification phase可判定男大学生在GXT中测出的VO_(2max)的真实性。

Speaker Verification Based on Log-Likelihood Score Normalization

Due to differences in the distribution of scores for different trials, the performance of a speaker verification system will be seriously diminished if raw scores are directly used for detection with a unified threshold value. As such, the scores must be normalized. To tackle the shortcomings of score normalization methods, we propose a speaker verification system based on log-likelihood normalization (LLN). Without a priori knowledge, LLN increases the separation between scores of target and non-target speaker models, so as to improve score aliasing of “same-speaker” and “different-speaker” trials corresponding to the same test speech, enabling better discrimination and decision capability. The experiment shows that LLN is an effective method of scoring normalization.

On Quality Evaluation and Analysis of Metrological Verification and Detection

With the rapid development of China’s economy and society,under the existing economic system,measurement work is of great significance to promote market development and improve people’s living standards.The quality evaluation of testing work is an important means to ensure the accuracy of measurement.Based on the analysis of several factors affecting the quality of measurement work,this paper takes the ionizing radiation monitoring quality as an example,and makes a concrete exposition on the evaluation and analysis of the quality of metrological verification work.

Waste heat recovery from hot steel slag on the production line:Numerical simulation,validation and industrial test

Waste heat recovery from hot steel slag was determined in a granular bed through the combination of numerical simulation and an industrial test method.First,the effective thermal conductivity of the granular bed was calculated.Then,the unsteady-state model was used to simulate the heat recovery under three different flow fields(O-type,S-type,and nonshielding type(Nontype)).Second,the simulation results were validated by in-situ industrial experiments.The two methods confirmed that the heat recovery efficiencies of the flow fields from high to low followed the order of Nontype,S-type,and O-type.Finally,heat recovery was carried out under the Nontype flow field in an industrial test.The heat recovery efficiency increased from~76%and~78%to~81%when the steel slag thickness decreased from 400 and 300 to 200 mm,corresponding to reductions in the steel slag mass from 3.96 and 2.97 to 1.98 t with a blower air volume of 14687 m^(3)/h.Therefore,the research results showed that numerical simulation can not only guide experiments on waste heat recovery but also optimize the flow field.Most importantly,the method proposed in this paper has achieved higher waste heat recovery from hot steel slag in industrial scale.

乙二醇再生与回收工艺研究

随着国内深水气田开发范围从300 m区域向1500 m区域发展,以抑制天然气管道内水合物形成为核心的流动保障性技术,成为南海深水油气开发的关键技术。从而提出一种乙二醇再生与回收工艺流程,通过膜分离单元、再生塔以及盐沉降罐等关键工艺设备,实现脱烃、脱盐、脱水的全部功能。经过小试试验与中试试验,证明了系统工艺稳定性和可靠性,并结合目标气田提出一套适用于我国南海深水气田的乙二醇再生与回收工艺方案。

Dynamic Testing of Elastic Modulus,Shear Modulus,and Poisson’s Ratio of Bamboo Scrimber

The bamboo scrimber is an anisotropic material.The elastic constant values of the bamboo scrimber specimens measured by the dynamic and static methods are consistent,and the dynamic test method has the advantages of rapidity,simplicity,good repeatability,and high precision.Bamboo scrimber has strong potential as a building material,and its elastic constant is an important index to measure its mechanical properties.To quickly,simply,non-destructively,and accurately detect the elastic constant of the bamboo scrimber,they were dynamically tested by the free plate transient excitation method and cantilever plate torsional vibration method.The static four-point bending method was used to verify the accuracy and reliability of the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber.The mechanism analysis and evaluation of the quality grade,homogeneity,and size effect of the bamboo scrimber whole board were carried out.The main results show that the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber are 12 GPa,1500 MPa,and 0.31,respectively,which meet the requirements of GB/T 40247-2021 for structural bamboo scrimber.

罗河高硫铁矿高效回收选矿试验研究

罗河铁矿为了验证高硫矿对现有选矿流程的适应性,对高硫矿进行了试验研究。试验结果表明:浮选采用1粗2精3扫,磁选同现有生产流程,可获得产率12.60%、Es品位41.21%、Es回收率88.27%的硫精矿及产率31.13%、TFe品位68.30%、铁回收率98.18%的铁精矿;套用现生产浮选流程验证试验可获得产率11.95%、Es品位41.68%、Es回收率84.56%的硫精矿及产率31.58%、TFe品位68.28%、铁回收率98.32%的铁精矿;采用1粗2精3扫工艺有效硫回收率较高,说明增加扫选次数可提高有效硫回收率;采用2种流程均可获得合格的硫精矿及铁精矿产品,高硫矿对现生产选矿流程适应性较好。

一种虚拟试验架构下的舱段结构建模与承载破坏模拟技术

在一种面向产品的飞行器结构强度虚拟试验架构下,发展经典材料弹塑性损伤本构和通用有限元技术,并基于Abaqus内置Python软件开发虚拟试验插件工具,创建飞行器舱段结构人机交互虚拟试验平台,形成了对舱段结构承载破坏过程进行高逼真度模拟的虚拟试验能力。采取逐级验模的精度确认技术,开展从试棒到舱段壳体的虚/实试验对比,验证舱段结构虚拟试验的可行性,结果显示:虚拟试验能对舱段结构的承载破坏情况做高逼真度的模拟,对极限承载能力的预示精度达到4.6%。

高压断路器操动机构驱动电机及其控制技术研究

高压断路器操动机构用电机驱动提高了断路器运行的可靠性与可控性,因此设计了一套适用于126 kV真空断路器的电机操动机构。基于操动机构动力学分析结果确定驱动电机转矩、转速要求,提出一种有限转角永磁无刷电机设计方案,研制样机进行联机试验完成动作要求检验。在此基础上,设计分段转矩控制策略,结合驱动电机输出转矩需求将操动机构的运动过程分为4个阶段,从降低触头碰撞、避免预击穿现象发生、提高断路器工作可靠性角度对各阶段电机输出转矩进行动态调节。结果表明:所研制的驱动电机配合分段转矩控制策略,在保证灭弧室对操动机构动作时间、动作速度要求的前提下,实现了操动机构的运动过程优化和工作可靠性提高,促进了断路器智能化操作进程。

机载激光武器试验评估技术研究

由于毁伤机理和使用方法的不同,现有机载武器和传感器的试验方法不适用于机载激光武器。为研究其特殊的试验与评估技术,从国外典型机载激光武器的试验情况着手,分析了主要的试验阶段、试验内容、试验类别、管理特点等,对气动光学特性、出光特性、目标探测识别跟踪、光束控制和杀伤性试验等主要科目的内容、方法进行研究。研究表明,美国为了避免试验技术落后研制技术,采取了多计划安排一体推进、大力构建试验机、建设试验设施和循序渐进开展试验等管理措施促进相关的研究。建议加强试验技术的投入,适时建设体系化试验机,加强测试和靶标等领域的研究,以期为新质武器的成熟和应用提供帮助。

大跨度桥梁超低频调谐液体质量阻尼器研发及应用

大跨度桥梁在运营过程中易发生较为明显的超低频振动问题,采用调谐质量阻尼器(TMD)进行控制时,由于箱梁内部空间有限,常规TMD在结构上无法满足要求。基于此,提出一种基于浮力和流固耦合作用的超低频调谐液体质量阻尼器(TLMD)。为研究TLMD对结构的阻尼减振效果,进行模型试验,分析安装TLMD前、后主结构加速度幅值和阻尼比;将该新型超低频TLMD在贵州龙里河大桥上进行实桥应用,测试主梁频率特性和阻尼比。模型试验及实桥应用结果表明:TLMD减振技术可实现0.283 Hz乃至更低频率的超低频阻尼减振;采取TLMD控制后,模型试验主结构的阻尼比从0.038%提高至2.2%,主结构的加速度幅值从减振前的0.41 m/s2降低至0.01 m/s2;贵州龙里河大桥超低频TLMD当采用0.31%的质量比时,主梁一阶竖弯模态实测阻尼比从0.20%提高至0.82%,阻尼比提高了3.1倍。超低频TLMD参数稳定、性能可靠,有效降低了阻尼器的安装高度,显著提升了结构阻尼比,增强了桥梁的抗风性能。