Results 1 to 10 of about 8,948 (143)
阐述了用逻辑函数的布尔除/符合展开的3种表示形式:代数表示,图形表示和表格表示,讨论了变量极性改变与0值布尔除项表变化的关系.在此基础上提出了逻辑函数的布尔除/符合展开在固定极性下化简的两种表格方法:串行表格方法和串并行表格方法,指出了它们各自的优缺点,并以实例展示具体化简程序.
LIANYi-qun(练益群) +1 more
doaj +1 more source
根据saul'yev型非对称差分格式和Crank-Nicolson差分格式对二维的对流-扩散方程构造了 一类新的并行算法,即交替分带的Crank-Nicolson方法.该方法具有并行性质,可以在高性能的并行计算机上直接计算,稳定性好.数值实验表明,该方法有很好的精度.
JIAYun-tao(贾云涛) +2 more
doaj +1 more source
近年来,作为新兴的金融中介第三方支付平台得到了快速发展,但由于缺乏对第三方支付平台的监管和法律规范,金融消费者的侵权问题日益凸显,其中,以金融消费者个人信息泄漏、金融欺诈、格式条款泛滥为主要表现形式的第三方支付金融风险成为主要的法律风险外化表现。本文以问卷调查的方式,检验了金融消费者在第三方支付中所面临的问题,根据实证结果,明确了互联网金融中进行金融消费者权益保护工作的重点,并提出了解决的建议。
静君 李
semanticscholar +1 more source
讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法.在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法.与图形方法相比,表格法具有不需要画图,不受变量数限制以及易于计算机编程操作等优点.
YAOMao-qun(姚茂群) +2 more
doaj +1 more source
利用偏微分方程(PDE)进行曲面拟合是计算机图形学研究领域中的常用方法,该类方法通过选取适当的边界条件来构造PDE,用PDE的解来表示几何曲面.基于网格简化方法和离散曲面测地线计算等技术,提出一种从网格模型提取PDE曲面片边界条件曲线的方法.首先,对复杂模型进行简化并分片处理;通过计算离散曲面的测地线为每个分片定义相应的PDE边界条件曲线,进而构造复杂模型的PDE拟合表面.最后,通过细分方法建立原模型的多分辨率表示.实验表明,该方法可以对具有不同几何复杂度的网格模型进行处理 ...
PANGMingyong(庞明勇) +2 more
doaj +1 more source
日本东北MW9.0地震的PI模型参数设置与预测效能回溯性检验
以日本局部地区(32.0°N—46.0°N,136.0°E—148.0°E)为研究区域,应用图像信息(PI)方法,获得了不同计算参数模型下包含2011年3月11日日本东北MW9.0地震的多组预测窗热点图像。以0.5°×0.5°和1.0°×1.0°的网格尺度和5—10年预测窗长为主要参数变量,并以R值和受试者工作特征(ROC)方法检验不同参数模型下PI方法的预测效能。结果表明,多组参数模型下MW9.0地震所在预测窗内,其震中所在网格及其摩尔邻近网格均曾出现热点图像,表明PI方法可对日本东北MW9 ...
Cheng Song +5 more
doaj +1 more source
简约主义是艺术设计中的重要风格之一,是人们对简约、简单、纯净生活方式的一种追求。简约主义在生活陶瓷设计中的风格特点表现在简约设计特点和设计方法的应用,简约风格在陶瓷产品中是通过设计元素、形式、造成、色彩设计等方面体现的。论文通过分析简约风格的特点,探讨在陶瓷设计中的实际应用方法,促进生活陶瓷设计的创新与发展。
晓冰 赵
semanticscholar +1 more source
背景和目的 本指南旨在在单个文件中为治疗急性动脉性缺血性卒中患者的临床医生提供最新的全面系列推荐意见。目标读者为院前急救人员、医生、综合医疗保健人员以及医院管理人员。本指南将取代2013年版急性缺血性卒中(acute ischemic stroke, AIS)指南,同时也是对2018年版AIS指南的更新。 方法 写作组成员由美国心脏协会(American Heart Association, AHA)卒中委员会的科学声明监督委员会任命,代表各领域的医学专家 ...
John J Warner +3 more
semanticscholar +1 more source
地表覆盖是地理国情监测的重要对象,为地理国情分析评价模型提供了可靠的数据源.高效的地表覆盖数据检索方法是挖掘地表覆盖数据潜在价值的前提.由于地表覆盖数据体量庞大、更新频繁,要素分布密集且不均匀,传统的空间检索方法出现了扩展困难、检索能力不足等问题.提出了一种基于HBase与静态多级格网索引的地表覆盖数据空间检索方法,针对地表覆盖数据特征设计了基于HBase的静态多级格网索引,利用MapReduce实现索引并行构建,通过多级过滤的方式,提高了地表覆盖空间范围的查询效率.实验表明,该方法能快速完成大规模 ...
ZHULinying(祝琳莹) +4 more
doaj +1 more source
旋转对称逻辑函数在密码学函数构造领域有广泛应用。针对含无关项旋转对称逻辑函数检测中存在的不足,从含无关项逻辑函数的定义和旋转对称函数的性质出发,提出了检测含无关项旋转对称逻辑函数的快速算法。该算法通过判断逻辑函数1 值最小项二进制编码周期旋转后产生的新编码同1 值最小项及无关项二进制编码的重复性实现快速检测。结果表明,快速算法在适用的逻辑函数变量数 ...
LIXiaohua(厉晓华), XUFeng(徐锋)
core +1 more source

