科学网—junqing的博文

XML 语言学习笔记

陈俊清 2012-5-19 19:18

参考书籍： Java2 核心技术卷 2 ：高级特性（第 7 版）英文版，作者 Cay S.Horstmann Gary Cornell 人民邮电出版社 1) The structure of an XML document ?xml version=”1.0” encoding=”UTF-8”? !-- This is ...

4406 次阅读|没有评论

汉诺塔算法的递归算法C++实现

陈俊清 2012-4-13 11:46

/****以下程序是汉诺塔算法的递归算法实现,算法虽然简单,但是能体现出递归算法的精髓, 正所谓"麻雀虽小,五脏俱全"! 很值得编程人员回味 ^_^ ****/ #includeiostream using namespace std; void move(int n, char x, char y) { cout"No."n": "x ...

19351 次阅读|没有评论

如何在Latex文档中直接画图?

热度 2 陈俊清 2011-7-7 08:11

Latex提供直接画图的命令,其参考手册是pgf/tikz. 下面给个简单例子: documentclass {article} ... usepackage{tikz} % Optional PGF libraries usepackage{pgflibraryarrows} usepackage{pgflibrarysnakes} ... begin{document} ... begin{tikzpicture} draw (1,0) -- (0,1) -- (-1,0) -- (0,-1) -- cycle; ...

44624 次阅读|2 个评论热度 2

关于《A Structured Programming Approach using C》

陈俊清 2011-7-1 09:47

这是一本介绍C语言及软件工程方面的书籍，书名《A Structured Programming Approach using C, Third Edition》,作者是 B. A. Forouzan and R. F. Gilberg.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书，多少还是有些收获的。觉得这本书缺乏有趣的 ...

4766 次阅读|没有评论

关于常量指针和指针常量的区别

陈俊清 2011-6-30 15:22

常量指针就是允许该指针指向受常量约束的变量,例如,const int a=10; const int* pa= a; 当然,该指针也可以指向一般变量,例如,int b=20; const int* pb=b; 另一种定义方式是: int const *pb , 与 const int* pb是等价的. 常量指针的值是可以改变的,例如,pa++, pb++. 指针常量就是指针的值是常 ...

3706 次阅读|没有评论

关于命题逻辑的内容

陈俊清 2011-6-28 09:24

1.基本的逻辑连接符号 2.自然演绎规则 (1)合取规则:一个引入规则和两个消去规则 (2)双重否定规则 (3)蕴含消去规则 (4)蕴含引入规则 (5)析取规则：两个引入规则和一个消去规则 (6)否定规则 (7)派生规则：反证规则（MT）等直觉主义逻辑学家和经典主义学家的不同观点（反证法，排中律等） 3. ...

3561 次阅读|没有评论

关于<<Logic in Computer Science>>这本书

陈俊清 2011-6-27 10:41

看过这本书,给出一些感想: 它的英文名为"Logic in Computer Science".作者是 Michael Huth, Mark Ryan. 这本书主要介绍了命题逻辑,谓词逻辑,模型检测中的时态逻辑(包括,线性时态逻辑LTL,计算树逻辑CTL,以及CTL*),模型检测算法和不动点的证明,程序验证,模态逻辑,二叉树判定图.本书还给出相关的模型检测工具NuSMV等, ...

5239 次阅读|没有评论

R-OSGii与jSLP的结合

陈俊清 2011-5-4 13:40

在Eciplse运行环境中，需要包含jSLP-OSGi这个Bundle。该Bundle提供 ch.ethz.iks.slp包。如果没有运行该Bundle，那么就无法找到服务。与P2P查找服务方式不同的是，在注册服务和查找服务。注册服务的代码实例： package radlab.r_osgi.slp.server; import org.osgi.framework.BundleActivator; import org ...

4160 次阅读|没有评论

R-OSGi 中的服务查找方式

陈俊清 2011-1-19 15:45

（1）如果只有添加R-OSGi依赖包ch.ethz.iks.r_osgi，那么只能采用P2P的访问方式，也就是说，client 必须知道服务端的IP地址，这样才能找到相应的服务，显然灵活性很差。（2）如果采用SLP（service location protocol）来定位服务，那么需要添加依赖包ch.ethz.iks.slp，client无需知道服务端的IP地址，它能查找出所有的远 ...

3078 次阅读|没有评论

R-OSGi开发的一些体会（3）

陈俊清 2011-1-11 22:14

接着就是如何脱离开发环境，发布出来并部署到两台机子上。本实验是在RADLAB实验室，是在局域网环境下进行实际部署的。把服务端bundle部署到实验室的服务器，而在本机上部署客户端bundle获得服务端的信息。。。。。。。。。。。。

个人分类: 未分类|4946 次阅读|没有评论

帐号		自动登录	找回密码
密码			注册

关闭 安全验证

junqing

关闭安全验证