摘要：为了探究数字化技术背景下壮族服饰文化现代化应用设计的高效化、多元化方式。收集并选择出具有代表性的广西壮族服饰文化样本,利用眼动技术将壮族刺绣中的代表性基因筛选出,得出文化基因编码对象,从纹样、色彩两个方面进行文化基因编码,再基于交互式遗传算法对文化基因进行再造表达。生成新的图案,最后使用其进行现代设计。通过交互式遗传算法,构建相对客观化、清晰化的文化基因现代化设计体系,并设计出具体产品证明方法的可行性。以壮族服饰文化创新研究为例,提出了传统文化元素参数化设计研究方法,一方面,可以满足设计师源源不断的创意需求;另一方面,对壮族服饰文化的传承和发展具有重要意义;为传统文化元素的现代化设计研究提供了新思路。

摘要：采用第一性原理计算方法研究了C,Pd元素掺杂及点缺陷MoS_(2)/ZnO异质结的电子结构、光学性质及光催化性能.计算结果表明,本征MoS_(2)/ZnO异质结具有0.66 eV的直接带隙,带边位置呈现Ⅱ型能带排列.掺杂和缺陷可以有效减小MoS_(2)/ZnO异质结的带隙,Pd@Zn为磁性半导体,V_(Mo)和V_(Zn)体系具有磁性半金属特性.掺杂和缺陷使MoS_(2)/ZnO异质结禁带之中出现杂质能级,有利于电子跃迁,吸收范围扩展至红外波段,在可见光范围(500~760 nm)内的光吸收系数提高.本征、掺杂与缺陷MoS_(2)/ZnO异质结体系界面处均存在由ZnO层指向MoS_(2)层的内建电场,促使本征MoS_(2)/ZnO异质结,C@S_(2),Pd@Zn,V_(S1),V_(S2)和V_(O)体系形成直接Z型异质结,促进了光生电子-空穴对的有效分离.异质结的带边电位跨过pH=0和7时的氧化还原电位,表明这些异质结可以在强酸溶液与中性溶液条件下进行氧化还原反应,且载流子具有较强的氧化还原能力.研究结果为基于MoS_(2)/ZnO异质结的设计提供了理论参考.

摘要：粒子输运非确定性模拟是高性能计算机的主要应用之一,在国民经济建设和国家安全领域具有重要作用。当前核数值模拟、核反应堆设计与航空航天等实际应用对高精度粒子输运非确定性模拟存在迫切需求,其加速方法逐步成为高性能计算领域的研究热点。针对近年来涌现的众多研究成果,首先介绍了粒子输运非确定性模拟的基本原理;其次给出粒子输运模拟程序的基本流程和伪代码;再次对软件加速方法以及基于硬件加速技术的最新研究成果进行了概述;最后基于体系结构模拟器提取的程序特征,讨论了粒子输运模拟所面临的主要挑战,并结合相关研究工作对今后的研究方向进行了展望。

摘要：Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of ***,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for ***,little attention has been concentrated on extraction of minimum unsatisfiable *** this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the ***,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.

摘要：聚丙烯(PP)绝缘电力电缆的应用符合低碳环保节能理念,是推动电缆行业向“双碳”目标迈进的有力支撑。在PP绝缘中压电缆实现应用的基础上,成功自主研制了110kVPP绝缘电缆。为了对其应用可行性进行评估,以现有110kV交联聚乙烯(XLPE)绝缘电缆产品及试验标准GB/T11017—2014为参考,分别对PP绝缘和XLPE绝缘的110kV电缆电气性能进行试验验证对比。试验验证结果显示所研制的800mm2规格110kVPP绝缘电缆(PP绝缘厚度设计为16mm)通过工频裕度电压试验和冲击裕度电压试验的验证且电气裕度较大,800mm2规格110kVPP电缆系统通过电气型式试验,电气性能指标全部满足标准要求。由此表明,110kVPP绝缘电缆系统在高压输电领域具有较好的应用性且应用潜力较大。

摘要：[目的]利用CRISPR/Cas9技术对猪内源性逆转录病毒(PERV)进行编码区的大片段敲除,获得PERV敲除的阳性PK15单克隆细胞系。[方法]通过对巴马小型猪基因组进行高通量测序,获得PERV高度保守序列,再根据CRISPR/Cas9的构建原理,设计2个gRNA,并将其同时整合入含有PB转座子的可表达Cas9蛋白的载体中,即PB-CAG-2×gRNA-Cas9载体。然后以电转方式将打靶载体转入PK15细胞中,并通过药物(G418)筛选方法筛出单细胞克隆。通过PCR鉴定,挑出阳性克隆,并将其传代扩大获得细胞系。[结果]酶切、测序验证了载体PB-CAG-2×gRNA-Cas9的正确性,PCR结果显示7株单克隆细胞系均有约3600bp的PERV大片段敲除。[结论]构建了PERV敲除的基因打靶载体PB-CAG-2×gRNA-Cas9,并利用该载体成功打靶获得了7株PERV大片段敲除的PK15细胞系。

摘要：作为重要非遗的薅草锣鼓等传统农作音乐,除了其音乐、艺术、语言等专业层面的价值及活跃劳动气氛、提高劳动效率、祈盼风调雨顺等功效,在其简单粗犷的形式中积淀了丰富的历史文化信息,而且蕴含着深厚、具有重要价值的时代精神,尤其值得重视的是个体小农经济条件下,"更互力田"、通力合作的传统,通过助工、换工等途径实现互助方式的长期延续。不仅在山区,亦不止于粗放的刀耕火种农作方式。始初的薅草锣鼓不是孤立存在的艺术形式,必须与互助的集体劳作相结合方有用武之地,此乃薅草锣鼓突出的特征之一,对于认识传统农耕技术、农业经济发展等,均具有重要意义。

摘要：低压配电网是电力物联网(EPIoT)最核心应用场合,智能低压配电网应实现向电力物联网的自然延伸。为此,现有低压配电网数据采集与自动化系统要发展成云-边缘节点-边缘设备的体系架构,而作为核心边缘节点的配变终端(TTU)必须具备快速迭代能力,以实现新旧多种业务的边缘融合和云边协同。为此,首先对支撑边缘节点的容器技术等关键技术进行了分析;然后提出配变终端边缘节点化和容器化的关键实现技术,包括硬件平台、软件架构、容器部署及交互、容器管理和云边协同等。最后,新增一种提出的低压回路监测终端(CTU),对配变终端新型应用场景进行了设计,从而论证了配变终端边缘节点化和容器化的必要性。

摘要：解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.

摘要：当前在大规模并行计算机中,多数并行程序的用户习惯于使用虚拟地址进行编程.因此,虚拟地址与物理地址之间的转换效率直接影响了并行程序的执行性能,而cache能够有效地提高虚实地址转换的效率并降低延迟.提出了一种在大规模并行计算机互连网络中的地址转换cache.它采用了嵌入式DRAM(embedded dynamic random access memory,eDRAM)存储器,容纳更多的地址转换表项,从而提高命中率.并设计一种eDRAM刷新机制,隐藏了刷新操作,避免刷新导致的性能损失.ATC(address translation cache)中实现了诸如纠错码与旁路机制等多种可靠性设计.在32个计算结点上运行业界公认的NPB测试程序,结果显示32个结点中ATC的平均命中率达到了95.3%,表明ATC设计的正确性与高性能.并且通过与3种传统SRAM(static random access memory)实现的cache进行对比实验,说明了cache容量是提高命中率的关键因素.