令网疯狂令我醉的ML

HTML大家一定不会陌生,我做了一个主页,其中就有不少.htm文件,不过我的主页确实不够美观,干巴巴的一些文字、图像。     

GCLISP对其他高级语言的调用方法

目前的GCLISP版本,对用其他高级语言编写的程序交互能力差,这对需要进行复杂计算或想直接调用其他高级语言编写的“标准程序”的用户造成了一定的困难。本文介绍了作者在使用GCLISP调用其他高级语言的一点体会,提出了用高级批处理的方法来解决这种联接调用。这对使用GCLISP的用户可能会有一定的启发。     

Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实     

怎样选择一门语言

许多高校将取得计算机等级考试相应的证书作为学生毕业的必要条件之一，因此不少新生刚入学就末雨绸缪，准备考级，但在其中对程序语言的选择却充满了困惑，甚至感到无所适从。这里我就语言的选择发表一些自己的看法。选择语言要坚持以下几个方面的原则：（一）空间性原则空间性原则指的是要确定你选择的语言在你所计划的整个计算机系统学习中的地位。也就是说，在选择一门语言时，要了解其在计算机学习过程中所处的地位，在你以后的计算机系统学习过程，是否可以使用到这门语言，从而相对减少学习量。例如C语言，在以后学习数据结构这门专…     

Source-to-Source Conversion Based on Formal Definition

This paper proposes the idea of source-to-source conversion between two heterogeneous high-level programming languages.The conversion is based on formal definition and oriented to multi-pairs of languages.The issues in conversion from PASCAL to C are also discussed.     

无线自由 任由选择：JAVA、C#转换工具

近日,微软公司正式发布了Java语言转换助手(JLCA)Beta Ⅰ版,该工具作为Java用户移植到.NET这一策略的组成部分,将为Java语言开发者提供平滑转换,以便用户顺利的在微软.NET策略平台上构建基于XML的Web服务应用。     

青出于蓝而胜于蓝——从VB到VBA

凡是对计算机稍有关注的人,没有不知道Basic语言的,由于其语句类似自然英语语法,易学易用,因此一问世便受到宠爱,迅速普及。但随着计算机技术的日新月异和用户需求的不断发展,Basic语言逐步暴露出功能简单,运行效率低等缺点,很难挤进专业开发工具的行列,只能作为初级的教学语言存在,面临被淘汰的趋势,甚至有些专业软件开发人员称之为“Street Basic”(马路Basic)。     

C#是一种新的语言？或者仅仅只是J……

C＃与Java两者在相似性外,又是非常不同的,它们有许多细微的语义和设计区别,适台不同的技术和市场环境     

基于模糊描述逻辑的PNL网络问答系统

将现有网络搜索引擎过渡到网络问答系统是WI的基本目标之一，模糊问答系统是网络问答系统研究的重要问题。基于模糊描述逻辑，该文特化了PNL过程，提出了PNL式模糊网络问答系统。该系统将模糊描述逻辑规则作为PNL 推理过程中用到的原型语言规则中的计算部分，推理出原型语言规则中的知识符号，并以一个具体的问答实例，介绍了PNL式问答系统的工作流程。     

一种关于Agent的模糊认知逻辑

由于经典逻辑不能表示模糊事实,而且Agent也不能利用经典逻辑的方法从模糊事实里获取知识,为了克服经典逻辑方面的不足,提出了一种关于Agent的模糊认知逻辑.首先,介绍了模糊认知逻辑和规则,该方法用数字来表示模糊事实,用模糊逻辑来获取知识.其次,引入了一种反向推理逻辑,利用该方法研究了条件和结论的相关性.最后,主要介绍Agent采用模糊认知逻辑获取知识的过程.     

Systemic approach to fuzzy logic formalization for approximate reasoning

L.A. Zadeh, E.H. Mamdani, M. Mizumoto, et al., R.A. Aliev and A. Tserkovny have proposed methods for fuzzy reasoning in which antecedents and consequents involve fuzzy conditional propositions of the form “If x is A then y is B”, with A and B being fuzzy concepts (fuzzy sets). A formulation of fuzzy antecedent/consequent chains is one of the most important topics within a wide spectrum of problems in fuzzy sets in general and approximate reasoning, in particular. From the analysis of relevant research it becomes clear that for this purpose, a so-called fuzzy conditional inference rules comes as a viable alternative. In this study, we present a systemic approach toward fuzzy logic formalization for approximate reasoning. For this reason, we put together some comparative analysis of fuzzy reasoning methods in which antecedents contain a conditional proposition with fuzzy concepts and which are based on implication operators present in various types of fuzzy logic. We also show a process of a formation of the fuzzy logic regarded as an algebraic system closed under all its operations. We examine statistical characteristics of the proposed fuzzy logic. As the matter of practical interest, we construct a set of fuzzy conditional inference rules on the basis of the proposed fuzzy logic. Continuity and stability features of the formalized rules are investigated.     

命题逻辑公式模糊软集语义及其在决策分析中的应用

基于论域公式引入软命题逻辑公式概念,给出软命题逻辑公式的模糊软语义解释.将决策模糊信息系统转化为决策模糊软集,软决策规则表示为包含有蕴含联结词的软命题逻辑公式.引入软命题逻辑公式的基本真度、条件真度、绝对真度等指标,从充分性、必要性等方面评价软决策规则的有效性、合理性.提出基于决策软集的典型软决策规则提取算法和基于软决策分析的推荐算法,并通过实例和数值实验证明算法的有效性.     

A fuzzy expert system shell using both exact and inexact reasoning

This paper presents a comprehensive expert system shell which can deal with both exact and inexact reasoning. A prototype of this proposed shell, code named as SYSTEM Z-IIe, has been implemented successfully. It is a rule-based system which employs fuzzy logic and numbers for its reasoning. Two basic inexact concepts, fuzziness and uncertainty, are both used and distinct from each other clearly in the system. Moreover, these two concepts have been built into two levels for inexact reasoning, i.e. the level of the rules and facts, and the level of the values of the objects of these rules and facts. Other features of Z-IIe include multiple fuzzy propositions in rules and dual fact input mechanisms. It also allows any combinations of fuzzy and normal terms and uncertainties. Fuzzy numeric comparison logic control is also available for the rules and facts. Its natural language interface which uses English with restricted syntax improves the efficiency of knowledge engineering. Z-IIe is also coupled to a Database Management System for supplying facts from existing databases if appropriate. All these features can be combined to build very powerful expert systems and are illustrated by an example.     

双枝模糊逻辑

在双枝模糊集基础上,建立了双枝模糊逻辑的框架,这是对单枝模糊逻辑的合理扩展。从双枝模糊命题入手,给出双枝模糊逻辑的性质和双枝模糊逻辑公式,以及双枝模糊逻辑的析取范式与合取范式。这些结果为研究双枝模糊推理和双枝模糊控制奠定了基础。     

随机模糊环境下的命题逻辑真度理论*

在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理.     

基于数据库的电力设备故障诊断模糊专家系统的设计与实现

采用SQL Anywhere 5.0设计知识库。PowerBuilder6.5编程实现了电力设备故障诊断模糊专家系统,其知识的表示采用了模糊产生式表示式,引进了模糊匹配与加权模糊逻辑进行模糊推理,实现了一种较为理想的非精确推理。