科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
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 ...
3521 次阅读|没有评论
汉诺塔算法的递归算法C++实现
陈俊清 2012-4-13 11:46
/****以下程序是汉诺塔算法的递归算法实现,算法虽然简单,但是能体现出递归算法的精髓, 正所谓"麻雀虽小,五脏俱全"! 很值得编程人员回味 ^_^ ****/ #includeiostream using namespace std; void move(int n, char x, char y) { cout"No."n": "x ...
17942 次阅读|没有评论
如何在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; ...
42499 次阅读|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.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书,多少还是有些收获的。觉得这本书缺乏有趣的 ...
3936 次阅读|没有评论
关于常量指针和指针常量的区别
陈俊清 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++. 指针常量就是指针的值是常 ...
2675 次阅读|没有评论
关于命题逻辑的内容
陈俊清 2011-6-28 09:24
1.基本的逻辑连接符号 2.自然演绎规则 (1)合取规则:一个引入规则和两个消去规则 (2)双重否定规则 (3)蕴含消去规则 (4)蕴含引入规则 (5)析取规则:两个引入规则和一个消去规则 (6)否定规则 (7)派生规则:反证规则(MT)等 直觉主义逻辑学家和经典主义学家的不同观点(反证法,排中律等) 3. ...
2656 次阅读|没有评论
关于<<Logic in Computer Science>>这本书
陈俊清 2011-6-27 10:41
看过这本书,给出一些感想: 它的英文名为"Logic in Computer Science".作者是 Michael Huth, Mark Ryan. 这本书主要介绍了命题逻辑,谓词逻辑,模型检测中的时态逻辑(包括,线性时态逻辑LTL,计算树逻辑CTL,以及CTL*),模型检测算法和不动点的证明,程序验证,模态逻辑,二叉树判定图.本书还给出相关的模型检测工具NuSMV等, ...
4273 次阅读|没有评论
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 ...
3389 次阅读|没有评论
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地址,它能查找出所有的远 ...
2496 次阅读|没有评论
R-OSGi开发的一些体会(3)
陈俊清 2011-1-11 22:14
接着就是如何脱离开发环境,发布出来并部署到两台机子上。 本实验是在RADLAB实验室,是在局域网环境下进行实际部署的。把服务端bundle部署到实验室的服务器,而在本机上部署客户端bundle获得服务端的信息。。。。。。 。。。。。。
个人分类: 未分类|4447 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2021-6-13 03:40

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部