求解初中代数方程的智能解题系统

介绍了一种用于初中代数方程解题辅导的新型智能系统的原理、实现流程和测试结果。该系统是由用户在远程终端输入题目，中心服务器运行系统程序完成各项功能。该系统的特点是：面向辅导、基于互联网、具有精确解，及解题成功率高。另外，该系统还保证用户和远程服务器之间具有良好的互动性。有利于信息的及时传递和反馈。     

智能自动辅导系统中保密方案研究

研究了智能自动辅导系统中核心软件的保护措施,提出了一个采用自定义串口协议来完成智能智能辅导系统中计算机间数据交换的模型,并分析了方案的可行性和操作过程。最后,在此基础上分析设计了自动解题机的基本功能。     

基于学习者个性因素的多Agent协同学习系统

未解决当前的远程教育系统存在形式单一和被动教学等问题,该文提出了一个基于学习者个性因素的多Agent学习系统模型。该模型结合智能代理技术,通过分析学习者个性因素,给出了个体Agent能力描述语言,提出了新的个性化分组策略和学习任务分配策略,采用补偿机制鼓励agent合作,结合状态空间搜索理论使M AS系统具有更强的解题能力,并可满足学习者主动学习的要求,还能在一定程度上节约系统的通讯。     

数字电路系统可测性设计(DFT)技术实现方法研究

随着信息技术的飞速发展,DFT可测性设计现已成为数字电路系统设计中不可缺少的重要部分,该技术的应用不仅是为了满足数字电路系统测试的需要,主要还为了对数字电路系统的故障问题进行诊断。文章通过对DFT技术的研究,与数字电路系统规模大小的特点和扫描测试原理进行结合,充分发挥其优势,并将该技术运用到设计中。进一步推动了对数字电路系统故障的扫描及精准定位,有效简化了测试复杂度。     

中学智能辅导代数专家系统规则库的简化

由于研究问题的复杂性,专家系统规则库中规则量往往十分庞大,这给规则库的管理和维护带来很大不便。该文针对代数智能辅导解题系统,以规则的层次分类为基础,探讨了规则库建立过程中问题复杂度的降低,冗余规则的减少;同时应用粗集方法对其进行约简,精炼了规则库,提高了系统的效率。     

基于Multi-Agent的协作学习系统

针对当前的协作学习系统很少考虑到学习者知识水平、认知特性、兴趣等个性化属性，提出了一个基于学习者知识水平的分层多Agent学习系统模型，该模型结合智能代理技术，通过对学习者知识水平的界定实现系统的分层结构，较好地解决了现有学习系统中普遍存在而又尚未解决的无序和混乱、群体互动效果、个性化以及系统通讯开销等问题。     

基于DSP Builder的时滞混沌系统数字电路设计研究

采用一阶差分方程对时滞Lorenz混沌系统进行预处理,提出了基于DSP Builder的时滞混沌系统数字电路设计方法.此方法克服了用模拟电路设计混沌系统时,对元器件偏差及环境影响较敏感的缺陷,同时对时滞混沌系统的混沌抑制问题进行了讨论,针对系统模型描述,设计了线性控制器,并在系统离散化的基础上进行了系统数字电路设计；最...     

大规模数字电路系统可测性设计技术研究

为满足大规模数字电路系统测试、故障诊断的需要,可测性(DFT)设计已成为大规模数字电路系统设计中不可或缺的重要组成部分。结合边界扫描测试原理和大规模数字电路系统的主要特点,研究DFT实现的技术途径,并将其用于某大规模数字电路系统的设计中。实现了该大规模数字电路系统的一键式互连故障诊断及可扫描网络准确定位,有效简化了测试复杂度。     

基于遗传算法优化的BDD描述的数字电路功能测试

针对数字电路的测试两大难点，采用二元判决图(BDD)表示数字电路模型，同时由BDD生成测试矢量来完成数字电路的功能测试。在由VHDL描述完整电路功能的基础上用遗传算法对BDD的规模进行压缩优化。整个系统构成简单，自动化程度高，测试耗时少。     

启发式搜索在数学智能解题系统中的应用研究

在人工智能领域,对问题求解的方法都需要某种对解答的搜索,即为一个搜索过程.文中论述的数学智能辅导系统采用了与或树知识表示方法,也可称为问题规约法.它把初始问题通过一系列变换最终变为一个子问题集合,而这些子问题的解可以直接得到,从而解答了初始问题.系统使用以推理深度作估价函数的启发式搜索,使得问题的求解更加有效与合理.论述了采用启发式搜索的必要性及可行性.对比了采用启发式搜索前后,系统解题合理性得到很大提高.     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

How do children do mathematics with LOGO?

Abstract  This paper considers some results of a study designed to investigate the kinds of mathematical activity undertaken by children (aged between 8 and 11) as they learned to program in LOGO. A model of learning modes is proposed, which attempts to describe the ways in which children used and acquired understanding of the programming/mathematical concepts involved. The remainder of the paper is concerned with discussing the validity and limitations of the model, and its implications for further research and curriculum development.