摘要：环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所有环是一个NP完全问题。该文基于全解布尔满足性判定(SAT)算法,设计了一种求解所有小于等于指定步长环的算法。算法基于布尔网络的状态转换函数和状态环属性生成合取范式形式(CNF)的问题集,通过融合冲突子句学习(CDCL)、非时序回退、阻塞子句和变量分类等技术,降低算法的计算复杂度。实验结果表明,该算法能够高效地计算指定步长的环。对于无法计算所有环的复杂网络,指定步长计算环的方式将更有应用价值。

摘要：该文提出了一种基于对称及特征的成对比较的NPN布尔匹配算法,利用变量对称、1阶特征向量及香农分解设计完成了NPN布尔匹配。算法利用具有相同1阶特征向量是两个布尔函数NP等价的必要条件,和具有相同1阶特征是两个变量具有映射关系的必要条件搜索两个布尔函数之间的候选变换并进行验证。对称及特征的使用降低了候选变换搜索的空间,提高了NPN等价匹配的速度。

摘要：基于检测标准中提供的重复性和时间变化的再现性数据,通过对其长期稳定性试验中每个时段内测量结果的精密度和正确度,时段间重复性,时段间总精密度度,总平均值的正确度进行检验,可对分析仪器按照该检测标准进检测的长期稳定性进行系统评价,其本质是监控分析结果的精密度和正确度。然而,实验室大量没有上升为检测标准的检测方法,即所谓的非标方法,因缺乏重复性及室内再现性数据,无法按照上述方法直接进行长期稳定性评价,但通过实验设计,在不同时间段对仪器分别进行校正后测量,可获得非标方法的模拟重复性限和模拟室内再现性限数据。基于模拟重复性限及模拟室内再现性限数据,可对非标分析仪器方法长期稳定性进行准确评价。以辉光放电质谱(GD-MS)测定纯镍中18种杂质元素的非标方法为例,设计一组对比实验,获得非标方法的模拟重复性限及模拟室内再现性限数据,利用卡方统计检验,获得了辉光放电质谱仪测定纯镍样品中B, Mg, Al, Si等18种杂质元素的准确的长期稳定性时间,结果表明在相同的测定条件下,不同元素的长期稳定性不完全相同,大部分元素可稳定持续测量3 h, P, As, V, Sb和Pb等5个元素的长期稳定性时间上限可达6 h甚至12 h。在长期稳定性时间上限内,仪器无需再次进行相对灵敏度因子的测量和校正即可得到准确的测定结果。这一评价结果与实验室实际经验基本一致,表明该实验所提出的系统测量和表征方法能客观反映辉光放电质谱仪的长期稳定性。该方法同样适用于其他非标方法的长期稳定性评价,对实验室大量的非标方法的质量控制具有指导意义。

摘要：针对乳腺超声图像分类中的标签噪音问题,该文设计了一种协作标签修正网络(COLC-Net)。该方法基于乳腺超声BI-RADS评级噪音分布特点,为乳腺超声图像定义了软标签,并设计了双网络协作训练,以蒸馏优秀知识修正软标签。随着软标签准确性的增加,可以降低噪音标签负作用,并增强准确标签知识的学习。与现有最新方法进行比较,结果证实了该方法具有更好的效果。

摘要：根据S盒和布尔函数的相关性,S盒可以看作向量布尔函数.本文在基于布尔函数的NP等价匹配算法的基础上,设计了一个基于深度优先搜索的S盒NPNP等价匹配算法,用于判断两个不同的S盒是否NPNP等价,若等价则同时计算出NPNP变换方式.此算法的深度优先搜索结构基于树,且在进入深度优先搜索之前根据规则仅生成了部分可能存在解的路径,并在计算过程中实时判断以当前结点为新起点的剩余路径是否可能存在解,若不存在就直接剪枝并回溯避免了继续计算的时间开销,故其时间复杂度取决于树结点的个数.不同于仿射变换,本文提出的算法对于判断非可逆S盒是否NPNP等价的计算复杂度与判断可逆S盒是否NPNP等价的计算复杂度一致.实验方面,本文使用现在各个密码算法中常用的S盒进行实验,实验结果证实了本文方法的有效性,且计算过程远远优于直接搜索.

摘要：无锡大剧院斥巨资打造的专业性演出剧院，总占地101．5亩，矗立于蠡湖南岸，处处体现“绿色设计”理念，与江南独有的亲水韵味相融合，也与造型别致的蠡湖大桥相呼应，独树江南城市特质。

摘要：近年来,由于网络技术的成熟与发展,全国各地新建和改建的电视中心、大剧场、体育馆等大型项目,纷纷在其舞台、电视演播室的灯光控制系统中采用以太网络控制技术,灯光控制技术跃上了一个崭新的平台.在新的灯光控制网络系统中,网线、光纤代替了传统的DMX信号线成为系统的主干信号网络,双向的TCP/IP以太网络通信协议将逐步取代单向的DMX-512信号协议成为系统的主流通讯平台协议.

摘要：目前在国内各类文化艺术中心的建设还在热火朝天的进行中，舞台灯光的各种新的技术也在随着剧院的建设纷纷应用，新的设备也日新月异，如灯光控制系统的网络化、综合性多功能的控制台、电脑灯、投影数字灯、LED光源灯具等等。

摘要：克服现有文献中PCR检测方法仅能检测兰氏A群链球菌的局限,建立适用于溶血性链球菌群全族群的荧光PCR快速检测方法,实现与国家标准GB/T4789.11-2003检测范围一致。通过文献搜索以及杆菌肽敏感实验,对国标检验范围进行界定。使用CLUSTALX软件寻找兰氏A、C、G群保守序列并设计特异性引物和探针,同时通过特异性实验、模拟污染实验以及方法比对实验验证该方法的特异性、检出限及可靠性。特异性实验结果表明,该方法能特异扩增兰氏A、C、G群链球菌;模拟污染实验表明,在增菌18h后增菌液最低初始污染菌含量分别为3、50、2CFU/mL时,兰氏A、C、G群链球菌可被检出。110份样品比对实验结果表明与国标检测方法实验结果一致。该方法可应用于食品中溶血性链球菌的快速检测,并可为快速检测溶血性链球菌国家标准的建立提供参考。

摘要：弱电解质的电离平衡是高中化学的重要内容。本文以"变化观念与平衡思想"这一核心素养的形成角度和发展脉络为主线,分析了该模块知识的逻辑架构,注重知识的衔接,基于学习进阶,构建了本主题的教学流程和教学设计,旨在以学生思维发展实际为出发点,设计以核心知识为中心的整体教学新思路。