Tancenter
Tancenter

Model Checking(模型检测)

1. Definition

给定一个系统和一个我们期待拥有的属性P， Model checking 会探索这个系统的每个状态，验证系统是否满足定义的性质。如果满足直接返回True,否则会给出一个反例(counter example)。如果系统被证明是正确的，说明该系统的所有的行为都已经被探索并满足了所定义的规约。

Advantages: (1)这是一个完全自动的过程，不需要测试有专业的数学方面的知识；（2）当设计不满足所期待的属性时，model checking会产生一个反例展示违反的属性。这个faulty trace提供了一个无价的见解帮助我们理解falure，并作为一个重要的线索帮助我们修复/解决问题。

2.Motivation

How to ensure the correctness of a design?

3. Traditional validation methods

(1) Testing

将被测系统当作一个黑盒，给予输入到系统本身，然后观察系统得输出，如果所有的输出结果符合预期的话，就通过测试。（作用于实际的系统）

Model Checking(模型检测)_第1张图片

 (2) Simulation

给予输入到原型系统，然后观察对应的输出（作用于模拟的系统或者系统的抽象）

Limitation:上述的两种方法没有办法证明系统正确性，只能发现了问题。

（3) Reasoning and deducation

使用数学的方法去证明系统的正确性

Limitation:不能够自动，很难处理复杂的系统，对测试人员要求比较高

4. How does it work?

（1) General framework

Model Checking(模型检测)_第2张图片

（2) Modeling Language — Petri Net

Model Checking(模型检测)_第3张图片

 （3) Formula Language — LTL;CTL

(a) LTL concepts

Model Checking(模型检测)_第4张图片

 (b) LTL 模型检测框架

Model Checking(模型检测)_第5张图片

 4. Weakness or Problem?

Model Checking(模型检测)_第6张图片

 

你可能感兴趣的:(Software,Engineering,软件工程)

  • C#中的设计模式：构建更加优雅的代码 Envyᥫᩣᩚ c#开发语言
    C#在面向对象编程（OOP）方面的强大支持，我们可以探讨“C#中的设计模式”。这不仅有助于理解如何更好地组织代码，还能提高代码的可维护性和可扩展性。引言设计模式是软件工程中经过实践验证的解决方案模板，它们提供了一种标准化的方法来解决常见的开发问题。对于使用C#进行开发的程序员来说，理解和应用这些模式可以帮助创建结构良好、易于维护和扩展的应用程序。本文将介绍几种常用的设计模式，并展示如何用C#实现它
  • FloEFD 工程师使用灵活，企业如何科学管控许可证资源？
    随着制造企业对设计仿真一体化需求的增长，FloEFD作为SiemensDigitalIndustriesSoftware提供的CAD嵌入式计算流体动力学（CFD）工具，凭借与SolidWorks、Creo、NX、CATIA等主流CAD平台深度集成，广泛应用于电子散热、汽车、能源装备、流体机械等行业。FloEFD的优势在于其“工程师友好型”理念，使设计工程师可以直接在CAD环境中完成几何建模、网格生
  • 【绪论】两万字长文——深度解析24种软件系统架构风格
    深度解析软件系统架构风格软件架构风格（ArchitecturalStyle）是描述软件系统组织方式的高层范式，它定义了系统的结构元素及其交互模式、约束条件和语义。选择合适的架构风格是系统成功的关键，它决定了系统的可扩展性、可维护性、性能、可靠性、部署复杂度和团队协作方式。从经典的分层架构到前沿的量子计算架构，架构风格的演进反映了软件工程应对复杂性、分布式、实时性和智能化需求的持续探索。掌握这些风格
  • JavaScript对象与Math对象完全指南 hui函数 Javascriptjavascript前端开发语言
    JavaScript对象与Math对象完全指南对象基础概念与操作对象是什么？数据集合：包含相关数据和功能的容器结构组成：属性：描述对象特征的变量（名词性）方法：对象可执行的操作（动词性，本质是函数）对象创建与访问//创建对象letperson={ //属性 name:"张三", age:28, profession:"软件工程师",  //方法 introduce(){  return`大家好，我
  • 从0搭建到持续优化：提示工程架构师的评估体系迭代全流程
    从0搭建到持续优化：提示工程架构师的评估体系迭代全流程引言：AI时代的关键角色与评估挑战在人工智能技术迅猛发展的今天，提示工程(PromptEngineering)已从一个小众技能演变为决定AI系统成败的核心能力。随着大语言模型(LLM)能力的不断增强，提示工程架构师(PromptEngineeringArchitect)作为一个新兴职业应运而生，成为连接业务需求与AI能力的关键桥梁。为什么提示工
  • 删除我的电脑中“C盘瘦身专家”图标（流氓软件）
    用联想电脑管家强制先卸载掉该软件，然后以管理员身份打开注册表（regedit）跳转到注册路径：计算机\HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer\MyComputer找到包含“C盘瘦身专家”得注册表项，然后直接删除，刷新桌面浏览器，就可以看到图标被删除了，国内做好软件不行，搞流氓软件倒是有一绝，正常从市场
  • 机器视觉Halcon
    介绍Halcon是由德国MVTecSoftwareGmbH公司开发的一款机器视觉软件，广泛应用于工业检测、医学成像、机器人引导、三维视觉等领域。它提供强大的图像处理和分析功能，支持快速开发高效的机器视觉应用。_____________________________________________________________________________Halcon主要特点1.强大的图像处理
  • Groupdocs.Viewer for .NET 25.6 sdk大全 AsposeTotalfor.NETGroupdocs
    Groupdocs.Viewerfor.NETisaverybasicyetpotenttoolthatallowsdeveloperstorenderdocumentsandenabletheirapplicationstoviewitintheirapplicationswithoutusinganyotherthird-partysoftware,suchasMicrosoftOfficeo
  • 虚拟机VMware 安装centos、常规配置、共享文件等 一乐乐
    安装centos7【通过vm来安装运行centos7】一、准备工作1、centos7的安装镜像下载链接：http://isoredirect.centos.org/centos/7/isos/x86_64/2、vmware-workstation的安装包下载链接：https://softwareupdate.vmware.com/cds/vmw-desktop/ws/本文选择的centos7版本是
  • win配置gradle 彦楠 windowsjavajavagradlewindows
    1，下载gradle-7.5.1下载链接:gradle-7.5.12，解压gradle-7.5.1，配置环境变量，新建GRADLE_HOME环境变量指向你的Gradle解压路径例如G:\Software\gradle-7.5.13，将%GRADLE_HOME%\bin添加到Path环境变量中4，验证gradle是否安装成功，打开cmd命令行输入gradle-vC:\Users\Administra
  • Standard_Mutex 类详解 心瞳几何原语 学习OCCTOCCTQt
    //Createdon:2005-04-10//Createdby:AndreyBETENEV//Copyright(c)2005-2014OPENCASCADESAS////ThisfileispartofOpenCASCADETechnologysoftwarelibrary.////Thislibraryisfreesoftware;youcanredistributeitand/ormod
  • 软件工程:软件需求
    简介本篇博客记录了我在软件工程学习过程中关于软件需求与面向对象基础知识的学习体会和要点总结。博客共分为三个关卡内容：第1关围绕“软件需求”的定义、分类及分析过程展开，让我清晰地理解了功能性需求、非功能性需求与约束条件的区别；第2关深入探讨了如何构思有创意的软件需求，包括技术、思想、素材和用户视角的多维思考；第3关则介绍了面向对象软件工程的基本思想、产生背景及核心概念，如类、对象、继承、多态、消息传
  • Prompt Engineering(提示词工程)基础了解 Fuly1024 LLMprompt
    参考:https://blog.csdn.net/qq_56438555/article/details/1448865171.基础概念:提示词工程(promptEngineering)是指通过设计、优化输入给大语言模型的文本指令（即“提示词”）,引导LLM输出我们期望的结果。让大模型在无需微调（Fine-tuning）的情况下，通过“更好的提问方式”完成复杂任务(开发潜力,不会的还是不会)。但是
  • Elasticsearch-ik分析器 mykyle elasticsearchjenkins大数据
    CLI安装步骤1、停止Elasticsearch（如果正在运行）：在安装插件之前，确保Elasticsearch没有在运行。命令：systemctlstopelasticsearch2、安装插件：使用elasticsearch-plugin命令安装IK插件。进入到你的es的安装目录：如/usr/local/software/elasticsearch[root@localhostelasticse
  • 软件工程的工具链演进 思绪漂移 软件工程AI编程
    软件工程的工具链演进华为大咖说丨AIAgent在软件工程工具领域有何应用？未来又将走向何方？软件工程，作为一个旨在通过系统化、规范化和可量化的方法来构建和维护高质量软件的学科，其核心目标始终是提升效率、保障质量和降低复杂性。在过去的几十年里，我们见证了工具链的不断演进：从最初的文本编辑器和编译器，到强大的集成开发环境（IDE），再到以DevOps理念驱动的持续集成/持续交付（CI/CD）流水线。以
  • 【计算机组成原理】实验1： 基本逻辑单元实验
    学院、系：计算机学院专业名称：软件工程学生姓名：小何学长一、实验题目将I/O单元低8位作为输入信号、I/O单元高8位作为输出信号，学习逻辑门和三八译码器使用。二、实验目的与要求实验目的学习构成计算机硬件的基础数字逻辑电路的应用；了解74LS08逻辑与、74LS32逻辑或、74LS04逻辑非、74LS138三八译码器工作方式。实验要求试着使用与非门、或非门搭建电路，体会其输入输出和与门、或门的区别。
  • 【大模型实战】提示工程（Prompt Engineering） 喵王叭 AIprompt
    文章目录前言一、五大核心原则二、基础技巧1.明确指令与输出2.赋予角色三、进阶技巧1.少样本提示2.思维链提示3.控制输出长度与格式四、迭代与优化：提升提示效果的关键五、提示⼯程最佳实践总结附言前言提示工程是通过优化输入指令（提示词），让AI模型更精准、高效地输出符合需求结果的技术方法。一、五大核心原则清晰明确：避免模糊表述，用具体信息（如“新上市”）替代抽象词汇，精准传递意图。提供上下文：补充背
  • 软考 系统架构设计师系列知识点之杂项集萃（115） 蓝天居士 系统架构设计师系统架构
    接前一篇文章：软考系统架构设计师系列知识点之杂项集萃（114）第211题特定领域软件架构（DomainSpecificSoftwareArchitecture，DSSA）是一个在特定应用领域中，为一组应用提供组织结构参考的标准软件体系结构。参加DSSA的人员可以划分为多种角色，其中（）的任务是控制整个领域分析过程，进行知识获取，将获取的知识组织到领域模型中；（）的任务是根据领域模型和现有系统开发出
  • 一个工程师有关FPGA项目的九大感言
    .要和人配合。以我们做硬件的工程师为例，测试的时候一般都需要软件的配合，一个对硬件来说无比复杂的工作，可能在软件工程师看来就是几行简单的代码。所以要和人配合，多听听别人的意见，这样必然可以产生新的know-how从而加快测试和开发的速度，退一步讲，至少没有坏处。2.测试还是要别人来做。开发者看待自己的产品有如看待自己，大多是没有勇气去发现缺点的。一是源自自尊心，二是为了避免额外的工作。所以就算有问
  • 2026计算机毕设选题推荐【千次实战】【万条选题】
    计算机毕业设计选题推荐，包括但不限于软件工程、计算机科学与技术等专业适用。主要包括：Java、SSM、Python、小程序方向选题推荐。历经千次实战选出万条选题，必有一条适合你！！题目参考：SpringBoot选题SSM选题微信小程序选题1基于SpringBoot的在线拍卖系统1高校专业信息管理系统设计与实现+jsp1基于微信小程序的购物系统设计与实现+ssm2基于SpringBoot的医护人员排
  • 嵌入式项目开源网站有哪些？ 嵌入式开发星球 单片机项目实战操作之优秀单片机linux运维服务器stm32
    大家好，今天主要给大家分享一下，如何使用国内外的开源网站，找到对应的开源项目。第一：嘉立创开源广场"OSHWHUB"是开放源硬件(OrganicSoftwareHardware)社区平台，旨在推广开源硬件和共享设计。该网站向用户提供了一个集成的平台，用于共享硬件设计、技术交流和扩展开源硬件社区。用户可以在该网站上浏览、下载和分享开源硬件项目，并与其他开源硬件爱好者进行交流和合作。链接：立创开源硬件
  • 世博轮腿机器人Software
    wl_pro_robot.ino这个代码是一个完整的机器人控制程序，涉及到多个硬件模块的控制和通信，包括电机、传感器、舵机、PID控制器、滤波器、Web服务器等。下面简要解释一些关键部分：电机与驱动控制：代码定义了两个电机（motor1和motor2）及其驱动器（driver1和driver2），并通过FOC（Field-OrientedControl）技术来进行电机控制。PID控制器：通过PID
  • 软件工程领域产品运营的开发流程管理
    软件工程领域产品运营的开发流程管理关键词：软件工程、产品运营、开发流程、敏捷开发、DevOps、持续集成、项目管理摘要：本文深入探讨了软件工程领域中产品运营的开发流程管理。从传统的瀑布模型到现代的敏捷开发和DevOps实践，我们将全面分析各种开发流程的优缺点、适用场景以及实施方法。文章包含详细的流程图示、代码示例、数学模型以及实际案例分析，旨在为软件工程师、产品经理和技术管理者提供一套完整的开发流
  • conda 删除指定环境 张飞的技术博客 pythonconda
    创建环境，并指定python版本condacreate--nameenvnamepython=3.10查看当前环境condainfo-e删除带环境名的环境condaremoveenv（环境名称）删除只有目录的环境condaenvremove-pD:\SoftWare\miniconda3\demoenv
  • 大语言模型提示工程全攻略：从零样本到 ReAct，一篇吃透 冻感糕人~ 语言模型react.js人工智能大模型应用langchain大模型产品经理
    提示词（Prompt）是与大语言模型沟通的关键。无论你是在用ChatGPT，还是开发LLM应用，只有写出清晰、高效的提示词，模型才能真正“听懂你在说什么”。提示工程（PromptEngineering）是一门设计高质量提示词的技巧与方法。通过巧妙地提示词设计，可以显著提升大语言模型的输出效果——让它回应得更准确、更连贯、更有创意，也更贴合你的实际需求。在这篇文章中，我将与你分享一些实用且经过验证的
  • 软件架构之软件架构概述及质量属性
    软件架构之软件架构概述及质量属性第9章：软件架构设计9.1软件架构概述9.1.1软件架构的定义9.1.2软件架构的重要性9.1.3架构的模型9.2架构需求与软件质量属性9.2.1软件质量属性9.2.26个质量属性及实现第9章：软件架构设计像学写文章一样，在学会字、词、句之后，就应上升到段落，就应追求文章的“布局谋篇”，这就是架构。通俗地讲，软件架构设计就是软件系统的“布局谋篇”。人们在软件工程实践
  • 软件工程-需求说明
    在软件行业已经做了好几年了，由于公司风格的原因，缺少真实处理需求的人员，需求编写环节只是机械性的填写文档，没有经过严谨思考的，泥沙俱下的需求文档，常常让程序员无从下手，导致技术方向出问题。最近下决心好好梳理一遍。提升自身的专业化、职业化能力。软件的作用软件是现代系统中的重要元素，使这些产品/系统成为用户的解决方案软件是容易修改的，但修改正确是很难的《软件工程最佳实践-项目经理的指南》需求分析通过分
  • 如何编写假设和约束---SRS软件需求规格指南系列 reddishz 需求分析需求分析软件工程
    文章内容涵盖如下的术语：软件需求规范（SoftwareRequirementsSpecification,SRS）,假设（Assumptions）,约束（Constraints）,技术假设（TechnicalAssumptions）,操作假设（OperationalAssumptions）,商业假设（BusinessAssumptions）,技术限制（TechnologicalConstraint
  • [论文阅读] 人工智能 + 软件工程 | LLM当“裁判”靠谱吗？——解析代码生成与总结任务中的LLM评判能力 张较瘦_ 前沿技术论文阅读人工智能软件工程
    LLM当“裁判”靠谱吗？——解析代码生成与总结任务中的LLM评判能力论文：OntheEffectivenessofLLM-as-a-judgeforCodeGenerationandSummarizationarXiv:2507.16587OntheEffectivenessofLLM-as-a-judgeforCodeGenerationandSummarizationGiuseppeCrupi
  • [论文阅读] 人工智能 + 软件工程 | LLM优化RTL代码：在时序逻辑面前栽了跟头？—— 一项基于变形策略的实证研究 张较瘦_ 前沿技术论文阅读人工智能
    LLM优化RTL代码：在时序逻辑面前栽了跟头？——一项基于变形策略的实证研究论文标题：RethinkingLLM-BasedRTLCodeOptimizationViaTimingLogicMetamorphosisarXiv:2507.16808[pdf,html,other]RethinkingLLM-BasedRTLCodeOptimizationViaTimingLogicMetamorp
  • 对于规范和实现，你会混淆吗？ yangshangchuan HotSpot
    昨晚和朋友聊天，喝了点咖啡，由于我经常喝茶，很长时间没喝咖啡了，所以失眠了，于是起床读JVM规范，读完后在朋友圈发了一条信息： JVM Run-Time Data Areas：The Java Virtual Machine defines various run-time data areas that are used during execution of a program. So
  • android 网络 百合不是茶 网络
    android的网络编程和java的一样没什么好分析的都是一些死的照着写就可以了,所以记录下来  方便查找   ,  服务器使用的是TomCat   服务器代码;  servlet的使用需要在xml中注册 package servlet; import java.io.IOException; import java.util.Arr
  • [读书笔记]读法拉第传 comsci 读书笔记
          1831年的时候,一年可以赚到1000英镑的人..应该很少的...       要成为一个科学家,没有足够的资金支持,很多实验都无法完成       但是当钱赚够了以后....就不能够一直在商业和市场中徘徊......
  • 随机数的产生 沐刃青蛟 随机数
    c++中阐述随机数的方法有两种：   一是产生假随机数（不管操作多少次，所产生的数都不会改变）          这类随机数是使用了默认的种子值产生的，所以每次都是一样的。   //默认种子 for (int i = 0; i < 5; i++) { cout<<
  • PHP检测函数所在的文件名 IT独行者 PHP函数
    很简单的功能，用到PHP中的反射机制，具体使用的是ReflectionFunction类，可以获取指定函数所在PHP脚本中的具体位置。 创建引用脚本。 代码：   [php]   view plain copy // Filename: functions.php    <?php&nbs
  • 银行各系统功能简介 文强chu 金融
    银行各系统功能简介 　 业务系统 核心业务系统 业务功能包括：总账管理、卡系统管理、客户信息管理、额度控管、存款、贷款、资金业务、国际结算、支付结算、对外接口等 清分清算系统 以清算日期为准，将账务类交易、非账务类交易的手续费、代理费、网络服务费等相关费用，按费用类型计算应收、应付金额，经过清算人员确认后上送核心系统完成结算的过程 国际结算系
  • Python学习1(pip django 安装以及第一个project) 小桔子 pythondjangopip
        最近开始学习python,要安装个pip的工具。听说这个工具很强大，安装了它，在安装第三方工具的话so easy!然后也下载了，按照别人给的教程开始安装，奶奶的怎么也安装不上！ 第一步：官方下载pip-1.5.6.tar.gz, https://pypi.python.org/pypi/pip easy! 第二部：解压这个压缩文件，会看到一个setup.p
  • php 数组 aichenglong PHP排序数组循环多维数组
    1 php中的创建数组 $product = array('tires','oil','spark');//array()实际上是语言结构而不  是函数 2 如果需要创建一个升序的排列的数字保存在一个数组中，可以使用range()函数来自动创建数组 $numbers=range(1,10)//1 2 3 4 5 6 7 8 9 10 $numbers=range(1,10,
  • 安装python2.7 AILIKES python
    安装python2.7 1、下载可从 http://www.python.org/进行下载#wget https://www.python.org/ftp/python/2.7.10/Python-2.7.10.tgz 2、复制解压 #mkdir -p /opt/usr/python #cp  /opt/soft/Python-2
  • java异常的处理探讨 百合不是茶 JAVA异常
    //java异常  /* 1，了解java 中的异常处理机制，有三种操作 a,声明异常  b,抛出异常  c,捕获异常 2，学会使用try-catch-finally来处理异常 3，学会如何声明异常和抛出异常 4，学会创建自己的异常   */   //2，学会使用try-catch-finally来处理异常  
  • getElementsByName实例 bijian1013 element
    实例1： <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/x
  • 探索JUnit4扩展：Runner bijian1013 java单元测试JUnit
            参加敏捷培训时，教练提到Junit4的Runner和Rule，于是特上网查一下，发现很多都讲的太理论，或者是举的例子实在是太牵强。多搜索了几下，搜索到两篇我觉得写的非常好的文章。         文章地址：http://www.blogjava.net/jiangshachina/archive/20
  • [MongoDB学习笔记二]MongoDB副本集 bit1129 mongodb
    1. 副本集的特性   1)一台主服务器(Primary),多台从服务器(Secondary)   2)Primary挂了之后，从服务器自动完成从它们之中选举一台服务器作为主服务器，继续工作，这就解决了单点故障，因此，在这种情况下，MongoDB集群能够继续工作   3)挂了的主服务器恢复到集群中只能以Secondary服务器的角色加入进来   2
  • 【Spark八十一】Hive in the spark assembly bit1129 assembly
    Spark SQL supports most commonly used features of HiveQL. However, different HiveQL statements are executed in different manners: 1. DDL statements (e.g. CREATE TABLE, DROP TABLE, etc.)
  • Nginx问题定位之监控进程异常退出 ronin47
    nginx在运行过程中是否稳定，是否有异常退出过？这里总结几项平时会用到的小技巧。 1. 在error.log中查看是否有signal项，如果有，看看signal是多少。 比如，这是一个异常退出的情况： $grep signal error.log 2012/12/24 16:39:56 [alert] 13661#0: worker process 13666 exited on s
  • No grammar constraints (DTD or XML schema).....两种解决方法 byalias xml
    方法一：常用方法   关闭XML验证 工具栏：windows => preferences => xml => xml files => validation => Indicate when no grammar is specified:选择Ignore即可。 方法二：（个人推荐） 添加 内容如下 <?xml version=
  • Netty源码学习-DefaultChannelPipeline bylijinnan netty
    package com.ljn.channel; /** * ChannelPipeline采用的是Intercepting Filter 模式 * 但由于用到两个双向链表和内部类，这个模式看起来不是那么明显，需要仔细查看调用过程才发现 * * 下面对ChannelPipeline作一个模拟，只模拟关键代码： */ public class Pipeline {
  • MYSQL数据库常用备份及恢复语句 chicony mysql
    备份MySQL数据库的命令，可以加选不同的参数选项来实现不同格式的要求。 mysqldump -h主机 -u用户名 -p密码 数据库名 > 文件 备份MySQL数据库为带删除表的格式，能够让该备份覆盖已有数据库而不需要手动删除原有数据库。 mysqldump -–add-drop-table -uusername -ppassword databasename > ba
  • 小白谈谈云计算--基于Google三大论文 CrazyMizzz Google云计算GFS
        之前在没有接触到云计算之前，只是对云计算有一点点模糊的概念，觉得这是一个很高大上的东西，似乎离我们大一的还很远。后来有机会上了一节云计算的普及课程吧，并且在之前的一周里拜读了谷歌三大论文。不敢说理解，至少囫囵吞枣啃下了一大堆看不明白的理论。现在就简单聊聊我对于云计算的了解。     我先说说GFS   &n
  • hadoop 平衡空间设置方法 daizj hadoopbalancer
    在hdfs-site.xml中增加设置balance的带宽，默认只有1M： <property>   <name>dfs.balance.bandwidthPerSec</name>     <value>10485760</value>     <description&g
  • Eclipse程序员要掌握的常用快捷键 dcj3sjt126com 编程
      判断一个人的编程水平，就看他用键盘多，还是鼠标多。用键盘一是为了输入代码（当然了，也包括注释），再有就是熟练使用快捷键。 曾有人在豆瓣评 《卓有成效的程序员》：“人有多大懒，才有多大闲”。之前我整理了一个 程序员图书列表，目的也就是通过读书，让程序员变懒。  程序员作为特殊的群体，有的人可以这么懒，懒到事情都交给机器去做，而有的人又可以那么勤奋，每天都孜孜不倦得
  • Android学习之路 dcj3sjt126com Android学习
    转自：http://blog.csdn.net/ryantang03/article/details/6901459 以前有J2EE基础，接触JAVA也有两三年的时间了，上手Android并不困难，思维上稍微转变一下就可以很快适应。以前做的都是WEB项目，现今体验移动终端项目，让我越来越觉得移动互联网应用是未来的主宰。 下面说说我学习Android的感受，我学Android首先是看MARS的视
  • java 遍历Map的四种方法 eksliang javaHashMapjava 遍历Map的四种方法
    转载请出自出处： http://eksliang.iteye.com/blog/2059996 package com.ickes; import java.util.HashMap; import java.util.Iterator; import java.util.Map; import java.util.Map.Entry; /** * 遍历Map的四种方式
  • 【精典】数据库相关相关 gengzg 数据库
    package C3P0; import java.sql.Connection; import java.sql.SQLException; import java.beans.PropertyVetoException; import com.mchange.v2.c3p0.ComboPooledDataSource; public class DBPool{
  • 自动补全 huyana_town 自动补全
    <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml&quo
  • jquery在线预览PDF文件，打开PDF文件 天梯梦 jquery
    最主要的是使用到了一个jquery的插件jquery.media.js，使用这个插件就很容易实现了。   核心代码 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.
  • ViewPager刷新单个页面的方法 lovelease androidviewpagertag刷新
      使用ViewPager做滑动切换图片的效果时，如果图片是从网络下载的，那么再子线程中下载完图片时我们会使用handler通知UI线程，然后UI线程就可以调用mViewPager.getAdapter().notifyDataSetChanged()进行页面的刷新，但是viewpager不同于listview，你会发现单纯的调用notifyDataSetChanged()并不能刷新页面
  • 利用按位取反（~）从复合枚举值里清除枚举值 草料场 enum
    以 C# 中的 System.Drawing.FontStyle 为例。   如果需要同时有多种效果， 如：“粗体”和“下划线”的效果，可以用按位或（|） FontStyle style = FontStyle.Bold | FontStyle.Underline;   如果需要去除 style 里的某一种效果，
  • Linux系统新手学习的11点建议 刘星宇 编程工作linux脚本
    　　随着Linux应用的扩展许多朋友开始接触Linux，根据学习Windwos的经验往往有一些茫然的感觉：不知从何处开始学起。这里介绍学习Linux的一些建议。 　　一、从基础开始：常常有些朋友在Linux论坛问一些问题，不过，其中大多数的问题都是很基础的。例如：为什么我使用一个命令的时候，系统告诉我找不到该目录，我要如何限制使用者的权限等问题，这些问题其实都不是很难的，只要了解了 Linu
  • hibernate dao层应用之HibernateDaoSupport二次封装 wangzhezichuan DAOHibernate
    /** * <p>方法描述:sql语句查询 返回List<Class> </p> * <p>方法备注: Class 只能是自定义类 </p> * @param calzz * @param sql * @return * <p>创建人：王川</p> * <p>创建时间：Jul
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他