船舶哭噪声的特征描述及其模糊分类方法的研究

研究了船舶的辐射噪声的分形特征和噪声谱ＡＲ模型特征,并利用这两个特征作为区分船舶的依据;通过聚类分析,发现本文提取的特征具有良好的可分性。文中还详尽研究了Ｍａｘ－Ｍｉｎ模糊神经网络,讨论了各个参量对隶属度函数形成的作用,并提出了几项措施,解决了原有方法的固有问题,通过仿真与实船数据验证分类效果有明显的提高。     

基于辨识ARMA模型的野值剔除方法与卡尔曼滤波修正算法

本文基于ＡＲＭＡ模型，提出了一种新的野值剔除方法。文中首先建立了新息过程的ＡＲＭＡ模型，再应用递推增广最小二乘方法，在线辨识ＡＲＭＡ模型的参数，并通过模型参数变化的检验函数，来判定是否出现了野值。文中同时提出了野值剔除后卡尔曼滤波的修正算法。作为应用，我们对雷达半主动导引头寻的制导系统的野值情况进行了仿真。仿真结果表明，这种基于辨识ＡＲＭＡ模型的野值剔除方法与野值剔除后的卡尔曼滤波修正算法能有效地     

T-R程序及其实现的实例

讨论了Ｔ－Ｒ程序,并提出了一种用电路实现Ｔ－Ｒ的方法,举例了Ｔ－Ｒ程序在一液面控制系统中的应用及其实现。最后,介绍了Ｔ－Ｒ程序的意义和前景。     

一种基于函数联接网络的纹理分类方法

提出了一种基于函数联接的感知器神经网络的纹理分类方法,它采用高新－马尔柯夫随机场模型（ＧＭＲＦ）对纹理进行描述,模型参数即为纹理特征,参数估计采用最小平方误差方法获得,将估计参数作为表达纹理的特征向量,用感知器网络对特征进行分类,并且采用函数联接的方式解决线性不可分问题,对纹理图象进行的实验表明,采用这种方法能够提高学习速度,简化计算过程,并取得较好的纹理分类效果。     

开放逻辑中基于一优先序的R-重构

在开放逻辑中,Ｒ－重构作为一知识库或信念集修正的结果并不唯一,有时甚至太多而难于明确计算和表示,为此,文中给出了基于一优先序的Ｒ－重构的概念,基于一优先序的Ｒ－重构往往要比Ｒ－重构少得多,不存在上述Ｒ－重构的问题,在用户给出的关于一知识库中知识的优先序时,基于该优先序的Ｒ－重构可以用来刻画对该知识库的合理维护。     

一种基于角色访问控制(RBAC)的新模型及其实现机制

文中对基于角色访问控制（ｒｏｌｅ－ｂａｓｅｄ ａｃｃｅｓｓ ｃｏｎｔｒｏｌ,ＲＢＡＣ研究中的两个热点－模型的建立和实现进行了较深入的研究,提出了一种新的ＲＢＡＣ模型－ＮＲＢＡＣ模型,这一模型除具有全面性外,比之已有的ＲＢＡＣ９６模型还具有接受现实世界和形式统一的优点。     

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。     

多投影面沉浸式虚拟环境系统的颜色校正

提出一种颜色校正的函数逼近优化模型来解决多投影面沉浸式虚拟环境系统的颜色校正问题。该颜色校正模型,采用数码相机作为颜色反馈的测量仪器,获得一个基准投影面的亮度和色度转换函数;为其他投影面分别寻找一个亮度修正函数和色度修正函数,使得各投影面与基准投影面的亮度和色度转换函数之间的L2距离最小,进而根据各修正函数来补偿各投影机的输入响应差别以达到它们之间的颜色一致。给出了逼近校正方法的算法及其程序实现,通过一个三通道的试验系统,证明了此方法对解决多投影面沉浸式虚拟环境系统颜色校正问题的有效性。     

最佳订购点／订购批量模拟程序

处理需求量和到货时间都是随机变量的常见库存控制问题，方便而有效的方法是蒙特卡罗模拟技术。据此并使用管理软件包Ｌｏｔｕｓｌ－２－３（２，０）版本内强大的内部函数和灵活的编程功能，作者研制了解决这个问题的简便程序，它需要的数据量不多且容易获得，人机界面友好，计算速度快，可较好地帮助企业确定满意的订购点和订购批量，也可作为决策支持系统的单元模。     

在分析用户访问行为基础上实现代理缓存

文中提出一个描述ＷＷＷ结构的网站图Ｓｉｔｅ－Ｇｒａｐｈ模型,在此基础上进行用户访问行为分析,从而提出了一个考虑实际请问请求模式的代理缓存系统ＵＲＡＣ．文中详细描述了ＵＲＡＣ的工作原理,对代理缓存设计时所要解决的命中率,一致性和替换算法等主要问题进行了讨论,并给出了性能分析,得到ＵＲＡＣ以提高命中率和降低访问延迟为目标是一个更加实用的代理缓存系统的结论。     

基于串口通信的蓄电池校准系统的设计

针对电动汽车蓄电池管理系统存在的电压检测精度问题以及产业化问题,本文介绍了一种单体电压全自动校准方案。首先分析了电压检测精度较低造成的影响,然后给出校准原理,给出了硬件电路设计方案及软件设计程序框图,最后分析实验结果,与实际值相比较,从而得出其优缺点。该设计目前已应用于蓄电池管理系统校准实践中,证明了其高精度、方便快捷的特点。     

基于图论的联锁程序的研究与设计

研究了作为计算机联锁系统核心的联锁程序的设计问题。分析了联锁程序需要处理的基本问题。为了将图论中解决问题的基本方法应用到这些问题的解释上，对几个最基本的概念作出严格的数学定义。在此基础之上，又对结点的封闭、释放和如何选择安全的路径作了进一步的分析。提出了一种新的联锁程序的设计思路。通过实验，验证了提出的方法是符合安全条件的。并与现行的联锁程序进行对比后发现，以该理论为基础设计的程序有数据量小，算法通用和可移植性好等诸多优点。     

Music playlist generation by adapted simulated annealing

We present the design of an algorithm for use in an interactive music system that automatically generates music playlists that fit the music preferences of a user. To this end, we introduce a formal model, define the problem of automatic playlist generation (APG), and prove its NP-hardness. We use a local search (LS) procedure employing a heuristic improvement to standard simulated annealing (SA) to solve the APG problem. In order to employ this LS procedure, we introduce an optimization variant of the APG problem, which includes the definition of penalty functions and a neighborhood structure. To improve upon the performance of the standard SA algorithm, we incorporated three heuristics referred to as song domain reduction, partial constraint voting, and a two-level neighborhood structure. We evaluate the developed algorithm by comparing it to a previously developed approach based on constraint satisfaction (CS), both in terms of run time performance and quality of the solutions. For the latter we not only considered the penalty of the resulting solutions, but we also performed a conclusive user evaluation to assess the subjective quality of the playlists generated by both algorithms. In all tests, the LS algorithm was shown to be a dramatic improvement over the CS algorithm.     

The rue theorem-proving system: The complete set of LIM+ challenge problems

In this paper we discuss the successful execution of the LIM+ challenge problems as proposed by Bledsoe. This problem set ranges from a 12-step nonequality proof to a complex 41-step paramodulation proof. Our theorem prover is based on RUE resolution, which incorporates the axioms of equality into the definition of resolution. We apply hyperresolution as a restriction strategy and produce RUE hyper-refutations without the use of paramodulation. We present an extensive treatment of the heuristics applied to find proofs, both standalone and interactive.This work was supported by the National Science Foundation Grant CCR-9024953.     

联邦式多主体系统规划动态修改策略设计与实现

在CIMS环境下,由于智能行为的复杂性和多样性。造成主体系统交互的困难。本文提出了一种联邦式多主体系统结构,主要讨论了联盟体在原始规则出现问题时,如何实现对规划进行动态修改。主要研究规划的动态修改方法,引入了规划修改因素,规划树等,设计了一种动态规则修改环境。提出了一种规划动态修改的方法。     

基于STD标准的ATS信号组件研究与设计

信号与测试定义(STD)标准从被测对象信号的测试需求出发,以信号的方式描述测试需求,可以为自动测试系统提供更好的程序可移植性;STD标准规范了信号的定义与描述模型,但没有提供具体的实现方法;为了从技术层面上解决测试信号参数传递与测试需求存储问题,分析了STD标准,并根据该标准对信号进行设计,提出了基于STD标准的自动测试系统信号组件设计方案,并以信号激励产生的过程介绍信号组件的交互;以交流AC_SIGNAL信号组件的构建为例,对信号组件的设计方案进行验证;实验结果证明该设计方案切实可行,可为自动测试系统的研究提供参考。     

水环境重金属元素检测系统的智能化设计

面向水环境重金属元素检测系统,提出了一种智能化实时检测系统设计方法。系统在初始化过程和检测过程中引入多种智能化方法,如系统可靠性检查方法、系统误差自动补偿以及自动量程采样方法。在实验室通过锌、镉、铅、铜四种重金属离子标准溶液样品检测实验,结果表明,上述方法提高了系统的检测可靠性和检测精度,证明了该系统可以有效解决传统检测系统在多种重金属检测中无法自动消除系统误差、检测精度不高的问题,为实时监测水环境重金属元素提供了更加完善的解决方案。     

基于ARM和GPRS的无线远程IAP的研究与实现

针对电力监控设备终端软件升级的需要,讨论了终端软件升级的方法,设计了基于ARM（LPC2368）的GPRS无线远程IAP系统。介绍了系统的工作原理、硬件组成、软件设计流程等,并详细介绍了GPRS模块的通信协议,给出了部分程序代码。该系统能较好地解决电力监控设备终端软件升级问题。     

Automated reasoning with function evaluation for COCOLOG

The Conditional Observer and Controller Logic (COCOLOG) is a logical system for the feedback control of finite input‐state‐output systems wherein the individual first order logical theories have the properties of consistency, completeness and decidability. The efficiency of automatic theorem proving (ATP) is a crucial issue in the implementation of COCOLOG control systems and in this paper we present a so‐called function evaluation (FE) based resolution‐refutation ATP methodology for COCOLOG. FE‐resolution ATP replaces the axioms specifying the dynamics of a finite input‐state‐output machine by a set of defined function relations. The resulting procedure extends to predicates and hence permits the definition of constant and variable FE‐resolution inference. It is shown that FE‐resolution ATP is complete in the sense that a set of clauses which is unsatisfiable in all models with the given interpretation of the functions will yield the empty clause under resolution, paramodulation and FE‐resolution. This revised version was published online in June 2006 with corrections to the Cover Date.     

基于SolidWorks 的可视化定制研究

针对可视化定制系统中如何实时自动装配和交互浏览的问题,提出一种基于 SolidWorks 二次开发自动装配的方法。用户在网页上确定定制方案后,服务器端和与服务器有 固定联系的一台主机远程通讯,对SolidWorks 二次开发后的自动装配程序安装在此主机上,服 务器端远程启动主机上的自动装配程序,并接收装配完整的eDrawings 文件,将三维模型反馈 到网页上显示,用户可以在网页上实现虚拟交互浏览。该方法可以实现三维模型在多选择方案 下的实时自动组装和网页上的虚拟交互。