STM32的便携式手机蓝牙考勤机系统设计

在研究各种考勤系统的基础上,提出了一种手机蓝牙实现考勤的方法。该系统采用STM32F103RBT6微处理器作为核心,利用蓝牙模块搜索手机蓝牙设备与本地数据库进行匹配,通过语音播报和液晶显示两种方式给出考勤结果。该设计可以改变传统的被动式考勤方式,且成本低、操作简便。     

STM32F103的汽车远程防盗系统设计

设计了以STM32F103R6T6单片机为核心的汽车远程防盗系统。应用WT588D语音模块,增加了后视镜折叠和展开功能,使防盗更加智能化。结合STM32F103R6T6的内部结构,设计了系统的硬件电路,详细介绍了系统的软件设计方法。实验结果表明,系统能够实时有效地处理检测到的异常情况,驱动语音模块进行正确的语音提醒。     

智能家居系统中的短信收发程序设计

针对智能家居系统中安防报警信息实时收发及家电远程控制的需求,提出使用3G模块收发短信的方法,并设计了实现短信同时收发功能的软件架构。实验结果表明,该方法简单实用,能够满足智能家居系统的要求。     

基于自由摆的平板精确控制与激光追踪系统

以TI公司的MSP430F5438单片机为控制核心,结合步进电机和精密电位器WDD35D-4,实现了基于自由摆的平板控制与激光追踪系统。当摆杆摆角为45°～60°时,平板可以承载8枚一元硬币,并在5个摆动周期内维持稳定;当摆杆摆角为30°～60°时,固定在摆杆平板上的激光笔可以在15s内找到并跟踪1.5m远处的靶心。     

基于ARM的嵌入式语音存储系统设计

为了有效地节省语音数据的传输带宽和存储系统的磁盘空间,需要在保证语音质量的前提下尽可能降低其编码比特率。本设计采用经过优化的G．729语音压缩编译码算法,以ARM处理器为载体,开发的嵌入式语音存储系统可实现语音信号的海量存储,而且处理速度快、可靠性好、扩展方便。通过严格的测试和评估,该系统能够实现对大量语音数据的压缩和记录,各项指标基本达到了预期的水平。     

A λ-unifiability test for set theory

We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation.     

智能变送器的设计方案

本论文介绍了以TMS320F2812为核心的智能变送器的硬件及软件设计,从测试以及通信功能两个方面介绍了智能变送器的实验方案。     

Synthesis and electrochemical properties of Al-doped LiVPO4F cathode materials for lithium-ion batteries

Al-doped LiVPO4F cathode materials LiAlxV1-xPO4F were prepared by two-step reactions based on a car-bothermal reduction （CTR） process. The properties of the Al-doped LiVPO4F were investigated by X-ray diffraction （XRD）,scanning electron microscopy （SEM）,and electrochemical measurements. XRD studies show that the Al-doped LiVPO4F has the same triclinic structure （space group p-↑1 ） as the undoped LiVPO4F. The SEM images exhibit that the particle size of Al-doped LiVPO4F is smaller than that of the undoped LiVPO4F and that the smallest particle size is only about 1 μm. The Al-doped LiVPO4F was evaluated as a cathode material for secondary lithium batteries,and exhibited an improved reversibility and cycleability,which may be attributed to the addition of Al^3＋ ion by stabilizing the triclinic structure.     

Methamphetamine Blocks Adenosine A2A Receptor Activation via Sigma 1 and Cannabinoid CB1 Receptors

Methamphetamine is, worldwide, one of the most consumed drugs of abuse. One important side effect is neurodegeneration leading to a decrease in life expectancy. The aim of this paper was to check whether the drug affects one of the receptors involved in neurodegeneration/neuroprotection events, namely the adenosine A_2A receptor (A_2AR). First, we noticed that methamphetamine does not affect A_2A functionality if the receptor is expressed in a heterologous system. However, A_2AR becomes sensitive to the drug upon complexes formation with the cannabinoid CB₁ receptor (CB₁R) and the sigma 1 receptor (σ₁R). Signaling via both adenosine A_2AR and cannabinoid CB₁R was affected by methamphetamine in cells co-expressing the two receptors. In striatal primary cultures, the A_2AR–CB₁R heteromer complex was detected and methamphetamine not only altered its expression but completely blocked the A_2AR- and the CB₁R-mediated activation of the mitogen activated protein kinase (MAPK) pathway. In conclusion, methamphetamine, with the participation of σ₁R, alters the expression and function of two interacting receptors, A_2AR, which is a therapeutic target for neuroprotection, and CB₁R, which is the most abundant G protein-coupled receptor (GPCR) in the brain.     

If Virchow and Ehrlich Had Dreamt Together: What the Future Holds for KRAS-Mutant Lung Cancer

Non-small-cell lung cancer (NSCLC) with Kirsten rat sarcoma (KRAS) mutations has notoriously challenged oncologists and researchers for three notable reasons: (1) the historical assumption that KRAS is “undruggable”, (2) the disease heterogeneity and (3) the shaping of the tumor microenvironment by KRAS downstream effector functions. Better insights into KRAS structural biochemistry allowed researchers to develop direct KRAS(G12C) inhibitors, which have shown early signs of clinical activity in NSCLC patients and have recently led to an FDA breakthrough designation for AMG-510. Following the approval of immune checkpoint inhibitors for PDL1-positive NSCLC, this could fuel yet another major paradigm shift in the treatment of advanced lung cancer. Here, we review advances in our understanding of the biology of direct KRAS inhibition and project future opportunities and challenges of dual KRAS and immune checkpoint inhibition. This strategy is supported by preclinical models which show that KRAS(G12C) inhibitors can turn some immunologically “cold” tumors into “hot” ones and therefore could benefit patients whose tumors harbor subtype-defining STK11/LKB1 co-mutations. Forty years after the discovery of KRAS as a transforming oncogene, we are on the verge of approval of the first KRAS-targeted drug combinations, thus therapeutically unifying Paul Ehrlich’s century-old “magic bullet” vision with Rudolf Virchow’s cancer inflammation theory.