期刊文献+
共找到100篇文章
< 1 2 5 >
每页显示 20 50 100
Remarks on (1, 2)^*-Generalized Closed Sets with Respect to an Ideal Bitopological Space
1
作者 H. S. Al-Saadi Takashi Noiri 《Journal of Mathematics and System Science》 2012年第6期348-351,共4页
In this paper, the authors introduce and study the concept of (1, 2)^*-generalized closed sets with respect to an ideal in a bitopological space. Also, some characterizations and applications of(1, 2)^*-generali... In this paper, the authors introduce and study the concept of (1, 2)^*-generalized closed sets with respect to an ideal in a bitopological space. Also, some characterizations and applications of(1, 2)^*-generalized closed sets are given. 展开更多
关键词 Bitopological space (1 2)^*-generalized closed set topological ideal.
在线阅读 下载PDF
Intuitionistic Fuzzy α-Generalized Closed Sets in Terms of Minimal Structure Spaces
2
作者 Mani Parimala Sivaraman Murali 《Circuits and Systems》 2016年第8期1486-1491,共6页
In this paper, we introduce the notion of intuitionistic fuzzy α-generalized closed sets in intuitionistic fuzzy minimal structure spaces and investigate some of their properties. Further, we introduce and study the ... In this paper, we introduce the notion of intuitionistic fuzzy α-generalized closed sets in intuitionistic fuzzy minimal structure spaces and investigate some of their properties. Further, we introduce and study the concept of intuitionistic fuzzy α-generalized minimal continuous functions. 展开更多
关键词 Intuitionistic Fuzzy Topology Intuitionistic Fuzzy α-generalized Closed set Intuitionistic Fuzzy α-generalized Continuous Function Intuitionistic Fuzzy α-generalized Continuous Mappings
在线阅读 下载PDF
气辅注射成型运动界面的Level Set方法数值模拟 被引量:1
3
作者 李强 欧阳洁 +1 位作者 杨斌鑫 蒋涛 《化工学报》 EI CAS CSCD 北大核心 2010年第2期302-309,共8页
给出气液两相流数学模型,选取Cross-WLF模型作为熔体的黏度模型,采用Level Set/SIMPLEC方法模拟了气体辅助注射成型中气体穿透过程,追踪到了不同时刻的运动界面(气熔界面和熔体前沿界面),描述了运动过程中不同时刻速度和温度等重要物理... 给出气液两相流数学模型,选取Cross-WLF模型作为熔体的黏度模型,采用Level Set/SIMPLEC方法模拟了气体辅助注射成型中气体穿透过程,追踪到了不同时刻的运动界面(气熔界面和熔体前沿界面),描述了运动过程中不同时刻速度和温度等重要物理量的分布情况,分析了熔体温度、气体延迟时间和注射压力对气体穿透时间和穿透长度的影响。数值结果表明,Level Set/SIMPLEC方法可以准确追踪气体穿透过程中的两个运动界面;熔体温度、延迟时间和气体注射压力对气体穿透长度有显著影响。 展开更多
关键词 气辅 两相流 LEVEL set 界面
在线阅读 下载PDF
基于SET与KJ法的盲人出行辅助产品设计研究 被引量:4
4
作者 林润涛 赵利权 周思洁 《工业设计》 2023年第7期72-75,共4页
SET因素分析法与KJ法是产品设计中常用的方法,文章将二者融合并应用于盲人出行辅助产品的设计中。首先通过SET因素分析法发现产品机会缺口,并对用户需求进行调研;其次,整合用户需求痛点并构思初步设计方针,理清用户需求层级与群组关系,... SET因素分析法与KJ法是产品设计中常用的方法,文章将二者融合并应用于盲人出行辅助产品的设计中。首先通过SET因素分析法发现产品机会缺口,并对用户需求进行调研;其次,整合用户需求痛点并构思初步设计方针,理清用户需求层级与群组关系,为头脑风暴提供聚焦点;再次,运用KJ法对头脑风暴产物进行关联性聚类,明确设计原则,制定设计策略,从而选定设计方案并输出产品;最后,运用Rhino建模与KeyShot渲染软件呈现产品效果。融合SET与KJ法的设计流程能够深入挖掘用户需求,提升产品设计流程的系统性与准确性。 展开更多
关键词 产品设计 set KJ法 盲人 出行辅助产品
在线阅读 下载PDF
新疆某三甲医院临床科室医疗助手岗位设置必要性的调查
5
作者 李美艳 郭阿娟 +1 位作者 吴元元 席峰 《新疆医学》 2024年第6期701-704,共4页
目的探讨临床科室医疗助手岗位设置的必要性。方法选取新疆某三甲医院临床科室的366名人员作为调查对象,通过文献分析、关键人物咨询法和问卷调查法,全面了解科室对医疗助手岗位的了解程度及设置医疗助手岗位的必要性。结果调查显示,临... 目的探讨临床科室医疗助手岗位设置的必要性。方法选取新疆某三甲医院临床科室的366名人员作为调查对象,通过文献分析、关键人物咨询法和问卷调查法,全面了解科室对医疗助手岗位的了解程度及设置医疗助手岗位的必要性。结果调查显示,临床科室对医疗助手岗位了解程度以“基本了解”和“不了解”居多,分别占30.1%和42.6%;绝大多数人认为有必要设置医疗助手岗位,占79.2%;77.4%的人认为医疗助手岗位应承担科室的所有事务性工作(除诊疗工作以外的)或科室现有其他管理员的职责(科研、教学、院感、医保等);75.1%的人认为具备相关医学专业是担任医疗助手岗位的基本条件。结论应加强对临床科室宣传医疗助手岗位的力度,设置医疗助手岗位非常有必要。医疗助手岗位应承担科室的所有事务性工作或科室现有其他管理员的职责。 展开更多
关键词 医疗助手 岗位设置 必要性
在线阅读 下载PDF
超长钻孔灌注桩软钻辅助沉笼施工技术
6
作者 徐刚 刘永超 +3 位作者 胡智鑫 苏炳云 王浩 王栋 《城市建筑》 2024年第22期225-228,共4页
地下工程具有区域性、隐蔽性的特点,进行较深桩基施工时各种技术参数较难掌握且极易出现坚硬障碍物卡钻、钢筋笼缠绕等现象。基于此,文章改进了清理沉渣的简易软钻装置,新装置具有操作方便、用途多样处理效果好、制备及使用成本低的特点... 地下工程具有区域性、隐蔽性的特点,进行较深桩基施工时各种技术参数较难掌握且极易出现坚硬障碍物卡钻、钢筋笼缠绕等现象。基于此,文章改进了清理沉渣的简易软钻装置,新装置具有操作方便、用途多样处理效果好、制备及使用成本低的特点,在此基础上开展软钻辅助处理塌孔、卡笼、沉渣过厚等钢筋笼就位困难的研究,形成了综合成套施工技术,为相关工程的应用提供了一定的借鉴。 展开更多
关键词 桩基 新装置 软钻辅助 成套施工技术
在线阅读 下载PDF
基于MK的实数公理系统相容性和范畴性的Coq形式化
7
作者 郭达凯 冷姝锟 +2 位作者 窦国威 陈思 郁文生 《控制理论与应用》 EI CAS CSCD 北大核心 2024年第7期1274-1285,共12页
数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基... 数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞! 展开更多
关键词 Morse-Kelley公理化集合论 实数公理系统 相容性 范畴性 COQ 形式化 机器证明 人工智能
在线阅读 下载PDF
蜜蜂辅助授粉对新疆扁桃坐果率的影响 被引量:8
8
作者 龚鹏 杨波 +4 位作者 徐叶挺 卢春生 张平 李金明 吕红玲 《新疆农业科学》 CAS CSCD 北大核心 2010年第4期689-691,共3页
【目的】利用蜜蜂辅助授粉提高新疆扁桃的坐果率。【方法】以不放蜜蜂扁桃园为对照(CK),通过对扁桃园花期蜜蜂的放蜂量、放蜂时间和蜜蜂的传粉距离的比较研究。【结果】①放蜂量越大,扁桃的坐果率越高,花蕾露红期放蜂量为1箱/1 334 m2(2... 【目的】利用蜜蜂辅助授粉提高新疆扁桃的坐果率。【方法】以不放蜜蜂扁桃园为对照(CK),通过对扁桃园花期蜜蜂的放蜂量、放蜂时间和蜜蜂的传粉距离的比较研究。【结果】①放蜂量越大,扁桃的坐果率越高,花蕾露红期放蜂量为1箱/1 334 m2(2亩)时效果最宜,扁桃坐果率比对照提高了7.47倍,差异显著;②蜜蜂是沿花行进行采蜜的,距蜂箱越远扁桃坐果率越低,蜜蜂的传粉距离在100 m左右。【结论】新疆扁桃园放蜂可显著提高扁桃的坐果率,在扁桃花蕾露红期放蜂,放蜂量不少于1箱/1 334 m2(2亩),且每隔100 m摆放蜂箱。 展开更多
关键词 蜜蜂 辅助授粉 扁桃 坐果率
在线阅读 下载PDF
变精度双向S-粗集及其应用 被引量:5
9
作者 王洪凯 胡海清 姚炳学 《计算机工程与应用》 CSCD 北大核心 2003年第26期31-33,共3页
提出基于副集的双向S-粗集,变精度双向S-粗集;给出基于副集的双向S-粗集,变精度双向S-粗集的数学结构;给出变精度双向S-粗集的存在背景和意义解释。变精度双向S-粗集是对双向S-粗集理论的完善和发展。
关键词 S-粗集 副集 生成集 变精度双向S-粗集
在线阅读 下载PDF
S-粗集的副集α-生成与α-生成定理 被引量:18
10
作者 王洪凯 胡海清 《山东大学学报(理学版)》 CAS CSCD 北大核心 2004年第1期9-14,共6页
给出了S 粗集的副集α 生成 ,副集的集 -生成概念 ;给出了副集α 生成特性 ,副集的集 -生成特性 ;提出了副集的α 生成定理 ,副集的集 -生成定理 ;给出了S 粗集的属性非空原理 ,S 粗集的属性基数原理 .
关键词 S-粗集 副集 α-生成 α-生成定理 集-生成 集-生成定理 属性非空原理 属性基数原理
在线阅读 下载PDF
内P-集合副集的σ-生成和σ-强生成 被引量:2
11
作者 于秀清 董化玲 徐凤生 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2013年第4期599-602,共4页
在内P-集合的基础上给出内P-集合副集A(XF珚)、内P-集合副集σ-生成和内P-集合副集σ-强生成的概念与结构,并讨论了三者的关系,得到了内P-集合副集σ-生成和内P-集合副集σ-强生成的关系定理、辨识定理及生成定理,扩大了P-集合的应用范围.
关键词 内P-集合 内P-集合副集 内P-集合副集的σ-生成 性质定理
在线阅读 下载PDF
副集的随机特征 被引量:7
12
作者 刘保仓 卢昌荆 史开泉 《山东大学学报(理学版)》 CAS CSCD 北大核心 2007年第2期77-82,共6页
利用S-粗集理论和元素迁移的随机性,提出元素迁移的信度及信度函数的概念,提出随机副集的概念,给出了随机副集的(α,β)-随机生成,(α,β)-强随机生成;讨论了随机副集的生成特性.
关键词 S-粗集 随机副集 β)-随机生成 β)-强随机生成 随机副集的特性
在线阅读 下载PDF
S-粗集的副集η-嵌入与η-嵌入定理 被引量:6
13
作者 胡海清 王洪凯 《山东大学学报(理学版)》 CAS CSCD 北大核心 2004年第3期49-52,58,共5页
利用S-粗集,定义了单向S-粗集的副集 η-嵌入,双向S-粗集的副集μ△γ-嵌入的概念;给出单向S-粗集的副集η-嵌入的特性,双向S-粗集的副集μ△γ-嵌入的特性;提出单向S-粗集的副集η-嵌入定理,双向S-粗集的副集μ△γ-嵌入定理.
关键词 单向S-粗集 双向S-粗集 副集 η-嵌入集 η-嵌入定理
在线阅读 下载PDF
孤岛油田馆(1+2)地层划分对比与沉积模式 被引量:8
14
作者 王夕宾 钟建华 +2 位作者 贾萍 陈清华 段新明 《应用基础与工程科学学报》 EI CSCD 2004年第1期33-40,共8页
孤岛油田馆(1+2)砂层组属于河流相沉积,其纵向、横向相变迅速,砂体难以大面积追踪,本文利用河流结构单元分析法、标准层与辅助标志层控制下的“旋回—厚度”对比法,很好地解决了馆(1+2)地层的划分对比问题,其中馆(1+2)砂层组内辅助标志... 孤岛油田馆(1+2)砂层组属于河流相沉积,其纵向、横向相变迅速,砂体难以大面积追踪,本文利用河流结构单元分析法、标准层与辅助标志层控制下的“旋回—厚度”对比法,很好地解决了馆(1+2)地层的划分对比问题,其中馆(1+2)砂层组内辅助标志层的发现为地层的划分对比提供了重要的保证。根据结构单元分析、砂体的岩性特征、粒度特征、河流砂体的空间展布形态以及河流曲率的计算,对馆(1+2)河流沉积的垂向旋回性及沉积模式进行了研究。对比Miall的16种河流分类方案,孤岛油田馆(1+2)砂层组属于细粒曲流河沉积。 展开更多
关键词 孤岛油田 馆(1+2)砂层组 地层划分对比 辅助标志层 沉积模式 河流结构 单元分析法 河流曲率
在线阅读 下载PDF
函数内P(σ)-集合及其规律的动态特征 被引量:2
15
作者 于秀清 徐凤生 孔淑霞 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2015年第3期439-443,共5页
在函数内P-集合的基础上,给出函数内P-集合副集、函数内P-集合σ-副集和函数内P(σ)-集合的概念与结构及函数内P-集合与函数内P(σ)-集合的关系,证明了函数内P(σ)-集合动态变化的属性依赖、阈值依赖定理,并探讨函数内P(σ)-集合的规律... 在函数内P-集合的基础上,给出函数内P-集合副集、函数内P-集合σ-副集和函数内P(σ)-集合的概念与结构及函数内P-集合与函数内P(σ)-集合的关系,证明了函数内P(σ)-集合动态变化的属性依赖、阈值依赖定理,并探讨函数内P(σ)-集合的规律动态变化依赖因素,得到了规律变化的可辨识定理. 展开更多
关键词 函数P-集合 函数内P-集合σ-副集 函数内P(σ)-集合 动态特征
在线阅读 下载PDF
组相联Cache中漏流功耗优化技术研究 被引量:3
16
作者 张承义 张民选 邢座程 《小型微型计算机系统》 CSCD 北大核心 2007年第2期372-375,共4页
随着集成电路制造工艺进入超深亚微米阶段,漏电流功耗在微处理器总功耗中所占的比例越来越大,在开发新的低漏流工艺和电路技术之外,如何在体系结构级控制和优化漏流功耗成为业界研究的热点.Cache在微处理器中面积最大,是进行漏流控制和... 随着集成电路制造工艺进入超深亚微米阶段,漏电流功耗在微处理器总功耗中所占的比例越来越大,在开发新的低漏流工艺和电路技术之外,如何在体系结构级控制和优化漏流功耗成为业界研究的热点.Cache在微处理器中面积最大,是进行漏流控制和优化的首要部件.本文提出了一种LRU-assist算法,利用既有的LRU信息,在保证处理器性能不受影响的前提下,cache的平均关闭率可达53%,大大降低了漏电流功耗. 展开更多
关键词 微处理器 组相联cache 漏电流功耗 LRu—assist
在线阅读 下载PDF
恶性血液病数据库分析系统的建立 被引量:6
17
作者 陈雪峰 蔡锋 王静 《第四军医大学学报》 北大核心 2005年第21期1960-1962,共3页
目的:建立一个基于临床恶性血液病(hematologicalmalignant disease,HM)案为数据源,并具有模糊查询,数据分析辅助诊断,科学统计等功能的数据库系统.方法:以Win-dows操作系统为平台,Delphi6作为开发数据库客户访问端和简单分析的工具,SQL... 目的:建立一个基于临床恶性血液病(hematologicalmalignant disease,HM)案为数据源,并具有模糊查询,数据分析辅助诊断,科学统计等功能的数据库系统.方法:以Win-dows操作系统为平台,Delphi6作为开发数据库客户访问端和简单分析的工具,SQL Server2000作为关系数据库开发和管理工具,并将SPSS11.0集成到数据库系统中实现对数据分析统计功能.结果:建立HM电子病历和数据库系统,较完整的记录患者的诊断和治疗信息,实现随时查询,对相似病例比较分析和对相关数据进行数据挖掘及图形或图表统计分析的功能.结论:集智能查询,数据挖掘和具有权威性统计分析为一体的HM数据库系统,减轻了书面病例维护难的问题,实现临床数据源数字化.有利于医生对诊疗过程的疗效分析和做出客观评价. 展开更多
关键词 血液肿瘤 数据库 数据挖掘 辅助诊断 统计分析 SPSS软件 粗糙集
在线阅读 下载PDF
S-粗集副集的嵌入粒度 被引量:1
18
作者 颜建军 胡海清 史开泉 《山东大学学报(工学版)》 CAS 2005年第6期78-82,共5页
给出单向S-粗集副集As(X°)的η-嵌入粒度,双向S-粗集副集As(X*)的μΔγ-嵌入粒度等概念;利用这些概念,提出单向S-粗集副集As(X°)的η-嵌入粒度特性定理,双向S-粗集副集As(X*)的μΔγ-嵌入粒度特性定理.
关键词 S-粗集 副集 粒度 η-嵌入集 μ△γ-嵌入集
在线阅读 下载PDF
双云辅助的超阈值多方隐私集合交集计算协议 被引量:4
19
作者 魏立斐 刘纪海 +1 位作者 张蕾 宁建廷 《软件学报》 EI CSCD 北大核心 2023年第11期5442-5456,共15页
超阈值多方隐私集合求交协议(OT-MP-PSI)是PSI协议的变体,允许m个参与方共同计算至少t(t≤m)个参与方中拥有相同元素的超阈值交集,且保证仅拥有超阈值元素的参与方才能知晓该元素是否属于超阈值交集,对于其他信息一无所知.OT-MP-PSI推广... 超阈值多方隐私集合求交协议(OT-MP-PSI)是PSI协议的变体,允许m个参与方共同计算至少t(t≤m)个参与方中拥有相同元素的超阈值交集,且保证仅拥有超阈值元素的参与方才能知晓该元素是否属于超阈值交集,对于其他信息一无所知.OT-MP-PSI推广了PSI的实际应用场景.现有方案均基于昂贵的公钥密码来构建,其较大的计算量导致运行时间缓慢.首先设计一个基于对称密码的不经意可编程伪随机秘密共享(OPPR-SS)密码组件,并基于OPPR-SS组件设计双云辅助的OT-MP-PSI协议,将秘密分发和重构的任务分别交给不可信云服务器来辅助完成,实现弱计算能力的参与方也能完成OT-MP-PSI协议.在半诚实模型下证明协议安全性.相比现有的OT-MP-PSI协议,所提协议在秘密分发和重构阶段均具有最优运行时间和通信负载,参与方、共享方和重构方的通信复杂度不再与阈值t有关,实现参与方常数轮的通信,通信复杂度仅为O(n),秘密分发方和重构方的计算复杂度仅与对称密码次数有关. 展开更多
关键词 隐私集合交集 不经意传输 秘密共享 超阈值 云辅助
在线阅读 下载PDF
BCH码的定义集分解及应用 被引量:2
20
作者 李瑞虎 许根 吕良东 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2013年第2期86-89,共4页
以分圆陪集理论和方法为基础,由二元码的Euclid正交性理论和四元码的Hermite正交性理论,分别引入二元BCH码和四元BCH码的定义集分解概念;再利用BCH码的定义集分解导出二元BCH码和四元BCH码的对偶码的正交分解。在此基础上,研究并解决了... 以分圆陪集理论和方法为基础,由二元码的Euclid正交性理论和四元码的Hermite正交性理论,分别引入二元BCH码和四元BCH码的定义集分解概念;再利用BCH码的定义集分解导出二元BCH码和四元BCH码的对偶码的正交分解。在此基础上,研究并解决了本原二元和四元BCH码的定义集分解;依据BCH码的定义集分解结论,构造出一些参数优良的纠缠辅助量子纠错码。定义集分解方法简化了由BCH码构造纠缠辅助量子纠错码的理论推导,改进了已有文献中确定最优纠缠比特数的算法,提供了一种计算最优纠缠比特数的新思路,为研究由循环码构造纠缠辅助量子纠错码问题提供了可借鉴的新理论和新方法。 展开更多
关键词 分圆陪集 BCH码 定义集 纠缠辅助 量子纠错码
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部