Developing real-time knowledge-based systems with PERFECT

PERFECT (Programming EnviRonment For Expert systems Constrained in reasoning Time) is aimed at providing the necessary engineering support in real-time knowledge-based system development. PERFECT bridges the gap between the traditional analysis and design methodologies, and the implementation tools for these systems. It does so by providing the means to construct a knowledge model and to choose a suitable inference strategy. Subsequently the properties of the knowledge model and inference strategy may be analysed. For instance, it may be checked whether the knowledge model contains sufficient knowledge to diagnose a fault in an industrial process. Moreover, it may be checked whether the inference engine is able to provide an answer to a certain problem in time. If not, the analyser of PERFECT proposes an alternative structure of the knowledge model. When the constructed knowledge model and the chosen inference strategy show the required time efficiency, the compiler of PERFECT may translate them to an actual real-time knowledge based system in COGSYS. In addition, guidelines are provided with respect to the design of the human-machine interface. The resulting system is an instrument—a source of information that can be used by the human operator during problem-solving, rather than a prosthesis—a device that solves the entire problem by itself and presents the outcome to the human operator.     

Development of an Expert System for Selection of Dam Type on Alluvium Foundations

. A knowledge-based expert system was developed to aid in the selection of the type of dam. The dam type selector expert system (DTSA ES) was designed to determine the type of dam on the alluvium foundations. Detailed expert knowledge is required to estimate the type of dam and to develop an expert system. The DTSA ES utilizes rules of thumb used by an expert for determining the selection of the type of dam. The DTSA ES was developed using a shell program. The expert system was tested on several dam sites in order to validate the decision obtained. The use of this expert system, containing knowledge about the selection of dam type, can be helpful to students, potential owners or contractors in selecting dam types. The current prototype always needs additional parameters for more detailed analyses of new developments. However, the current DTSA ES is designed to include existing information about dam types.     

常用浆种在纤维中底板抄造中的应用分析

本文介绍了常用几种浆板在纤维中底板中的应用。     

Design of internal model control based fractional order PID controller

This article presents a design of the internal model control(IMC)based single degree of freedom(SDF) fractional order(FO)PID controller with a desired bandwidth specification for a class of fractional order system(FOS). The drawbacks of the SDF FO-IMC are eliminated with the help of the two-degree of freedom(TDF)FO PID controller. The robust stability and robust performance of the designed controller are analyzed using an example.     

基于移动锚节点的无线传感器网络圆心定位

文章提出了一种利用无线传感器网络无线信号接收强度（RSSI）和移动锚节点轨迹来获得待定节点位置的算法。该算法在有多个可移动锚节点的情况下,定位将会更加高效。在定位阶段,通过RSSI测得锚节点到待定节点的距离,并利用三个以上移动锚节点的坐标（包括三个）来求解圆的方程,计算出待定节点的位置。     

基于进化计算的兴趣建模

为实现对个体的兴趣建模,提出基于进化计算的建模(Evolutionary Computation Based Modeling,ECBM)方法。该方法采用定性和定量相结合的方式对个体的兴趣系统进行建模,首先通过定性分析构建个体的兴趣模型框架,然后通过进化计算(Evolutionary Computation)方法对模型参数自动进化。实验结果表明,ECBM能够通过数据驱动模式优化模型参数,并利用更新信息进化模型,使其不断逼近真实系统。     

增强现实中的位置隐私保护

随着增强现实技术和基于位置服务（LBS）技术的发展,增强现实的应用也越来越广泛,LBS是增强现实的一个重要应用,用户位置隐私的泄漏是LBS用户的重要威胁,因此对用户位置隐私的管理就显得非常重要。论文首先分析用户位置隐私保护的重要性,接着介绍用户位置隐私泄露的类型,并分析和比较目前已有的用户位置隐私保护方法的优缺点,最后提出含有集中受信任的第三方模型的用户位置隐私保护方法,该方法优化了现有的用户位置隐私保护方法,可以有效地实现用户位置隐私的保护。     

基于互联网图像集的室外场景建模技术综述

目前在互联网上有海量的室外场景照片,它们不仅内容覆盖面广,对同一场景有大量不同视点和光照条件下的采样,而且获取成本很低.如何利用这些照片中包含的丰富场景信息,快速、方便地构造各种逼真的虚拟场景,是互联网迅猛发展给虚拟现实、计算机图形学和计算机视觉带来的新的研究课题之一.文中分析、总结了近年来国内外互联网图像的真实场景几何建模、自然光照建模和材质反射属性建模的最新研究进展,并对其未来的发展趋势提出了一些看法.     

结合动力学模拟的手绘服装动画生成

手绘服装动画是艺术化绘制风格与服装运动规律的结合体,将手绘风格与服装运动模拟相融合,提出一种高效生成具有手绘效果的服装动画方法.通过手绘图来指定服装动画的艺术效果,并基于逆向动力学原理,采用非线性优化方法从用户输入的手绘图中恢复出服装运动的动力学参数;在此基础上,设计实现了基于广义的中间帧插值方法和结合显式动作数据的外推方法,自动生成用户所期望的、与手绘图风格一致的服装动画序列.实验结果表明,该方法可有效地生成融合服装物理运动属性并保留动画师手绘风格的服装动画,显著提高了手绘服装动画的制作效率.     

一种mIBS方案的分析与改进

魏松杰等人提出一种基于安全仲裁SEM（security mediator）的mIBS（identity based signature）方案,利用SEM节点实现用户身份实时撤销。mIBS方案中,SEM持有部分用户私钥,与签名者共同完成签名。对mIBS方案进行了安全性分析,发现该方案存在严重安全缺陷,并给出一个具体的攻击实例。在攻击实例中,签名者通过与SEM的一次正常签名交互,窃取SEM持有的部分私钥,进而绕开SEM单独实施签名,使得SEM失效。提出一种改进的mIBS方案（记为mIBSG）,对SEM持有的部分私钥增加了随机性保护。进一步,建立了mIBS方案安全模型mEUF-CMIA（existential unforgeability under adaptive chosen message and identity attacks）,重点讨论了其敌手模型。除传统IBS敌手外,mEUF-CMIA模型定义第二种类型敌手模拟一个恶意但合法的签名者,通过访问随机预言机,在没有SEM参与的情况下独立产生签名。在mEUF-CMIA模型下,mIBSG方案的不可伪造性被归约为求解循环群上的CDH问题。对比分析表明,mIBSG方案以较小的计算代价实现了可证明安全性。mIBSG方案可用于构建基于IBC的跨域认证系统。