搜索到与相关的文章
编程技术

[Maven]Nexus 安装与配置

转载于:http://w26.iteye.com/blog/15470961下载Nexushttp://www.sonatype.org/nexus/go2安装解压即可D:\bisoft\toolsnexus-2.0.4-1sonatype-work3配置环境变量NEXUS_HOME=D:\bisoft\tools\nexus-2.0.4-1PATH添加%NEXUS_HOME%\bin\jsw\windows-x86-64$NEXUS_HOME/conf/

系统 2019-08-29 23:50:28 2740

编程技术

使用 HTML5 canvas 进行 Web 绘图

新的HTML5规范旨在帮助开发人员更轻松的编写出各类Web应用,以顺应当前SaaS,云计算以及RIA等技术的最新趋势。在HTML5得以广泛推广之前,开发人员通常使用SVG,VML等技术进行Web绘图操作,但这些基于XML的绘图语言声明式的绘图方式并不能满足复杂绘图操作在性能上的需求,比如Web游戏所需要的像素级别的绘图能力。HTML5canvas元素的出现填补了这种不足,开发人员可以使用JavaScript脚本语言在canvas中进行一系列基于命令的图形绘

系统 2019-08-29 23:22:22 2740

编程技术

BI概念及Cognos模块功能

商业智能(BI)这个概念从1958年被提出到现在广泛应用在各个行业当中,经历了很长的时间,在这段时间内商业智能的相关技术和应用环境越来越成熟,不同的商业智能厂商也都提供了可以解决全套商业智能解决方案的产品系列,本文对商业智能的相关概念和基本技术作了简单的介绍,并介绍了IBMCognos相关产品。读者可以参考本文来用Cognos构建商业智能解决方案。什么是商业智能沃尔玛的销售部在总结历史销售记录的时候发现,每到周末的时候,啤酒和尿布的销量都比平时要高很多,这

系统 2019-08-29 23:17:57 2740

编程技术

八卦一下模型验证(三)

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

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

编程技术

struts总结

Struts学习总结一、struts2简介struts2官网地址:http://struts.apache.org/struts2官方开发介绍:http://struts.apache.org/2.0.14/docs/core-developers-guide.htmlstruts官方开发介绍本地地址:F:\编程资料\struts\struts-2.1.6-all\struts-2.1.6\docs\docs\guides.html(包括了所有使用的信息,

系统 2019-08-29 22:58:45 2740

编程技术

11.26号----sysdate函数

1.该函数返回当前的日期与时间,一般和dual伪表一起合作,2.sysdate函数用于获取数据库所在的操作系统的当前时间值的.我们可以使用NLS_DATE_FORMAT参数或者TO_CHAR函数来获得我们想要的SYSDATE日期格式,具体的格式代码如下:FormatCodeExplanationYEARYear,spelledoutYYYY4-digityearMMMonth(01-12;JAN=01).MONAbbreviatednameofmonth.

系统 2019-08-29 22:20:47 2740

Windows

VMware虚拟机上Ubuntu与Windows XP文件共享

现在使用虚拟机的人越来越多,它的确给我们带来了很大的方便。但是其中总会有一些问题困扰着我们,今天我就给大家讲一讲我的一点小小的经验。关于VMware虚拟机上Ubuntu与WindowsXP文件共享的问题!我的情况:本人电脑系统为WindowsXP,在该系统上装了VMware6.0虚拟机,并在虚拟机上安装了Ubuntu9.04。最终实现了两系统的文件共享!(其他系统大同小略)进入正题,以下为详细步骤:一.首先确保你的虚拟系统正确安装了VMware-Tools

系统 2019-08-29 22:05:08 2740

各行各业

S-Nim

http://acm.hdu.edu.cn/showproblem.php?pid=1536SG经典题,不多说//FileName:hdu1536.cpp//Author:bo_jwolf//CreatedTime:2013年09月30日星期一18:23:53#include#include#include#include#include#include#include

系统 2019-08-12 09:27:34 2740

Linux

Linux基础命令题(ps/ls + grep)

最近遇到两道题目,均是关于Linux的基础命令的。1.如何查找并杀死一个进程:1derek@derek-VirtualBox:~$ps-ef|greperic2derek209711010:32?00:00:01/usr/bin/python/usr/share/eric/modules/eric4.py3derek21052097010:32?00:00:00/usr/bin/python/usr/share/eric/modules/DebugClie

系统 2019-08-12 09:27:08 2740