经济研究课题的选择

经济研究成败的关键是选择课题。经济课题的选择须根据客观需要与具体的内容和条件相适应。可采用浏览捕捉、追溯验证等方法进行选择。     

基于SAVI的IPv6校园网源地址验证方案及其实现

接入网源地址验证技术SAVI是实现网络端系统IP地址一级的细粒度的源地址验证技术.基于SAVI技术,研究并实现了IPv6校园网的源地址验证方案.在校园网IPv6试验网的测试应用中,该方案有效实现了真实源地址验证,可从源头上保证接入网络的安全性.     

基于耦合辅助信息的矩阵分解和靶向GPCRs的配体活性预测方法

G蛋白偶联受体(GPCRs)是人类最重要的药物靶点,目前市场上大约34％的现代药物都以GPCRs作为靶点.在药物发现过程中,配体生物活性的准确预测对于筛选苗头化合物至关重要.对单个GPCR任务来说,通过实验得到生物活性的配体数量十分有限,若将多个GPCRs任务放在一起通过矩阵分解进行学习,可以利用GPCRs任务间的关联...     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

基于FPGA的IP仿真验证平台

IP（集成电路知识产权芯核）的仿真和硬件验证是IP开发中不可缺少的环节．文中基于FPGA（现场可编程门阵列）开发了一个IP仿真验证平台,并使用PCI（外部设备互连）总线来测试IP．用户只要将自已设计的IP插入所开发的仿真验证平台,就可以方便地对IP进行测试．文中还对所设计的平台进行了软件仿真,以验证其功能,并在载有Xilinx Spartan-3 600E FPGA的PCI插卡上进行上板调试．结果表明,所建立的基于FPGA的IP仿真验证平台可以对IP进行有效的仿真和验证,并具有良好的稳定性和实用价值．     

超分辨率复原技术中基于分级块匹配的运动估计

超分辨率复原技术中的运动补偿(或图像配准)是超分辨率复原过程中的首要环节.运动补偿的基本前提是运动估计问题.运动估计的方法中,在基于多目标场景的平移运动中多采用分级块匹配的方法.本文着重介绍了分级块匹配的方法极其可信度验证,并将其优缺点做了简单对比.     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

吴茱萸不同产地加工方法HPLC指纹图谱及多成分含量比较

目的:评价不同产地加工方法的吴茱萸药材质量,为吴茱萸的产地加工方法及工艺参数提供参考.方法:采用高效液相色谱法建立吴莱萸药材指纹图谱共有模式及不同产地加工方法吴茱萸药材指纹图谱,进行比较,并且对吴茱萸碱等5个成分进行含量测定,综合评价药材质量.结果:不同加工方法的吴茱萸药材与吴茱萸药材共有模式相比,指纹图谱相似度均在0...     

支持多优先级的高速crossbar调度器的设计与实现

为了在高速交换中提供具有服务质量保证的调度器,提出了基于p—iDRR算法的调度器的FPGA实现方案。通过简化调度流程和使用流水线设计方式,使得调度器简单、高速、硬件易实现,并具有良好的性能。采用Xilinx公司的xc2v3000—6bg728芯片实现了支持2个优先级的crossbar调度器,能够支持16个2．5Gb／s的高速端口。另外,提出了一种软件仿真和硬件仿真相结合的验证方案,用于调度器功能的验证。     

3种不同抑菌性的耳用制剂微生物限度检查方法验证及应用

目的探索3种不同抑菌性的耳用制剂微生物限度检查方法.方法依据2015版《中国药典》第四部通则1105、1106及1107中,需氧菌总数、霉菌与酵母菌总数及控制菌的检查法做验证.结果微生物计数法验证试验中,试验组的5种添加菌回收比值均在0.5～2限度内;控制菌均能被检出.结论通过对3种不同抑菌性的耳用制剂微生物限度检查方...