迁移结合封面故事提升放射肿瘤学规培医师靶区勾画能力

探讨采用心理学“正迁移”规律与科技期刊封面故事相结合教学法对放射治疗肿瘤学规培医师靶区勾画实践能力的提升效果。将2019年1月至2022年12月在放疗科轮转的2018—2021级40名放疗规培医师按1∶1随机分为观察组和对照组,每组20人。观察组采用心理学“正迁移”规律与科技期刊封面故事相结合的教学法,对照组仅采用传统模式教学法。比较两组出科成绩及问卷调查结果,观察组出科考试成绩优于对照组,两组比较差异有统计学意义(p<0.05),且学员满意度较高。在多媒体时代和放疗技术飞速发展的时代,采用心理学“正迁移”与科技期刊封面故事相结合教学法能提高放疗规培医师靶区勾画实践能力,是一种具有可推广前景的临床教学模式。

IPCLRC约束的时序地表覆盖数据不一致探测

目前的地表覆盖数据不一致性研究多是针对单期或者更新期在空间方面的不一致性探测,在具有多期的时序地表覆盖数据中,进行时间连续性不一致探测的研究较少。本文提出适用于地表覆盖属性变化的改进拉依达准则,并结合地类时序转换逻辑规则提出改进拉依达逻辑规则结合法,对时序地表覆盖数据进行不一致探测和验证;以GlobeLand30数据集为例,选取雄安新区和合肥市为研究区,利用谷歌高清历史影像、Landsat影像等对探测结果进行了抽样验证。结果表明:改进拉依达准则能更好地拟合时序地表覆盖属性变化频数且包括的时序属性变化种类更多;本方法有90%以上的准确率和29%~69%的探测率。

模态逻辑S4的覆盖语义及其完备性

基于第六种覆盖粗糙集模型提出了模态逻辑S4的覆盖语义,利用覆盖模型与Kripke模型之间的关系,证明了覆盖语义的可靠性和完备性定理.进一步讨论了覆盖语义与Alexandrov拓扑语义之间的关系.证明了覆盖语义与Alexandrov拓扑语义是和谐一致的.

大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖 ,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖 ,对复杂的逻辑综合更为重要 ,但也更加困难。本文在对逻辑覆盖算法研究的基础上 ,提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明 ,改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定

根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念，得到２个表达式之间覆盖关系的判别准则．对多个表达式，作者提出表达式的分解概念及相应的分解算法，在此基础上，本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式，得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式，从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．

基于Internet+服务型智能机器人关键技术研究

针对当前服务型智能机器人工作效率低、适应能力差、工作噪音大、保护措施不完善等缺点,提出基于Internet+服务型智能机器人的设计方案,分析了系统的关键技术及解决缺陷的实用方法.系统能够有效提高机器人智能、安全、节能、高效、低噪等技术指标,以最少的资源消耗获得最大的经济和社会效益,对服务型智能机器人的推广应用具有深远意义.

部分四值逻辑中准完备集的最小覆盖

根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。

计算机辅助逻辑函数化简——多维体化简方法研究

在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。深入研究逻辑函数的化简方法对于掌握数字电子设计自动化领域的综合优化技术 ,进而开发出综合优化软件工具 。

部分四值逻辑中Sheffer函数的判定与构造

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。

构造性神经网络覆盖算法的模糊化技术及其应用

本文通过将模糊逻辑的结构性定义引入构造性神经网络模式分类系统中,给出模糊神经网络模式分类边界的直观描述方法.在系统信息不完备的情况下,可以获得更为合理的模式分类边界,并提高模式分类的精度.实验结果表明以上方法正确.

逻辑与逻各斯和思想——海德格尔逻辑思想研究

基于对存在的追问, 海德格尔回溯到古希腊, 探讨逻各斯的各种含义及其在后来的流变。进而, 揭示了在这一变化中, 逻各斯最始源的意义已迷失。逻各斯成为了逻辑, 思想被逻辑所遮蔽。因此,只有在克服逻辑的基础上, 思想才能成为存在之思。

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题 ,该文用改进的重复包含算法寻找逻辑函数的质蕴涵 ,选择极值法求最小覆盖 ,并对循环函数进行处理。实验表明 ,这种算法可以减少存储容量、加快运算速度 ,而且可以增大算法的应用范围。因此 。

实现工艺映射的新方法

逻辑综合中,工艺映射是关键的一步。过去,基于树的映射由于其速度快、算法简洁而被广泛使用。但是,将电路结构划分为树,破坏了电路结构,缩小了映射的解空间。双态覆盖(BinateCovering)能充分利用门级网表的结构特性,使工艺映射后的电路具有更好的性能。

部分四值逻辑中Sheffer函数的判定

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。

P^＊4中保四元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。

适于大数目输入变量的逻辑综合启发式算法

本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。

P4^＊中保四元正则可离关系最小覆盖之确定

根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。

部分四值逻辑单纯可离函数集最小覆盖之判定

根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.

线性可分结构系对二进神经元的覆盖问题

二进神经网络中每个二进神经元等价于一个线性可分函数,但每个二进神经元所表达的线性可分函数的逻辑意义仍不完全清楚。对此,首先分析了已有的几种线性可分结构系;其次,讨论了其是否覆盖了所有的二进神经元;最后,指出阈值在某些范围内二进神经元所对应的线性可分函数的逻辑意义仍不清楚,这为进一步完善二进神经元的覆盖问题指明了方向。