• 2024-07-01JAVA编码规约
    一、编程规约(一)命名规约1.【强制】所有编程相关命名均不能以下划线或美元符号开始,也不能以下划线或美元符号结束。反例: name/__name/$Object/name /name$/Object$2.【强制】所有编程相关的命名严禁使用拼音与英文混合的方式,更不允许直接使用中文的方式。说明:正确
  • 2024-06-01规约学习
    1.Set<Long>values=...if(values.contains(42))会出现问题 即使我们明确地声明希望在两种不同的情况下分别获得Double和Integer的0值,结果却始终返回的是Double类型的0值。这是因为根据JLS#15.25,不同的数值类型间的运算首先会经过双目类型提升(Binary Numeric Promotio
  • 2024-05-27HITSC_5_Designing Specification
    目标规约,前置后置条件,欠定规约、非确定规约、陈述式、操作式规约、规约的强度及其比较规约作用给自己和别人写出设计决策:如final、数据类型定义作为契约,服务端与客户端达成一致调用方法时双方都要遵守便于定位错误解耦,无需告诉客户端具体实现,变化也无需通知客户端,扮演防
  • 2024-05-27int main(){}syntax error
    识别mian函数错误。直接定位错误到了Btype和FuncType的重复定义,存在规约规约冲突。推断依据:发现原因:存在移进规约问题,需要解决,这里主要是变量定义和函数定义的问题,但是根据我自己的理解,FuncDef是不会产生冲突的,毕竟follw集都不一样。VarDecl:BtypeVarDefGroup";" ;
  • 2024-04-10设计规约(Specification)
    转载自[https://zhuanlan.zhihu.com/p/523630664][https://zhuanlan.zhihu.com/p/523630664]并做部分内容上的补充和修改上一节,我们讲了编程语言中、、的概念,尤其详细分析了这三者可变与不可变设计的区别,并导出这一节,我们转向分析编程语言中的以及其对应的,并探究如何定义它们—
  • 2024-04-07redis开发规约
    key设计1、可读性和可管理性#业务名:表名:idgetpersoninfo:person:12、简洁性减少key长度,建议不超过39字节例子humanresource:employee:88301->hr:emp_883013、特色字符key不要包含特殊字符(空格,换行,引号),建议使用英文与数字不同类型的应用场景 序列化JdkS
  • 2024-03-20cuda规约运算
    归:递归约:减小对于一个矩阵做求和运算若串行求和的话需要o(n)的复杂度但若向下图这样,俩俩并行相加,只需要o(logn)的复杂度__global__voidreduceNeighbored(int*g_idata,int*g_odata,unsignedintn)//g_idata是待求和数组,g_odata存放的是每个线程块求和的结果{ un
  • 2024-03-13利用规约算法实现求解数组元素最大值
    规约算法原理可参照上一篇关于规约算法求解数组和的博客,此处不再详细介绍,直接给出代码实现过程及注释。#include<stdio.h>#include<stdlib.h>#defineN1000//数组大小__global__voidfindMax(int*array,int*maxValue,int*maxIndex){__shared__ints_ma
  • 2024-03-13在GPU上利用规约算法完成对数组元素累加的并行计算
    目录序言规约算法介绍GPU代码实现规约算法序言并行规约是一种适用于GPU平台的并行算法,主要提高求和、最值、均值、逻辑与和逻辑或等一类运算的并行度。若使用CPU计算,需要串行遍历所有元素得到上述运算的结果,但在GPU平台可以使用规约操作并行实现上述运算。规约算法介
  • 2024-03-04数据挖掘概念与技术 - chapter 3 - 数据预处理
    今世界数据库容易受到噪声、缺失值、不一致数据困扰,低质量数据会导致低质量的挖掘结果。数据集成将数据由多个数据源合并成一个一致的数据存储数据规约可以通过将聚集删除荣誉特征或者聚类来降低数据大规模。 数据质量:数据的准确性、完整性、一致性、时效性、可信性、可解释
  • 2024-02-22自底向上语法分析
    目录自底向上语法分析移入-规约法自底向上语法分析自底向上的语法分析是编译原理中的一个重要概念,它与自顶向下的语法分析相对应。自底向上的语法分析是从输入串的底部(叶子节点)开始,逐步进行归约,直到达到文法的开始符号,从而构造出一棵语法树。这种分析方法采用的是最左归约方式,也
  • 2024-02-13OpenCL规约算法例子
    本文给出一个规约算法求数组的和的例子。本例子求20000000(两千万)个整数的和。运算过程分成了两步,第一步是GPU对每一个工作组内规约求和,然后将每个工作组的求和结果放到数组中输出。第二步是对输出的数组用CPU求和。实际运行对比发现GPU的效率不如用CPU直接求和。下述算法运行环境
  • 2023-11-05云原生架构实战06 Kubernetes的核心概念
    一、有状态和无状态二、对象规约和状态spec是规约规格的意思,描述了对象的期望状态--希望对象所具有的特征,当创建Kubernetes对象是,必须提供兑现对象的规约,用来描述该对象的期望状态,以及关于对象的一些基本信息(名称)状态status:表示对象的实际状态,该属性由k8s自己维护,会通过一系列
  • 2023-10-05MapReduce之学习规约
    1、概念2、代码实现自定义一个类:在JobMain(与之前的基本一样)里面:
  • 2023-09-13阿里日志规约
    【强制】应用中不可直接使用日志系统(Log4j、Logback)中的API,而应依赖使用日志框架(SLF4J、JCL–JakartaCommonsLogging)中的API,使用门面模式的日志框架,有利于维护和各个类的日志处理方式统一。说明:日志框架(SLF4J、JCL–JakartaCommonsLogging)的使用方式(推荐使用SLF4J)使
  • 2023-09-11单一子群规约
    一个比较初级的整理,本篇中我们主要考虑两个问题.生成子群问题对于某一族群\(G\),给定一个子集\(S\subsetG\),问生成的子群\(\langleS\rangle\)的如下信息:给定\(g\inG\),判定\(g\in\langleS\rangle\)?计算生成子群的大小\(|\langleS\rangle|\)?...如果
  • 2023-08-19【开发】代码编写规约
    一、如何精准命名命名过于宽泛问题描述:命名过于宽泛,无法精准描述。这是很多代码在命名上存在的严重问题,也是代码难以理解的根源所在:data、info、flag、process、handle、build、maintain、manage、modify等词语。这种情形不加前缀容易导致界定模糊。修改意见:命名要能够描
  • 2023-08-11IEC104规约(一)协议结构阐述
    一、IEC104协议结构APDU:应用规约数据单元APCI:应用规约控制单元ASDU:应用服务数据单元 二、APCI2.1启动字符默认固定为68H,意思就是只要是IEC104协议就是以68H开头2.2APDU的长度问题起始一个apdu的总长度不会超过255个字节;在协议中的第二个字节会记录本ap
  • 2023-07-11浙大暑期密码学课程|可证明安全基础
    浙大暑期密码学课程|可证明安全基础视频地址:浙大暑期Crypto课程-ProvableSecurityBasics(上)、浙大暑期Crypto课程-ProvableSecurityBasics(下)参考:笔记分享|浙大暑期密码学课程:可证明安全基础前言本次课程由浙江大学的张秉晟老师带来,主要讲解密码学中的可证明安全理论基
  • 2023-06-13Redis Key 设计规约
    RedisKey设计规约Redis的key命名规范1、建议全部大写,不强制2、key单词与单词之间以:分开3、key不能太长也不能太短,键名越长越占资源,太短可读性太差4、key的其他规则1、非常长的key是不推荐的。一个1024bytes是一个非常坏的注意,不仅仅是因为内存浪费,更是因为在数据
  • 2023-06-06Git 提交规约
    Git提交规约格式<type>[scope]:<subject>//空一行[body]//空一行[footer]注:[]代表可选,<>代表必选。type必填,用于指定commit的类型。feat:增加新功能fix:修复bugdocs:只改动了文档相关的内容style:格式修改,没有修改代码逻辑,比如格式化、换行等refactor:重构代码,既
  • 2023-05-23软构复习3
    第四章数据类型与类型检验数据类型:基本数据类型:int,double,long,boolean,char;对象数据类型:String;区别: 静态类型检查:编译阶段报错,对类型的检查语法错误,类名/函数名错误,参数数目错误,参数类型错误,返回值类型错误动态类型检查:对值的报错非法的参数值,非法的返回值,越界,空指
  • 2023-05-20软构学习-5、6-设计规约、抽象数据类型(ADT)
    目录5设计规约行为等价性Spec结构Spec强度比较Diagrammingspecifications6抽象数据类型(ADT)操作的抽象类型分类:RepresentationIndependence5设计规约本章大纲:方法的规约前置/后置条件欠定规约、非确定规约陈述式、操作式规约规约强度及其比较如何写出好的规约
  • 2023-04-26第八十二天
    周三,庸庸碌碌的一天早上摆,下午,编译原理,讲的是自下而上的语法分析器,1.规范规约,画出语法树,找子树,找句柄2.优先级规约,(1)三条规则(2)first和last集,用来判断=><其实吧,这节课的东西上课的时候不太明白,现在也是一样晚上,离散,芜湖
  • 2023-04-05CUDA编程入门
    一、CUDA编程模型 1.CUDA程序执行流程  2.CUDA核函数kernel  3.CUDA程序层次结构kernel/Grid——>Block——>WARP——>Thread 上图中一个Kernel/Grid包含2×3个Block,一个Block包含3×5个线程     4.CUDA内置变量      二、向