We propose a reflection-type infrared biosensor by exploiting localized surface plasmons in graphene ribbon arrays. By enhancing the coupling between the incident light and the resonant system, an asymmetric Fabry–Perot cavity formed by the ribbons and reflective layer is employed to reshape the reflection spectra. Simulation results demonstrate that the reflection spectra can be modified to improve the figure of merit (FOM) significantly by adjusting the electron relaxation time of graphene, th

USB type C接口+STM32F205RET6 JLINK V9 altium设计硬件原理图+pcb+集成库+软件固件，采用2层板设计，板子大小为35x33mm，双面布局布线.Altium Designer 设计的工程文件，包括完整的原理图PCB文件，可以用Altium(AD)软件打开或修改，可作为你产品设计的参考。

TYPE-C CTS 协会认证规范中文版

USB type-c母座 MINI MICRO A型B型D型USB 封装库Altium AD元件库 PCB封装库（AD库）PcbLib后缀文件，共计 44个封装文件,均是AD标准封装文件，大部分已验证，可以直接应用到你的项目设计中。

TYPE-C协会标准解析

最全的Type-C封装库。含有全功能引脚的24Pin Tpe-C封装、立式SMT、特殊立式USB Type-C封装，经过验证可直接使用。

CX21986_Hi_Res_USB_Type-C_Compliant_Crystal-less_Audio_CODEC

在使用三星手机或者开发周边产品的时候常常会被三星type—C接口的潮湿问题困扰，这里对他的潮湿触发机制进行了测试和解释。

这个工具可以直接将图片中的公式抠出来，粘贴到mathtype中，然后再粘贴到word中，就可以直接用了。粘贴出来的公式的准确度非常高。 用法，直接运行压缩包里的exe文件，注册后，拖入图片，点copy，在mathtype中粘贴即可。

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer. The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursions-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to type. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.