- 军军小站|张军博客
搜索到与相关的文章
编程技术

CIH病毒简介

特征:该计算机病毒属于W32家族,感染Windows95/98中以EXE为后缀的可行性文件。它具有极大的破坏性,可以重写BIOS使之无用(只要计算机的微处理器是PentiumIntel430TX),其后果是使用户的计算机无法启动,唯一的解决方法是替换系统原有的芯片(chip),该计算机病毒于4月26日发作,它还会破坏计算机硬盘中的所以信息。该计算机病毒不会影响MS/DOS、Windows3.x和WindowsNT操作系统。传播途径:CIH可利用所有可能的途

系统 2019-08-29 23:02:00 2466

编程技术

八卦一下模型验证(三)

CSDN的大大们啊,求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。OrzOrzOrz准备八卦Edmund等人算法时才想起,人1986年成名作是讨论用CTL(ComputationalTreeLogic)作规范语言的模型验证算法,而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证,但一来该算法的复杂度为P-SPACE,远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼

系统 2019-08-29 23:01:18 2466

编程技术

结构struct 联合Union和枚举Enum的细节讨论

联合(Union)是一种构造数据类型,它提供了一种使不同类型数据类型成员之间共享存储空间的方法,同时可以实现不同类型数据成员之间的自动类型转换。联合体对象在同一时间只能存储一个成员的值。联合的内存大小取决于其中字节数最多的成员,而不是累加,联合也会进行字长对齐。在定义联合变量的时候可以指定初始值,但是只能制定一个初始值(测试过似乎无法设置初值),而且该初始值的类型必须与联合的第一个成员的类型匹配。可以取一个联合变量的地址,也可以取变量中的任一个成员的地址,

系统 2019-08-29 22:30:38 2466

编程技术

Tablelayout详解

JavaSwing中的GridBagLayout中的布局太复杂,参数很多,不太理解其中的意思,总是布局不出想要的效果。前几天在网上搜到了tablelayout布局管理器,发现很简单,很强大。下面,我来介绍一下tablelayout的用法。首先,tablelayout不是JDK中自带的,需要导入第三方的jar包(本文已经给出,见附件)。源码和例子已经在这个jar包中了。使用tablelayout现要import两个类:importlayout.TableLa

系统 2019-08-29 22:14:27 2466

编程技术

J2EE的分层架构体系

从物理部署、逻辑框架、运行环境、控制策略方面阐述J2EE架构,聪明的你会发现原来下面的4个描述图实际上是统一的,仅仅是你站立的角度不同而已,这就是“形不同而神相似!”1、业界常称的J2EE采用三层架构:客户端:业务数据模型与UI分开,更“瘦”。业务逻辑在中间层,成为“对象服务”。中间层可以处理多客户端,通过:连接池,多线程,对象一致性处理各种分布式对象技术的发展使得分布式应用越来越广泛。对中间层编程困难。2、有时也称四层(将中间层分为web层和业务层):客

系统 2019-08-12 09:30:39 2466

编程技术

启动界面Default.png全屏

先用Info.plist把状态栏隐藏掉,然后在程序启动okay后显示出来显示:[UIApplicationsharedApplication].statusBarHidden=NO;启动界面Default.png全屏

系统 2019-08-12 09:30:11 2466

编程技术

ANT 的安装和配置

本文转自:http://www.cnblogs.com/ghj1976/archive/2010/04/14/1711914.htmlApacheAnt,是一个基于JAVA的自动化脚本引擎,脚本格式为XML。除了做JAVA编译相关任务外,ANT还可以通过插件实现很多应用的调用。默认情况下,脚本文件名为build.xml。Windows下的安装和配置安装步骤:下载最新版本,ANT官方网站:http://ant.apache.org/下载后解压缩即可。配置环境

系统 2019-08-12 09:30:05 2466

Java

Java-Excel报表开发POI

本篇面向对象为Java的初学者,从下载必备软件到创建一个空白的POI工程,已经熟练掌握环境搭建的请跳过此文。开发环境为windowsXP-SP2,Eclipse3.2,JDK1.5.07,其实差不多都行,不会有太大的差异。本文从POI下载开始讲解,前提是开发环境包括系统变量等等已经正确设置完毕。1.POI的下载截至本文发表,POI最新版本是3.0.1,距离上一个Final版本有3年了吧,以至于我差点儿就把他放弃了——以为没人管了。官方的公告讲,这一版主要是

系统 2019-08-12 09:29:36 2466

编程技术

【C语言】03-关键字、标识符、注释

一、关键字1.什么是关键字关键字就是C语言提供的有特殊含义的符号,有些地方也叫做“保留字”。2.一共有哪些关键字C语言一共提供了32个关键字,这些关键字都被C语言赋予了特殊含义。autodoubleintstructbreakelselongswitchcaseenumregistertypedefcharexternreturnunionconstfloatshortunsignedcontinueforsignedvoiddefaultgotosize

系统 2019-08-12 09:29:35 2466

数据库相关

如何理解T-SQL中Merge语句(二)

原文:如何理解T-SQL中Merge语句(二)写在前面的话:上一篇写了如何理解T-SQL中Merge语句,基本把Merge语句要讲的给讲了,在文章的后面,抛出了几个结,当时没有想明白怎么去用文字表达,这一篇就来解答一下这几个结,又是一篇“天马行空”的文字,大家凑合看吧。===正文开始===先看下面表一(Student_Target)和表二(Student_Source)。一、WhenMatched部分执行下面SQL语句:MERGEINTOStudent_T

系统 2019-08-12 01:55:41 2466