科学网—huangfuqiang的博文

反思计算机软件与理论方向

黄富强 2009-7-7 16:48

这么大的方向在国外的计算机学院很少见到，宽口径的生产策略我认为很难生产出高水平的软件基础理论人才，我有时在想，为什么我国的软件基础理论人才太少，能称之为科学家的就更少了，中科院软件所有两三位，比如唐稚松院士（老先生已去世），在那里还是有一些学术传承的 ...

个人分类: 计算机软件理论与工程|5597 次阅读|5 个评论

开源数值计算工具scilab简介

黄富强 2009-7-4 10:31

Scilab是开源的科学与工程数值计算应用软件，开源、开放、免费、夸平台是它的品质，与其它计算机语言可以进行有效集成，支持众多的数据结构与数据类型. Scilab开源项目主页 A number of toolboxes are ava ...

个人分类: 开源软件项目研究与分析|4293 次阅读|没有评论

纯XML数据库管理系统OrientX3.5

黄富强 2009-6-25 21:01

开源精神是全部开放乐于分享实际上没有什么值得保密的大家帮你研究会更好国外这类项目很多，BLOG中就有，首先肯定一点，这样的研究小组对教学、科研都有好处，但是借来的东西太多（要处理好开源许可证问题），采用的开发工具不利于开源扩展，还不支持Linux os. ...

个人分类: 数据库与知识库|5299 次阅读|没有评论

人工智能引发的哲学思考

黄富强 2009-6-25 10:26

来自科技哲学网的在线视频人工智能引发的哲学思考一、机器会有智能？人工智能引发的哲学思考二、机器能否具有智能？人工智能引发的哲学思考三、智慧来自何处？人工智能引发的哲学思考四、计算 ...

个人分类: 信息＆工程＆逻辑哲学|4978 次阅读|没有评论

面向安全的程序设计语言（PDL）

黄富强 2009-6-24 16:32

在信息安全研究领域与工程实践中软件系统安全占有很重要的地位，这是显而易见的，软件中的程序是由程序设计人员编写的，人是编码活动的主体，不同编码人员的主体差异性很大，安全编码意识与经验存在很大不同，即使在同一个项目团队中，这个问题很值得反思探究，有同仁 ...

个人分类: 计算机软件理论与工程|5306 次阅读|没有评论

微软把函数编程语言（F＃）引入到主流.NET企业平台中

黄富强 2009-6-22 21:44

以前写的，英文资料来源于网上，从我的ChinaUnix Blog中转载过来，大家参考研究 FPL指函数编程语言微软早已宣布把F＃（FPL）整合进Visual Studio中，这标志FPL在.Net平台中的实现是可行的，这提升了FPL在企业环境中应用的可能性，这说明了.Net平台（CLR）的支 ...

个人分类: 计算机软件理论与工程|3651 次阅读|没有评论

形式化方法实务简述

黄富强 2009-6-18 09:14

一、形式化方法（formal methods）的定义：形式化方法是用（形式系统）使理论严格化、精确化的程序和方法。具体方法是理论中的概念转化为符号、命题转化为符号公式、推演就是符号公式的推理变化。著名哲学家与逻辑史家波亨斯基（I.M. I.M.Bochenski ,1902-1995)在当代思维方法 ...

个人分类: 计算机科学数学与逻辑|4093 次阅读|1 个评论

PAKDD 2009“最佳学生论文奖”！

黄富强 2009-5-24 17:41

Detecting Abnormal Events via Hierarchical Dirichlet Processes 不要独享 ,实际上还有两位合作者 : Hua Liu (Software Engineering School, Xian Jiaotong University) Derek Hao Hu(Department of Computer Science and Engineering,Hong Kong University of Science and Technology) 以下信息来 ...

个人分类: 数据库与知识库|5177 次阅读|没有评论

霍尔逻辑（Hoare logic）

黄富强 2009-5-15 09:30

霍尔逻辑是一套由英国计算机科学家霍尔（ C. A. R. Hoare ）开发的形式系统，后来又通过他与其它研究者做了进一步的精细化处理，这个系统的构建目的是用来推理验证程序的正确性，用数学的严格性做保证。 & ...

个人分类: 计算机科学数学与逻辑|16754 次阅读|1 个评论

A LOGICAL PERSPECTIVE ON SOLVING GAMES

黄富强 2009-4-29 14:07

中国人民大学科学-社会-人文论坛报告题目：A LOGICAL PERSPECTIVE ON SOLVING GAMES 　　　　　报告人：约翰.范本特姆（Johan van Benthem）　　　　阿姆斯特丹大学大学教授（University Professor）　　　　斯坦福大 ...

个人分类: 信息＆工程＆逻辑哲学|3774 次阅读|没有评论

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

关闭 安全验证

huangfuqiang

关闭安全验证