微机网上的分布式专家联合系统UNION(上)

本文描述微机网上的分布式专家联合系统UNION的设计思想、目标、体系结构和原理。UNION是继1985年陆汝钤提出分布式专家系统的概念及其设计思想之后于次年夏天开始组织实现的一个实验系统。目标机型是配有UNOS操作系统、PASCAL和C语言的MC68000微机,它们用Ethernet局部网联网。UNION目前已完成支撑系统Sup- port1和通信系统,其余部分正在实现中。UNION的工程实现由中国科学院数学研究所承担。     

谓词形式系统VUL-h∈[0.75,1]及其完备性

主要解决基于一级泛与运算的一阶谓词演算形式系统VUL^-_h∈[0.75,1]的完备性。通过引入全称量词和存在量词,建立与命题形式系统VUL^-_h∈[0.75,1]相对应的一阶谓词形式系统VUL^-_h∈[0.75,1],证明其完备性定理。从而说明形式系统VUL^-_h∈[0.75,1]的语义和语构是和谐的。     

巧用Borland C++资源编辑器

BorlandC＋＋3.1提供了DOS和Windows两种环境下的软件开发平台。其Windows环境下的可执行文件WORKSHOP.EXE是一个功能强大的资源编辑器（简称编辑器），为开发利用Windows环境下的应用程序提供了强有力的辅助工具。     

一类ω—正则语言

ω—语言是由有穷字母表∑上的某些无穷串组成的集合。被所谓的ω—有穷自动机接受的ω—语言称为ω—正则语言。在[4]中作者曾从集合的角度给出—ω—语言为ω—正则语言的几个充分条件。在本文作者仍从集合的角度给出一个ω—语言为ω—正则语言的充分条件,即若—ω—凸语言L满足L=adh(pref(L))=pref(L)tail(L),则L是—ω—正则语言。从而,确定了ω—正则语言类的一个子类。     

CSTAR中文之星在DOS应用程序中的妙用

本文介绍一种通过对CSTAR中文之星及Windows中DOS窗。各种特性及功能的利用，实现在无DOS汉字系统支持下在Windows窗口中运行DOS中文应用程序的方法。     

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

随机线性重复过程的鲁棒L2-L∞滤波

针对随机线性重复过程,研究了其鲁棒L₂-L_∞滤波问题。基于线性矩阵不等式技术推导了该随机线性重复过程均方渐近稳定以及鲁棒L₂-L_∞全阶滤波器存在的充分条件,并将滤波器的设计转化为一个凸优化的求解问题。所设计的滤波器能够保证相对于所有能量有界的外界扰动信号,重复过程的L₂-L_∞性能指标小于一定值γ。仿真实例证实了该设计方法的有效性。     

网络经济如何治理——关于新经济调控机制的思考

AT&T把政府搞被动了,把世界搞糊涂了。 10月25日,美国电话电报公司(AT&T)正式宣布分拆公司业务的计划,拟在2002年将公司分拆成4家独立上市公司:AT&TWireless(流动电话业务)、AT&TBroadband(有线电视业务)、AT&TConsumer(消费者长途电话业务)、AT&TBussiness(企业客户电讯业务)。 表面上看起来,情况很简单:AT&T要把无利可图的长话业务与有利可图的互联网业务分开,以取悦于股东。但看一看AT&T的历史,就会发现问题没有那么简单。从历史上看,AT&T想合的时候,政府要它分;AT&T想分的时候,政府却要它合。这次也不例外。FCC主席威廉·肯拉得发表讲话说:“现在有超过6000万人在使用AT&T的长途电话业务,我会同AT&     

Zn上l-全向置换的进一步研究

Z_n上的l-全向置换具有良好的性质,研究l-全向置换非常重要。进一步研究了Z_n上的l-全向置换,给出了l-全向置换的几个新性质。     

Hayes ULTRA系列调制解调器在中国分组网上的应用

本文概要介绍HayesULTRA系列调制解调器的分组网功能。这种分组网功能可以让用户通过异步端。访问中国分组网的同步X.32（拔号X.25）端口和专线X25端口，并且能提供四条虚连接。本文还介绍如何利用HayesULTRA系列调制解调器与中国分组网进行连接访问北京电子信箱，及利用Hayes公司开发的中文Smartcom III软件方便操作。为经济、快速推广使用中国分组网提供一种解决方案。     

FoxBASE文件数据切分及数据转换方法

本文着重介绍C语言与FoxBASE数据文件的接。及FoxBASE中DBF文件数据的切取方法，并介绍实现FoxBASE与其它数据库管理系统间的数据转换程序的设计方法。这种方法较好地解决了不同数据库环境下的数据转换问题。     

基于含参数蕴涵算子族L-λ -R0的三I支持算法 ——仅就FMP模型进行讨论

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的三I支持算法、α-三I支持算法。     

电子技术应用1981年第1-6期总目录

页38期l题目作者期页2﹃‘月“注l2 6 .12 .1‘口‘附了no.19﹄7I.皿O‘ 题目作者LEO使用中的几点改进·········……赵德镇电子束爆光机的拼图技术 ”····“····~,……李传林张洪生安德祥电厂输煤系统动力载波控制······……苏才葵单片模拟集成锁相环在现代通信中的应用 ····一·········……赵天鹏张鉴年范传洲组合波干扰的快速图解法·········……杨光正发射极交流负反馈人GC电路···”一陈再清IIR滤波器的振幅平方响应遥近设计 ··…。“······……。二。··…。…‘··………     

个体间相互影响的网络舆情演变模型

提出了一个社会网络中舆论形成的演化模型,模型考虑了网络中个体受其邻居影响的概率。假设个体A受到其他邻居影响的概率为α（A）,并且所有k度个体具有相同的受影响概率为α（k）,其中k是某个体邻居的个数。证明了如果概率α的分布满足对所有k满足α（k）=kp_kc,那么持某种舆论个体的人数比例是一个鞅,即数学期望是一个常数。本模型有助于衡量某给定社会网络中舆论传播的快慢程度。     

Znm上的l-广义正形置换

给出了Zⁿ_m上l-广义正形置换的概念,讨论了l-广义正形置换的函数性质。对Zⁿ_m上l-广义正形置换的一阶广义Chrestenson谱特征进行了分析,并基于谱特征给出了一种Zⁿ_m上的l-广义正形置换的构造方法。     

基于混合光场描述符的三维目标检索研究

针对三维目标（3D object）检索问题,提出了一种基于新型描述符的3D目标检索方法。首先,在分析现行基于视图的3D模型描述符在描述方法上不充分的基础上,提出了混合描述符H_D的总体思路。进而讨论了H_D总体框架,即在光场图像阵列自适应的基础上,实现了直方图颜色描述符H_CD,shock图形状描述符H_SD及贝叶斯网络（Bayesian Network,BN）纹理描述符H_TD的优化组合。其次,讨论了H_D各部分的具体实现及度量机制,最后,对H_D检索性能进行了实验分析,结果表明提出的方法是优于其他基于视图的检索方法。     

基于平滑伪维格纳分布和最小熵的BPSK信号参数估计

针对低信噪比环境下二相编码（Binary phase shift keying,BPSK）信号的参数估计性能差问题提出了一种新方法。该方法首先对信号进行平滑伪维格纳分布（Smooth pseudo Wigner-Ville distribution,SPWVD）变换得到时频矩阵S_SPWVD（t_m,f_n）,再利用最小熵法对得到的时频矩阵进行处理得到BPSK信号载频的较高精度估计。SPWVD变换将BPSK信号相位突变信息转换为时频域内信号载频处的幅度突变信息,通过搜索相邻负尖峰并进一步处理得到BPSK信号的码宽、码率、码数以及编码序列的估计。仿真结果验证了方法的有效性。     

面向终端用户动态构造企业MIS

本文简要论述了企业管理对MIS的要求以及企业管理需求的特点，提出了面向终端用户动态构造企业MIS的方法——SY方法。以适应企业管理不断发展变化的需求，介绍了SY方法的主要目标、基本原则以及基于SY方法开发企业MIS的特点和过程等。     

Java Server Faces进阶流程控制与JSF内置显示套件入门（下）

Ullnput 标准的HTML显示套件有几个属于此类组件的标签,分别是:、、、、、、、。 1. 此标签用来输出文字于屏幕上,配合valueRef属性,可以参考到某个JavaBean组件的属性。如果配合了converter属性,可以使用各式各样的转换器,String与各种数据类型之间转换。除     

HA Express无线智能家居系统

功能特色：·全无线智能家居控制系统,可以控制影音器材、灯光、窗帘等,并可以通过UMPC控制切换不同的场景。·“单触式”场景控制,让用户由进入家门的一刻,已经体验到优质的视听环境。·通过“语言控制”功能,控制预先设定的场景。·能够通过移动电话,UMPC等设备无线控制。·用户可以自行通过“拖”、“拉“图标方式,定义活动场景。·环保节能,减少电器的用电量。