2012年02月_ustcxjt

09月 07月 06月 05月 04月 03月 02月 01月

转载研究证明量子纠错最基本形式

迄今为止，世界上还没有真正意义上的量子计算机，但是各国许多实验室正以极大的热情追寻这个梦想。如何实现量子计算？方案虽不少，但问题是要实现对微观量子态的操纵确实太难。据美国物理学家组织网近日报道，美国耶鲁大学的物理学家证明了量子纠错的最基本形式，这在量子计算发展中迈出了具有重要意义的一步。在此前沿领域，有望比当今最先进计算机的信息处理速度成倍提高。该成果发表于《自然》杂志在线版上。

2012-02-29 16:35:27 1207

转载单分子内电荷分布成像首次实现

据美国物理学家组织网2月27日报道，IBM苏黎世研究所的科学家首次成功地为单个分子内的电荷分布成像。这一成就将使科学家能对单分子开关、原子与分子间键的形成进行深入研究，也使这一技术在未来太阳能的光能转化、能量存储或分子尺度的计算设备等领域拥有巨大的应用潜力。 IBM公司的科学家使用一类特殊的原子力显微镜——开尔文探针力显微镜，在低温环境和超高真空内，直接为单个萘酞菁有机分子内的电荷

2012-02-29 16:34:15 1111

原创 CAS指令 incrementAndGet方法 JAVA非阻塞同步

先看一个使用volatile的例子 public class VolatileTest { public static volatile int race=0; public static void increase(){ race++; } private static final int THREADS_COUNT=20; public static void

2012-02-28 21:29:13 5288

转载 csdn博客bug测试

just test能否到首页呢

2012-02-28 19:38:57 581

转载 JVM优化之逃逸分析（Escape Analysis）

什么是逃逸分析(Escape Analysis)?在编程语言的编译优化原理中，分析指针动态范围的方法称之为逃逸分析。通俗一点讲，就是当一个对象的指针被多个方法或线程引用时，我们称这个指针发生了逃逸。而用来分析这种逃逸现象的方法，就称之为逃逸分析。举个例子：Java代码class A { public static B b; public v

2012-02-28 19:36:23 2013

转载 Java内存对象的逃逸分析

逃逸分析英文作Escape Analysis。在计算机语言编译器优化原理中，逃逸分析是指分析指针动态范围的方法，它同编译器优化原理的指针分析和外形分析相关联。当变量（或者对象）在方法中分配后，其指针有可能被返回或者被全局引用，这样就会被其他过程或者线程所引用，这种现象称作指针（或者引用）的逃逸(Escape)。在Java中比如下面的方法：......static V global_

2012-02-28 19:34:56 1278

转载关于rvds4.0的破解

2012-02-28 18:57:13 2107

原创 tomcat5 目录访问权限

/common/* Tomcat和所有Web应用程序公用/server/* Tomcat可用，所有Web应用程序不可用/shared/* Tomcat不可用，所有Web应用程序可用/WebApp/Web-INF 仅被此WebApp使用，其余均不可用

2012-02-27 16:48:11 773

原创 Coq Basic.v

形式化方法作业这里是必须完成的部分，到乘法交换律，可选部分未上传 (** * Basics: Functional Programming *) (* $Date: 2012-01-27 20:02:32 -0500 (Fri, 27 Jan 2012) $ *)(* #####################################################

2012-02-27 15:10:53 3582 1

转载 Emacs快捷键的总结

Emacs快捷键的总结文件操作C-x C-f 打开文件,出现提示时输入/username@host:filepath可编辑FTP文件C-x C-v 打开一个文件，取代当前缓冲区C-x C-s 保存文件C-x C-w 存为新文件C-x i 插入文件C-x C-q 切换为只读或者读写模式C-x C-c 退出Emacs编辑操作C-f 前

2012-02-26 16:21:52 1497

原创 Coq-ProofGeneral-Emacs-Windows

主要参考https://wiki.ccs.neu.edu/display/~vkoutav/Coq-ProofGeneral-Emacs-Windows文章中有些链接失效了容易出错的地方说明下%COQBIN%\coqtop.opt.exe -top "%COQTOP%" -emacs-U在该目录下没有找到coqtop.opt.exe只有coqtop.exe修改之

2012-02-24 23:50:26 2476

转载每页多张幻灯片密集打印的设置技巧

转自http://hjp.jimdo.com/2009/04/17/ppt做个标记方便查找软件应用技巧Microsoft Office PowerPoint软件系统自带在一张纸上打印多幅幻灯片的功能，只要依次执行：文件 - 打印 - 在打印内容框中选择“讲义” - 在每页幻灯片数中选择适当的数字即可打印出如下图所示的一页多幅幻灯片的效果。图 1PowerPoin

2012-02-24 17:22:03 3672

转载 java-JDBC-ResultSet详解(java数据库操作)

这篇文章并没有给出如何使用ResultSet的具体例子，只是从ResultSet的功能性上进行了详细的讲述。希望这篇文章对大家理解ResultSet能够有所帮助。下面就是这篇文章的具体内容。结果集(ResultSet)是数据中查询结果返回的一种对象，可以说结果集是一个存储查询结果的对象，但是结果集并不仅仅具有存储的功能，他同时还具有操纵数据的功能，可能完成对数据的更新等。结

2012-02-24 09:07:01 47000 2

转载 JDBC ResultSet分析

JDBC1.0 、JDBC2.0 、JDBC3.0 中分别用以下方法创建Statement 。JDBC1.0 ： createStatement()JDBC2.0 ： createStatement(resultSetType, resultSetConcurrency)JDBC3.0 ： createStatement(resultSetType, resultSetConcurre

2012-02-24 09:04:06 2246

原创 jvm规范规定的对类（或者接口）初始化的情况

jvm规范 1、执行下列需要引用类或接口的 Java 虚拟机指令时：new，getstatic，putstatic或 invokestatic。这些指令通过字段或方法引用来直接或间接地引用其它类。执行上面所述的 new 指令，在类或接口没有被初始化过时就初始化它。执行上面的 getstatic，putstatic 或 invokestatic 指令时，那些解析好的字段或方法中的

2012-02-23 20:20:18 684

原创修改chrome默认搜索引擎访问

chrome默认的搜索引擎是google但是现在不翻墙只能通过google.com.hk访问而且不稳定没办法只好使用Bing或者百度修改方式右击地址栏，选择“修改搜索引擎”或者进入选项标签页，找搜索引擎管理或者在地址栏输入chrome://settings/searchEngines双击你需要的搜索引擎即可也可以手动添加新的搜索引擎

2012-02-23 19:20:21 2406

转载 Java虚拟机（JVM）参数配置说明

出自收集的一个文档，具体出处已无从查起 Java虚拟机（JVM）参数配置说明在Java、J2EE大型应用中，JVM非标准参数的配置直接关系到整个系统的性能。JVM非标准参数指的是JVM底层的一些配置参数，这些参数在一般开发中默认即可，不需要任何配置。但是在生产环境中，为了提高性能，往往需要调整这些参数，以求系统达到最佳新能。另外这些参数的配置也是影响系统稳定性的一个重要因

2012-02-23 15:30:27 1510

转载 java 虚拟机参数配置详解

堆大小设置JVM中最大堆大小有三方面限制：相关操作系统的数据模型（32-bt还是64-bit）限制；系统的可用虚拟内存限制；系统的可用物理内存限制。32位系统下，一般限制在1.5G~2G；64为操作系统对内存无限制。我在WindowsServer 2003系统，3.5G物理内存，JDK5.0下测试，最大可设置为1478m。典型设置：java -Xmx3550m -Xms3550m

2012-02-23 15:17:24 1260

原创 java垃圾回收之Minor GC和Major GC

最近在读周志明写的深入理解Java虚拟机：JVM高级特性与最佳实践对Minor GC和Major GC做点笔记新生代 GC（Minor GC）：指发生在新生代的垃圾收集动作，因为 Java 对象大多都具备朝生夕灭的特性，所以 Minor GC 非常频繁，一般回收速度也比较快。老年代 GC（Major GC / Full GC）：指发生在

2012-02-23 07:43:57 20230 3

转载写代码如坐禅:你是哪一类程序员？

当编译占用你时间时你会怎么做。不只是编译，即使是在等待任何短暂的计算机操作结束，这段时间你会干些什么？　　和你的工作日休息比起来这点时间是微不足道的，但是总的来说它还是能对你的生产率和幸福感感带来巨大帮助的。　　顺便说一下，这篇文章内容不是只针对开发者和程序的。它对任何使用电脑的聪明人都有效。后面还会附上图片。现在让我们开始吧！　　为什么要写这篇文章　　我最近开始在

2012-02-22 13:18:21 1055

原创 Mathtype公式编辑器中插入空格

使用Mathtype公式编辑器进行数学公式或方程编辑时，有时需要插入空格单击“样式”--> “文字”（或直接按Ctrl+Shift+E组合键），即可直接输入空格！或者直接ctrl＋alt＋空格。

2012-02-21 20:44:42 3388

转载 cglib源码学习交流

背景前段时间在工作中，包括一些代码阅读过程中，spring aop经常性的会看到cglib中的相关内容，包括BeanCopier,BulkBean,Enancher等内容，以前虽大致知道一些内容，原理是通过bytecode，但没具体深入代码研究，只知其所用不知其所以然，所以就特地花了半天多的工作时间研究了CGLIB的相关源码，同时结合看了下 spring Aop中对CGLIB的使用。本文主

2012-02-20 21:45:25 1027

原创深入浅出CGlib

针对http://llying.iteye.com/blog/220452中出现的错误进行一个补充主要是jar包版本当CGlib 和 ASM 版本冲突时，会报错以下代码需要的是* cglib-nodep-2.1_3* ASM 2.23为方便下载，链接如下asm http://download.csdn.net/download/ustcxjt/4

2012-02-20 15:29:26 609

转载 Eclipse快捷键

Ctrl+1 快速修复(最经典的快捷键,就不用多说了)Ctrl+D: 删除当前行 Ctrl+Alt+↓ 复制当前行到下一行(复制增加)Ctrl+Alt+↑ 复制当前行到上一行(复制增加)Alt+↓ 当前行和下面一行交互位置(特别实用,可以省去先剪切,再粘贴了)Alt+↑ 当前行和上面一行交互位置(同上)Alt+← 前一个编辑的页面Alt+→ 下一个编辑的页面(当然是针对

2012-02-19 21:59:27 348

原创 my first coq

形式化方法作业写下第一题一个好的开始 (** **** Exercise: 1 star (nandb) *)(** Complete the definition of the following function, then make sure that the [Example] assertions below each can be verified by

2012-02-17 23:43:07 897

转载 Android2.2快速入门

Android2.2快速入门前言　　这是前段时间用于公司Android入门培训的资料，学习Android三周时间收集整理的，时间仓促，希望能对像我这样还没入门就直接上项目的人一点帮助 :) 声明　　欢迎转载，但请保留文章原始出处:) 　　　　博客园：http://www.cnblogs.com　　　　农民伯伯： http://www.cnblog

2012-02-16 15:07:33 596

转载 Android 4.0通过新的特性统一了平板电脑与手机

Android 4.0通过新的特性统一了平板电脑与手机作者 Abel Avram 译者张龙发布于 2012年2月6日Android 4.0可以运行在平板电脑与手机上，并且提供了一些针对UI、通信、共享、媒体、连接、输入类型与企业的新特性。Google于2011年2月发布了Android 3.0（Honeycomb），但该版本只面向平板电脑，提

2012-02-16 14:14:45 600

转载八款开源 Android 游戏引擎 (巨好的资源)

作者： iamsheldon (1 篇文章) 日期：一月 13, 2012 在 4:30 下午初学Android游戏开发的朋友，往往会显得有些无所适从，他们常常不知道该从何处入手，每当遇到自己无法解决的难题时，又往往会一边羡慕于 iPhone下有诸如Cocos2d-iphone之类的免费游戏引擎可供使用，一边自暴自弃的抱怨Android平台游戏开发难度太高，又连个像样的游戏引擎也没

2012-02-16 14:09:25 421

原创短时计划

1、Android开发2、无线传感网论文3、夯实技术基础、确定技术路线

2012-02-16 13:38:51 413

原创个人技术路线

xjtu4年ustc1年游离2年发现自己成大杂烩了对业界有一定了解能用近10种主流语言编程能完成通用软件和嵌入式的基本开发对计算机体系结构、操作系统、网络均有一定理解反而迷茫了是该静下心了Linux+JAVALinux+C该厚实的厚实该唤醒的唤醒

2012-02-16 13:36:10 738

转载科学家开发出能加密和破译图像的生物计算机

科学家开发出能加密和破译图像的生物计算机据美国物理学家组织网2月8日（北京时间）报道，美国加州斯克里普斯研究院和以色列理工学院科学家开发出一种生物计算机，目前可用于破译存储在DNA芯片中的加密图像。这是首次通过实验演示基于DNA计算的分子图像密码系统。相关论文发表在最新一期《应用化学》上。电子计算机由硬件、软件、输入和输出4个部分构成

2012-02-16 13:29:11 687

转载科学家成功实现八光子薛定谔猫态

科学家成功实现八光子薛定谔猫态中国科学技术大学微尺度物质科学国家实验室潘建伟与同事陈宇翱、陆朝阳等在国际上首次成功制备八光子薛定谔猫态。该项研究成果2月12日发表在《自然—光子学》（Nature Photonics）上。据悉，该研究成果的论文预印本于2011年5月底在网站arXiv.org公开后，引起学术界的广泛关注。随后，欧洲物理学

2012-02-16 13:28:03 945

转载科学家实现快速操控光的量子状态

科学家实现快速操控光的量子状态据美国物理学家组织网2月14日（北京时间）报道，科学家一直希望用光子代替电子实现更快捷安全的光通讯，现在，科学家们成功证明，他们能更快速地（在几纳秒内）控制与目前光通讯网络中所用光波波长一样的光子的路径和偏振，新光子电路可整合进现有的光通讯网络中，从而显著改进网络的性能。最新研究朝实现光量子通讯迈进了一步。

2012-02-16 13:26:36 909

转载科学家破解卫星电话加密算法

科学家破解卫星电话加密算法近日，德国波鸿鲁尔大学霍斯特-戈尔兹信息安全研究所（HGI）的研究人员成功破解了欧洲电信标准协会（ETSI）的卫星电话加密算法，证明使用卫星电话也存在被窃听的危险。全球有很多地区无法保证移动电话的使用，因此，在非常偏远的地区、战乱地区、第三世界国家和海上，卫星电话成为及时沟通的好工具。卫星电话通过电磁波直接与

2012-02-16 13:25:17 1078

原创写简历

简历还是提前写一则有备无患二则觉得不厚实的地方，有时间补齐，自省

2012-02-13 00:06:24 1817

转载《SCIENCE》公布的125个科学前沿问题

世界顶级科学杂志《SCIENCE》公布的125个科学前沿问题在庆祝SCIENCE创刊125周年之际，该刊杂志社公布了125个最具挑战性的科学问题，发表在7月1日出版的专辑上。在今后1／4个世纪的时间里，人们将致力于研究解决这些问题。这125个问题如下(前25个被认为是最重要的问题)： 1宇宙由什么构成?2意识的生物学基础是什么?3为什么人类基因会如此之少?4遗传变异与人类健康的

2012-02-13 00:00:27 1287