期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
法院专项工作报告制度的运行逻辑与优化发展——以最高人民法院专项工作报告的实践为分析素材
1
作者 郭松 《政治与法律》 CSSCI 北大核心 2024年第5期17-33,共17页
作为具有中国特色的法律治理手段,法院专项工作报告制度的确立蕴含着人大监督权扩张、法院组织成长、人大与法院互动等丰富信息。法院报告专项工作的频次、议题选择、内容构成与报告审议为把握法院专项报告制度的现实图景提供了具体维... 作为具有中国特色的法律治理手段,法院专项工作报告制度的确立蕴含着人大监督权扩张、法院组织成长、人大与法院互动等丰富信息。法院报告专项工作的频次、议题选择、内容构成与报告审议为把握法院专项报告制度的现实图景提供了具体维度。就实践而言,法院专项工作报告制度除了承载监督功能外,还发挥着契合中国政治与司法环境的独特功能。从制度成长的角度来看,法院专项工作报告制度远未成熟,尤其是一些制度机制与操作规范需要进一步明确与优化。法院专项工作报告制度将法院的日常运作与宏大的国家治理体系勾连起来,是观察人大与法院现实关系的重要切口。 展开更多
关键词 专项工作报告 人大监督司法 制度逻辑 功能效用 运行调适
下载PDF
基于谱技术检测特殊逻辑函数的新方法 被引量：6
2
作者 应时彦 肖林荣 杭国强 《浙江工业大学学报》 CAS 2008年第2期192-194,共3页
阐述了冗余函数、线性函数、自反函数、自双反函数的定义,讨论了它们的谱系数的特点,提出了6个相关的定理.这些定理给出了基于谱技术检测冗余函数、线性函数、自反函数、自双反函数的新方法,实例展示了应用该方法检测上述函数的过程.
关键词 谱技术 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数
下载PDF
基于布尔e导数的特殊逻辑函数检测方法 被引量：5
3
作者 赵美玲 《浙江大学学报（理学版）》 CAS CSCD 2014年第4期424-426,共3页
布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e... 布尔代数中的特殊逻辑函数具有独特的性质,而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法,在介绍线性函数、自双反函数以及布尔e导数概念的基础上,提出了利用布尔e导数判别线性函数和自双反函数的定理,给出了基于布尔e导数检测线性函数、自双反函数的方法,并通过3个实例,展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域. 展开更多
关键词 布尔e导数 特殊逻辑函数 线性函数 自双反函数
下载PDF
基于归一化Haar变换检测旋转对称函数的新方法 被引量：1
4
作者 邱晓华 陈偕雄 《浙江大学学报（理学版）》 CAS CSCD 2012年第6期651-653,共3页
讨论了旋转对称函数在归一化Haar变换域中的谱特性,提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
关键词 归一化Haar变换 旋转对称函数 特殊逻辑函数 谱技术
下载PDF
基于谱系数图检测特殊逻辑函数的图形方法
5
作者 周振峰 万尤宝 肖林荣 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2008年第6期630-633,共4页
阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、... 阐述了特殊函数——冗余函数、线性函数、自反函数、自双反函数的定义.讨论了它们的有关谱系数的性质.据此提出了这四个函数的特点的四个定理,给出了相应谱系数图的特点,得到了基于谱技术的谱系数图检测冗余函数、线性函数、自反函数、自双反函数的新方法.实例展示了基于上述定理的谱系数图检测上述函数的过程.实例表明该方法具有直观、简单等特点. 展开更多
关键词 特殊逻辑函数 冗余函数 线性函数 自反函数 自双反函数 谱技术 谱系数图
下载PDF
分组密码算法的基础平台研究 被引量：1
6
作者 孙红波 傅仕诤 徐日 《无线电工程》 2014年第1期65-67,共3页
分组密码算法是信息加密处理的重要算法。分组密码平台是一种实现密码算法的处理器。分组密码在设计上可采用存储逻辑或布线逻辑,二者在实现上分别依赖微处理器和数字逻辑电路。通过分析分组密码算法的特点和分组密码的设计准则、安全... 分组密码算法是信息加密处理的重要算法。分组密码平台是一种实现密码算法的处理器。分组密码在设计上可采用存储逻辑或布线逻辑,二者在实现上分别依赖微处理器和数字逻辑电路。通过分析分组密码算法的特点和分组密码的设计准则、安全性准则,针对基于存储逻辑的算法和基于布线逻辑的算法特点,提出设置特殊函数运算指令,将多种不同逻辑类型的密码运算因子以单一的指令形式实现,在处理器上以指令形式在一个平台上实现,解决了不同算子在同一平台上高效计算问题。 展开更多
关键词 分组密码算法 基于存储逻辑 基于布线逻辑 特殊函数运算指令
下载PDF
计算机辅助特殊逻辑函数检测
7
作者 厉晓华 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2009年第3期288-290,共3页
在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
关键词 特殊逻辑函数 线性函数 冗余函数 自反函数 自双反函数 计算机辅助设计
下载PDF
建筑意象的表达与空间逻辑——无锡博物院设计回顾 被引量：1
8
作者 李春舫 《建筑技艺》 2021年第1期52-57,共6页
无锡作为长江三角洲重要的经济、历史、文化名城,其平静的山水之间蕴藏着宁静而深不可测的能量,而现代建筑技术无疑为无锡博物院提供了表达的机会。通过探索具有场所感的、开放型的公共建筑,试图在城市、建筑与人的行为之间,在浪漫的艺... 无锡作为长江三角洲重要的经济、历史、文化名城,其平静的山水之间蕴藏着宁静而深不可测的能量,而现代建筑技术无疑为无锡博物院提供了表达的机会。通过探索具有场所感的、开放型的公共建筑,试图在城市、建筑与人的行为之间,在浪漫的艺术想象力与理性的使用功能和建筑技术之间,建立一种新的平衡。 展开更多
关键词 建筑意象 使用功能 空间逻辑 平衡
下载PDF
时空嵌入式生成对抗网络特殊逻辑函数检测
9
作者 廖志雄 尚文祥 王士斌 《计算机仿真》 北大核心 2021年第6期233-237,共5页
为了对同一逻辑函数不同特殊性进行判别,并在检测过程中排除任意项函数干扰问题,提出基于分解图的时空嵌入式生成对抗网络特殊逻辑函数检测方法。通过分析嵌入式生成对抗网络,获取生成式模型运行流程及特征;通过行变量、列变量对线性函... 为了对同一逻辑函数不同特殊性进行判别,并在检测过程中排除任意项函数干扰问题,提出基于分解图的时空嵌入式生成对抗网络特殊逻辑函数检测方法。通过分析嵌入式生成对抗网络,获取生成式模型运行流程及特征;通过行变量、列变量对线性函数、冗余函数检测,采用分解图方法对其检测结果举例计算与说明,经过变量逻辑函数计算自反函数,获得自双反函数检测结果;通过二叉树映射变换检测含任意项的特殊逻辑函数,实现对全部特殊逻辑函数的检测。仿真结果表明,所提算法可以有效提升检测效果、减少计算步骤,具有较高的适用性,可广泛应用于实际工作中。 展开更多
关键词 深度学习 网络对抗 逻辑函数检测 含任意项特殊函数 二叉树算法
下载PDF
一种数字模拟电路混联的统一分析法 被引量：2
10
作者 屈广林 韩晓微 《沈阳大学学报》 CAS 1998年第4期18-23,共6页
本文提出了一种数字电路与模拟电路混联的统一分析方法.这种方法主要是采用了数字电路和模拟电路同时变换成函数逻辑求解,因而使得数字模拟VLSI能准确、简单、统一求解.
关键词 数字模拟电路 函数布尔逻辑 数字电路 模拟电路 混联 统一分析法
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部