学科分类
/ 14
280 个结果
  • 简介:广义bent函数f(x)对应的每个Walsh谱取值均相等,此时f(x)与仿射函数g(x)=x×y+b(y∈ii,b∈Zq)的距离可证明都相等,这使得广义bent函数的非线性度达到最大。这种函数在保密和通信中有许多重要的应用。本文首先讨论了广义bent函数的一些性质,且通过这些性质在已有结论的基础上给出构造广义bent函数的一些方法,并在之后给出了证明。

  • 标签: 有限域 WALSH变换 BENT函数 广义BENT函数
  • 简介:融资租赁交易是以出租人和承租人为当事人的两方交易,三方结构安排不利于厘清交易当事人之间的权利义务,也与合同的相对性原则有违。融资租赁交易的权利构造可以设计成“所有权+用益物权”模式,也可以设计成“所有权+租赁权”模式。这两种模式都体现了所有与利用的分离,但就承租人对租赁物的利用而言,前者属于物权性利用,后者属于债权性利用。两种建构均须公示租赁物之上的权利负担和物权变动,只不过“所有权+用益物权”模式中,公示的是租赁物上的他物权,间接公示租赁物上的所有权;“所有权+租赁权”模式中,公示的是租赁物的所有权。但这一公示又不同于不动产权利的公示,仅具对抗效力,相关制度应在“声明登记”模式之下去设计。

  • 标签: 融资租赁 三方结构 动产用益物权 物权公示 登记对抗主义
  • 简介:函数是中学数学的重要内容,函数思想渗透到高中数学的每一个知识板块,是历年高考的必考内容.引导学生学会应用构造函数解决一些数学问题,不仅为解题提供了一个有效的方法,而且能加深学生对函数的认识.笔者结合近几年的数学高考题以及模拟题,探讨构造函数的方法和技巧.

  • 标签: 构造函数法 数学高考题 引导学生 中学数学 高中数学 思想渗透
  • 简介:一段时间以来,官员子女火箭式提拔广受质疑而成为民众热议的话题.人们注意到,不论是25岁"高票当选"的女镇长,还是27岁被提拔的副县长;不论是22岁的团县委副书记,还是毕业三年就官至地级市的团委副书记,其背后都站着一个当官的老爸.而有关当局回应民众质疑时都是一个说辞:程序合法.可有的话音没落便真相大白,于是就有了25岁的女镇长与其父同一天辞职,22岁的团县委副书记与其父同一天被免职,27岁的副县长也被免职的连台好戏.原来,所谓的"合法程序",只不过是一些手握公权力的人蒙人耳目的障眼法,是图谋一己之私利的玩偶和道具.

  • 标签: 程序玩偶
  • 简介:构造法是一种富有创造性的解题方法,利用构造法解题有出奇制胜之妙,也有事半功倍之效.本文将以高等代数有关知识并结合具体实例,谈谈构造思想方法在解题中的运用.

  • 标签: 构造法 高等代数 应用 数学模型
  • 简介:所谓构造法是在函数与方程、数形结合、化归与转化等数学思想方法的指导下,解决某些数学问题的一种重要方法,构造的过程体现数学知识的内在联系,数学规律的形成过程.

  • 标签: 构造法 应用 解题 例析 数学思想方法 数形结合
  • 简介:蜕变测试可解决测试Oracle问题,但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法,通过该方法构造的蜕变关系,集合了复合蜕变关系的所有特点,具有较高测试效率。试验验证表明该方法有效。

  • 标签: 蜕变测试 蜕变关系 复合函数
  • 简介:汽车电子稳定程序(ElectronicStabilityProgram,简称ESP)是车辆新型的主动安全系统,是汽车防抱死制动系统(ABS)和牵引力控制系统(ASR)功能的进一步扩展,并在此基础上,增加了车辆转向行驶时横摆率传感器、侧向加速度传感器和方向盘转角传感器,通过ECU控制前后、左右车轮的驱动力和制动力,确保车辆行驶的侧向稳定性。如图24—22所示。

  • 标签: 汽车防抱死制动系统 电子稳定程序 牵引力控制系统 Program 转角传感器 侧向稳定性
  • 简介:行政问责程序是行政问责制度运行规范化、实效化、常态化的关键环节,它使行政问责由行政性而法律性、由碎片化而体系化、由内部运作而社会化、由选择化而普遍化。然而,目前我国真正或者完整意义上的行政问责程序还没有建构起来。因此,完善相关行政问责的程序规则势在必行。其中关键之点在于我们必须通过立法或者其他法律手段将行政问责程序建构起来。具体而言,行政问责主体应非行政化、行政问责罚则应法典化、行政问责方式应衔接化、行政问责过程应司法化、行政问责结果应效率化。

  • 标签: 行政问责 程序规则 规范化与实效化
  • 简介:刑期折抵是刑罚裁量过程中的重要制度,是准确执行刑罚的基本前提。刑期折抵是将先行羁押等剥夺或限制人身自由的期限换算、抵销特定刑罚的量刑制度,其逻辑关系可表述为"D=T-f(t)"。从制度的价值构造来看,刑期折抵融人权保障与制度衔接的功能于一体,彰显了现代刑法的人性关怀。刑期折抵作为一种能够充分地衔接刑事程序法和实体法、刑事司法和执行的制度,其价值也应被充分肯定。刑期折抵以人权保障的根本价值,并为羁押措施提供救济途径,其重要价值必须肯定;但刑期折抵制度也并不是完美无缺的,其自身也存在着相对局限性,无法完全消除羁押措施所带来的负面影响。只有在理论层面上认识到刑期折抵的价值构造,并熟练掌握刑期折抵的制度逻辑,审判人员才能避免在量刑过程中出现差错。由于羁押措施自身的风险导致刑期折抵也存在其制度局限性,所以减少非必要的羁押措施的适用是克服局限性的根本途径。

  • 标签: 刑期折抵 制度逻辑 价值构造 局限性
  • 简介:摘要:建筑构造是建筑学专业的一门重要的理论基础课程,为建筑设计打下坚实的基础。但该课程理论性较强、概念庞杂、内容枯燥,在传统的教学方式下教学效果不佳。本文试图在多维视阈下架构建筑构造的教学方法研究,提倡新的教学方式,将建筑构造与建筑设计紧密联系在一起,从而提高教学效果。

  • 标签: 建筑构造 建筑设计 能力 教与学
  • 简介:摘要目前多数房屋都采用平屋顶,与坡屋顶相比,平屋顶可以节省大量材料,提高预制装配化程度,减少建筑体积,便于屋顶上下,还可以提高屋顶的耐久性和房屋的耐火等级。但平屋顶排水、保温和隔热需作安全可靠的构造和处理。

  • 标签: 平屋顶 排水 保温 隔热 构造
  • 简介:任意的诉讼担当是对传统当事人确定理论的突破,我国现行法对其的规定较为零散,范围过于狭窄,尚未形成完整的理论体系。究其原因,是因为受到传统当事人确定理论、律师代理制度及诉讼费用制度等限制因素的影响。德日台等大陆法系国家及地区以选定当事人制度和团体诉讼为中心,形成了较为成熟的任意的诉讼担当体系。我国应在完善当事人确定理论的基础上.以代表人诉讼为中心,引入团体诉讼制度,适当扩大任意诉讼担当的适用范围,重构我国任意诉讼担当的理论体系。

  • 标签: 任意的诉讼担当 当事人适格 团体诉讼 代表人诉讼
  • 简介:诊断疾病是每位医师最基本、最重要的临床常规实践活动。没有正确、规范、完善的诊断。就没有正确、恰当、合理的治疗。因此,诊断疾病的水平是体现医疗质量和医疗水平的重要方面。规范的诊断疾病程序是培养和训练医师临床思维,

  • 标签: 诊断思路 程序 方法
  • 简介:程序法的角度重新解读自首的本质,将自首定位为一项诉讼行为,才能有助于司法实践中若干疑难问题的解决。而作为一项诉讼行为,自首本质上就是一种意思表示:自首的行为意思是指行为人应当明确其到案的直接目的是为了将自己置于司法机关的管辖之下,并接受司法机关的审查和裁判;自首的表示意思是指行为人应当是主动投案的,并具有通过投案这一特定方式传达其愿意接受司法机关审查、裁判的意识;自首的法效意思是指行为人应当具有明确的期望发生预定法律效果(启动刑事诉讼程序,接受司法机关审查、裁判)的意思;自首的表示行为是指行为人应当将其自首的意思通过其行为举止表达于外部。

  • 标签: 自首 诉讼行为 刑法 刑事诉讼法
  • 简介:检验室对于病人采检前处置、检体采检时、采检后等所有经过作业流程与注意事项,皆应有正式规范,才能确保各项检验结果正确。医生与病患要获得一份准确的检验报告,从检体采集开始,每一环节都马虎不得,否则就算有再精密的仪器、再精湛的检验技术,也徒劳无功。本研究针对某县级医院临床检验进行分析并拟出作业程序,有一定的现实意义。

  • 标签: 检验室 临床检验 作业程序
  • 简介:注重从程序上建党,是提高党的建设科学化水平的必然选择。注重从程序上建党,应抓好程序意识培养、程序性制度体系建设和程序性法规立法的三个方面的着力点;要科学认识和把握民主集中制蕴含的程序机制,程序建设要贯穿于"五位一体"党建格局的始终和权力运行四个基本环节的问题。

  • 标签: 程序上建党 必然选择 着力点 重点认识的问题