本文系形式化方法系列3——从软件需求分析出发，利用形式化方法和VDM++工具，分析了一个微型图书管理系统的系统需求。并概览了VDM++程序的全貌，展示了形式化方法的强大功能。
分类：
其他好文 时间：
2014-11-12 22:56:40
阅读次数：
303
美妙的数字(number.c/.cpp/.pas)题目描述 黄巨大认为非负整数是美妙的，并且它的数值越小就越美妙。当然0是最美妙的啦。 现在他得到一串非负整数，对于每个数都可以选择先对它做二进制非运算（模二意义下0、1互换，注意前导0也要交换），然后在任意相邻的两个数之间插入二进制与、二进制或，或....
分类：
其他好文 时间：
2014-11-12 22:55:01
阅读次数：
230
Inmy previous post, I have already defined how you can inherit from an existing control and define your own reusable chunk. The reusable XAML code tha...
http://blog.csdn.net/njuitjf/article/details/4585247今天，老大让我调查一个浮点数转换为整数的问题。自己就查了些资料，顺便复习一下原码、反码和补码。原码：将一个整数，转换成二进制，就是其原码。如单字节的5的原码为：0000 0101；-5的原码为10...
分类：
其他好文 时间：
2014-11-12 22:56:19
阅读次数：
247
当我们在运行作业的过程中也可以查看Web控制台的信息：此时发现了一个作业ID，点击进入可以查看作业进一步的信息：进一步看通过Web控制台看SparkWorker1中的Container中的运行信息：刷新Web控制台：
分类：
其他好文 时间：
2014-11-12 22:54:40
阅读次数：
241
1 import java.util.ArrayList; 2 import java.util.List; 3 4 /** 5 * 字符串相关的工具类 6 * 7 * @author Fsx 8 * 9 */ 10 public class StringU...
分类：
编程语言 时间：
2014-11-12 22:54:40
阅读次数：
349
上面是我绘制的一张图。 关于八叉树场景管理器主要需要关注两个类，其一是松散八叉树的数据结构Ogre::Octree，其二是八叉树场景管理器Ogre::OctreeSceneManager。 下面摘录图片中的文字：松散八叉树的数据结构。属性：其中mBox为其包围盒，mHalfSize定义为包围盒...
分类：
其他好文 时间：
2014-11-12 22:55:26
阅读次数：
300
1 2 4.0.0 3 ssh_maven 4 ssh_maven 5 0.0.1-SNAPSHOT 6 war 7 8 9 10 UTF-8 11 12 13 ...
分类：
其他好文 时间：
2014-11-12 22:54:08
阅读次数：
324
1.使用插件为 jquery.pagination.js，如果没有这个js文件的话，我可以给发个。首先引用 jquery.pagination.js（分页js），跟pagination.css（分页样式css）。点击获取查看这两个文件2.页面js代码为3.页面里面的代码为 ...
分类：
Web程序 时间：
2014-11-12 22:52:36
阅读次数：
302
一、引言 在前面的WCF服务中，它都要求服务与客户端两端都必须启动并且运行，从而实现彼此间的交互。然而，还有相当多的情况希望一个面向服务的应用中拥有离线交互的能力。WCF通过服务队列的方法来支持客户端和服务之间的离线工作，客户端将消息发送到一个队列中，再由服务对它们进行处理。下面让我们具体看看WC....
分类：
其他好文 时间：
2014-11-12 22:53:04
阅读次数：
328
1726: [Usaco2006 Nov]Roadblocks第二短路Time Limit:5 SecMemory Limit:64 MBSubmit:826Solved:394[Submit][Status]Description贝茜把家搬到了一个小农场，但她常常回到FJ的农场去拜访她的朋友。贝茜...
分类：
数据库 时间：
2014-11-12 22:54:22
阅读次数：
291
1. Iperf用文件作为数据源无效的问题
2. 在代码中修改iperf数据，iperf无法收到，但在mac层能拿到数据
分类：
其他好文 时间：
2014-11-12 22:52:15
阅读次数：
339
================Struts2的国际化================程序国际化： 程序可以根据极其所在的国家、语言环境，自动显示当前国家、语言的内容国际化的本质是：查找、替换国际化的步骤： （1）为不同的国家、语言环境提供资源包； 如果你的国际化语言资源包中有非西欧的字...
分类：
其他好文 时间：
2014-11-12 22:54:33
阅读次数：
241
1.框架思想 IoC(Inversion of Control,控制反转,反向控制),或者成为DI(Dependency Injection,依赖注入). 在传统程序中,相互的依赖性是固定在程序中的.程序的运行也是一步一步的,完全按照程序代码执行,根据代码就能知道程序怎样运行. 在Spring中程序...
分类：
编程语言 时间：
2014-11-12 22:53:39
阅读次数：
275
#include #include #include #include #include #include #include #include #include #define CL(a,b) memset(a,b,sizeof(a))#define ll __int64#define TEST c...
分类：
其他好文 时间：
2014-11-12 22:52:33
阅读次数：
278
最近在解析HTML文件，遇到这样的一个场景。我需要将HTML文件中data-url="xxx"中的xxx查找并显示出来。首先考虑使用find，但是find只能显示包含查找内容的文件名，不符合场景的需要。接着考虑使用grep，配合-o参数，确实可以显示匹配到的内容，但是grep正则的时候，总是贪婪匹配...
分类：
其他好文 时间：
2014-11-12 22:51:39
阅读次数：
266
出师不利，数据一次删完了。。。教程：http://www.thinkphp.cn/topic/9757.html首先要构造mysql数据库模板代码 {$vo.id} {$vo.user}删除 控制器代码select(); $this->assign...
分类：
Web程序 时间：
2014-11-12 22:53:51
阅读次数：
295
