摘要：本发明提出一种Cache一致性协议软件模拟验证方法,该方法是软件模拟验证可通过人工方式撰写约束模型同时进行带约束的伪随机测试，对于特定的目标进行验证，并反馈协议的正确性与缺陷。基于软件模拟的方法，首先确定基于扩展型Cache?Coherence协议的多级一致性描述方式，然后实现一种软件模拟验证的方法并统计覆盖率和进行错误汇报。本方法可以有效验证多状态空间下多级域的Cache?Coherence一致性协议，使得协议表实现逻辑上建立对应关系，并通过全局检查器判定系统依照协议表的状态迁移是否符合一致性定义，并初步判断依照该协议表构建的模型是否具有期望的性质。该模型系统的显著优点在于它能自动生成反例，用来帮助调试系统的错误，用于加速系统诊断和调试。

摘要：本发明提出了一种认知无线传感器网络跨层协议设计方法。本设计以合理进行资源分配、提高服务质量、节约能耗为目的，从跨层的方式出发，在网络的更高层做出规划，帮助路由、资源分配以及调度做出更好的决策,节点获取当前网络的状态以后，MAC层会自动改变节点的睡眠时间；在获取网络和链路状态后，物理层可以通过改变发送速率、发送能耗和编码方式来适应对应用的需求。同时可以实现逻辑上并不相邻的协议层次间的设计互动与性能平衡，支持网络能量管理的优化，提高网络的实用性和可行性，能够通过层间的交互，满足网络的应用的高吞吐量、低延迟等要求，达到优化全网性能的目标。

摘要：本发明提供一种互补码键控解码的电路择优方法，互补码键控的译码电路设计的规模和速度的优化通过编码规律简化为基本的乘加逻辑运算单元实现，对基本乘加逻辑运算单元进行组合，控制改变数据进出基本乘加逻辑运算单元的顺序，根据时钟要求，增减单位时间内基本运算逻辑单元的使用数量，在不同时钟周期内，重复利用同一基本乘加逻辑运算单元，对于速度要求苛刻的设计，增加基本乘加逻辑运算单元的规模，增加每个时钟周期运算结果的数量，对于成本要求苛刻的设计，减少基本乘加逻辑运算单元的规模，减少每个时钟周期运算的结果数量，在低的时钟和功耗条件下完成互补码键控的译码实现。以较小的电路规模和功耗高速高效的实现互补码键控译码部分电路设计。

摘要：本发明提供一种PCI-E接口固态硬盘控制器的设计方法，固态硬盘控制器整体设计采用SOC架构，所有功能由FPGA完成。采用嵌入式处理器软核作为主控制器，利用FPGAIP核，并设计实现NANDFLASHONFi控制器。PCI-E控制器核作为高速串行传输接口，实现高速传输。嵌入式处理器模块负责NANDFlash的读写控制与SCSI协议命令之间的转换，提高访问效率。控制器完成NANDFLASH存储管理和纠错算法。对于主机端的文件系统而言，固态硬盘控制器作为基于块的NAND文件系统结构，具有结构简单和通用性高的特点，具备可编程、设计灵活性、设计周期短、可在线升级和二次开发等优点，拥有快的构建方式，较低的实现成本。SCSI的通用性和兼容性，可以作为普通盘符，即插即用。

摘要：一种互补码键控译码电路，涉及解码领域，合理的对互补码键控解调和译码，使互补码键控译码装置有良好的可扩展性，包括数据采样接收模块、互补码键控解调模块、寄存比较模块和状态控制器，本发明对接收到的CCK符号进行采样，并转换为码片；并对所述码片按照CCK编码调制规则进行相位旋转，遍历所有相位取值，利用相位取值对接收的码片进行相关，获得相关值；暂存相关值，获得最大相关峰和最大相关峰值所对应的相位取值；在遍历所有相位取值后，输出所述最大相关峰和最大相关峰值所对应的相位取值，清除暂存的所有相关值、最大相关峰和最大相关峰值所对应的相位取值。本发明使得电路的规模和速度得到优化，适合大规模电路的模块化设计。

摘要：本发明提供一种基于模糊控制的动态电压调节设计方法，利用模糊逻辑在处理具有不确定信息时的特点来实现维持用户满意度的同时尽可能多的降低频率和电压，从而控制功耗，要实现以用户的满意度为指标来优化系统，包括以下两个问题：用户满意度的测量，电压调节方法，其中：对于用户满意度测量的问题，是基于系统视频输出动态测量用户可感知的性能来实现和比较用户的满意度，通过基于用户满意度的电压调节算法设计，在一定样本的用户体验实践并统计系统功耗。在人机交互环境下选取OpenOffice?Word应用程序进行文字处理。实践验证可随机在各类人群中选取200人作为调查对象，分别让他们在没有电压调节时以及本设计的DVFSBFL算法实现下对比测试者对Word应用程序的满意度和功耗情况，对比参照系统进统计分析，最后可以将得到本发明的动态电压调节优势。

摘要：本发明公开了一种用于晶硅太阳能电池背电场的铝浆及其制备方法。其包含的组分以及相应重量份数如下：铝粉70‑80 份；玻璃粉1‑5 份；有机载体15‑25份。其中有机载体的重量组份为：松油醇50‑70 份；乙基纤维素3‑10 份；丁基卡必醇醋酸酯0‑5 份；丁基卡必醇10‑12 份；柠檬酸三丁酯5‑10 份；酚醛树脂0.1‑5份；聚酯树脂 0‑3 份；卵磷脂 1‑5 份。玻璃粉的组分及其重量份分别为：BaO，0‑30 份；ZnO，0‑25 份；Bi₂O₃，30‑60 份；B₂O₃，10‑30 份；K₂O，0‑1 份；TiO₂，0‑5 份；MgO，0‑3 份；V₂O₅，1‑20 份；PbO，0‑30 份。将铝粉、玻璃粉以及有机载体按比例混合均匀，然后采用三辊研磨机研磨至其细度为5‑15μm，粘度为35‑45Pa·s。本发明能够促进晶硅电池背面电场的形成，在减少铝浆的印刷湿重的条件下依然可以获得良好的光电转化效率，从而使电池片的翘曲度降低。

摘要：本发明实施例公开了一种销毁SSD硬盘数据的方法，在SSD硬盘初始化时，根据用户输入的指令在SSD硬盘的预设位置设置密钥，用于对写入SSD硬盘的数据进行加密处理，然后保存至FLASH芯片中，当销毁SSD硬盘中的存储的数据时，直接将密钥进行删除。避免了传统依次擦除每一块FLASH芯片进行销毁数据的方法，大大的提高了SSD硬盘数据销毁的效率，有效的避免了数据外泄，从而保证了数据的安全性。此外，本发明实施例还提供了相应的实现装置，进一步使得所述方法更具有实用性，所述装置具有相应的优点。

摘要：本发明公开了一种检测阴虚上火体质中血清特异蛋白的试剂盒，属于血清生物学标志物领域。所述试剂盒包括包被抗补体蛋白C9抗体的酶标板、包被抗血清白蛋白抗体的酶标板、补体蛋白C9的蛋白标准品、血清白蛋白的蛋白标准品、补体蛋白C9的生物素标记抗体、血清白蛋白的生物素标记抗体。该试剂盒采用补体蛋白C9和血清白蛋白作为诊断标志物，并通过测定补体蛋白C9和血清白蛋白的浓度，鉴别阴虚上火体质，将中医证候的诊断与系统生物学有机结合，为现代生物学解释中医的阴虚上火提供了实验依据，从而反映阴虚上火的生物学基础；并且该试剂盒诊断的敏感度达到81.2％、特异性达到92.3％，具有较高的准确性，操作简便。

摘要：本发明实施例公开了一种异构计算平台的电源管理方法、装置、设备及计算机可读存储介质。其中，方法包括通过主机的电源状态判断主机的工作状态，当主机处于休眠状态，发送关闭与主机相连的各设备组件电源的指令；当主机处于工作状态且各组件设备的电源呈现关闭状态，发送开启与主机相连的各设备组件电源的指令；其中，设备组件可包括FPGA加速卡、CPLD、闪存。本申请提供的技术方案根据主机的工作状态对各外接设备组件的电源状态进行控制，有业务需求处理时，才唤醒各设备组件并进行供电，实现了各外接设备组件的节能设计，大大的节省了外接设备组件的耗电，有效的降低整个异构计算平台的能耗，从而有利于提升异构计算平台的性能。