Efficient system-level functional verification methodology for multimedia applications

Multimedia application design exploration should begin at the system level, to meet low-power and minimum-area requirements. Existing validation techniques mainly concentrate on lower abstraction levels. This system-level methodology combines formal verification of loop-oriented transformations with correctness verification of arithmetic constructs and related control flows. A videoconferencing-decoder example illustrates the methodology's efficiency.     

关于最佳鉴别特征维数问题的讨论

该文对最佳鉴别特征的最佳维数问题进行了详细的讨论．文章首先对最佳维数问题进行了界定，然后指出了两种最佳特征维数为c-1维的情况即以某些基于矩的可分性判据(准则函数)为优化目标的最优特征和以某些特殊的分类器错误率为优化目标的最优特征．最后该文运用方差分析法对最佳鉴别特征进行特征选择使之代入最小距离分类器后识别率最大．     

SWRM12冷镦盘条钢试制

阐述了SWRM12冷镦盘条钢试制情况，对采用连铸坯生产的冷镦盘条进行了综合分析检验，并经用户使用证明，该产品完全满足标准件生产要求。     

中间包包盖长寿综合技术的研究与应用

通过对武钢第一炼钢厂中间包包盖实际使用状况与破损形式的现场调研，分析了引起包盖破损的主要原因，制定了延长包盖使用寿命与改善包盖使用性能的综合技术措施，完成了高抗热震性莫来石-刚玉质浇注料的研究、长寿命中间包包盖的结构设计与工业性试验，取得了包盖寿命28个浇次的试验效果，强化了包盖的隔热防护作用，     

转炉冶炼终点炉渣氧化性和碱度的研究

通过在实验室电阻炉上的实验研究，得出了复吹转炉在吹炼含磷较高铁水时冶炼终点最佳的炉渣氧化性和碱度。实验结果表明，渣一钢反应接近平衡时，炉渣的氧化铁含量在15％左右，炉渣碱度m(CaO)／m(SiO2)为4．4，这时炉渣的脱磷能力最强。研究的结果对于复吹转炉冶炼的终点操作是非常有益的。     

高品位印度矿粉烧结性能试验研究

为了拓宽烧结用料，达到优化烧结原料结构的目的，太钢对高品位印度矿的烧结性能进行试验研究，结果表明，配用高品位印度矿，烧结矿的性能能够满足高炉炼铁生产的要求。     

ULTRA‐FINE TRACKING CONTROL ON PIEZOELECTRIC ACTUATED MOTION STAGE USING PIEZOELECTRIC HYSTERETIC MODEL

The tracking control accuracy of the piezoelectric actuator (PEA) is limited due to its inherent hysteresis nonlinearity. A new piezoelectric‐actuator model is synthesized based on two first‐order transfer systems in parallel with two tuned parameters determined from one experiment. Two open‐loop tracking controllers are implemented with the proposed model to compensate the hysteresis of linear positioning. Numerical simulations and experimental tests on the tracking of sinusoidal and triangular waveforms with signal frequencies ranging from 1Hz to 30 Hz are revisited and compared with the conventional Bouc‐Wen and Duhem models. Experimental results reveal that the RMS tracking error can be reduced to less than 2% of the maximum traveling distance without any feedback sensor. When a piezoelectric actuated on a two Degree‐Of‐Freedom (DOF) monolithic motion stage was employed, the RMS tracking error was 50 nm within the measured sensor accuracy.     

A Novel Human Neutralizing mAb Recognizes Delta,Gamma and Omicron Variants of SARS-CoV-2 and Can Be Used in Combination with Sotrovimab

The dramatic experience with SARS-CoV-2 has alerted the scientific community to be ready to face new epidemics/pandemics caused by new variants. Among the therapies against the pandemic SARS-CoV-2 virus, monoclonal Antibodies (mAbs) targeting the Spike glycoprotein have represented good drugs to interfere in the Spike/ Angiotensin Converting Enzyme-2 (ACE-2) interaction, preventing virus cell entry and subsequent infection, especially in patients with a defective immune system. We obtained, by an innovative phage display selection strategy, specific binders recognizing different epitopes of Spike. The novel human antibodies specifically bind to Spike-Receptor Binding Domain (RBD) in a nanomolar range and interfere in the interaction of Spike with the ACE-2 receptor. We report here that one of these mAbs, named D3, shows neutralizing activity for virus infection in cell cultures by different SARS-CoV-2 variants and retains the ability to recognize the Omicron-derived recombinant RBD differently from the antibodies Casirivimab or Imdevimab. Since anti-Spike mAbs, used individually, might be unable to block the virus cell entry especially in the case of resistant variants, we investigated the possibility to combine D3 with the antibody in clinical use Sotrovimab, and we found that they recognize distinct epitopes and show additive inhibitory effects on the interaction of Omicron-RBD with ACE-2 receptor. Thus, we propose to exploit these mAbs in combinatorial treatments to enhance their potential for both diagnostic and therapeutic applications in the current and future pandemic waves of coronavirus.