SPIN

摘要： 针对传统金属天线系统集成度低、性能重构不灵活等问题,设计并制备一种具有高浓度固体等离子体的横向SPiN二极管。测试结果表明,该二极管处于工作状态时,本征区内部等离子体区域呈现类金属特性(载流子浓度超过10^(18)cm^(-3)),可取代金属作为天线基本辐射单元。在此基础上,研究一种基于SPiN二极管的硅基频率可重构单极子天线,通过控制不同二极管单元的导通与截止,实现硅基天线在2.56 GHz和2.68 GHz的两种重构模式,并对天线其他辐射性能进行分析。

摘要： 因通信的同步问题、网络分区的可靠性问题等,分布式系统难以在通信、分区等环节失效的情况下对特定的状态达成共识.Paxos是近年分布式系统中常见且有效的共识算法,本文通过使用模型检测的方法对Paxos算法进行形式化建模,分析和验证了Paxos作为共识算法所应当满足的性质,结果表明,Paxos算法满足安全性、活性,但执行过程中有发生活锁的可能,并通过模型检测器重现了算法发生活锁时的运行轨迹.最后通过对算法进行改进,以应对现有算法执行过程中可能出现的活锁问题,并通过了模型检测器的验证.

摘要： According to the characteristics of manifold and the double helix structure of spacetime, four coordinate systems are established as reference frames. The grand parity principle and the general exclusion principle are proposed. The minimum action distance of electromagnetic force is obtained and the structure of intrinsic space of particle is studied. The stability of particle reaction, the reason for only three generations of leptons and the spatial significance of the electroweak equivalence are discussed by using the two principles and the four coordinate systems. The behavior of boson including condensation is described in terms of spatial structure. Finally, we suggest that symmetry between the field excited by charge and the field excited by mass should be further investigated.

摘要： Building a bridge between properties and structures has always been the key focus of any materials research.Nowadays,energy storage materials,especially lithium-ion batteries,are crucial both in daily life and for the research community.Therefore,there is an urgent need to discover the functionality origin of battery performances to improve and design better material systems.Functionality originates from local symmetry and field.Local symmetry can be described by four fundamental degrees of freedom:lattice,charge,orbital,and spin.On the basis of this,detailed descriptions of the battery's properties in terms of lattice,charge,orbital,and spin are presented from the perspective of frontier transmission electron microscopy in this review.Besides,frontier in situ methods are introduced to record the dynamic structural evolution process during the battery cycle.Future discussion from the perspectives of both materials and characterizations is provided at the end of this review.

摘要： Single atom catalysts(SACs)are constituted by isolated active metal centers,which are heterogenized on inert supports such as graphene,porous carbon,and amorphous carbon.The thermal stability,electronic properties,and catalytic activities of the metal center can be controlled via manipulating the neighboring heteroatoms such as nitrogen,oxygen,and sulfur.Due to the atomical dispersion of the active catalytic centers,the amount of metal required for catalysis can be decreased.Furthermore,new possibilities are offered to easily control the selectivity of a given transformation process as well as to improve turnover frequencies and turnover numbers of target reactions.Among them,Fe–N–C single atom catalysts own special electronic structure,and have been widely used in many fields of electrocatalysis.This review aims to summarize the synthesis of Fe–N–C based on anchoring individual iron atoms on carbon/graphene.The spin-related properties of Fe–N–C catalysts are described,including the relation between spin and electron structure of Fe–N x as well as the coupling between electronic structure of Fe–N x and electronic(orbit)of CO_(2),N_(2)and O_(2).Next,mechanistic investigations conducted to un-derstand the specific behavior of Fe–N–C catalysts are highlighted,including C,N,O electro-reduction.Finally,some issues related to the future developments of Fe–N–C are put forward and corresponding feasible solutions are offered.

摘要： M701F燃气轮机停机后,由SFC带动机组升速至710r/min左右,维持该转速运行,此操作称为高速盘车.本文系统阐述了高速盘车的作用、高速盘车投入有哪些限制条件、机组停机后高速盘车冷却投入的原则以及SPIN与GT SPIN COOLING的区别和联系等,结合笔者工作实际表明,高速盘车是燃气轮机系统重要组成部分,我厂机组长期运行以来很少执行GT SPIN COOLING,而SPIN执行情况较多,多用于离线水洗,或机组启动前试运.

摘要： 针对现代通信技术的快速发展对天线的智能化和高集成提出越来越高的需求,设计并制备了一种基于S PiN二极管的硅基固态等离子体可重构天线,S PiN二极管作为天线基本辐射单元设计在高电阻率的硅衬底上,通过施加合适的正向偏压在本征区内部形成固态等离子体区域,从而有效提升了天线系统集成度和动态可重构能力.仿真与实测结果表明,二极管本征区内部固态等离子体浓度超过了1018 cm-3,基于优化S PiN二极管的新型高集成可重构单极子天线通过控制天线不同单元的导通与截止实现了谐振频率在8.83 G H z和9.71 G H z的两种工作状态,在不同模式下的最大增益分别达到了2.04 dB和1.68 dB.天线其他辐射参数也表现出良好的性能,为高性能可重构天线的设计和应用提供了一种新方法.

摘要： With the creation of logic gates and algorithms for quantum computers and entering our lives, it is predicted that great developments will take place in this area and important efforts are made. Spin rotation processors are quantum mechanical rotation processors and have no classic counterparts. The rotation operators of spin 1/2 are well known and can be found in related textbooks. But rotation operators of other spins greater than 1/2 can be found numerically by evaluating the series expansions of exponential operator obtained from Schr?dinger equation, by evaluation of Wigner-d formula or by recently established expressions in polynomial forms discussed in the text. In a previous paper, rotation operators for spins 1/2 to 2 were published. In this work, explicit symbolic expressions of x, y and z components of rotation operators for spin 5/2, 3 and 7/2 are worked via exponential operator for each element of related spin operators and utilizing simple linear curve fitting process. The procedures gave out exact expressions of each element of the rotation operators.

摘要： 10月8—9日,SPINEXPO^(TM)上海B2B商务展示活动如期举行。虽然因疫情不得不取消展会,但面对展商和买家的强烈需求,主办方坚信面对面的交流才是推广纤维和纱线最好的方式,并克服种种困难打造了一场别开生面的B2B商务展示活动。

摘要： SPIN是一种问答技巧,通过设定问答的方式和所提问题的类型来引导消费者发现需求并确认自己的需求。恐惧诉求是在广告中展示一个可怕的情景,来唤起受众的焦虑和不安,在认知上产生失谐,进而指出恐惧情景可以通过使用产品或服务来解除。文章通过分析二者的相同之处,提出在营销活动中进行恰当的整合使用的必要性。

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 模型检测技术应用于操作系统中具有复杂接口的模块还存在检测模型难以建立的问题。本文提出了一种Linux内核调度器的模型系统，包括以Linux内核调度器触发条件为基础构建的调度器外围环境模型，和将Linux调度器C源代码直接转化为Promela描述的调度器模型。实验中构建了Linux2．6．11进程调度器的检测模型，并在Spin中实现了对模型系统的模拟仿真和错误检测。结果表明，文中提出的模型系统有效地解决了针对具有复杂接口的操作系统内核模块建立检测模型的问题。

摘要： 组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行为协议转换为Promela的方法，使用模型检验工具SPIN进行检验。可以有效地对组件组合进行分析与验证。

摘要： 组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行为协议转换为Promela的方法，使用模型检验工具SPIN进行检验。可以有效地对组件组合进行分析与验证。

摘要： 组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行为协议转换为Promela的方法，使用模型检验工具SPIN进行检验。可以有效地对组件组合进行分析与验证。

摘要： 组件技术是目前软件开发的主流技术，而如何验证组件组合的正确性是一个值得关注的问题。使用行为协议建模组件组合，结合例子研究将行为协议转换为Promela的方法，使用模型检验工具SPIN进行检验。可以有效地对组件组合进行分析与验证。

摘要： 本发明公开了SPIN1促进非小细胞肺癌肿瘤的生长。本发明提供了SPIN1蛋白及用于促进其表达的物质在如下任一中的应用：制备用于促进非小细胞肺癌细胞迁移和/或增殖的产品；或者制备用于促进非小细胞肺癌肿瘤生长的产品。实验证明，SPIN1与非小细胞肺癌患者的整体生存率和预后密切相关。SPIN1能够明显促进非小细胞肺癌细胞系的迁移和增殖，并能够促进非小细胞肺癌肿瘤的生长。因此，SPIN1有可能成为治疗非小细胞肺癌患者预后的新的生物标志物和靶标。

摘要： 本发明公开一种偶极子天线中的具备SiO2保护层的SPiN二极管的制备方法，其中，所述可重构偶极子天线包括：SOI衬底、第一天线臂、第二天线臂和同轴馈线；所述第一天线臂和第二天线臂包括多个具备SiO2保护层的SPiN二极管串，所述SiO2保护层的SPiN二极管串由依次首尾相连的SiO2保护层的SPiN二极管构成，所述具备SiO2保护层的SPiN二极管的制造方法包括：选取SOI衬底；形成有源区沟槽；对所述有源区沟槽利用原位掺杂工艺分别淀积P型Si材料和N型Si材料形成P区和N区；光刻引线孔并金属化处理以形成所述具备SiO2保护层的SPiN二极管；本发明提供的具备SiO2保护层的SPiN二极管可用于高性能可重构偶极子天线的制备。

摘要： 在使用了半导体的自旋传导元件中，与现有的GMR元件或TMR元件相比，存在元件电阻变大，并且难以获得大的磁阻比问题。本发明涉及一种磁阻效应元件，其特征在于：具备半导体通道层3、被设置于半导体通道层3上的第1强磁性层12A和与第1强磁性层12A分开设置的第2强磁性层12B、与第1强磁性层12A以及第2强磁性层12B分开设置的非磁性的第1参考电极20，电流经由半导体通道层3从第2强磁性层12B被输入到第1强磁性层12A，并输出第2强磁性层12B与第1参考电极20之间的电压。

摘要： 本发明涉及一种基于SPiN二极管的频率可重构套筒偶极子天线制备方法。该方法包括：在半导体基片上按照天线的结构特征制作SPiN二极管；采用半导体工艺将多个SPiN二极管的P+接触区及N+接触区依次串接形成多个SPiN二极管串；制作连接SPiN二极管串与电源的直流偏置线；采用半导体工艺对SPiN二极管串进行制作形成SPiN二极管天线臂、第一SPiN二极管套筒及第二SPiN二极管套筒；制作同轴馈线以连接SPiN二极管天线臂、第一SPiN二极管套筒及第二SPiN二极管套筒最终形成天线。通过金属直流偏置线控制SPiN二极管导通时形成的等离子天线臂及套筒长度以实现天线工作频率的可重构。本发明的天线具有易集成、可隐身、频率可快速跳变的特点。

摘要： 本发明涉及一种用于可重构偶极子天线的GaAs/Ge/GaAs SPiN二极管串的制备方法，所述可重构偶极子天线包括GeOI衬底、天线臂、同轴馈线和直流偏置线，所述天线臂由多个GaAs/Ge/GaAs SPiN二极管串构成，所述GaAs/Ge/GaAs SPiN二极管串的制备方法包括：选取GeOI衬底；刻蚀所述GeOI衬底的顶层Ge层以形成第一沟槽和第二沟槽；在所述第一沟槽和所述第二沟槽内淀积GaAs材料；对所述第一沟槽内的GaAs材料进行P型离子注入形成P型有源区，对所述第二沟槽内的GaAs材料进行N型离子注入形成N型有源区；在所述P型有源区和所述N型有源区表面形成引线孔并溅射金属形成GaAs/Ge/GaAs SPiN二极管依次首尾相连构成的所述GaAs/Ge/GaAs SPiN二极管串；本发明实施例能够制备适用于高性能天线的GaAs/Ge/GaAs SPiN二极管串。

摘要： 本发明涉及一种用于环形天线的GaAs/Ge/GaAs异质SPiN二极管的制备方法，该制备方法包括：选取GeOI衬底；刻蚀所述GeOI衬底的顶层Ge层以在所述顶层Ge层内形成第一沟槽和第二沟槽；在所述第一沟槽和所述第二沟槽内淀积GaAs材料；利用离子注入工艺对所述第一沟槽内的GaAs材料进行P型离子注入形成P型有源区，对所述第二沟槽内的GaAs材料进行N型离子注入形成N型有源区；在所述P型有源区和所述N型有源区表面形成引线孔并溅射金属形成所述GaAs/Ge/GaAs异质结构的SPIN二极管。本发明实施例利用深槽隔离技术及离子注入工艺能够制备并提供适用于形成固态等离子天线的高性能基于GaAs/Ge/GaAs异质SPIN二极管。

摘要： 本发明公开了一种基于SPIN模型的实时三维重建方法和系统；该系统包括：图像接收模块：接收来自远程摄像模块的RGB图片；图像预处理模块：对RGB图片进行归一化和标准化处理；神经网络模块：使用预处理后的图片信息生成SMPL模型参数；结果后处理模块：对模型参数进行改写和封装，使其适合网络传输；结果传输模块：将后处理的人体模型参数传输给VR客户端。本发明通过引入堆叠沙漏模型并使用重投影损失和人体着装差异化损失，有效地提升了不同人体体型的重建效果。同时本发明对模型进行轻量化改造，通过仔细设计数据格式使得模型在网络环境满足实时性要求。

摘要： 本发明公开了一种基于MM32SPIN360C的BLDC驱动系统及方法，其系统包括360C微控制器、用于电压转换的运放模块、用于保护驱动板使能模块、用于显示电机状态的信号指示模块、用于传输霍尔硬件信息的霍尔检测模块、用于驱动电机的全桥驱动模块和电机；360C微控制器输入端分别与运放模块输出端、使能模块输出端、信号指示模块输出端和霍尔检测模块输出端相连接；360C微控制器输出端与全桥检测模块输入端相连接；全桥检测模块输出端与电机相连接。本发明通过霍尔检测方式直接检测电机转子位置，从而进行准确的换相以及转速计算，同时将速度进行输出，用户可以通过直接输入PWM的形式实时的控制无刷电机，使用简单明了。

摘要： 本发明提供一种基于NAND‑SPIN的存内计算加速方法，提出利用NAND‑SPIN，构建一种低功耗、多模态、具有存内逻辑计算功能的存储阵列，以期达到计算加速和节省存储空间的设计目的。存内计算加速方法包括有存内数据存储和存内逻辑运算两个阶段。在执行存内逻辑运算过程中，通过在存储器中实现逻辑运算的结果重构进行存内逻辑运算。在执行存内逻辑运算时，需构建包括以下模块的整体架构：源操作数阵列，用以存放需要进行逻辑计算的源操作数；逻辑运算结果数据块，用以存放逻辑运算结果；通用处理器，用以计算逻辑运算结果。

摘要： 本发明公开了一种基于Spinning disk的全光学图像扫描显微装置，该装置激光器、第一转盘、分束镜、第二转盘、第三透镜、样品、相机；其中，第一转盘设有N个第一透镜，且第一转盘与第二转盘之间的距离等于第一透镜的焦距；第二转盘设有N个针孔板，第二转盘的针孔板与第一转盘的第一透镜一一对应；每个针孔板的下方设有一个第二透镜，且针孔板的上表面到第二透镜中心的距离等于第二透镜的焦距，其中，第二透镜的焦距等于第二透镜的半径除以荧光光线入射角的正切值；第二透镜中心到第三透镜焦点的距离等于第二透镜的半径除以荧光光线入射角的二分之一的正切值。本发明无需将样品图像进行缩放，从而减少图像的处理时间，进而提高图像的采集效率。