老猿讲编程
老猿讲编程

【形式化验证基础】活跃属性Liveness Property和安全性质（Safety Property）介绍

文章目录

  • 一、Liveness Property
    • 1、概念介绍
    • 2、形式化定义
  • 二、Safety Property
    • 1. 定义回顾
    • 2. 核心概念解析
    • 3. 为什么强调“有限前缀”
    • 4. 示例说明
      • 4.1 示例1：交通信号灯系统
      • 4.2 示例2：银行账户管理系统
    • 5. 实际应用的意义
  • 三. 总结

一、Liveness Property

1、概念介绍

在系统的形式化验证领域，活性属性（Liveness Property）是一个至关重要的概念。与安全性质（Safety Property）侧重于防止系统出现不良行为不同，活性属性主要关注系统能否最终达成某些期望的目标或事件。

从定义上来说，活性属性描述了系统在运行过程中，某些积极的、有益的事件最终必然会发生的特性。例如，在一个任务调度系统中，活性属性可以是每个任务最终都能得到执行；在一个通信系统里，活性属性可能意味着发送的消息最终会被接收。

活性属性的核心在于“最终会发生”这一概念。它并不关心事件何时发生，也不关心在事件发生之前系统经历了哪些中间状态，只强调事件一定会在未来的某个时刻出现。这种特性使得活性属性在描述系统的长期行为和目标达成方面具有独特的价值。

以一个简单的电梯控制系统为例，活性属性可以表述为：“每一个楼层的电梯请求最终都会被响应”。在这个系统中，无论电梯当前处于何种状态，是正在运行、停靠还是空闲，只要有新的楼

你可能感兴趣的:(形式化验证与人工智能,安全,php,开发语言)

  • 微服务架构实战：案例分析与解决方案探讨 野老杂谈 微服务
    摘要微服务架构以其模块化和灵活性在软件开发领域迅速崛起。然而，这种架构模式并非没有挑战。本文通过深入分析几个实际的微服务项目案例，探讨了在设计、开发和部署过程中遇到的问题，以及相应的解决方案。同时，文章还展示了微服务架构如何提升系统的可维护性和可扩展性，为读者提供了宝贵的第一手经验和最佳实践。引言微服务架构通过将应用程序拆分为一系列小型、松散耦合的服务，每个服务实现特定功能，并通过轻量级通信机制相
  • 网络安全防御：蓝队重保备战与应急溯源深度解析 网安认证小马135-2173-0416 web安全安全
    课程目标本课程旨在培养专业的网络安全蓝队成员，通过系统化的学习和实战演练，使学员能够掌握网络安全防御的核心技能，包括资产测绘、应急响应、系统安全应急溯源分析、网络层溯源分析以及综合攻防演练等。学员将能够熟练运用各种工具和技术，有效应对网络攻击，保障企业信息安全。具体目标如下：增强综合攻防能力：通过综合训练，学员将能够模拟攻击者和企业安全人员，开展对抗练习，提升实战能力和团队协作能力。掌握蓝队核心技
  • C#工程中输出类型转换以及程序运行后控制台窗口不退出设置 nanke_yh C#c#输出类型切换控制台窗口暂停
    本想调试一个小的代码，无意间发现的两个C#工程中的小技巧点，在此记录一下。一、窗口不退出调试的代码主要是时间信息的转换与输出，为此新建了控制台应用工程，可以将调试信息打印出来。但执行后发现直接结束，控制台信息都没能看到就退出了。我们知道在C/C++中遇到这种情况一般是加上：getchar();或者system("pause");为了防止C#控制台窗口执行后闪退，需要在代码最后加上一句代码：Cons
  • 探索PyRDP：远程桌面协议的瑞士军刀 彭宏彬
    探索PyRDP：远程桌面协议的瑞士军刀pyrdpRDPmonster-in-the-middle(mitm)andlibraryforPythonwiththeabilitytowatchconnectionsliveorafterthefact项目地址:https://gitcode.com/gh_mirrors/py/pyrdp在网络安全领域，攻防两端的对决不断推动着工具的创新。今天，让我们聚
  • 蓝队溯源反制一键利用工具 网络安全进阶 渗透测试工具web安全渗透测试网络安全渗透工具
    蓝队利器、溯源反制、NPS漏洞利用、NPSexp、NPSpoc、Burp插件、一键利用最近做攻防演练发现了很多内网穿透的工具，其中最多的就是nps，红队老哥好像还挺喜欢这个的，真的是多，每天导出攻击IP，浅浅扫一下端口，基本都能发现这个nps。贼多NPS存在一个身份验证的缺陷，无需登录，直接进后台，后台功能点全都可以用。具体利用是伪造两个参数auth_key、timestamp。但是这俩参数的生命
  • 第一章 城镇道路工程 1.2 道路路基施工
    1.2城镇道路路基施工1.2.1地下水控制1.地下水分类与水土作用1.地下水分类固、液、气三种形态。液体水包括:吸着水、薄膜水、毛细水、重力水。毛细水可以逆重力上升一定高度,0°以下仍能移动、积聚、发生冻胀埋藏条件分上层滞水、潜水、承压水。上层滞水分布范围有限,大幅度水位变化给施工带来困难,潜水分布广,干旱半干旱，矿化度较高且埋藏较浅,注意土的盐渍化。可引起路基盐胀和吸湿软化,做好排水,隔离层措施
  • 一建市政务实-第一章-市政公用工程技术-1.城镇道路工程-2.城镇道路路基施工 泽克 安全
    2.城镇道路路基施工1.城镇道路路基施工技术1.路基施工特点与程序1.施工特点处于露天作业，受自然条件影响大，专业类型多，结构物多，各专业管线纵横交错，专业与社会之间的配合工作多，干扰多，施工变化多。交通压力、行车安全、构筑物等保护要求高；机械作业为主，人工配合为辅；专人指挥；采用流水或分段平衡作业方式。2.施工项目路基本身及有关的土（石）方、沿线的涵洞、挡土墙、路肩、边坡、各类管线3.基本流程准
  • 多种语言采集淘宝京东价格监控API接口，json响应示例参考 ID_18007905473 API大数据运维
    淘宝和京东作为国内主流电商平台，均提供价格监控相关的API接口，但接口的开放程度、使用规则及功能细节存在差异。以下是针对两大平台价格监控API的核心对比与分析：一、淘宝价格监控API接口接口类型与功能商品详情接口（如taobao.item.get）：可获取商品基本信息（标题、价格、库存等），但价格字段可能为静态值，无法直接获取实时价格波动。促销活动接口：部分接口可返回促销价（如满减、折扣），但需结
  • 华为HarmonyOS NEXT 应用开发 实现日常提醒应用 「已注销」 华为harmonyos鸿蒙鸿蒙系统
    前言不久前华为已经宣布全新HarmonyOSNEXT鸿蒙星河版将在今年秋天正式和消费者见面，并已经面向开发者开放申请。鸿蒙星河版会有更智能、更极致的原生体验，也标志着鸿蒙迈向其发展的第二阶段。因此，对于鸿蒙生态建设而言，2024年可谓至关重要，而生态建设的前提，就是要有足够的开发人才。与之对应的，今年春招市场上与鸿蒙相关岗位和人才旺盛的热度，一方面反应了鸿蒙生态的逐渐壮大，另一方面也让人们对鸿蒙下
  • 【甲方安全视角】安全防御体系建设 秋说 网络安全安全建设
    文章目录前言一、云安全防护能力第一阶段：搭建安全防护设施第二阶段：安全防护设施的精细化运营第三阶段：安全运营周报输出二、IT安全防护能力（一）办公网安全设施建设（二）办公网安全运营三、基础安全防护能力（一）物理安全（二）运维安全（三）安全应急响应四、总结前言安全防御体系是指各类防御能力的集合，体现了业界广泛认同的“纵深防御”理念。需要特别指出的是，防护模式若过于单一，并不构成真正意义上的纵深防御。
  • 基于Python的京东商品信息采集实战：用Playwright+Pandas打造高效数据抓取工具 Python爬虫项目 2025年爬虫实战项目pythonpandas开发语言爬虫游戏笔记
    一、项目背景与目标在当今电商生态中，价格、销量、评论等商品信息对用户和商家来说至关重要。无论是做数据分析、电商监控，还是构建商品推荐系统，第一步都是：获取真实的商品数据。本项目以京东商城搜索结果页为目标，通过构建一个高效、可复用的商品信息采集爬虫系统，实现对商品名称、价格、店铺、评论数、链接等核心信息的提取。二、技术路线概述我们采用如下技术架构：模块技术选型浏览器自动化Playwright（现代、
  • Python爬虫：爬取物流公司运输数据与包裹跟踪信息 Python爬虫项目 python爬虫开发语言数据挖掘旅游
    一、前言随着电商行业的蓬勃发展，物流服务已成为不可或缺的一部分。消费者对物流运输状态的关注越来越高，实时查询包裹的运输进度成为日常生活的一部分。物流公司爬虫正是为了自动化获取物流公司的运输数据和包裹的跟踪信息，帮助消费者、商家以及物流公司本身进行数据分析、优化物流链条和提高客户体验。本文将详细介绍如何使用Python爬虫从多个物流公司网站或API接口中抓取运输数据、包裹跟踪信息以及相关的统计分析数
  • 第一章 城镇道路工程 1.5 安全质量控制 泽克 一建市政章节复习笔记
    1.5城镇道路工程安全质量控制1.5.1城镇道路工程安全技术要点1.管线及邻近建筑物的保护1.管线的保护取得详细资料，设施管理单位向施工、监理进行详细交底研究确定拆迁或保护加固方案、形成文件施工前进行详探,人工开挖探沟,结构以下先施工。施工现场做好标识、施工图做好标志加固部位定期检查、维护。专人监护2.邻近建筑物的保护施工前调查,获取相关数据。采取合理的施工方案和加固措施设置沉降、位移观察点,2.
  • pip install accelerate后accelerate命令无法执行的问题 轩轩的学习之路 piplinuxwindows
    这是因为默认使用的是.local/bin/accelerate而不是conda环境里的accelerate查看accelerate路径与python是否一致whichpythonwhichaccelerate打印输出果然accelerate路径有问题（python）/home/ubuntu/.conda/envs/Emb/bin/python（accelerate）/home/ubuntu/.lo
  • 浅析JVM虚拟机之一 �欢快↑㎡ jvmjavalinux
    1.为什么要学习JVM可以深入了解Java,分析字节码，得到准确的结论可以提升排查问题的能力，可能出现内存溢出，GC频率导致响应慢等等2.JVM的部分核心2.1类装载子系统类装载子系统主要功能是查找并验证类文件、完成相关内存空间的分配和对象赋值。2.2运行时数据区类文件加载到内存之后由运行时数据区来完成数据存储和数据交换。运行时数据区又分为线程共享内存区和线程隔离内存区。线程共享内存区包括方法区（
  • 统一认证、限流、Mock 一网打尽！用 APISIX/Kong 让低代码平台更清爽 网罗开发 实战源码前端kong低代码
    网罗开发（小红书、快手、视频号同名）  大家好，我是展菲，目前在上市企业从事人工智能项目研发管理工作，平时热衷于分享各种编程领域的软硬技能知识以及前沿技术，包括iOS、前端、HarmonyOS、Java、Python等方向。在移动端开发、鸿蒙开发、物联网、嵌入式、云原生、开源等领域有深厚造诣。图书作者：《ESP32-C3物联网工程开发实战》图书作者：《SwiftUI入门，进阶与实战》超级个体：CO
  • JVM堆（Heap）详解与工作流程分析 empti_ Java基础jvmjava
    JVM堆（Heap）详解与工作流程分析1.JVM堆核心架构1.1堆内存整体布局Java堆新生代YoungGeneration老年代OldGenerationEden区Survivor区S0Survivor区S1元空间Metaspace字符串常量池1.2各区域核心参数区域默认占比JVM参数存储内容Eden区80%新生代-XX:NewRatio新创建的对象Survivor区10%新生代×2-XX:Su
  • 数字人驱动技术：让虚拟角色“活起来” CarlowZJ 数字人
    目录前言一、数字人驱动技术的概念（一）驱动技术的定义（二）驱动技术的关键组成部分二、数字人驱动技术的代码示例（一）安装依赖（二）语音输入处理（三）动作捕捉数据处理（四）Unity端的驱动实现（五）完整的数字人驱动系统三、应用场景（一）虚拟客服（二）虚拟直播（三）教育与培训（四）游戏开发四、注意事项（一）输入信号的准确性（二）动作映射的自然性（三）实时性（四）反馈机制（五）性能优化（六）安全性和隐私
  • 数字人多模态交互中的语义理解技术：让虚拟角色真正“理解”用户 CarlowZJ 数字人python
    目录前言一、语义理解技术的概念（一）语义理解的定义（二）语义理解的关键技术二、语义理解的代码示例（一）安装依赖（二）语义理解模型（三）结合情感分析（四）完整的多模态语义理解系统三、应用场景（一）虚拟客服（二）教育辅导（三）虚拟直播（四）智能助手四、注意事项（一）上下文管理（二）情感分析（三）多模态融合（四）模型选择（五）性能优化（六）安全性和隐私保护五、总结前言在数字人多模态交互中，语义理解是实现
  • UnityAPI——Math数学函数类、Random生成随机数类、OnMouseEventFunction 鼠标回调事件 WX呦 c#unity开发语言unity引擎
    一、Mathf数学函数类1、三角函数介绍Unity的所有三角函数都以弧度为单位，提供了如下函数：Sin、Cos、Tan：计算正弦、余弦和正切值。Asin、Acos、Atan：计算反正弦、反余弦和反正切值。Atan2：计算两点之间的角度，考虑了X轴与2D向量之间的角度。应用假设您需要计算一个物体在圆周路径上的移动，您可以使用Mathf.Sin和Mathf.Cos来计算其在X和Y轴上的位置。float
  • QFramework v1.0 Guide: 工具篇2——UIKit,AudioKit,FluentAPI,SingletonKit,FSMKit,PoolKit,TableKit WX呦 unity游戏引擎c#QFramework
    目录一、UIKit界面管理&快速开发解决方案1、用法（1）界面创建与层级管理（2）代码生成与组件绑定（3）打开与关闭界面（4）自定义界面加载方式2、应用场景3、示例代码二、AudioKit音频管理解决方案1、属性2、用法（1）播放音频（2）音频设置（3）音量调整（4）自定义音频加载3、应用场景4、案例（1）播放背景音乐（2）播放音效（3）播放人声三、FluentAPI链式API介绍1、属性2、用法
  • DAY 41 简单CNN 冬天给予的预感 cnn人工智能神经网络
    知识回顾数据增强卷积神经网络定义的写法batch归一化：调整一个批次的分布，常用与图像数据特征图：只有卷积操作输出的才叫特征图调度器：直接修改基础学习率卷积操作常见流程如下：1.输入→卷积层→Batch归一化层（可选）→池化层→激活函数→下一层Flatten->Dense(withDropout，可选)->Dense(Output)importtorchimporttorch.nnasnnimpo
  • 浅谈新能源与计算机 萝萝仔 笔记能源计算机新能源
    最刚开始听到老师说让谈新能源跟计算机的关系的时候，我是感觉怎么这两者完全扯不上什么联系，根本就是两个不同领域啊。后来想着计算机本身也是需要能源支撑着的，这不就是联系所在，而且就我现在的专业——计算机系统结构而言，现在越来越多的研究想要做到计算机的能耗与效率的负载均衡，从体系结构层次、软件层次、算法层次，都是想要尽量节约计算机的能源。再后来想着我本科的专业——物联网工程，其实就是提倡物物相连的一个概
  • Python打卡训练营-Day41-简单CNN traMpo1ine cnnpython深度学习
    @浙大疏锦行知识回顾数据增强卷积神经网络定义的写法batch归一化：调整一个批次的分布，常用与图像数据特征图：只有卷积操作输出的才叫特征图调度器：直接修改基础学习率卷积操作常见流程如下：1.输入→卷积层→Batch归一化层（可选）→池化层→激活函数→下一层Flatten->Dense(withDropout，可选)->Dense(Output)这里相关的概念比较多，如果之前没有学习过复试班强化班中
  • PHP错误：Parse error: syntax error Wss0130 PHP学习
    今天在写PHP程序的时候总是出现这样的错误：Parseerror:syntaxerror,unexpectedendoffilein*.phponline*，然后我就根据提示，找到那个文件，然后错误中总是提示最后一行出错，我找到最后一行发现是，晕的，这能有什么错误，找了好久才找到问题所在，拿来分享。出现这个错误的原因就是语法错误，肯定是PHP程序的书写不规范造成，我后来一条一条看才发现，原来是PH
  • 错误处理 Bainily
    问题一1.Parseerror:syntaxerror,unexpectedendoffileinE:\phpstudy\phpStudy\WWW\wish\view\index.htmlonline63**解析错误：语法错误，第63行的E：\phpstudy\phpStudy\WWW\wish\view\index.html中的文件意外结束问题原因：是因为在html文件中用PHP语法是php语法
  • 战神授权后台报错：Parse error: syntax error, unexpected end of file in解决办法 qq_502428990 运维传奇手游架设
    问题现象分析当您在战神授权后台遇到"Parseerror:syntaxerror,unexpectedendoffile"这个错误时，说明PHP解析器在解析脚本文件时遇到了意外结束的情况。这种错误通常发生在PHP代码结构不完整时，比如缺少闭合的大括号、分号或者PHP结束标记不完整等。错误原因深度解析这个特定错误的核心原因是PHP的short_open_tag配置问题。PHP支持两种形式的开始标记：
  • Github 2025-06-24Python开源项目日报 Top10 老孙正经胡说 github开源Github趋势分析开源项目PythonGolang
    根据GithubTrendings的统计，今日(2025-06-24统计)共有10个项目上榜。根据开发语言中项目的数量，汇总情况如下：开发语言项目数量Python项目10Swift项目1C++项目1yt-dlp:一个增强版的youtube-dl分支创建周期：1184天开发语言：Python协议类型：TheUnlicenseStar数量：64607个Fork数量：5309次关注人数：64607人贡献
  • 【企业管理】公司权力结构 flyair_China 产品经理
    一、权力设计体系核心框架1.1表面权力体系（FormalPowerSystem）定义：通过组织架构、岗位职责、制度流程等显性规则定义的权力分配。构成要素：要素作用示例组织架构图明确汇报关系与层级董事会→CEO→部门总监→经理岗位说明书界定职责与权限边界《CFO岗位职责：资金审批权≤500万》管理制度流程化权力行使规则《采购审批流程》《人事任免制度》会议决策机制集体行权程序董事会决议需≥2/3董事通
  • 打造安全认证系统：AWS Amplify与React集成 竹石文化传播有限公司 AWSAmplify用户认证React应用集成后端资源管理UI组件
    背景简介在现代应用开发中，用户认证系统是保障安全和提供个性化体验的核心部分。本文将基于AWSAmplify的使用和配置，探讨如何在React应用程序中设置和集成一个全面的用户认证系统。设置认证系统所需的关键组件在为应用程序设置认证时，需要考虑以下几个重要组件：用户管理用户管理是指允许预定义用户列表访问系统，包括用户创建、阻止或删除等功能。角色管理角色管理涉及定义不同类型的用户角色，并将这些角色分配
  • jsonp 常用util方法 hw1287789687 jsonpjsonp常用方法jsonp callback
    jsonp 常用java方法 (1)以jsonp的形式返回:函数名(json字符串) /*** * 用于jsonp调用 * @param map : 用于构造json数据 * @param callback : 回调的javascript方法名 * @param filters : <code>SimpleBeanPropertyFilter theFilt
  • 多线程场景 alafqq 多线程
    0 能不能简单描述一下你在java web开发中需要用到多线程编程的场景？0 对多线程有些了解，但是不太清楚具体的应用场景，能简单说一下你遇到的多线程编程的场景吗？ Java多线程 2012年11月23日 15:41 Young9007 Young9007 4 0 0 4 Comment添加评论关注(2) 3个答案 按时间排序 按投票排序 0 0 最典型的如： 1、
  • Maven学习——修改Maven的本地仓库路径 Kai_Ge maven
          安装Maven后我们会在用户目录下发现.m2 文件夹。默认情况下，该文件夹下放置了Maven本地仓库.m2/repository。所有的Maven构件(artifact)都被存储到该仓库中，以方便重用。但是windows用户的操作系统都安装在C盘，把Maven仓库放到C盘是很危险的，为此我们需要修改Maven的本地仓库路径。    
  • placeholder的浏览器兼容 120153216 placeholder
    【前言】 自从html5引入placeholder后，问题就来了， 不支持html5的浏览器也先有这样的效果， 各种兼容，之前考虑，今天测试人员逮住不放， 想了个解决办法，看样子还行，记录一下。   【原理】 不使用placeholder，而是模拟placeholder的效果， 大概就是用focus和focusout效果。   【代码】 <scrip
  • debian_用iso文件创建本地apt源 2002wmj Debian
    1.将N个debian-506-amd64-DVD-N.iso存放于本地或其他媒介内，本例是放在本机/iso/目录下 2.创建N个挂载点目录 如下： debian:~#mkdir –r /media/dvd1 debian:~#mkdir –r /media/dvd2 debian:~#mkdir –r /media/dvd3 …. debian:~#mkdir –r /media
  • SQLSERVER耗时最长的SQL 357029540 SQL Server
    对于DBA来说，经常要知道存储过程的某些信息： 1.   执行了多少次 2.   执行的执行计划如何 3.   执行的平均读写如何 4.   执行平均需要多少时间 列名          &
  • com/genuitec/eclipse/j2eedt/core/J2EEProjectUtil 7454103 eclipse
    今天eclipse突然报了com/genuitec/eclipse/j2eedt/core/J2EEProjectUtil 错误，并且工程文件打不开了，在网上找了一下资料，然后按照方法操作了一遍，好了，解决方法如下： 错误提示信息： An error has occurred.See error log for more details. Reason: com/genuitec/
  • 用正则删除文本中的html标签 adminjun javahtml正则表达式去掉html标签
    使用文本编辑器录入文章存入数据中的文本是HTML标签格式，由于业务需要对HTML标签进行去除只保留纯净的文本内容，于是乎Java实现自动过滤。 如下： public static String Html2Text(String inputString) { String htmlStr = inputString; // 含html标签的字符串 String textSt
  • 嵌入式系统设计中常用总线和接口 aijuans linux 基础
                   嵌入式系统设计中常用总线和接口         任何一个微处理器都要与一定数量的部件和外围设备连接，但如果将各部件和每一种外围设备都分别用一组线路与CPU直接连接，那么连线
  • Java函数调用方式——按值传递 ayaoxinchao java按值传递对象基础数据类型
    Java使用按值传递的函数调用方式，这往往使我感到迷惑。因为在基础数据类型和对象的传递上，我就会纠结于到底是按值传递，还是按引用传递。其实经过学习，Java在任何地方，都一直发挥着按值传递的本色。   首先，让我们看一看基础数据类型是如何按值传递的。   public static void main(String[] args) { int a = 2;
  • ios音量线性下降 bewithme ios音量
    直接上代码吧   //second 几秒内下降为0 - (void)reduceVolume:(int)second { KGVoicePlayer *player = [KGVoicePlayer defaultPlayer]; if (!_flag) { _tempVolume = player.volume;
  • 与其怨它不如爱它 bijian1013 选择理想职业规划
            抱怨工作是年轻人的常态，但爱工作才是积极的心态，与其怨它不如爱它。         一般来说，在公司干了一两年后，不少年轻人容易产生怨言，除了具体的埋怨公司“扭门”，埋怨上司无能以外，也有许多人是因为根本不爱自已的那份工作，工作完全成了谋生的手段，跟自已的性格、专业、爱好都相差甚远。  
  • 一边时间不够用一边浪费时间 bingyingao 工作时间浪费
    一方面感觉时间严重不够用，另一方面又在不停的浪费时间。 每一个周末，晚上熬夜看电影到凌晨一点，早上起不来一直睡到10点钟，10点钟起床，吃饭后玩手机到下午一点。 精神还是很差，下午像一直野鬼在城市里晃荡。 为何不尝试晚上10点钟就睡，早上7点就起，时间完全是一样的，把看电影的时间换到早上，精神好，气色好，一天好状态。 控制让自己周末早睡早起，你就成功了一半。 有多少个工作
  • 【Scala八】Scala核心二：隐式转换 bit1129 scala
    Implicits work like this: if you call a method on a Scala object, and the Scala compiler does not see a definition for that method in the class definition for that object, the compiler will try to con
  • sudoku slover in Haskell (2) bookjovi haskellsudoku
    继续精简haskell版的sudoku程序，稍微改了一下，这次用了8行，同时性能也提高了很多，对每个空格的所有解不是通过尝试算出来的，而是直接得出。   board = [0,3,4,1,7,0,5,0,0, 0,6,0,0,0,8,3,0,1, 7,0,0,3,0,0,0,0,6, 5,0,0,6,4,0,8,0,7,
  • Java-Collections Framework学习与总结-HashSet和LinkedHashSet BrokenDreams linkedhashset
            本篇总结一下两个常用的集合类HashSet和LinkedHashSet。         它们都实现了相同接口java.util.Set。Set表示一种元素无序且不可重复的集合；之前总结过的java.util.List表示一种元素可重复且有序
  • 读《研磨设计模式》-代码笔记-备忘录模式-Memento bylijinnan java设计模式
    声明： 本文只为方便我个人查阅和理解，详细的分析以及源代码请移步 原作者的博客http://chjavach.iteye.com/ import java.util.ArrayList; import java.util.List; /* * 备忘录模式的功能是，在不破坏封装性的前提下，捕获一个对象的内部状态，并在对象之外保存这个状态，为以后的状态恢复作“备忘”
  • 《RAW格式照片处理专业技法》笔记 cherishLC PS
    注意，这不是教程！仅记录楼主之前不太了解的 一、色彩（空间）管理 作者建议采用ProRGB（色域最广），但camera raw中设为ProRGB，而PS中则在ProRGB的基础上，将gamma值设为了1.8（更符合人眼） 注意：bridge、camera raw怎么设置显示、输出的颜色都是正确的（会读取文件内的颜色配置文件），但用PS输出jpg文件时，必须先用Edit->conv
  • 使用 Git 下载 Spring 源码 编译 for Eclipse crabdave eclipse
    使用 Git 下载 Spring 源码 编译 for Eclipse   1、安装gradle，下载 http://www.gradle.org/downloads 配置环境变量GRADLE_HOME，配置PATH  %GRADLE_HOME%/bin，cmd，gradle -v   2、spring4 用jdk8 下载 https://jdk8.java.
  • mysql连接拒绝问题 daizj mysql登录权限
    mysql中在其它机器连接mysql服务器时报错问题汇总 一、[running][email protected]:~$mysql -uroot -h 192.168.9.108 -p   //带-p参数，在下一步进行密码输入 Enter password:    //无字符串输入 ERROR 1045 (28000): Access
  • Google Chrome 为何打压 H.264 dsjt applehtml5chromeGoogle
    Google 今天在 Chromium 官方博客宣布由于 H.264 编解码器并非开放标准，Chrome 将在几个月后正式停止对 H.264 视频解码的支持，全面采用开放的 WebM 和 Theora 格式。 Google 在博客上表示，自从 WebM 视频编解码器推出以后，在性能、厂商支持以及独立性方面已经取得了很大的进步，为了与 Chromium 现有支持的編解码器保持一致，Chrome
  • yii 获取控制器名 和方法名 dcj3sjt126com yiiframework
    1. 获取控制器名 在控制器中获取控制器名:  $name = $this->getId(); 在视图中获取控制器名:    $name = Yii::app()->controller->id;    2. 获取动作名  在控制器beforeAction()回调函数中获取动作名:  $name =
  • Android知识总结（二） come_for_dream android
    明天要考试了，速速总结如下   1、Activity的启动模式        standard：每次调用Activity的时候都创建一个（可以有多个相同的实例，也允许多个相同Activity叠加。）        singleTop：可以有多个实例，但是不允许多个相同Activity叠加。即，如果Ac
  • 高洛峰收徒第二期：寻找未来的“技术大牛” ——折腾一年，奖励20万元 gcq511120594 工作项目管理
    高洛峰，兄弟连IT教育合伙人、猿代码创始人、PHP培训第一人、《细说PHP》作者、软件开发工程师、《IT峰播》主创人、PHP讲师的鼻祖！ 首期现在的进程刚刚过半，徒弟们真的很棒，人品都没的说，团结互助，学习刻苦，工作认真积极，灵活上进。我几乎会把他们全部留下来，现在已有一多半安排了实际的工作，并取得了很好的成绩。等他们出徒之日，凭他们的能力一定能够拿到高薪，而且我还承诺过一个徒弟，当他拿到大学毕
  • linux expect heipark expect
    1. 创建、编辑文件go.sh   #!/usr/bin/expect spawn sudo su admin expect "*password*" { send "13456\r\n" } interact    2. 设置权限   chmod u+x go.sh  3.
  • Spring4.1新特性——静态资源处理增强 jinnianshilongnian spring 4.1
    目录 Spring4.1新特性——综述 Spring4.1新特性——Spring核心部分及其他 Spring4.1新特性——Spring缓存框架增强 Spring4.1新特性——异步调用和事件机制的异常处理 Spring4.1新特性——数据库集成测试脚本初始化 Spring4.1新特性——Spring MVC增强 Spring4.1新特性——页面自动化测试框架Spring MVC T
  • idea ubuntuxia 乱码 liyonghui160com
      1.首先需要在windows字体目录下或者其它地方找到simsun.ttf 这个 字体文件。 2.在ubuntu 下可以执行下面操作安装该字体： sudo mkdir /usr/share/fonts/truetype/simsun sudo cp simsun.ttf /usr/share/fonts/truetype/simsun fc-cache -f -v
  • 改良程序的11技巧 pda158 技巧
    有很多理由都能说明为什么我们应该写出清晰、可读性好的程序。最重要的一点，程序你只写一次，但以后会无数次的阅读。当你第二天回头来看你的代码 时，你就要开始阅读它了。当你把代码拿给其他人看时，他必须阅读你的代码。因此，在编写时多花一点时间，你会在阅读它时节省大量的时间。   让我们看一些基本的编程技巧：   尽量保持方法简短 永远永远不要把同一个变量用于多个不同的
  • 300个涵盖IT各方面的免费资源（下）——工作与学习篇 shoothao 创业免费资源学习课程远程工作
    工作与生产效率:   A. 背景声音 Noisli:背景噪音与颜色生成器。 Noizio:环境声均衡器。 Defonic:世界上任何的声响都可混合成美丽的旋律。 Designers.mx:设计者为设计者所准备的播放列表。 Coffitivity:这里的声音就像咖啡馆里放的一样。 B. 避免注意力分散 Self Co
  • 深入浅出RPC uule rpc
    深入浅出RPC-浅出篇 深入浅出RPC-深入篇   RPC Remote Procedure Call Protocol 远程过程调用协议   它是一种通过网络从远程计算机程序上请求服务，而不需要了解底层网络技术的协议。RPC协议假定某些传输协议的存在，如TCP或UDP，为通信程序之间携带信息数据。在OSI网络通信模型中，RPC跨越了传输层和应用层。RPC使得开发
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他