实时操作系统ThreadX剖析

ThreadX是一个成熟的商用强实时嵌入式操作系统,被广泛应用于消费电子、航空航天、通信与医疗等应用领域中.通过对ThreadX所提供的服务与开发组建、线程调度算法、线程同步与通信机制、中断服务以及多处理器支持等方面的分析,可知ThreadX以轻量级的规模,提供了良好的实时性、可靠性与易用性,是嵌入式应用中一个不错的RTOS选择.     

服务组合的代数规约

现有的服务组合描述途径不能有效地验证和测试组合正确性,针对这一问题,提出了一个代数规约方法,引入规约包机制扩展面向服务代数规约语言SOFIA以支持该方法。用代数规约单元描述服务系统中的各种实体,其中基调部分定义实体的语法和结构,公理部分定义其功能和行为特性。与一个服务相关的规约单元封装在一个包中或拆分在几个相互引用的包中,每个包形成一个命名空间。当多个服务组合在一起时,以这些服务的代数规约包为基础,一方面抽象地定义组合服务的交互过程和语义,形成描述服务组合实现方式的实现规约包;另一方面抽象地定义组合服务对外接口及其功能语义,形成描述组合服务需求的抽象规约包。在实现规约和抽象规约的双元结构基础上,进一步定义了实现规约和抽象规约之间必须满足的“实现”关系,证明了满足实现关系可以保证实现的正确性,从而为服务组合的可验证性和可测试性奠定了理论基础。最后结合实例分析阐述了用代数规约描述服务组合的抽象性、可表达性和可验证性。     

装甲车辆新型电源管理系统研究

装甲车辆电源管理系统作为全车电气电子系统的能量分配枢纽,其性能直接影响各系统工作和车辆性能的发挥。装甲车辆传统配电方式存在供电品质差,自动化程度低,负载管理控制困难,电磁干扰严重等问题,难以满足系统要求。针对某型装甲车辆,设计了一种新型电源管理系统,分析了系统中电子开关设计与“软开关”控制、“热备份”控制、负载管理控制以及系统可靠性设计等关键技术,改善了系统供电品质、电磁兼容性和负载管理控制能力,为装甲车辆电源管理提供了一种可行的方案。     

Photorhabdus luminescens TccC3 Toxin Targets the Dynamic Population of F-Actin and Impairs Cell Cortex Integrity

Due to its essential role in cellular processes, actin is a common target for bacterial toxins. One such toxin, TccC3, is an effector domain of the ABC-toxin produced by entomopathogenic bacteria of Photorhabdus spp. Unlike other actin-targeting toxins, TccC3 uniquely ADP-ribosylates actin at Thr-148, resulting in the formation of actin aggregates and inhibition of phagocytosis. It has been shown that the fully modified F-actin is resistant to depolymerization by cofilin and gelsolin, but their effects on partially modified actin were not explored. We found that only F-actin unprotected by tropomyosin is the physiological TccC3 substrate. Yet, ADP-ribosylated G-actin can be produced upon cofilin-accelerated F-actin depolymerization, which was only mildly inhibited in partially modified actin. The affinity of TccC3-ADP-ribosylated G-actin for profilin and thymosin-β4 was weakened moderately but sufficiently to potentiate spontaneous polymerization in their presence. Interestingly, the Arp2/3-mediated nucleation was also potentiated by T148-ADP-ribosylation. Notably, even partially modified actin showed reduced bundling by plastins and α-actinin. In agreement with the role of these and other tandem calponin-homology domain actin organizers in the assembly of the cortical actin network, TccC3 induced intense membrane blebbing in cultured cells. Overall, our data suggest that TccC3 imposes a complex action on the cytoskeleton by affecting F-actin nucleation, recycling, and interaction with actin-binding proteins involved in the integration of actin filaments with each other and cellular elements.     

Local multi-model integrated soft sensor based on just-in-time learning for mechanical properties of hot strip mill process

The mechanical properties of hot rolled strip are the key index of product quality,and the soft sensing of them is an important decision basis for the control a...     

Sensing mechanism of Ag/α-MoO3 nanobelts for H2S gas sensor

Sensing mechanism is still a big problem in the field of gas sensor.In-depth study of the sensing mecha-nism can provide better ideas for the design of sensing ...     

Load Balancing Routing Algorithm Based on Extended Link States in LEO Constellation Network

As an important part of satellite communication network, LEO satellite constellation network is one of the hot research directions. Since the nonuniform distribution of terrestrial services may cause inter-satellite link congestion, improving network load balancing performance has become one of the key issues that need to be solved for routing algorithms in LEO network. Therefore, by expanding the range of available paths and combining the congestion avoidance mechanism, a load balancing routing...     

Unsourced Multiple Access for 6G Massive Machine Type Communications

Unsourced multiple access(UMA) is a multi-access technology for massive, low-power, uncoordinated, and unsourced Machine Type Communication(MTC) networks. It ensures transmission reliability under the premise of high energy efficiency.Based on the analysis of the 6G MTC key performance indicators(KPIs) and scenario characteristics,this paper summarizes its requirements for radio access networks. Following this, the existing multiple access models are analyzed under these standards to determine U...     

Measurements and Characterization for the Vehicle-to-Infrastructure Channel in Urban and Highway Scenarios at 5.92GHz

In the future smart transportation system, reliable vehicle-to-infrastructure(V2 I) communication is very important to ensure vehicle driving safety and to improve vehicle driving efficiency. In this paper, V2 I channel measurements at 5.92 GHz are conducted in typical urban and highway scenarios.The frequency and bandwidth of transmission, as well as the deployment of the RSU(roadside unit) and the OBU(on board unit), are selected by considering the recommendation proposed by 3 GPP TR 36.885. T...