精华内容
下载资源
问答
  • 最简单的形式挂钩。 安装 npm i --save use-form-react # or yarn add use-form-react 在10秒钟内拥有一个好用的表格 用法 基本用法 检查 import useForm from 'use-form-react' const Form = ( ) => { const { ...
  • 设置项目默认模板。 可以将Rollup或webpack用作捆绑程序。 入门 使用degit 要在本地基于汇总创建一个新Sapper项目,请运行 npx degit " sveltejs/sapper-template#rollup " my-app 对于基于Webpack项目,请...
  • 我们这一次来玩一下vue中如何来定义一个全局组件,并且通过Vue.use()来使用 首先我们应该在我们项目里面创建一个组件alert.vue,你们在玩时候就随意啦想叫什么就叫什么,别叫床就行 如图 alert中代码为 &...

    我们这一次来玩一下vue中如何来定义一个全局的组件,并且通过Vue.use()来使用

    首先我们应该在我们项目里面创建一个组件alert.vue,你们在玩的时候就随意啦想叫什么就叫什么,看你们心情!

    如图

    在这里插入图片描述
    alert中的代码为

    <template>
      //  定义了简单的结构 
      <div class="box" v-if="isShow">
        //  假装当做提示信息 可以传递进来
        <p>{{msg}}</p>
        <button @click="close">关闭</button>
      </div>
    </template>
    
    <script>
    export default {
    
      data () {
        return {
          msg:'',
          isShow:true
        }
      },
    
      methods: {
        close(){
          this.isShow = false
        }
      },
    
      created () {
        this.msg = this.text
        this.isShow = this.hidden
      },
      //  通过props获取传递过来的值  text:提示信息 hidden 是否显示
      props:['text','hidden']
    }
    </script>
    
    <style lang='less'>
    .box{
      width:300px;
      height:200px;
      background: rgba(255, 255, 255, 1);
      border-radius:10px;
      position: fixed;
      top:50%;
      left:50%;
      transform: translate(-50%,-50%);
      border: 1px solid #ccc;
      h2{
        text-align: center;
    
      }
      p{
        text-align: center;
      }
      button{
        width:100px;
        height:35px;
        background: #ccc;
        border-radius:5px;
        display: block;
        margin: 15px auto 0px auto;
      }
    }
    </style>
    

    接下来我们再在同级目录创建一个index.js

    index.js

    //  首先将 弹框组件引入进来
    import Alert from "./alert.vue"
    //  需要将组件暴露出去
    export default {
      //  Vue.js 的插件应该有一个公开方法 install。这个方法的第一个参数是 Vue 构造器,第二个参数是一个可选的选项对象  说白了 就是需要一个install方法 最终 vue通过这个方法将组件安装上
      install:function(Vue){
        //  定义一个全局组件
        Vue.component('alert',Alert)
      }
    }
    

    如果用脚手架创建的项目,接下来就在main.js中引入inde.js并且use就ok了

    main.js

    import Alert from "./views/index"
    Vue.use(Alert)
    

    然后就可以在其他组件中使用了

    <alert text="你又漂亮了" :hidden="true"></alert>
    

    看完的如果对你有帮助希望收藏加关注啊!猴哥在这个里谢谢啦

    在这里插入图片描述

    展开全文
  • 形式化方法简介,着重介绍了B方法及工具、SIMULINK和SCADE在形式化方法中应用。
  • 主要介绍了PHP命名空间namespace及use的简单用法,结合实例形式分析了php命名空间的功能、使用方法及相关操作注意事项,需要的朋友可以参考下
  • 主要介绍了php闭包中使用use声明变量作用域,结合实例形式分析了闭包中use声明变量作用域相关原理与分析,需要朋友可以参考下
  • 不论是储存于磁盘、只读存储器、任何其它媒体或属任何其它形式(合称"Apple软件"),是由Apple Inc.("Apple")许可阁下使用而非售予阁下,而且阁下只可根据本许可证条款加以使用,Apple保留一切并未明确授予阁下...
  • Vue.use的作用以及什么时候使用

    千次阅读 2019-12-04 11:27:24
    在Vue中引入使用第三方库通常我们都会采用import的形式引入进来,但是有的组件在引入之后又做了Vue.use()操作,有的组件引入进来又进行了Vue.prototype.$something = something,那么它们之间有什么联系呢?...

    在Vue中引入使用第三方库通常我们都会采用import的形式引入进来,但是有的组件在引入之后又做了Vue.use()操作,有的组件引入进来又进行了Vue.prototype.$something = something,那么它们之间有什么联系呢?

    • 先说一下Vue.prototype,在Vue项目中通常我们引入axios来进行请求接口数据,通过npm安装之后我们只需在我们的文件中import axios from "axios"就可以使用,有时候我们会加上一句Vue.prototype.$axios = axios,prototype我们应该是再熟悉不过了
    Vue.prototype.$axios = axios
    //其实是在Vue原型上增加了一个$axios,通过我们会在全局注册这个方法,然后在周后的文件中都可以通过$axios直接来使用axios
    
    • Vue.use是什么?
      官方对 Vue.use() 方法的说明:通过全局方法 Vue.use() 使用插件,Vue.use 会自动阻止多次注册相同插件,它需要在你调用 new Vue() 启动应用之前完成,Vue.use() 方法至少传入一个参数,该参数类型必须是 Object 或 Function,如果是 Object 那么这个 Object 需要定义一个 install 方法,如果是 Function 那么这个函数就被当做 install 方法。在 Vue.use() 执行时 install 会默认执行,当 install 执行时第一个参数就是 Vue,其他参数是 Vue.use() 执行时传入的其他参数。就是说使用它之后调用的是该组件的install 方法
    • Vue.use() 的源码中的逻辑
    export function initUse (Vue: GlobalAPI) {
     Vue.use = function (plugin: Function | Object) {
      const installedPlugins = (this._installedPlugins || (this._installedPlugins = []))
      if (installedPlugins.indexOf(plugin) > -1) {
       return this
      }
      const args = toArray(arguments, 1)
      args.unshift(this)
      if (typeof plugin.install === 'function') {
       plugin.install.apply(plugin, args)
      } else if (typeof plugin === 'function') {
       plugin.apply(null, args)
      }
      installedPlugins.push(plugin)
      return this
     }
    }
    

    在源码中首先限制了它传入的值的类型只能是Function或者Object,然后判断了该插件是不是已经注册过,防止重复注册,然后调用了该插件的install方法,源码中也有介绍到Vue.use()可以接受多个参数的,除第一个参数之后的参数我们都是以参数的形式传入到当前组件中。

    • Vue.use()什么时候使用?
      它在使用时实际是调用了该插件的install方法,所以引入的当前插件如果含有install方法我们就需要使用Vue.use(),例如在Vue中引用Element如下:
    import Vue from 'vue'
    import Element from 'element-ui'
    Vue.use(Element)
    

    因为在Element源码中会暴露除install方法,所以才需要用Vue.use()引入。
    我们也可以在自己的vue项目中自己定义一个install方法,然后通过Vue.use()方法来引入测试一下:

    
    const plugin = {
      install() {
        alert("我是install内的代码")
      },
    }
    import Vue from "vue"
    Vue.use(plugin) // 页面显示"我是install内的代码"
    

    当我们打开页面就会弹出“我是install内的代码”提示。

    展开全文
  • 这篇文章主要介绍了php中namespace use用法,结合实例形式分析了PHP中命名空间定义与使用技巧,需要朋友可以参考下本文实例讲述了php中namespace use用法。分享给大家供大家参考,具体如下:现在说这个感觉有点...

    这篇文章主要介绍了php中namespace use用法,结合实例形式分析了PHP中命名空间的定义与使用技巧,需要的朋友可以参考下

    本文实例讲述了php中namespace use用法。分享给大家供大家参考,具体如下:

    现在说这个感觉有点过时了,但是感觉用namespace的人还是不多,估计还是因为不习惯吧。

    class把一个一个function组织起来,namespace可以理解成把一个一个class,function等有序的组织起来。个人觉得,namespace的主要优势有

    第一,可以更好的管理代码

    第二,文件一多,可以避免class,function的重名

    第三,代码可读性增强了

    1. 定义namespace

    namespace userCenter;

    //php代码

    namespace userCenter\register;

    //php代码

    namespace userCenter\login {

    //php代码

    }

    命名空间不能嵌套或在同一代码处声明多次(只有最后一次会被识别)。但是,你能在同一个文件中定义多个命名空间化的代码,比较合适的做法是每个文件定义一个命名空间(可以是相同命名空间)。

    2. 调用namespace

    \userCenter\register; //绝对调用

    userCenter\login; //相对调用

    use userCenter\register; //引用空间

    use userCenter\register as reg; //引用空间并加别名

    3. 实例说明

    login.class.php

    namespace userCenter;

    function check_username(){

    echo "login OK
    ";

    }

    class login{

    public function save(){

    echo "login had saved
    ";

    }

    }

    ?>

    regist.class.php

    namespace userCenter\regist

    {

    function check_username() {

    echo "regist OK
    ";

    }

    class regist{

    public function save(){

    echo "regist had saved
    ";

    }

    }

    }

    ?>

    test.php

    require "login.class.php";

    require "regist.class.php";

    use userCenter\regist; //使用use调用空间

    use userCenter\regist as reg; //as定义别名

    echo \userCenter\check_username(); //绝对调用

    $login = new \userCenter\login();

    echo $login->save();

    echo regist\check_username(); //相对调用

    echo reg\check_username(); //别名调用

    $regist = new reg\regist();

    echo $regist->save();

    使用use,比绝对调用要好一点,好比给class,function等加了一个前缀,这样看起来就比较清楚了。

    希望本文所述对大家PHP程序设计有所帮助。

    展开全文
  • By definition, formal verification is the use of tools that mathematically analyze the space of possible behaviors of a design, rather than computing results for ...形式验证在IC flow有两种常用看...

    9817c8d6c74f210f2f4a234dbf446a6a.png
    By definition, formal verification is the use of tools that mathematically analyze the space of possible behaviors of a design, rather than computing results for particular values.

    形式验证在IC flow有两种常用的看起来相差甚多的领域:

    • 模型检查(model checking):检查RTL是否满足设计规范,典型产品如JasperGold
    • 等价性检查(equivalence checking):检查两个design是否等价,可以是RTL和RTL之间、RTL和netlist之间或者两个netlist之间,典型产品如Synopsys的formality和Cadence的Conformal LEC

    既然都是形式验证的范畴,那必然会有一些共性的东西。它们的背后都有一系列数学工具在支撑,比如binary decision diagrams。从理解角度,不严格地考虑,二者都是力求遍历所有可能的输入,来检查对应的输出是否满足目标。当然,实际实现上不可能简单实用穷举,EDA工具都有很多数学模型可以使用,以解决各类问题。比如对于一个加法器,如何进行model checking和equivalence checking?如果穷举那效率太低了,我们可以根据design使用诸如AIG(and-inv graph)等手段把function抽取出来,和model或其他design进行比较。

    其实formality和Conformal LEC只涵盖了等价性检查的一方面(CEC),equivalence checking还有一种更强大的手段:SEC,只是这个手段在IC flow中并未普及。这方面的工具有Cadence旗下的JasperGold SEC和和Mentor的SEC工具Questa SLEC。

    RTL的function的形式验证除了model checking,还有一种手段是定理证明(Theorem proving),对纯计算逻辑会比较有用。

    2c20569c8a91ed60e4abf3e3a8fa5536.gif

    1. Model checking

    Formal verification, in contrast to testing, uses rigorous mathematical reasoning to show that a design meets all or parts of its specification.

    提到形式验证的model checking,绕不开和传统的仿真验证方式的比较。仿真验证依靠施加各种类型的激励,以尽量高的覆盖我们想验证的逻辑功能。这种方法自然coverage很难达到100%,而形式验证理论上是可以达到100% coverage的。

    ddbdf563566b8287bb541cdaf651922c.png

    那model是怎么来的呢?model是根据design specification写出来的,具体形式可以是用形如SVA表达的ssertion集合(当然还有其他的表达工具)。

    5e76cb0462ac3f0bee71dd3c08a5e45c.png

    本质上讲,model checking的工具使用各种数学手段来试图证明你的design能完全match你写的assertion,如果不能,那么就是找到bug了。当然了,根据specification写出assertion也是一个挑战。

    Model checking在IC flow中是对simulation方式的一个补充,使用的流行度无法和基于UVM的simulation相比。

    2. Theorem proving

    Theorem proving也是一种验证RTL功能和model是否match的手段。顾名思义,它使用的是推导的方法。不像model checking是工具自动给的激励来和assertion匹配,定理证明则是用纯数学方法了。它们之间有一点是共通的,就是都是和根据design specification写的model来比,model checking用assertion表达model,而theorem proving则是用某种中间语言来表达。

    用来进行theorem proving最有名的工具语言算是ACL2了。

    ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp".

    Intel和AMD都拿ACL2来验证他们的浮点数乘法器。验证过程是类似这样的:

    b9de690711a070505146dfd2e9213326.png

    Theorem proving使用的范围比较窄,所以在IC flow中并不常见。

    3. Equivalence checking

    顾名思义,等价性检查就是看两个design是否等价。像我们常用的Synopsys的formality或者Cadence的Conformal LEC使用的是给定参考状态(拥有match步骤)的combinational equivalence checking(CEC),针对的是同一个design的不同实现阶段。还有可以针对内部状态不match情况下的等价性检查,比如经过retimed, pipeline重排后的design。

    3.1 Combinational equivalence checking

    等价性检查(Equivalence checking)可以用在IC流程的各个阶段。

    bdd4f2a728a399386b46c565f7f1c0dd.png

    除了上图提到的使用场景外,RTL和RTL进行比对也是一项很有用的功能。比如我们对一个模块优化timing,又不想重新跑regression,我们可以比对优化前后的RTL是否等价来进行验证。

    我们知道,equivalence checking工具如formality有个步骤叫match,用于match两个design里的参考点,这些参考点和STA里使用的类似,为flip-flop和IO,然后再进行verify。这是很容易理解的,工具把整个等价性检查工具拆分为一系列两个参考点之间的组合逻辑的等价性验证,可以让整个工作高效完成。当然,这只是简单的易于理解的说法,实际上里面会有很多的加速手段。

    cd563c20ef44d97f9a38f1d66b1bd6f8.png

    CEC在IC flow中是标配,即是工程师口中狭义的形式验证,没有听说过不用的。

    3.2 SEC与形式验证的统一

    实际上formal equivalence checking工具不止于此。上面说到的conception其实称为combinational equivalence checking (CEC),还有一种是sequential equivalence checking (SEC)。SEC可以对两个时序逻辑设计进行比对,它可能使用BDD等symbolic算法来对设计的状态空间进行表述,这也就演变为了model checking问题,所以SEC通常会使用更高抽象层级的reference model,这个思想和验证RTL功能的model checking和theorem proving就有明显的共通之处了。

    05b000017913bb68d7742bba6353d467.gif

    JasperGold SEC工具就是做这个工作的。当然SEC主要就是针对RTL对RTL了。我们可以把SEC工具看做model checking的一个特例,这里model不是assertion,而是另一个design,甚至可以是一个周期精确的model,从这点看是不是很像theorem proving实现的功能呢?

    可以想象SEC的计算复杂度很高,在不可实现的实现我们通常可以寻求bounded equivalence checking(BEC)的帮助,我们把vector sequence的长度作一个限制,去证明在这个长度以内两个design是等价的。

    70fd052584f9e86fb097dad5a4b4ab8e.png

    BEC作为SEC的一个实现手段,自然也可以用于RTL function的model checking。SEC在IC flow中并未普及,IC flow中通常的使用场景都可以用CEC解决。

    4. 小结

    我们可以看到各种formal verification 手段殊途同归到design implementation和reference model(不管是assertion, RTL ,netlist还是电路的其他中间形式表达)的比对上

    从各种形式验证手段背后思想、算法的角度来看,不管model checking、theorem proving还是equivalence checking它们之间其实还是一致的,很多concept和algorithm可以共享。

    展开全文
  • NET USE 用法

    千次阅读 2017-11-16 17:04:08
    原创作品,允许转载,转载时请务必以超链接形式标明文章 原始出处 、作者信息和本声明。否则将追究法律责任。http://bluepig.blog.51cto.com/440658/108636 本文是转载51 猪窝前辈,仅用来学习  ...
  • 主要介绍了php中namespace及use用法,结合实例形式分析了php中namespace及use的功能与具体使用方法,需要的朋友可以参考下
  • 对于系统发展而言,Use Case的范围限制一个单一的系统,这是Use Cases最通常的形式,我们称之为System Use Case,它把整个系统看作是一个黑盒,它不指定任何内部结构并且仅受限于问题域的语言描述。 因此,.故事/...
  • 主要介绍了SeaJS中use函数用法,结合实例形式分析了use函数加载模块使用方法与相关操作技巧,需要朋友可以参考下
  • 春天的形式设计

    2013-09-19 15:51:05
    <li><p>In my project, I have to use many forms and most of them are different. What is the recommended way of implementing forms in spring. Using Model?</p></li> <li><p>I want to use ajax for forms ...
  • 形式与PHP中的形式

    2013-08-07 07:53:21
    <p>i want to use form with in a form. i have the following code. <pre><code><?php session_start(); if(!isset($_SESSION['logged_in'])){ echo "Sorry! You need to log in to add Information. <a ...
  • SAP 用户参数 ME_USE_GRID

    千次阅读 2019-02-11 10:34:17
    我们可以通过设置user parameter方式,改变一些报表显示格式,让其以ALV 列表形式显示结果,方便用户对报表结果做后续处理。   SU3 进入参数修改界面, 添加如下参数:参数: ME_USE_GRID 值: X   这样...
  • 主要介绍了PHP正则替换函数preg_replace()报错:Notice Use of undefined constant解决方法,结合具体实例形式分析了preg_replace()报错原因与相关解决技巧,需要朋友可以参考下
  • 主要介绍了PHP匿名函数和use子句用法,结合实例形式分析了匿名函数结合use的相关使用技巧,需要的朋友可以参考下
  • 使用购物车 一个React Hook,用于处理Stripe购物车状态和逻辑。 文献资料 :sparkles: :books: 经常问问题 这是您开始使用时可能会遇到有关使用购物车...欢迎任何形式的捐助! 执照 麻省理工学院:copyright:
  • C++以字符串形式返回第N个斐波那契算法C++以字符串形式返回第N个斐波那契算法完整源码(定义,实现,main函数测试) C++以字符串形式返回第N个斐波那契算法完整源码(定义,实现,main函数测试) #include <...
  • 主要介绍了php中namespace use用法,结合实例形式分析了PHP中命名空间定义与使用技巧,需要朋友可以参考下
  • Use Case获取需求的方法是否有什么缺陷,还有什么地方需要改进? (PS:是否对所有的应用领域都适用?使用的方便性......) ...给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动...
  • 给出了领域用例的形式化定义方式,增加了最小数据触发集的描述,提出了用例的动态模型和静态模型概念。扩展活动图用于表示用例之间的动态关系和执行过程,并将值流和对象流融入到活动图的表示中。依据用例的动态模型,...
  • 本文以实例形式讲述了ASP.NET实现图片以二进制的形式存入数据库的方法。过去我们都是直接在数据库中存入图片文件名的,还没有试过存储整张图片到数据库中,经过一番资料查询与测试,整理出了如下的功能代码: 1.建立...
  • Basic Use Case Model with System Actor(具有系统参与者基本用例模型) 带有系统参与者模式基本用例模型创建元素和描述用户角色希望从系统中实现目标用例图。用例都包含在系统边界内,参与者都在边界之外。...
  • const 修饰的变量,有着变量的形式,常量的作用,用作常量,常用于取代#define 定义的宏常量。 我们之前说过从一个文本文件到一个可执行程序的过程,我们说明过define定义的宏是在预处理阶段进行替换的。 我们在...
  • 比如,当需要Vue实现Ajax请求功能,我们希望通过this.$get(url)的形式就可以发送一个get请求。那么,我们就需要给Vue的实例添加一个$get方法,Vue实例本身是没有这个方法的。Vue的一些插件:vuex:官方状态管理插件...
  • use-complex-state-源码

    2021-03-30 21:32:05
    引入useComplexState钩子(一个结合了Redux Toolkit小型包装器),useReducer和一些额外语法糖,使事情变得更加简单和切合实际。 为什么? useReducer是Redux... 它返回一个具有以下形式的数组: [ state , ob

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 1,671
精华内容 668
关键字:

use的形式