Remarks on （1, 2）^＊-Generalized Closed Sets with Respect to an Ideal Bitopological Space

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.

Intuitionistic Fuzzy α-Generalized Closed Sets in Terms of Minimal Structure Spaces

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.

基于SET与KJ法的盲人出行辅助产品设计研究

SET因素分析法与KJ法是产品设计中常用的方法,文章将二者融合并应用于盲人出行辅助产品的设计中。首先通过SET因素分析法发现产品机会缺口,并对用户需求进行调研;其次,整合用户需求痛点并构思初步设计方针,理清用户需求层级与群组关系,为头脑风暴提供聚焦点;再次,运用KJ法对头脑风暴产物进行关联性聚类,明确设计原则,制定设计策略,从而选定设计方案并输出产品;最后,运用Rhino建模与KeyShot渲染软件呈现产品效果。融合SET与KJ法的设计流程能够深入挖掘用户需求,提升产品设计流程的系统性与准确性。

新疆某三甲医院临床科室医疗助手岗位设置必要性的调查

目的探讨临床科室医疗助手岗位设置的必要性。方法选取新疆某三甲医院临床科室的366名人员作为调查对象,通过文献分析、关键人物咨询法和问卷调查法,全面了解科室对医疗助手岗位的了解程度及设置医疗助手岗位的必要性。结果调查显示,临床科室对医疗助手岗位了解程度以“基本了解”和“不了解”居多,分别占30.1%和42.6%;绝大多数人认为有必要设置医疗助手岗位,占79.2%;77.4%的人认为医疗助手岗位应承担科室的所有事务性工作(除诊疗工作以外的)或科室现有其他管理员的职责(科研、教学、院感、医保等);75.1%的人认为具备相关医学专业是担任医疗助手岗位的基本条件。结论应加强对临床科室宣传医疗助手岗位的力度,设置医疗助手岗位非常有必要。医疗助手岗位应承担科室的所有事务性工作或科室现有其他管理员的职责。

气辅注射成型运动界面的Level Set方法数值模拟

给出气液两相流数学模型,选取Cross-WLF模型作为熔体的黏度模型,采用Level Set/SIMPLEC方法模拟了气体辅助注射成型中气体穿透过程,追踪到了不同时刻的运动界面(气熔界面和熔体前沿界面),描述了运动过程中不同时刻速度和温度等重要物理量的分布情况,分析了熔体温度、气体延迟时间和注射压力对气体穿透时间和穿透长度的影响。数值结果表明,Level Set/SIMPLEC方法可以准确追踪气体穿透过程中的两个运动界面;熔体温度、延迟时间和气体注射压力对气体穿透长度有显著影响。

超长钻孔灌注桩软钻辅助沉笼施工技术

地下工程具有区域性、隐蔽性的特点,进行较深桩基施工时各种技术参数较难掌握且极易出现坚硬障碍物卡钻、钢筋笼缠绕等现象。基于此,文章改进了清理沉渣的简易软钻装置,新装置具有操作方便、用途多样处理效果好、制备及使用成本低的特点,在此基础上开展软钻辅助处理塌孔、卡笼、沉渣过厚等钢筋笼就位困难的研究,形成了综合成套施工技术,为相关工程的应用提供了一定的借鉴。

基于MK的实数公理系统相容性和范畴性的Coq形式化

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞!

双云辅助的超阈值多方隐私集合交集计算协议

超阈值多方隐私集合求交协议(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),秘密分发方和重构方的计算复杂度仅与对称密码次数有关.

张氏正骨治疗桡骨小头MasonⅡ型骨折医案举隅

桡骨小头骨折是一种临床上常见的肘关节骨折,约占肘部骨折的33%。随着对桡骨小头骨折的进一步认识,桡骨小头MasonⅡ型骨折行保守治疗也可取得满意的治疗效果。黄会保教授认为桡骨小头MasonⅡ型骨折时,使用手法复位治疗,效果显著。张氏正骨术中“君臣佐使”正骨手法治疗桡骨小头骨折效果肯定,值得学习和借鉴。此文主要介绍1篇桡骨小头骨折医案,浅谈其诊治思路,便于临床医学参考。

玩转机顶盒之低成本语音助手系统

目前全球都进入了数字化的发展浪潮,伴随着数字化的浪潮,数字机顶盒、数字电视、PAD、手机、计算机、智能家电等迅速普及。然而单一的终端产品已经失去了竞争力。生态、智能等概念成为市场的主流。目前,市场上大部分的智能产品都是基于Android等庞大的操作系统,成本高,因此,基于ECOS系统的低成本语音助手系统更具有市场竞争力。

“3+2”培训《临床综合课程》持续优化病例导入式教学研究

目的依据教学大纲编制供教师与学员参考的《临床综合课程》案例集、教学要点重点及修订教学PPT,强化“病例导入式”教学方式的应用以持续提高教学效果及均衡化。方法研究对象为承担北京市“3+2”助理全科医师培训任务的北京市远郊10区所有教学单位的2019级、2020级与2021级教师与学员。编制《临床综合课程》案例集、教学要点重点及修订教学PPT供2020级与2021级使用并收集使用后反馈意见再次修订。以2019级学员结业测验成绩为对照,比较分析3个年级学员的考试成绩,同时分析试题难度系数与区别度。结果2020级与2021级学员及授课教师对各讲以及具体课程的反馈意见优良率100%。对3个教学文件的34门课程的评价中,只有1门涉及内容较多的课程建议教学PPT需要及时更新与优化界面。2019级学员考试成绩大致为正态分布,而2020级与2021级学员均为正偏态分布且2021级更为明显,91.67%的学员测验成绩在75分以上,其中2019级与2020级比较χ^(2)=56.78,其中2019级与2021级比较χ^(2)=118.12,其中2020级与2021级比较χ^(2)=73.14,差异有统计学意义(P<0.05);2021级单位间差异明显试题为4个,2019级与2020级分别为12个与11个。比较3级学员间对试题的难度系数与区别度,差异有统计学意义(χ^(2)=19.4,P<0.01)与(χ^(2)=25.21,P<0.01)。结论学员及授课教师对3个教学文件基本满意,符合培养目标、促进了教学效果均质化、提高两级学员临床综合分析能力与对必备知识的掌握程度。但有的具体课程需要进一步优化。

蜜蜂辅助授粉对新疆扁桃坐果率的影响

【目的】利用蜜蜂辅助授粉提高新疆扁桃的坐果率。【方法】以不放蜜蜂扁桃园为对照(CK),通过对扁桃园花期蜜蜂的放蜂量、放蜂时间和蜜蜂的传粉距离的比较研究。【结果】①放蜂量越大,扁桃的坐果率越高,花蕾露红期放蜂量为1箱/1 334 m2(2亩)时效果最宜,扁桃坐果率比对照提高了7.47倍,差异显著;②蜜蜂是沿花行进行采蜜的,距蜂箱越远扁桃坐果率越低,蜜蜂的传粉距离在100 m左右。【结论】新疆扁桃园放蜂可显著提高扁桃的坐果率,在扁桃花蕾露红期放蜂,放蜂量不少于1箱/1 334 m2(2亩),且每隔100 m摆放蜂箱。

变精度双向S-粗集及其应用

提出基于副集的双向S-粗集,变精度双向S-粗集;给出基于副集的双向S-粗集,变精度双向S-粗集的数学结构;给出变精度双向S-粗集的存在背景和意义解释。变精度双向S-粗集是对双向S-粗集理论的完善和发展。

S-粗集的副集α-生成与α-生成定理

给出了S 粗集的副集α 生成 ,副集的集 -生成概念 ;给出了副集α 生成特性 ,副集的集 -生成特性 ;提出了副集的α 生成定理 ,副集的集 -生成定理 ;给出了S 粗集的属性非空原理 ,S 粗集的属性基数原理 .

内P-集合副集的σ-生成和σ-强生成

在内P-集合的基础上给出内P-集合副集A(XF珚)、内P-集合副集σ-生成和内P-集合副集σ-强生成的概念与结构,并讨论了三者的关系,得到了内P-集合副集σ-生成和内P-集合副集σ-强生成的关系定理、辨识定理及生成定理,扩大了P-集合的应用范围.

副集的随机特征

利用S-粗集理论和元素迁移的随机性,提出元素迁移的信度及信度函数的概念,提出随机副集的概念,给出了随机副集的(α,β)-随机生成,(α,β)-强随机生成;讨论了随机副集的生成特性.

S-粗集的副集η-嵌入与η-嵌入定理

利用S-粗集,定义了单向S-粗集的副集 η-嵌入,双向S-粗集的副集μ△γ-嵌入的概念;给出单向S-粗集的副集η-嵌入的特性,双向S-粗集的副集μ△γ-嵌入的特性;提出单向S-粗集的副集η-嵌入定理,双向S-粗集的副集μ△γ-嵌入定理.

孤岛油田馆(1+2)地层划分对比与沉积模式

孤岛油田馆(1+2)砂层组属于河流相沉积,其纵向、横向相变迅速,砂体难以大面积追踪,本文利用河流结构单元分析法、标准层与辅助标志层控制下的“旋回—厚度”对比法,很好地解决了馆(1+2)地层的划分对比问题,其中馆(1+2)砂层组内辅助标志层的发现为地层的划分对比提供了重要的保证。根据结构单元分析、砂体的岩性特征、粒度特征、河流砂体的空间展布形态以及河流曲率的计算,对馆(1+2)河流沉积的垂向旋回性及沉积模式进行了研究。对比Miall的16种河流分类方案,孤岛油田馆(1+2)砂层组属于细粒曲流河沉积。

函数内P(σ)-集合及其规律的动态特征

在函数内P-集合的基础上,给出函数内P-集合副集、函数内P-集合σ-副集和函数内P(σ)-集合的概念与结构及函数内P-集合与函数内P(σ)-集合的关系,证明了函数内P(σ)-集合动态变化的属性依赖、阈值依赖定理,并探讨函数内P(σ)-集合的规律动态变化依赖因素,得到了规律变化的可辨识定理.

组相联Cache中漏流功耗优化技术研究

随着集成电路制造工艺进入超深亚微米阶段,漏电流功耗在微处理器总功耗中所占的比例越来越大,在开发新的低漏流工艺和电路技术之外,如何在体系结构级控制和优化漏流功耗成为业界研究的热点.Cache在微处理器中面积最大,是进行漏流控制和优化的首要部件.本文提出了一种LRU-assist算法,利用既有的LRU信息,在保证处理器性能不受影响的前提下,cache的平均关闭率可达53%,大大降低了漏电流功耗.