关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

面向乳腺超声的跨模态注意力网络

B型超声和超声造影是乳腺诊断中最常见的多模态数据,克服现有研究中广泛存在的肿瘤区域标注难、模态间关系剥离难、模态融合特征冗余的问题,能有效提升联合模态乳腺肿瘤诊断的准确率。该文提出了一个面向乳腺超声的跨模态注意力网络。该网络以双分支为基础结构。堆叠双模态数据分支能隐式地建立模态间的关系,同时提取单双模态数据特征。超声造影分支在缺乏手工标注的情况下,利用跨模态注意力模块,关注时空上的造影特征。最后利用压缩通道融合子网将两个分支融合,最大程度利用特征并降低模态融合特征冗余。在乳腺超声数据集BUS＿Dataset上的实验表明,该网络优于现有乳腺肿瘤诊断方法。通过多项指标分析,该方法对乳腺肿瘤诊断具有较强的指导意义。     

基于NS2的网络拥塞控制算法实验仿真与分析

针对网络资源需求大于可用资源引发的网络拥塞,进而导致网络服务质量(Quality of Service,QoS)下降的问题,在分析网络拥塞控制算法的基础上,利用NS2仿真软件设计并仿真了不同类型的网络拓扑.仿真结果表明Vegas算法在同构型网络环境下具有高平均吞吐量和低时延、无丢包性能,Tahoe、Reno、Newre...     

基于改进的基本效应法的网壳结构构件重要性分析方法

现有的网壳结构构件重要性计算方法仅考虑单根构件损伤或失效对结构的影响,未考虑构件间的相互作用和损伤的随机性。为解决这一问题,首先将基本效应法应用于构件的重要性判定中,定义了适用于网壳结构的基本效应;其次,将构件分为重要构件和一般构件两类,提出试算与正式计算结合的双阶段判定方法,以提高确定重要构件的计算效率;提出基于优劣解距离法的重要性排序方法,以确定重要构件内部的相对重要性排序;由此,进一步提出了基于改进的基本效应法的网壳结构构件重要性分析方法。此外,为减小改进的基本效应法的计算量,提出适用于该方法的修正径向抽样方法。凯威特型球面网壳数值算例分析结果表明：与现有方法相比,采用该方法确定的重要构件进行抽样检测鉴定时,评定网壳极限承载力的估计误差显著降低。     

汉语科技术语中的潜在歧义

汉语术语的PT结构和SF结构之间,一般不存在严格的一一对应关系.在计算机和人理解汉语术语的时候,如果一个PT结构对应于一个以上的SF结构,就可能产生歧义.这种歧义是潜在的,所以,叫做潜在歧义.本文以计算机科学中的术语为实例,分析了汉语科技术语中的十一种潜在歧义结构.这就是独具中国特色的"潜在歧义论"(Potential Ambiguity Theory,PA论).     

有限FI代数的矩阵表示

将矩阵半张量积理论应用于FI代数系统的描述,给出了FI代数的矩阵表示,并借助于此矩阵表示研究了FI代数的同态、同构及其上导子的相关结构的性质。同时,利用逻辑矩阵运算获得了检测上述性质的直接可验证条件。     

中外专利审查中新颖性的判定比较研究

在各国发明专利审查的过程中,新颖性判定直接影响到专利的科技效果,是否考虑创新性不同国家也采取了不同的标准。不同发展时期,新颖性判定标准也在不断地演变,只有真正适合的才是最有效的。本研究介绍了目前各国新颖性判定的异同和国内专利审查新颖性的改进措施,论述了在专利审查实践过程中对新颖性判定的具体把握。     

局部外观设计制度对比研究

局部外观设计是一项在美国、日本、韩国和欧盟等国家和地区相继建立起来的重要的专利制度,我国在2020年的专利法修改中增加了局部外观设计制度。本研究通过立法、申请和授权及侵权的判定等方面,将我国的一些已有实践和标准与美国、日本、韩国等国家局部外观设计制度的对比,分析和探讨其中的异同,以期中获得一些对我国今后实施局部外观设计的有利经验。     

互模拟与非良基集合

描述两个系统的行为等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。互模拟有3个发源地,我们只从集合论这个角度来探究互模拟的起源。当人们把研究领域扩展到非良基集合时,通常的外延公理在判断非良基集合相等方面已显得无能为力,因此必须寻找新的更强的标准来断定集合的相等性,互模拟概念在集合论中应运而生。     

短肢剪力墙结构设计探讨

通过对当前有关短肢剪力墙结构体系技术资料的分析与研究,探讨了关于短肢剪力墙结构体系的判定方法,提出了一些关于短肢剪力墙结构的设计要点,对工程设计人员有一定的参考意义。