hbzhuxu的专栏

原创 正式迁移blog到msn spaces

原因很简单。经常出现“白屏”。无法更新资料。http://spaces.msn.com/members/hbzhuxu

原创 [组合数学]组合设计泛谈

[组合数学]组合设计泛谈与旋转矩阵相关的数字问题  来源：互联网    日期：2005年2月26日  作者：未知     从寇克曼女生问题讲起    旋转矩阵涉及到的是一种组合设计：覆盖设计。而覆盖设计，填装设计，斯坦纳系，t一设计都是离散数学中的组合优化问题。它们解决的是如何组合集合中的元素以达到某种特定的要求。    为了使读者更容易明白这些问题，下面先从一道相当古老的数学名题讲起：    1

原创 [图论]欧拉圈与哈密顿圈相关

=========================欧拉迹和圈=========================　　包含所有边仅一次的迹。　　一般图中　　　欧拉迹　存在的　必要条件：每个顶点度数为偶数。　　一般连通图中　欧拉圈　存在的　充要条件：每个顶点度数为偶数。　　一般连通图中开迹的个数：设奇数顶点个数m>0，则可以被划分为不少于m/2个开迹。　　特殊情况：存在一个开欧拉迹充要条件为仅有2个奇数

原创 [组合数学]容斥原理的初步总结

容斥原理应用于计数集合划分有重叠，无法简单应用加法原理的情况下。主要方法是颠倒计数过程，先计数1组合~~n-1组合数，然后根据容斥性质从总集合|S|中减去或加上相应计数。=一般公式===========---------计算不具有某几个属性 物体个数：公式：　　=|S|- ∑R-1 + ∑R-2 - ∑R-3 ... +(-1)^mR-m　　---------　　一种情况的化简　　　情况：各R-i

原创 形式邏輯 （台湾大百科智库）

【漢語拼音】xingshi luoji 【中文詞條】形式邏輯 【外文詞條】formal logic 【作　　者】張尚水 http://140.128.103.1/web/Content.asp?ID=57840         研究演繹推理及其規律的科學﹐包括對於詞項和命題形式的邏輯性質的研究。它提供檢驗有效的推理和非有效的推理的標準。形式邏輯已經歷了2000多年的歷史﹐19世紀中葉以前的形式邏輯

原创 面向21世纪系列教材一体化建设研究报告[转]

计算机科学与技术一级学科面向21世纪系列教材一体化建设研究报告(1,2,3)*http://www.ndip.cn/computer/modernCS/yitihua.htm#_ftn1 http://www.ndip.cn/computer/modernCS/yitihua.htm#_ftn1 Research Report on the Textbook Construction and th

原创 [数理逻辑]经典逻辑的总体思考

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝经典逻辑的总体思考（未完成）＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝基本概念------------------------------------命题　　内容　　逻辑形式形式语言：人工构造的符号语言，代替自然语言，能精确表示命题的逻辑形式。语义：符号及符号表达式的含义语法：符号表达式的形式结构经典逻辑------------------

原创 [图论]综述

摘自 http://zh.wikipedia.org/wiki/%E5%9B%BE%E8%AE%BA图论是数学的一个分支，它以图为研究对象，研究节点和边组成的图形的数学理论和方法。图论中的图是由若干给定的点及连接两点的边所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系，用点代表事物，用连接两点的边表示相应两个事物间具有这种关系。图论起源于著名的柯尼斯堡七桥问题。图论的研究对象相当于一维

原创 [数理逻辑] 定理2.6.10 p65 出错？

数理逻辑 定理2.6.10 p65iii A->(B^C) |-| (A->B)^(A->C)iv  A->(BVC) |-| (A->B)^(A->C)iv这个公式是不是有问题啊？iv  A->(BVC) |-| (A->B)V(A->C) 吧。。 要不就是iii A->(B^C) |-| (A->B)V(A->C)

原创 道德经八十一章 ⊙老子／文

道德经八十一章 ⊙老子／文--------------------------------------------------------------------------------一章道，可道，非恒道。名，可名，非恒名。无名，天地之始；有名，万物之母。故常无欲，以观其妙；常有欲，以观其徼。此两者同出而异名，同谓之玄。玄之又玄，众妙之门。二章天下皆知美之为美，斯恶已；皆知善之为善，斯不善矣。有

原创 [数理逻辑]可靠性和完备性的一点思考

语义语法逻辑推论形式推演可靠性和完备性就是为了保证二者之间的映射的准确性。

原创 [数理逻辑]第一篇

本数理逻辑研究范围：　　路钟万 面向计算机科学的数理逻辑 中所包含的数理逻辑问题。目的：用数学方法研究逻辑问题　　前提-->结论分类：　　演绎逻辑：前提真-->结论真（可推导关系）（本书研究的主要类别）　　　　可推导型：前提真与结论真之间的一种关系（由前可推导结）　　归纳逻辑：真的前提-->协调的结论（不要求真）（协调：与前提或自身协调）形式语言：　　目的：精确的表达命题逻辑形式。　　语义：符号、

原创 [数理逻辑] 例题证明 P59-60 定理2.6.5

数理逻辑 例题证明 P59-60 定理2.6.5(iii)求证 A |- !!AA,!A |- A    (+,E)A,!A |- !A   (E)A |- !!A     (!+)(iv)求证A,!A |- BA,!A,!B |- A  (+,E)A,!A,!B |-!A  (E)A,!A |- B     (!-)(v)求证 A |- !A->BA,!A |- B     (!-)----UP

原创 [数理逻辑] 例题证明 P61 定理2.6.6

数理逻辑 例题证明 P61 定理2.6.6(1)A->B |- !B->!AA->B,!B,A |- B   (+,E)A->B,!B,A |- !B  (E) A->B,!B |- !A    (!+)A->B |- !B->!A   (-> +)证毕(3)!A->B |- !B->A!A->B,!B,!A |- !B  (+,E)!A->B,!B,!A |- B   (E)!A->B,!B |

原创 [数理逻辑]例题证明 P59 定理2.6.4

数理逻辑 例题证明  P59 定理2.6.4 i 证明 A-＞B,A |- BA-＞B,A |- A-＞B (E)A-＞B,A |- A     (E)A-＞B,A |- B     (-＞ -) 证毕ii 证明：A |- B -＞ AA |- A      (REF)A,B |- A    (+)A |- B-＞A  (-＞ +) 证毕iv 证明：A->(B->C),A->B |- A->CA-

原创 [组合数学]第一篇

清华大学课件：　　组合数学主要研究满足一定条件的组态（一种安排）的存在性、计数及构造等方面的问题。组合数学大体上可分为组合计数、组合设计、组合矩阵、组合优化等方面。　　本课程的前4章讨论基本的组合计数问题。在本课程中我们将组态称为组合模型，我们将从中学数学中已出现的排列、组合的计数着手，一直讨论到用火柴能搭出多少个不同的足球这样的有趣的问题。　　第五章介绍区组设计与编码的初步知识。考虑到多数计算机

原创 基于RUP的应考复习过程管理（三）

1、先启　　确定项目的外部环境及内部运行环境，并对此进行评估　　RUP中定义此阶段主要目标：规模定义和成本／进度估算中；需求是否确定；风险是否认定　　考研过程定义此阶段目标：了解要报考的学校及相关情况；确定复习的规模和需要花费多少时间、精力；认定考试风险；　　主要的工作流：　　　　项目管理评估考研复习规模和风险、制定考研复习计划、监测考研复习进度　　　　测试制定考研复习各个过程中的测试计划　　　　

原创 基于RUP的应考复习过程管理（二）

三、实现：　　根据先启、精化、构建、产品化4个阶段对比RUP的主要里程碑及活动来构建复习过程的主要里程碑及活动。　　根据软件过程9个核心工作流来定义考试过程的9个核心工作流：　　[项目管理]　　　考研项目管理：考研项目的管理。　　[环境]　　　　　考研环境：考研环境的定义和维护。　　[业务建模]　　　考研过程建模：对考研整个过程建立一个业务模型。　　[需求]　　　　　考研需求：了解要考上研究生（硕

原创 RUP九个主要工作流在四个阶段的分布图（根据Rup文档合成）

原创 基于RUP的应考复习过程管理（一）

基于RUP的应考复习过程管理（上）一、序言　　提供一个复习管理的过程，帮助复习者（考生）管理自己的复习计划和实施情况。名词解释：　　RUP:Rational Unified Process的简称，IBM公司的一个规范化软件开发过程，用于软件开发过程的管理和控制。主要是通过将过程划分为时间上的4个阶段和工作方面的9个核心工作流，通过在每个阶段实施特定的工作流管理来实现成功的过程管理。4个主要的阶段：

原创 ASP 80004005 错误的一些解决思路

Unable to open registry key Temporary (volatile) Jet DSN for process x Thread x DBC 0x21a4004 Jethttp://www.aspfaq.com/show.asp?id=20091、正确的数据库连接字符串2、检查Access版本，〉=20003、设置用户权限，注意iusr_* 在数据库所在目录以及win

原创 自己制作的Asp数据库访问类。

自己制作的Asp数据库访问类。-------------------------------------------------------------------------**************************  数据库-表-模版类 2.0  *************************  实现数据库中表TableName的 增 删 改 读单条记录 功能******

原创 没有找到关于软件基线方面的文章。。。

干脆自己开个blog，用于收集这方面的内容。