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.

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.

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

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

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

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

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

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

特高压直流输电系统可控自恢复消能装置用慢速机械开关研制

慢速机械开关是特高压直流输电系统可控自恢复消能装置中重要的开关设备,在装置中起到控制和保护用,其必须具备短时间快速合闸、可靠开断避雷器残余直流持续电流的能力。介绍了慢速机械开关的方案设计、核心部件设计和校核以及型式试验,最终研制成功了慢速机械开关。

“巴遥一号”卫星双相机热设计及验证

针对“巴遥一号”卫星相机主体全寿命周期内温度应保持较高稳定性和均匀性的任务要求。通过建立热阻网络模型,分析热控设计的重点和难点,并提出有效管理热量传递和合理设计控温方式的方法;利用结构热控一体化设计解决双相机焦面电路高功率密度热量排散问题,采用直接与间接相结合的控温方式提高主光学结构温度稳定性。通过热仿真分析和热平衡试验验证热设计的准确性。相机入轨4年后1个月内的在轨温度变化显示,相机各部分温度水平和温度稳定性满足设计指标要求,镜头的温度波动范围在0.09~0.17℃,CCD的温度波动范围在0.93~4.30℃,表明相机热控设计合理有效。以上设计实践可为双相机一体化热控设计提供借鉴。

示范快堆非能动棒驱动机构可靠性指标验证研究

示范快堆非能动棒驱动机构是非能动停堆机构的组成部分之一,用于在反应堆启动时提升非能动棒。非能动棒驱动机构的可靠性验证采用定数试验的方法。由于相关标准在适应性方面存在部分问题,基于相关概率统计理论,推导得出非能动棒驱动机构可靠性验证的统计试验方案,并且制定适宜的试验剖面。试验统计结果满足验证方案的接收准则,设备可靠性水平高于指标要求的置信度为70.3%。