期刊文献+
共找到1,559篇文章
< 1 2 78 >
每页显示 20 50 100
Analysis of a Class of Logical Functions over Galois and Z_m Rings 被引量:1
1
作者 陈卫红 曾洪杰 《Chinese Quarterly Journal of Mathematics》 CSCD 2002年第4期105-110,共6页
In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the characte... In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x). 展开更多
关键词 logical function character spectrum cryptographic properties
下载PDF
HAAR EXPANSIONS OF A CLASS OF FRACTAL INTERPOLATION FUNCTIONS AND THEIR LOGICAL DERIVATIVES 被引量:1
2
作者 Sha Zhen Chen Gang Zhejiang University,China 《Analysis in Theory and Applications》 1993年第4期73-88,共16页
In this paper,we study a special class of fractal interpolation functions,and give their Haar-wavelet expansions.On the basis of the expansions,we investigate the H(o|¨)lder smoothness of such functions and their... In this paper,we study a special class of fractal interpolation functions,and give their Haar-wavelet expansions.On the basis of the expansions,we investigate the H(o|¨)lder smoothness of such functions and their logical derivatives of order α. 展开更多
关键词 HAAR EXPANSIONS OF A CLASS OF FRACTAL INTERPOLATION functionS AND THEIR logicAL DERIVATIVES der HAAR FIF
下载PDF
Spectral Characteristics of the Best Affine Approach of Multi-Output m-Valued Logical Functions
3
作者 ZHAO Yaqun YING Dinghai FENG Dengguo 《Wuhan University Journal of Natural Sciences》 CAS 2007年第1期185-188,共4页
This paper discusses the best affine approach (BAA) of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine func... This paper discusses the best affine approach (BAA) of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions. 展开更多
关键词 multi-output m-valued logical functions linear spectrum cyclic spectrum BAA(best affine approach)
下载PDF
LOGICAL SYNTHESIS OF MOLTIVALUED SYMMETRIC FUNCTION BASED ON BINARY FULL ADDERS
4
作者 Chen Xiexiong Shen Jizhong(Hangzhou University, Hangzhou 310028) 《Journal of Electronics(China)》 1996年第4期360-365,共6页
This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj co... This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj corresponding to j must be a symmetric function, and it may be expressed as the sum of products form of degenerated multivalued fundamental symmetric functions. Based on this consideration, the circuit realization for the multivalued symmetric functions based on full adders is proposed. 展开更多
关键词 Multivalued logic SYMMETRIC functionS logic DESIGN
下载PDF
FAULT DETECTION TEST SET FOR TESTABLE REALIZATIONS OF LOGIC FUNCTIONS WITH ESOP EXPRESSIONS
5
作者 Pan Zhongliang Chen Guangju 《Journal of Electronics(China)》 2007年第2期238-244,共7页
The circuit testable realization and its fault detection for logic functions with ESOP (EXOR-Sum-Of-Products) expressions are studied. First of all, for the testable realization by using XOR gate cascade, a test set... The circuit testable realization and its fault detection for logic functions with ESOP (EXOR-Sum-Of-Products) expressions are studied. First of all, for the testable realization by using XOR gate cascade, a test set with 2n + m + 1 vectors for the detections of AND bridging faults and a test set with 2n + m vectors for the detections of OR bridging faults are presented. Secondly, for the testable realization by using )(OR gate tree, a test set with 2n + m vectors for the detections of AND bridging faults and a test set with 3n + m + 1 vectors for the detections of OR bridging faults are presented. Finally, a single fault test set with n + 5 vectors for the XOR gate tree realization is presented. Where n is the number of input variables and m is the number of product terms in a logic function. 展开更多
关键词 logic functions Testable realization Fault detection Single faults Bridging faults
下载PDF
Logical Function Decomposition Method for Synthesis of Digital Logical System Implemented with Programmable Logic Devices (PLD)
6
作者 Mihai Grigore Timis Alexandru Valachi +1 位作者 Alexandru Barleanu Andrei Stan 《Circuits and Systems》 2013年第7期472-477,共6页
The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix cal... The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate” variables for the G function. Decomposition is essentially a process of substituting two or more input variables with a lesser number of new variables. This substitutes results in the reduction of the number of rows in the truth table. Hence, we look for variables which are most likely to reduce the number of rows in the truth table as a result of decomposition. Let us consider an input variable purposely avoiding all inter-relationships among the input variables. The only available parameter to evaluate its activity is the number of “l”s or “O”s that it has in the truth table. If the variable has only “1” s or “0” s, it is the “best candidate” for decomposition, as it is practically redundant. 展开更多
关键词 Combinational CIRCUITS Static HAZARD logic Design BOOLEAN functions logical DECOMPOSITIONS
下载PDF
SPECTRAL ANALYSIS OF SOME INDEPENDENCES OF MULTIPLE-VALUED LOGICAL FUNCTIONS ON THEIR VARIABLES
7
作者 武传坤 《Journal of Electronics(China)》 1993年第3期217-226,共10页
There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary con... There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary conditions of the independence and statistical independenceof multiple-valued logical functions on their variables are given. Some conditions of algebraicindependence of multiple-valued logical functions on some of their variables and the way to de-generate a function to the greatest extent are proposed, and some applications of these resultsare indicated. All the results are studied by using Chrestenson spectral techniques. 展开更多
关键词 Multiple-valued logical function Chrestenson SPECTRUM DEGENERATION Correlationimmunity Linear code
下载PDF
教育数字化推动教育强国建设的功能逻辑与实践进路 被引量:5
8
作者 王天平 潘勤情 李珍 《远程教育杂志》 CSSCI 北大核心 2024年第2期10-19,25,共11页
教育与数字技术的融合引领了未来教育发展的新趋势,为人类教育带来更广阔的发展空间和美好愿景。在教育强国建设过程中,教育数字化展现出其独特的技术优势,它既是推动教育强国建设的重要基础和动能引擎,又能为教育强国建设提供根本保障... 教育与数字技术的融合引领了未来教育发展的新趋势,为人类教育带来更广阔的发展空间和美好愿景。在教育强国建设过程中,教育数字化展现出其独特的技术优势,它既是推动教育强国建设的重要基础和动能引擎,又能为教育强国建设提供根本保障。借助教育数字化的力量,形塑教育要素新样态、助推数字教育模式革新、赋能教育多元体系构建、促进数字教育生态重塑以及扩大数字教育国际影响力,是教育数字化赋能教育强国建设功能演进的内在逻辑。教育数字化有效推动教育强国建设,需要聚焦拔尖创新人才培养,提高教育数字化对教育强国建设的贡献指数;矫正主体认知抵牾,加强教育数字化对教育强国建设的多方协作;增强教育深层变革,释放教育数字化对教育强国建设的巨大潜能;创新教育技术体系,响应教育数字化对教育强国建设的内生需求;健全数字教育制度,保障教育数字化对教育强国建设的持续赋能,从而充分发挥教育数字化重要突破口的作用,整体推进教育高质量发展,助力教育强国建设。 展开更多
关键词 教育数字化 教育强国 功能逻辑 实践进路 拔尖创新人才
下载PDF
基于改进型滑模变结构的永磁同步电机的无位置传感器矢量控制 被引量:3
9
作者 李敏 李林林 周俊鹏 《电机与控制应用》 2024年第2期22-33,共12页
针对传统滑模控制采用不连续的符号函数作为滑模面切换函数所引起的抖振问题,提出一种基于改进型滑模变结构的永磁同步电机的无位置传感器矢量控制方法,来削弱抖振,从而改善系统的动、静态性能。首先,设计了改进型滑模控制器和改进型滑... 针对传统滑模控制采用不连续的符号函数作为滑模面切换函数所引起的抖振问题,提出一种基于改进型滑模变结构的永磁同步电机的无位置传感器矢量控制方法,来削弱抖振,从而改善系统的动、静态性能。首先,设计了改进型滑模控制器和改进型滑模观测器的变结构控制系统。其次,采用连续的开关函数——双曲正切函数作为滑模面切换函数,并通过模糊逻辑控制对双曲正切函数的形状系数进行调整,减弱固定边界层厚度所引起的抖振。然后,运用李雅普诺夫第二定理证明所设计的控制系统的稳定性。最后,与其他方法相比,仿真结果证明了所提方法的可行性和有效性。 展开更多
关键词 永磁同步电机 滑模控制器 滑模观测器 双曲正切函数 模糊逻辑控制
下载PDF
智能座舱方向盘收纳隐藏系统功能设计
10
作者 高家兵 刘慧建 +3 位作者 吴罡 李彩霞 潘伟 钱勇 《汽车实用技术》 2024年第7期24-28,共5页
随着汽车智能技术的发展,人们对驾乘体验的智能化需求日益增多,智能座舱和智能底盘是实现这一需求的关键总成。方向盘迎宾功能是智能座舱体现舒适性和体验性的核心功能,同时,未来高等级智能驾驶汽车实现完全自主驾驶后方向盘还应具有收... 随着汽车智能技术的发展,人们对驾乘体验的智能化需求日益增多,智能座舱和智能底盘是实现这一需求的关键总成。方向盘迎宾功能是智能座舱体现舒适性和体验性的核心功能,同时,未来高等级智能驾驶汽车实现完全自主驾驶后方向盘还应具有收纳隐藏功能,以进一步拓展良好的驾乘舒适性和体验性。文章研究一种既有传统方向盘迎宾功能,又有收纳隐藏功能的智能座舱方向盘收纳隐藏系统,通过对方向盘收纳隐藏系统的构成、工作原理、控制逻辑等方面的研究,进行方向盘收纳隐藏系统的功能设计,包括电动调节功能、迎宾功能、方向盘翻转功能、电调管柱长距离收纳功能、可拓展功能等,满足了未来智能线控转向系统中的路感模拟装置需具备收纳隐藏的新技术要求。 展开更多
关键词 智能座舱 方向盘 收纳隐藏系统功能 控制逻辑
下载PDF
基于有限谓词追踪的民机系统需求一致性检查方法
11
作者 王鹏 岳舒婷 +1 位作者 张帆 董磊 《系统工程与电子技术》 EI CSCD 北大核心 2024年第1期205-218,共14页
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法... 针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。 展开更多
关键词 需求一致性 定理证明 功能需求正确性 一阶逻辑 需求冲突
下载PDF
论我国医疗救助托底功能的制度逻辑
12
作者 张锐智 任潇 《辽宁师范大学学报(社会科学版)》 2024年第1期52-56,共5页
托底保障是我国医疗救助制度的重要功能之一,该功能的确立应具有自身的逻辑自洽。托底功能的内涵逻辑体现在救助对象托底、医疗保障体系托底和医疗救助对象责任托底三个方面。在设定医疗救助托底标准时,除了与医疗救助托底功能所保障的... 托底保障是我国医疗救助制度的重要功能之一,该功能的确立应具有自身的逻辑自洽。托底功能的内涵逻辑体现在救助对象托底、医疗保障体系托底和医疗救助对象责任托底三个方面。在设定医疗救助托底标准时,除了与医疗救助托底功能所保障的公民权利相匹配外,还应综合考量制约医疗救助托底标准的相关因素。此外,医疗救助托底制度的施行也需遵循一定的逻辑。 展开更多
关键词 医疗救助 托底功能 设定逻辑
下载PDF
科技情报机构的智库功能
13
作者 刘清 李岚春 张慧婧 《智库理论与实践》 CSSCI 北大核心 2024年第3期19-28,39,共11页
[目的/意义]支撑决策是科技情报工作的重要使命,当前科技情报机构正积极探索发挥科技智库功能的转型路径。[方法/过程]本文采用文献调查、案例比较等方法,深入分析科技情报机构智库功能的基础条件、典型做法,结合工作实际总结发挥好智... [目的/意义]支撑决策是科技情报工作的重要使命,当前科技情报机构正积极探索发挥科技智库功能的转型路径。[方法/过程]本文采用文献调查、案例比较等方法,深入分析科技情报机构智库功能的基础条件、典型做法,结合工作实际总结发挥好智库功能的实践逻辑和实现路径。[结果/结论]本文原创提出做好支撑决策的情报研究工作可以遵循的实践逻辑:坚持“从零散转化为结构,从结构整合为系统,从系统升华到体系”的层次渐进认知,贯通“感知-监测-理解-分析-预判”的实践路径,循环迭代,贴近乃至契合决策咨询需求。 展开更多
关键词 科技情报机构 智库功能 决策 实践逻辑
下载PDF
法院专项工作报告制度的运行逻辑与优化发展——以最高人民法院专项工作报告的实践为分析素材
14
作者 郭松 《政治与法律》 CSSCI 北大核心 2024年第5期17-33,共17页
作为具有中国特色的法律治理手段,法院专项工作报告制度的确立蕴含着人大监督权扩张、法院组织成长、人大与法院互动等丰富信息。法院报告专项工作的频次、议题选择、内容构成与报告审议为把握法院专项报告制度的现实图景提供了具体维... 作为具有中国特色的法律治理手段,法院专项工作报告制度的确立蕴含着人大监督权扩张、法院组织成长、人大与法院互动等丰富信息。法院报告专项工作的频次、议题选择、内容构成与报告审议为把握法院专项报告制度的现实图景提供了具体维度。就实践而言,法院专项工作报告制度除了承载监督功能外,还发挥着契合中国政治与司法环境的独特功能。从制度成长的角度来看,法院专项工作报告制度远未成熟,尤其是一些制度机制与操作规范需要进一步明确与优化。法院专项工作报告制度将法院的日常运作与宏大的国家治理体系勾连起来,是观察人大与法院现实关系的重要切口。 展开更多
关键词 专项工作报告 人大监督司法 制度逻辑 功能效用 运行调适
下载PDF
两岸融合发展示范区建设的逻辑理路和实践进路——基于“结构-过程”框架的分析
15
作者 罗海成 《闽台关系研究》 2024年第1期2-16,共15页
建设两岸融合发展示范区,是推进两岸关系和平发展和服务祖国统一大业的重大战略安排。基于结构功能主义理论,应用“结构-过程”框架,建构两岸融合发展示范区研究模型。从结构角度分析,可以清晰展现两岸融合发展示范区在内涵、空间两个... 建设两岸融合发展示范区,是推进两岸关系和平发展和服务祖国统一大业的重大战略安排。基于结构功能主义理论,应用“结构-过程”框架,建构两岸融合发展示范区研究模型。从结构角度分析,可以清晰展现两岸融合发展示范区在内涵、空间两个维度的全领域、全区域的全域网格化图景;从过程角度分析,可以动态体现两岸融合发展中两类主体、两种不同方向作用力的互动作用过程。两岸融合发展示范区建设蕴含了社会系统建构的内在逻辑机理,是两岸关系领域理论与实践相结合的创新探索。两岸融合发展示范区是一项创新性系统工程,在结构层面要强化系统观念,完善两岸融合发展示范区有机系统;在过程层面要强化合作观念,推动两岸融合发展示范区合作共建;在创新层面要强化质效观念,实现两岸融合发展示范区建设规划目标。 展开更多
关键词 两岸融合发展示范区 结构功能主义 “结构-过程” 逻辑理路 社会系统
下载PDF
城市社区去行政化改革的事物、职能和组织维度
16
作者 陈建国 范子怡 《西安交通大学学报(社会科学版)》 CSSCI 北大核心 2024年第4期122-131,共10页
近年来,去行政化一直是基层治理改革的主题。部分地方政府探索了“居站分设”“撤街强社”等模式,但由于缺乏综合性,单一线索的改革难免陷入困境。现有文献从国家社会关系和社区职能分类等视角探索去行政化改革,但由于未能全面纳入社区... 近年来,去行政化一直是基层治理改革的主题。部分地方政府探索了“居站分设”“撤街强社”等模式,但由于缺乏综合性,单一线索的改革难免陷入困境。现有文献从国家社会关系和社区职能分类等视角探索去行政化改革,但由于未能全面纳入社区治理的影响因素,因而和社区治理实践存在一定的脱节。在利用事物、职能和组织逻辑的框架透视改革历程后发现,缺乏彼此配合的单一逻辑改革效果有限。住房制度改革和物业服务的市场化开辟了行政控制外的新空间,却面临业主组织支撑力度不强的难题。职能分类和准入制为社区去行政化提供了前提,但缺少组织关系改革的配合,行政性事项仍然会渗透组织边界进入居民委员会。居站分离改革为去行政化提供了组织依托,但由于缺乏系统性思维而出现了分殊。三重逻辑框架和对改革历程的分析启示,未来的去行政化要避免单一逻辑的事物职能改革或者组织改革,坚持“事物职能分类、居站分离和培育居民自治”三策并举的复合型改革,继续梳理制定社区事物职能分类目录,结合目录清单改革城市的社区居站关系,聚焦相关利益和治理环节培育居民委员会自治能力。 展开更多
关键词 城市社区 去行政化 基层治理 事物职能 组织逻辑 复合型改革
下载PDF
资本功能财富增长与共同富裕之间的内在逻辑
17
作者 李松龄 《兰州财经大学学报》 2024年第1期23-32,共10页
资本运用新方法新技术能够发展生产力和增加财富,能为全体人民共同富裕提供财富支持,但并不一定保障全体人民财富占有上的共同富裕。资本与劳动力资本相结合,既有发展生产力和增加财富的功能,又有推进全体人民共同富裕的作用。生产资料... 资本运用新方法新技术能够发展生产力和增加财富,能为全体人民共同富裕提供财富支持,但并不一定保障全体人民财富占有上的共同富裕。资本与劳动力资本相结合,既有发展生产力和增加财富的功能,又有推进全体人民共同富裕的作用。生产资料资本化为资本所有者股份和劳动力资本化为劳动者股份的新型股份制,能够实现资本和劳动力资本有机结合,能够实现劳动贡献归劳动者所有、资本贡献归资本所有者所得,有利于促进生产力发展、财富增长和全体人民共同富裕,是中国式现代化本质要求的制度创新安排。 展开更多
关键词 资本功能 财富增长 共同富裕 逻辑关系
下载PDF
法治小院:农业院校法学专业实践教育新模式探索
18
作者 刘鹏 陈笑歌 《中国农业教育》 2024年第2期31-38,共8页
借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,... 借鉴科技小院模式,法治小院把法学实践课堂学习和乡村实践紧密结合起来,是法律诊所教育的新平台,是开展法治调研的新场域,是开展法治宣传的新窗口,是提供法律服务的新样板,是乡村治理的新力量。法治小院不仅有利于学生实践能力的提升,而且能在服务乡村法治建设中塑造学生的精神品格;同时能够满足村民法治需求,为法治乡村建设做出贡献。西北农林科技大学法学专业在法治小院教学实践探索中,逐渐形成了“校内外联合,理论与实践融合,学习与服务耦合,专业技能与精神品格综合,线上与线下结合”的“五合”实践运行模式。 展开更多
关键词 法治小院 功能定位 价值证立 实践逻辑
下载PDF
资本功能及外部性的理论逻辑与中国式现代化
19
作者 李松龄 《晋阳学刊》 2024年第4期3-11,共9页
个别资本将新方法新技术应用于生产,能够提高生产力和增加财富,为劳动者财富占有上的共同富裕提供支持;也能降低个别价值,为其他资本降低工资水平、占有劳动生产的相对剩余价值转化的利润提供可能,从而影响劳动者的收入水平。中国式现... 个别资本将新方法新技术应用于生产,能够提高生产力和增加财富,为劳动者财富占有上的共同富裕提供支持;也能降低个别价值,为其他资本降低工资水平、占有劳动生产的相对剩余价值转化的利润提供可能,从而影响劳动者的收入水平。中国式现代化本质要求实现高质量发展和全体人民(尤其是劳动者)共同富裕,既要发挥资本提高生产力和增加财富的积极作用,也要消除资本占有劳动生产的剩余价值的消极影响,因此必然要求创新产权制度安排,发挥资本功能的积极作用,消除资本功能的不利影响。 展开更多
关键词 资本功能 外部性 中国式现代化 理论逻辑
下载PDF
基于暂态关键特征逻辑推理的复杂电网响应驱动暂态稳定性判别
20
作者 杨浩 伍柏臻 +3 位作者 刘铖 孙正龙 蔡国伟 刘萌 《电工技术学报》 EI CSCD 北大核心 2024年第13期3943-3955,共13页
暂态稳定实时性判别是响应式稳定控制的核心,新能源和直流输电并网下电网的结构、运行和响应特征复杂程度骤增,现有实时性判别方法的准确性和泛化性面临挑战。该文针对含新能源和直流输电的复杂电网暂态稳定性,提出了一种基于可量测暂... 暂态稳定实时性判别是响应式稳定控制的核心,新能源和直流输电并网下电网的结构、运行和响应特征复杂程度骤增,现有实时性判别方法的准确性和泛化性面临挑战。该文针对含新能源和直流输电的复杂电网暂态稳定性,提出了一种基于可量测暂态能量特征的自适应逻辑推理判稳方法,实现无电网模型依赖且具有可解释性的实时性稳定性判别。首先,基于发电机转子运动的能量关系,结合特勒根定理构建了面向复杂电网响应信息的能量函数并论证了其守恒性;然后,根据系统动能-势能能量转换特征定义了稳定预判因数,并结合最大功角差构成了判稳关键特征量,提出了基于自适应模糊推理神经网络(ANFIS)的关键特征量与稳定状态之间的映射模型,实现了暂态稳定性实时推理评估;最后,在简单系统中量化分析了关键特征量与系统稳定性间的关系,并在修改后含新能源与直流输电的IEEE10机39节点系统中验证了该文所提方法的有效性与泛化性。 展开更多
关键词 暂态稳定性 响应驱动 特勒根定理 能量函数 复杂电网 自适应逻辑推理
下载PDF
上一页 1 2 78 下一页 到第
使用帮助 返回顶部