精华内容
下载资源
问答
  • structure

    2012-07-29 17:02:25
    A structure can be considered as a deluxe(豪华版) kind of vector. we use defstruct .we just give the name of the structure and the names of the fields。 CL-USER> (defstruct point x y

    一:结构体的构造

    A structure can be considered as a deluxe(豪华版) kind of vector.

    we use defstruct .we just give the name of the structure and the names of the fields。

    CL-USER> (defstruct point
    	   x
    	   y)
    POINT
    CL-USER> (vector 1 2 3)                   #(1 2 3)
    CL-USER> (setf p (make-point :x 0 :y 0))  #S(POINT :X 0 :Y 0) ;;注意对比他跟vector显示时的不一样

    二:结构化对象定义后自动赋予的隐含函数

    This defines a point to be a structure with two fields, x and y. It also implicitly defines the functions make-point, point-p, copy-point, point-x, and point-y.

    First we should call make-point to create a new point, then we can specify the values of individual fields by giving the corresponding keyword arguments.

    CL-USER> (setf p (make-point :x 0 :y 0))  #S(POINT :X 0 :Y 0)
    CL-USER> (point-x p)                      0
    CL-USER> (setf (point-y p) 2)             2
    CL-USER> p                               #S(POINT :X 0 :Y 2)
    CL-USER> p                               #S(POINT :X 0 :Y 2)
    structure对象显示的话都是以#s开头,它是由对象中的关键字:print-function来决定的,注意下面有个例子就是通过改变:print-function 指向的函数对象然后实现structure的特定化输出

    Defining a structure also defines a type of that name.using point-p to test whether something is a point,

    CL-USER> (point-p p)      T
    CL-USER> (typep p 'point) T
    给field赋予默认值
    We can specify default values for structure fields by enclosing the field name and a default expression in a list in the original definition. 
    CL-USER> (defstruct polemic
    	   (type (progn
    		   (format t "What kind of polemic was it? ")
    		   (read)))
    	   (effect nil))
    POLEMIC
    CL-USER> (make-polemic)
    What kind of polemic was it? string
    
    #S(POLEMIC :TYPE STRING :EFFECT NIL) ;;注意一个structure的显示格式。
    更改调用隐含函数的方式及对象的显示格式

    :conc-name用于决定field前面跟什么名字来访问该field,默认情况是structure name-

    :print-function 改变结构体显示时的方式,默认是#s(),他接受3个参数,一个是structure name 第二个是输出流,第三个可忽略。

    CL-USER> (defstruct (point (:conc-name p)
    			   (:print-function print-point))
    	   (x 0)
    	   (y 0))
    POINT
    CL-USER> (defun print-point (p stream depth)
    	   (format stream "#<~A,~A>" (px p) (py p)))
    PRINT-POINT
    CL-USER> (setf pp (make-point))  #<0,0>  ;;输出格式按照上面我们重新定义的,而不是#s(point :x 0 :y 0)
    CL-USER> (px pp)                 0       ;;不需要用point-x来访问该域的值了
    
    如果:conc-name nil的话,就是不需要用前缀,直接用域名就可以作为函数后面跟structure对象名字就可以实现对该域的访问

    CL-USER> (setf oo (make-point))  #<0,0>
    CL-USER> (x oo)                  0

    展开全文
  • structure streaming

    千次阅读 2020-03-04 21:47:40
    structure steaming在spark streaming上进行了全新架构,持续处理模式支持很快很快,微批处理模式支持毫秒响应,select where groupBy map filter flatMap操作都支持 支持sparkSQL,数据抽象是dataframe 和DataSet ...

    structure steaming在spark streaming上进行了全新架构,有两种模式
    1.持续处理模式,支持超过毫秒级响应,
    2.微批处理模式,支持毫秒响应,
    功能:select where groupBy map filter flatMap操作都支持
    支持sparkSQL,数据抽象是dataframe 和DataSet
    而SparkSQL只能处理静态数据spark streaming数据抽象是dstream rdd流
    structure streaming关键是将实时数据流看作一张正在不断添加的无界表,spark不断添加数据进行批量计算和增量计算
    在无界表上对输入的查询生成结果表,系统每隔一段时间会触发对无界表的计算并更新结果表
    默认是微批处理模式,定期检查流数据源,对上一批结束后到达的新处理进行批量查询,有一点延迟因为在微批处理之前要先把处理数据的偏移量写于预写日志,这是害怕处理时发生宕机之类的,保证数据只被处理一次
    持续处理模式,满足更高响应速度,需求场景比如银行卡欺诈盗刷,spark2.3.0版本以后支持这个模式,不会根据触发器来周期性处理,而是启动一系列的连续读取处理和写入写过的长时间运行任务,,它在输入流里面加一系列标记,每个时期的数据偏移量异步写入预写日志,不需要等待写入,代价就是只能实现至少一次的一致性,就是只能保证数据至少被处理一次,不能保证仅处理一次

    展开全文
  • project structure

    2018-07-01 18:19:31
    project structure module library facets artifacets

    project structure

    module

    这里写图片描述

    library

    这里写图片描述

    facets

    这里写图片描述

    编译代码的文件夹设置

    这里写图片描述

    artifacts

    这里写图片描述

    展开全文
  • kripke structure

    2019-09-25 09:06:49
    唠叨几句 ...目前我遇见的第一个大的知识点就是kripke structure。对了,我还有一个体会,就是在这种学术论文中,许多的词语很难找到对应的中文去解释,感觉翻译成那个意思都不能准确的表达。忽然想起...

    唠叨几句

    目前在学习模型验证,导师给了一本书Handbook of Model Checking 2018 一本文献综述看,都是英文的,看的很慢。里面有数学推导过程,其中有一些缩写做好笔记,比如i.e.表示“也就是说”,such that表示“使什么成立”还有denote by等等。
    目前我遇见的第一个大的知识点就是kripke Structure。我有一个体会,就是在这种学术论文中,许多的词语很难找到对应的中文去解释,查阅词典翻译后的意思不能准确表达论文思想。
    我在网上搜索了几个大佬写的文章,他们的说法有一些不同。Kripke Structure是一种思想,和不同系统结合就会生成对应系统的结果,这也正式Kripke Structure的优秀之处。

    kripke structure 1

    先在CSDN中搜索大佬写的博客。
    一阶逻辑及其到Kripke Structure的转换
    形式化开发方法-时态逻辑
    说实话~博客真的少的可怜。
    从大佬哪里复制一些主要的,整理一下。

    kripke structure 2

    A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke,[1] used in model checking[2] to represent the behavior of a system. It is basically a graph whose nodes represent the reachable states of the system and whose edges represent state transitions. A labelling function maps each node to a set of properties that hold in the corresponding state. Temporal logics are traditionally interpreted in terms of Kripke structures.
    -wikipedia Kripke structure (model checking)

    Kripke 结构即过渡(迁移)系统的变化,在模型检查中用来表示系统的行为,也可以用来描述上述的反应系统。Kripke 结构由状态集合(S)、过渡集合( R)以及标记函数(L)组成。该标记函数标记各状态下使得该状态为true的变量集合。Kripke 结构是一个状态过渡图,路径可以建模反应系统的计算。基于此,使用一阶逻辑公式形式化并发系统。 定义AP为一组原子命题,则Kripke结构M为在原子命题上的一个四元组M=(S,S0,R,L)M=(S,S_0,R,L)。其中

    • S是有限的状态集合。
    • S0S_0是S的子集,表示初始状态。
    • R是S的笛卡儿积,表示过渡(迁移)关系,且必须包含所有的,也就是说每个s总会有s’使得(s,s’)在关系R中。
    • L是标记函数,标记原子命题使某状态为真。

    kripke structure 3

    这是我找到的又一种说法
    在这里插入图片描述
    其实这些和我在书上看到的都不太一样,书上使用了五元组,K=(AP,S,S0,R,L)K=(AP, S, S_0, R,L)。其中:

    • AP is a finite set of atomic propositions 一组有限原子命题
    • S is a set of states 状态集合
    • S0SS_0 \sub S is a set of initial states 初始状态集合
    • RS×SR \sub S \times S is a transition relation 状态上全转移
    • L : S2APS \rightarrow 2^{AP} is a labeling function AP中每个原子命题可能是True也可能是False,S表示的是状态,在某个状态下,原子真假的组合会决定状态S的真假,这种组合有2AP2^{AP}种情况,我是这么理解的,如果有大佬有其他问题,欢迎讨论。
    展开全文
  • Data Structure Interview Questions 1) What is Data Structure? Explain. Data structure is a way that specifies how to organize and manipulate the data. It also specifies the relationship between t....
  • idea structure窗口

    千次阅读 2019-02-27 22:16:13
    https://www.jetbrains.com/help/idea/structure-tool-window-file-structure-popup.html
  • Invalid PDF structure

    2021-01-10 06:13:31
    Invalid PDF structure" <code>"react": "^15.5.0", "react-dom": "^15.5.0", "webpack": "^3.8.1", "react-pdf": "^2.0.0"/"^2.4.2"...
  • IDEA Project Structure

    千次阅读 2019-08-21 09:11:17
    IDEA Project Structure 此文档基于 IntelliJ IDEA 2018.3.3 版本编写。 此文档以 javaWeb 项目作为说明。 此文档表示本人现阶段对Project Structure的理解。有些地方理解得不够深刻,欢迎补充说明。 Project ...
  • Structure is a database object which is a group of fields which can be used in multiple tables in SAP ABAP. The advantage of structure is that it is reusable in multiple tables. The difference betwe.....
  • VUE Project Structure

    2019-10-17 10:16:11
    转自:http://vuejs-templates.github.io/webpack/structure.html
  • Tree structure

    2012-08-18 00:55:55
    a tree is a widely used data structure that simulates a hierarchical tree structure with a set of linked nodes. Tree is a subset of graph node A node is a structure which may contain a value o
  • IDEA中每天都在用的Project Structure,你了解多少?

    万次阅读 多人点赞 2020-10-19 07:57:36
    但针对不同的项目难免需要针对性的配置,本文带大家详细的梳理一遍Project Structure中各项功能,注意收藏,以备不时之需。 先说一下写本文的缘由,在项目中用Idea中打开一组SpringBoot项目,结果编译的结果和日志...
  • Data Structure?

    千次阅读 2019-04-04 10:55:53
    Data structure is one of the basic skills for Computer Science students, which is a particular way of storing and organizing data in a computer so that it can be used efficiently. Today let me introdu...
  • simple definition of structure Enum Sex{ MALE. FEMALE }; //Student is the structure name, struct student is the structure type, and the contents are member variables struct Student{ char name[1024]...
  • [CV] Structure from motion(SFM)- 附我的实现结果

    万次阅读 多人点赞 2017-04-26 15:13:33
    完成时间:2017年2月27日 博客时间:2017年4月26日 去年,我有幸了解到image-based modeling的相关知识。作为一个大三本科生,虽说自己此前也做过一些相关工作,但是要自己实现Structure f...
  • Project Structure详解

    千次阅读 2019-05-09 16:10:11
    Project Structure “项目结构”对话框允许您管理项目和IDE级别的元素,例如Modules,Facets,Libraries, Artifacts和SDK。 在大多数情况下,左边部分有两个窗格实现了两级选择器。唯一的例外是当你选择项目,...
  • structure 2.3.4 软件使用指南

    千次阅读 2019-05-19 17:51:14
    软件下载 structure
  • Table of Contents Introduction: LTE FDD and LTE TDD LTE Frame structure https://www.rfwireless-world.com/Tutorials/LTE-frame-structure.html...This page covers LTE Frame structure including subfram...
  • data structure and algorithm, java. 中文版
  • idea中如何显示structure

    千次阅读 2019-12-27 17:56:27
    idea中如何显示structure View→Tool Windows→Structure 快捷键为Alt+7 如下图:
  • 解决Structure needs cleaning

    万次阅读 2019-06-16 23:28:00
    Structure needs cleaning 百度了一下发现使用xfs_repair可以解决 操作 因为我做的是raid5 ,可能是昨天我重启了机器的缘故,所以我要做的是先umount md0 但是因为我的docker目录就是在md0 中的,还有很多其他...
  • 用的hierarchical information structure 竟然是在句子中的。也就是单句中的,类似于parser tree 作者认为,原有的句子本身富含着丰富的hierarchy信息,将这些信息用来表征句子内容会加强最后语音生成的结果。 嗯,...
  • Data structure

    2012-05-15 00:27:35
    From Wikipedia, the free encyclopedia Jump to: navigation,search a hash table ...computer science, a data structure is a particular way of storing and organizing data in a comput
  • Spark 流式系统 Structure Streaming

    千次阅读 2019-07-25 23:30:22
    随着 IoT 等行业的快速发展,各种系统对实时流式计算的要求越来越高,比如反作弊等。在过去几年,流式计算一直是以 Spark 的 Spark Streaming 为代表,随着实时性要求越来越高...为此 Spark 在 2.3 推出了 Structure...
  • EBG Structure

    2018-11-07 20:37:38
    多频的超材料结构,对于天线和电磁场微波技术的人有很好的参考价值!
  • POINT Structure

    2012-07-30 17:48:12
    点 结构定义点的 x 坐标和 y 坐标。 typedef struct tagPOINT { LONG x; LONG y; } POINT; 参数:  x 指定点的 x 坐标。...//Alternate ways to initialize a POINT structure: POINT ptA; p
  • HDUOJ 4217 Data Structure?

    2020-09-16 12:19:04
    HDUOJ 4217 Data Structure? 题目链接 Problem Description Data structure is one of the basic skills for Computer Science students, which is a particular way of storing and organizing data in a computer ...
  • structure from motion

    千次阅读 2017-06-29 19:53:49
    1. 概念Structure from motion 指的是由图像生成3维点云以及相机姿态,即: - 输入:一系列图像,拍摄同一场景 - 输出: 每一张图像对应的相机位置和朝向, 场景中的3D点云2. 算法流程 获取相机内参矩阵 对输入...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 109,946
精华内容 43,978
关键字:

structure