WereYoung-CSDN博客

n年没回来了

写了2星期 ios代码，感觉好久没在技术上做什么突破了，整天就那点破php代码折腾来折腾去，没劲啊....于是想重新选个做api的后台框架，忽然发现新东西太多了，眼花缭乱...

2017-04-12 17:28:25 136

阿里云的云服务监控数据为空怎么破？

云服务监控的数据显示N/A 按帮助流程安装出错。 os为 centos安全版# ps -ef |grep aegis_quartzroot 26184 25962 0 21:20 pts/1 00:00:00 grep aegis_quartz #sh quartz_install.sh'uartz_install.sh: line 27: syntax...

2014-10-22 21:51:42 567

使用yum在centos 6.3 64位下安装ffmpeg

操作系统：centos 6.3(一)安装编译环境 gcc --version 已有gcc未安装需安装参考如下#yum install -y automake autoconf libtool gcc gcc-c++ (二)安装所需程序库的RPM包到 centos(因为centos自带的库中没有ffmpeg包，这里相当于是扩展) 在apt.sw.be上查找对应版本的r...

2014-10-16 11:10:41 172

原创定制Apache的防盗链模块

定制Apache的防盗链模块Author: Jeff Pang pangj@earthlink.net Date: 2008-1-8网上介绍比较多的防盗链配置方法是使用reference来识别请求是否来自本站。但reference的弊端是很容易伪造，如迅雷之类的工具就使用了伪造的reference，让防盗链设置无效。这里介绍的方法是自己定制Apache的防盗链模块。一般防盗链...

2014-07-08 10:06:33 258

原创说说JSON和JSONP，也许你会豁然开朗，含jQuery用例

http://www.cnblogs.com/dowinning/archive/2012/04/19/json-jsonp-jquery.html【原创】说说JSON和JSONP，也许你会豁然开朗，含jQuery用例Posted on 2012-04-19 23:37 随它去吧阅读(58627) 评论(157) 编辑收藏前言：由于Sencha ...

2013-09-23 11:09:39 109

原创 [转改]Zimbra 8.0顶级开源邮局解决方案实战

[经验] 【多图】Zimbra 8.0顶级开源邮局解决方案实战 [复制链接] ovh59主题0好友297积分Lord发消息楼主发表于 2013-4-8 19:05:18 |只看该作者 |倒序浏览本帖最后...

2013-08-09 13:35:23 618

原创开源项目的各种协议简单介绍

http://www.cnblogs.com/mailingfeng/archive/2012/02/02/2335770.html 开源项目的各种协议简单介绍很多企业在进行开发的时候，或多或少都会使用到开源项目。这时候就要考虑到开源项目所执行的协议了。 1. 允许商用、闭源发布的协议：BSD 、Apache 、 MIT 协议、 LGPL（更宽...

2013-07-30 15:35:21 267

火星人敏捷与stroy

总结火星人敏捷开发手册-关于用户故事部分：作为一个...可以...以便...用户细分功能价值

2012-11-26 17:19:43 75

原创优点优点优点

发现了自个的优点：本女善于总结，不善于推理和发散。扬长避短吧 :arrow:

2012-11-02 14:21:43 330

ui设计使用方法-Balsamiq Mockups+Napkee

目前流程如下：1.产品设计出需求文档2.美工出界面图3.使用Balsamiq Mockups在界面图上标注详细的设计和待修改内容，添加页面链接4.使用Napkee导出html格式原型，代替需求文档5.开发根据原型切图、编码Balsamiq Mockups+Napkee初步满足要求唯一不足啊Napkee不支持中文路径和文件名...

2012-10-11 16:48:42 179

社会化电子商务

http://www.groupon.com 现在的互联网讲究高效快捷撇弃了门户网站的大信息量舒服多了原来是高朋

2012-08-17 16:05:37 92

互联网的本质

互联网的本质：互联快速虚拟互联互通是互联网最基本的特征，世界通过网络连接在一起，通过网络传递信息实时传播是电子信号的快速传递决定的，实现了信息的实时传播，跨越了地域的界限虚拟化机器代替人成为互联网的节点实现了人的平等、自由http://blog.sina.com.cn/s/blog_454763570100dhfj.html这里说互联网体现的是人的一种哲学需要。...

2012-08-17 14:45:47 201

原创【转】软件项目“免坑”指南

http://7788a.iteye.com/blog/1607317

2012-07-27 15:34:48 104

原创手机应用开发流程与职责

从别人那学习的结果，待实践：1.角色职责：交互设计和界面设计（3），产品经理（3）负责需求讨论与确认，开发人员（5），市场推广（3）2.流程： [list][*]专业机构进行市场调查，提出产品构想（价格不菲，除非大公司，一般自主）[*]产品经理分析需求[*]交互设计[*]产品经理确认部分核心开发[*]界面设计[*]开发和测试[*]发布[*]开发流程3周一...

2012-07-26 09:44:59 127

原创社交网站的强关系与弱关系

利用UCHome让用户之间建立强关系留下人就是王道！http://www.discuz.net/thread-1350563-1-1.html[经验分享] 利用UCHome让用户之间建立强关系留下人就是王道！发表于 2009-7-13 16:58:18 |只看该作者 |倒序浏览本帖最后由大鹏! 于 2009-7-14 09:00 编辑之前我写过一...

2012-07-20 14:42:59 330

原创教育部进一步促进教育信息化试点工作的文件-国家数字教育资源公共服务平台10种服务应用模式...

国家数字教育资源公共服务平台10种服务应用模式为落实“十二五”时期教育信息化重点推进“三大任务”的战略部署，根据我国教育教学改革发展的需要，在《推进国家数字教育资源公共服务平台建设和应用工作方案》基础上，特提出利用国家数字教育资源公共服务平台为教育教学提供的专递课堂、名师课堂、名校网校和网络协作教研四个类型的10种服务应用模式。一、专递课堂（一）模式...

2012-07-20 09:57:34 398

原创 rosetta

对于使用英语思维的调整有点作用只是习题太多了。。。

2012-07-10 10:31:36 174

原创 zen cart 本地测试admin无法登录解决

装了好几个版本的 zen cart 全是admin登录没反应ssl都配好了找了好久才发现是因为使用ip地址的缘故改为域名任何版本都无问题

2012-07-09 12:10:36 453

原创 wampserver2 配置ssl 经过验证可用

http://forum.wampserver.com/read.php?2,32986,page=1起初openssl总提示无法定位 ssleay32.dll 把别的版本apache下的openssl.exe考过来覆盖就无问题了原因未知Wamp2 HTTPS and SSL Setup Step-by-Step guidePosted by: hambuler (---.c...

2012-07-05 19:29:07 158

原创无验证的“关注”与带有验证的“加好友”

传统SNS的好友添加一般需要对方确认微博兴起后关注成为一种实时的单项好友关系建立这种实时性促进了sns的人与人交流的终极目标的实现。

2012-07-04 15:02:45 139

原创外语学习的真实方法及误区的笔记

多听各地人的口音，并进行比对训练用英文思维，用英文想事儿条件反射，思维和语言交流时，图象确实在参与，被称为“MIF” （mental image flash）语言获得不是靠记忆关键是提供可理解输入条件外语语言学流派，它就叫做S.L.A.（Second Language Acquisition）“学得”派认为外语靠理性学习，“获得”派认为语言能力应该是下意识自然获得的...

2012-07-04 14:31:43 117

原创【转】WordPress3 自定义导航菜单操作使用方法

http://www.wpued.com/7110.html原来 WordPress3可以通过拖拽做二级菜单搞了半天代码何苦。。

2012-07-04 10:28:35 95

原创互联网应用的实质根本目标

下面一段话是robbin08年发表的一段言论我想也是javaeye的精髓所在[quote]我在自己的博客文章关于JavaEye网站未来发展的思考当中分析了一种现象：[b]用户的经常泡的网站会逐渐收敛到两三个，不会超过五个。如果深层次的探究下来，即便在一个网站内部，用户经常泡的功能也会逐渐收敛到两三个，不会超过五个。[/b]虽然在战略方面来说，JavaEye以后会做很多很多功能，但基本原则...

2012-07-04 09:16:27 119

原创 [转][讨论]如何在中小企业中选择使用免费的开源软件

转自[url]http://bbs.chinaunix.net/thread-3668833-2-1.html[/url]本帖最后由老男孩linux培训于 2012-02-08 19:03 编辑==全凭[老男孩]记忆写下来的曾经用过或测试过的免费软件==操作系统：Centos※,Freebsd,Ubuntu网站服务：apache※,nginx※,lighttpd,p...

2012-07-03 18:27:51 91

原创多系统的CAS认证的用户信息同步问题

多个系统共用cas的一个用户密码表，实现多个系统的集成，问题是使用同一个表，不能允许用户名相同，可是多个系统又相对独立，已有各自的用户名，不能强求用户修改用户名，如何处理？暂且想到的办法是参考openid 附加一个系统标识，具体实现待思考...

2012-06-29 17:28:52 1973

原创复旦sakai项目

复旦elearning使用sakai，如果用moodle是否可行呢？ sakai那么多war真吓死个人那http://elearning.fudan.edu.cn/portal

2012-06-16 16:38:20 256

原创 sakai2.8安装-总算装上了

bin版 windowsxp sp3安装1.下载http://source.sakaiproject.org/release/2.8.1/artifacts/sakai-bin-2.8.1.zip2.jdk1.63.tomcat5.5.33 最好独立只给sakai用4.mysql5* （以前已有的wamp自带）5.在Tomcat根目录下建立setenv.bat内容根据实际情况...

2012-06-16 15:25:11 158

原创 Moodle22 & CAS3

1.只要在moodle里配置插件的cas认证信息即可2.出现密码错误，改用户表mdl_user字段auth=cas

2012-06-15 19:26:34 213

原创 sakai2.8的cas3插件

https://confluence.sakaiproject.org/display/~steve.swinsburg/CASifying+Sakai+with+CAS+3

2012-06-15 18:44:19 290

原创各种备案各种审批各种证

公司要运营社区，问下来bbs专项备案只有北京的公司才有希望申请下来，而且也不是肯定能下来。但我看好多社区并没有相关的专项备案号一般就是ICP备 ICP证京公网安备还有说2010年就取消bbs备案了真是搞不清除了...

2012-06-15 13:54:23 104

原创怀旧怀旧

最近开始做互联网有可能从java转到php今天看了robbin的博客给了个回复，忽然想起来当年因为灌水，被删账号 :cry: 可惜了我写的那么多文章，还有我资深的账号啊........

2012-06-14 12:13:14 99

原创没什么说的只是想留在这里

:) :oops: :x :shock: :? :idea: :?: :lol: :shock: :twisted:

2011-06-10 11:20:45 68

形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要求的形式化描述，我们可以检验软件的设计是否满足软件的要求。对于编程来讲，我们可以考虑自动代码生成。对于一些简单的系统，形式化的描述有可能直接转换成可执行程序，这就简化了软件开发过程，节约了资源和减少了出错的可能性。另外，形式化方法可以用于程序的验证，以保证程序的正确性。对于测试来讲，形式化方法可用于测试用例的自动生成，这可以节约许多时间和在一定程度上保证测试用例的覆盖率。形式化方法原则上就是用数学与逻辑的方法描述和验证软件从描述上讲，一方面是系统或程序的描述，另一方面是性质的描述。这些可以用一种或多种语言来描述。这些语言包括命题逻辑，一阶逻辑，高阶逻辑，代数，状态机，并发状态机，自动机，计算树逻辑，线性时序逻辑，进程代数，π-演算，μ-演算，特殊的程序语言，以及程序语言的子集等。从验证来讲，主要有两类方法，一类是以逻辑推理为基础，另一类则以穷尽搜索为基础。逻辑推理有natural deduction, sequent calculus, resolution以及Hoare-logic等方法。穷尽搜索方法统称为模型检测。这类方法与系统或程序以及系统性质的表示有很大的关系，比如说符号模型检测，其基本原理是用命题逻辑公式表示状态转换关系，用不动点算法计算状态的可达性以及这些状态是否满足某些性质。

2008-10-12

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

yuxiaoyong的专栏