基于SDL/MSC的实时嵌入式系统概念级设计

概念级设计是实时嵌入式系统设计自动化的第一步 ,由于它的性能直接关系到整个系统的设计质量 ,所以也是非常重要的一步 .除了对所设计系统的功能进行描述、验证之外 ,概念级设计还应该对所设计系统的性能进行分析 .否则 ,如果将错误带到下一阶段 ,将会使整个设计付出沉重的代价 .在简单介绍了实时嵌入式系统的自动化设计原理 ,并分析了目前人们采用的三种概念级设计方法缺点之后 ,文章提出了基于 SDL / MSC描述与验证的 ,适用于单 FPGA或多 FPGA系统的概念级设计方法 .这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .在文章的最后 ,还指出了这种设计方法存在的不足     

Dynamic multi-commodity capacitated facility location: a mathematical modeling framework for strategic supply chain planning

In this paper, we focus on the strategic design of supply chain networks. We propose a mathematical modeling framework that captures many practical aspects of network design problems simultaneously but which have not received adequate attention in the literature. The aspects considered include: dynamic planning horizon, generic supply chain network structure, external supply of materials, inventory opportunities for goods, distribution of commodities, facility configuration, availability of capital for investments, and storage limitations. Moreover, network configuration decisions concerning the gradual relocation of facilities over the planning horizon are considered. To cope with fluctuating demands, capacity expansion and reduction scenarios are also analyzed as well as modular capacity shifts. The relation of the proposed modeling framework with existing models is discussed. For problems of reasonable size, we report on our computational experience with standard mathematical programming software. In particular, useful insights on the impact of various factors on network design decisions are provided.     

国产材料阻性板室特性研究

介绍了国产酚醛层压板制成的阻性板室在宇宙线测试条件下的特性,效率达到95％左右,时间分辨的半高宽为2．25ns。     

Role of miRNAs in Human T Cell Leukemia Virus Type 1 Induced T Cell Leukemia: A Literature Review and Bioinformatics Approach

Human T cell leukemia virus type 1 (HTLV-1) was identified as the first pathogenic human retrovirus and is estimated to infect 5 to 10 million individuals worldwide. Unlike other retroviruses, there is no effective therapy to prevent the onset of the most alarming diseases caused by HTLV-1, and the more severe cases manifest as the malignant phenotype of adult T cell leukemia (ATL). MicroRNA (miRNA) dysfunction is a common feature of leukemogenesis, and it is no different in ATL cases. Therefore, we sought to analyze studies that reported deregulated miRNA expression in HTLV-1 infected cells and patients’ samples to understand how this deregulation could induce malignancy. Through in silico analysis, we identified 12 miRNAs that stood out in the prediction of targets, and we performed functional annotation of the genes linked to these 12 miRNAs that appeared to have a major biological interaction. A total of 90 genes were enriched in 14 KEGG pathways with significant values, including TP53, WNT, MAPK, TGF-β, and Ras signaling pathways. These miRNAs and gene interactions are discussed in further detail for elucidation of how they may act as probable drivers for ATL onset, and while our data provide solid starting points for comprehension of miRNAs’ roles in HTLV-1 infection, continuous effort in oncologic research is still needed to improve our understanding of HTLV-1 induced leukemia.     

Therapeutic Vaccines for HPV-Associated Oropharyngeal and Cervical Cancer: The Next De-Intensification Strategy?

The rise in human papillomavirus (HPV)-associated oropharyngeal squamous cell carcinoma (OPSCC) has prompted a quest for further understanding of the role of high-risk HPV in tumor initiation and progression. Patients with HPV-positive OPSCC (HPV+ OPSCC) have better prognoses than their HPV-negative counterparts; however, current therapeutic strategies for HPV+ OPSCC are overly aggressive and leave patients with life-long sequalae and poor quality of life. This highlights a need for customized treatment. Several clinical trials of treatment de-intensification to reduce acute and late toxicity without compromising efficacy have been conducted. This article reviews the differences and similarities in the pathogenesis and progression of HPV-related OPSCC compared to cervical cancer, with emphasis on the role of prophylactic and therapeutic vaccines as a potential de-intensification treatment strategy. Overall, the future development of novel and effective therapeutic agents for HPV-associated head and neck tumors promises to meet the challenges posed by this growing epidemic.     

基于SLIC的自适应多主体图像分割算法

为了解决多主体图像分割的交互分割问题,提出了一种基于SLIC超像素的自适应图像分割算法。首先利用SLIC对图像进行超像素分割处理,把原图像分割为大小相似、形状规则的超像素,以超像素中心点的五维特征值作为原始数据点通过自适应参数的DBSCAN算法聚类,确定多主体数目和分割边界。算法不需要用户交互,自适应确定分割数目。为了验证算法的有效性,在伯克利大学标准数据集BSDS500上与人工标注的分割图像进行比较, 前期的超像素处理使算法在时间上有很好的提升,对于一幅481×321像素的图像,只需要1.5 s就可以获得结果。实验结果表明,该方法可以有效解决多主体图像分割中的人工交互问题,同时在PRI和VOI的指数对比上也优于传统算法,本文算法可以在保证分割效果的基础上自适应确定分割数目,提高分割效率。     

Functionalized Hydrogels for Cartilage Repair: The Value of Secretome-Instructive Signaling

Cartilage repair has been a challenge in the medical field for many years. Although treatments that alleviate pain and injury are available, none can effectively regenerate the cartilage. Currently, regenerative medicine and tissue engineering are among the developed strategies to treat cartilage injury. The use of stem cells, associated or not with scaffolds, has shown potential in cartilage regeneration. However, it is currently known that the effect of stem cells occurs mainly through the secretion of paracrine factors that act on local cells. In this review, we will address the use of the secretome—a set of bioactive factors (soluble factors and extracellular vesicles) secreted by the cells—of mesenchymal stem cells as a treatment for cartilage regeneration. We will also discuss methodologies for priming the secretome to enhance the chondroregenerative potential. In addition, considering the difficulty of delivering therapies to the injured cartilage site, we will address works that use hydrogels functionalized with growth factors and secretome components. We aim to show that secretome-functionalized hydrogels can be an exciting approach to cell-free cartilage repair therapy.     

Pre-Omicron Vaccine Breakthrough Infection Induces Superior Cross-Neutralization against SARS-CoV-2 Omicron BA.1 Compared to Infection Alone

SARS-CoV-2 variants raise concern because of their high transmissibility and their ability to evade neutralizing antibodies elicited by prior infection or by vaccination. Here, we compared the neutralizing abilities of sera from 70 unvaccinated COVID-19 patients infected before the emergence of variants of concern (VOCs) and of 16 vaccine breakthrough infection (BTI) cases infected with Gamma or Delta against the ancestral B.1 strain, the Gamma, Delta and Omicron BA.1 VOCs using live virus. We further determined antibody levels against the Nucleocapsid (N) and full Spike proteins, the receptor-binding domain (RBD) and the N-terminal domain (NTD) of the Spike protein. Convalescent sera featured considerable variability in the neutralization of B.1 and in the cross-neutralization of different strains. Their neutralizing capacity moderately correlated with antibody levels against the Spike protein and the RBD. All but one convalescent serum failed to neutralize Omicron BA.1. Overall, convalescent sera from patients with moderate disease had higher antibody levels and displayed a higher neutralizing ability against all strains than patients with mild or severe forms of the disease. The sera from BTI cases fell into one of two categories: half the sera had a high neutralizing activity against the ancestral B.1 strain as well as against the infecting strain, while the other half had no or a very low neutralizing activity against all strains. Although antibody levels against the spike protein and the RBD were lower in BTI sera than in unvaccinated convalescent sera, most neutralizing sera also retained partial neutralizing activity against Omicron BA.1, suggestive of a better cross-neutralization and higher affinity of vaccine-elicited antibodies over virus-induced antibodies. Accordingly, the IC50: antibody level ratios were comparable for BTI and convalescent sera, but remained lower in the neutralizing convalescent sera from patients with moderate disease than in BTI sera. The neutralizing activity of BTI sera was strongly correlated with antibodies against the Spike protein and the RBD. Together, these findings highlight qualitative differences in antibody responses elicited by infection in vaccinated and unvaccinated individuals. They further indicate that breakthrough infection with a pre-Omicron variant boosts immunity and induces cross-neutralizing antibodies against different strains, including Omicron BA.1.     

Effects of Low-Intensity and Long-Term Aerobic Exercise on the Psoas Muscle of mdx Mice: An Experimental Model of Duchenne Muscular Dystrophy

Duchenne muscular dystrophy (DMD) is a muscle disease characterized by the absence of the protein dystrophin, which causes a loss of sarcolemma integrity, determining recurrent muscle injuries, decrease in muscle function, and progressive degeneration. Currently, there is a need for therapeutic treatments to improve the quality of life of DMD patients. Here, we investigated the effects of a low-intensity aerobic training (37 sessions) on satellite cells, peroxisome proliferator-activated receptor-gamma coactivator (PGC)-1α protein (PGC-1α), and different types of fibers of the psoas muscle from mdx mice (DMD experimental model). Wildtype and mdx mice were randomly divided into sedentary and trained groups (n = 24). Trained animals were subjected to 37 sessions of low-intensity running on a motorized treadmill. Subsequently, the psoas muscle was excised and analyzed by immunofluorescence for dystrophin, satellite cells, myosin heavy chain (MHC), and PGC-1α content. The minimal Feret’s diameters of the fibers were measured, and light microscopy was applied to observe general morphological features of the muscles. The training (37 sessions) improved morphological features in muscles from mdx mice and caused an increase in the number of quiescent/activated satellite cells. It also increased the content of PGC-1α in the mdx group. We concluded that low-intensity aerobic exercise (37 sessions) was able to reverse deleterious changes determined by DMD.     

Search based constrained test case selection using execution effort

Software testing is essential to guarantee high quality products. However, it is a very expensive activity, particularly when manually performed. One way to cut down costs is by reducing the input test suites, which are usually large in order to fully satisfy the test goals. Yet, since large test suites usually contain redundancies (i.e., two or more test cases (TC) covering the same requirement/piece of code), it is possible to reduce them in order to respect time/people constraints without severely compromising coverage. In this light, we formulated the TC selection problem as a constrained search based optimization task, using requirements coverage as the fitness function to be maximized (quality of the resultant suite), and the execution effort (time) of the selected TCs as a constraint in the search process. Our work is based on the Particle Swarm Optimization (PSO) algorithm, which is simple and efficient when compared to other widespread search techniques. Despite that, besides our previous works, we did not find any other proposals using PSO for TC selection, neither we found solutions treating this task as a constrained optimization problem. We implemented a Binary Constrained PSO (BCPSO) for functional TC selection, and two hybrid algorithms integrating BCPSO with local search mechanisms, in order to refine the solutions provided by BCPSO. These algorithms were evaluated using two different real-world test suites of functional TCs related to the mobile devices domain. In the performed experiments, the BCPSO obtained promising results for the optimization tasks considered. Also, the hybrid algorithms obtained statistically better results than the individual search techniques.