CONCEPT OF POWER AND SYSTEMS MODELS FOR DEVELOPING COUNTRIES

The problem of detecting nontransient faults in sequential logic circuits by random testing was analyzed by Das et al. utilizing the well-known continuous parameter Markov model. Given a sequential circuit with certain stuck faults specified, the original state table and its error version can be readily derived from analysis of the circuit under fault-free and faulty conditions, respectively. By simulating these two tables next on a computer, we can obtain the parameters of the desired Markov model. For a specified confidence degree, it is easy to derive the parameters of the model and to calculate the required lengths of the random test patterns, or the maximum testing time. This paper presents further analysis of the model and reports simulation results on VAX 11/750 system which provides some useful insights into the nature of faults in relation to random testing and the associated confidence degree.     

一种基于Web的网络管理模型及实现

随着网络的复杂和异构化,迫切需要计算机网络管理工具的管理,文中提出了一种基于Ｗｅｂ的网络模型,该模型采用历史数据模型作为存储网络管理信息的模型,并以此作为基础,能够进一步地研究网络的高级管理策略和高速网络的管理结构。     

基于Web的鸟类视频监控系统研究与实现

介绍了青海湖自然保护区视频监控网络的建设情况,并结合J2EE、ActiveX等技术,提出了构建基于Web的视频监控系统的详细设计方案.基于Web视频监控系统的建立为鸟类监测提供了一个简单易用的平台.该研究项目将服务干鸟类科研的开展,是一个结合了信息学、生物学的跨学科e-Science创新工程.     

PROBABILISTIC MODELS FOR MONITORING AND FAULT DIAGNOSIS: APPLICATION AND EVALUATION IN A MOBILE ROBOT

This paper presents a general approach for building a robust and efficient supervision system for fault detection and recovery. The approach uses a set of monitors that obtain information about the system state and, instead of detecting fault states directly, detects significant differences between perceived and expected states. To deal with uncertainty in the knowledge about the system state and the result of some actions, it uses a POMDP model to decide when it is worthwhile to take recovery actions. We present the general approach and show its application with an indoor mobile robot by reporting and evaluating comparative results for different solutions.     

FDD中特征的并行开发及实例研究

FDD(feature-driven development)是一种特征驱动的软件迭代开发过程.FDD把特征作为每次迭代开发的基本增量单元和里程碑,通过特征优先级控制、特征开发时间控制等措施,达到减少软件项目实施时间的目的.以FDD为基础,阐述了一种基于领域特征并行开发的方法,并结合学生收费领域的系统开发给出了其实施FDD的过程.该方法可以有效提高特征开发的并发性.     

一个分子模型的生成及显示系统

本文介绍了一个实现分子模型的生成及显示的软件包,该软件包能对三维分子模型(空间填充模型)进行动态显示,随时进行几何变换及开窗变换,交互性能好.文章详细介绍了该软件包所采用的新的快速的算法,算法包括线框图显示及真实感图显示,与国外同类算法相比,研制的算法速度非常快.     

A GIS AND WEB-BASED DECISION SUPPORT TOOL FOR THE MANAGEMENT OF URBAN SOILS

Soils are fundamental to urban environmental quality. They have aesthetic and recreational functions in parks and gardens and contribute to the preservation of biodiversity. They also directly influence citizens' health. This paper describes the initial development of a decision support tool (DST) to appraise the urban soil resource and its valuable functions within a wide range of urban environments. It is aimed to provide assistance to local, national, and European authorities in the optimum planning and sustainable management of their soils resources. The DST is an integrated information technology system based on a spatially distributed environmental database management system of soil quality parameters and soil characteristics together with broader environmental factors. The integration is achieved through the implementation of the DST within the framework of a geographical information system coupled with risk assessment, pollution decay, and other models including the handling of “soft” data. The DST will be web-based, allowing wide access to all stakeholders and citizens, providing on-line forums for consultations, and exchange of information and feedback among stakeholders. It is designed to support true transparency in decision making at the local and international levels. The paper focuses specifically on the development of the system architecture of the DST.     

压气机三维流场数值仿真及湍流模型研究

本文利用商用CFD软件对压气机转子通流部分建立了一个三维的数值模拟计算平台.对NASA Rotor 37跨音速压气机转子全工况特性进行了计算,与NASA Rotor37的实验结果对比表明,本文的网格生成技术和数值模拟方法都是比较成功的,满足一定的数值求解精度,具有工程技术应用价值.在湍流模型方面引入Baldwin-Lonax(B-L)湍流模型和Spalart-All-maras(S-A)湍流模型,并对模拟结果进行了分析对比研究.对跨音速压气机转子内流场的数值模拟结果表明:S-A湍流模型对跨音速压气机转子的模拟能力优于B-L湍流模型.     

电子商务中撮合交易系统的研究及实现

本文提出了一种新型的面向市场构架的综合撮合交易系统,描述了其原理及技术实现,在比较当前成型的电子商务交易系统的基础上,阐述了本系统的优势所在。     

基于领域文法的微博舆情分析方法及其应用

传统的舆情分析方法存在两个缺陷:由于缺少对舆情文本必要的语义处理,传统的基于关键词或热词的网络舆情分析方法往往分析结果不准确,即漏判率和假阳性比较高;在舆情发展初期,由于数据稀疏,一般不能及时发现舆情苗头。针对这些问题,提出一种基于领域文法的分析方法对微博文法进行分析,并给出一套通用的领域文法的设计原则以及分析方法。基于领域文法的方法与统计方法相比主要的优点和创新点包括:领域文法可以在数据稀疏的情况下依然可以很好的工作;领域文法的方式不需要对信息进行统计,不会受到距离的影响;领域文法的方法可以很好地提取真正有用的信息而不会像统计方法易受到词搭配的影响。为论证该方法,选择贪腐类舆情作为一个验证应用。实验表明,贪腐舆情文法很好地对贪腐类微博舆情文本内容进行识别和提取,从而达到贪腐舆情监控的目的。     

闪速炉的神经网络冰镍质量模型与稳态优化控制研究

提出了基于神经元网络技术的软测量方法,建立复杂工业过程(闪速炉)模型.针对生产工艺的要求,分别建立了生产工艺指标模型和产品产量模型,开辟了复杂工业过程产品质量建模的新领域.在建模基础上,对闪速炉进行了稳态优化控制研究,结果表明该方法具有较好的节能效果.最后给出了将来在线优化控制的建议.     

A DISTRIBUTED MULTI-CRITERIA APPROACH FOR TRAFFIC REGULATION IN PUBLIC TRANSPORTATION SYSTEMS

Given the dynamic character of public transportation systems, it is difficult to respect accurately theoretical timetables. In real conditions, many disturbances may occur in transportation networks and cause troubles in vehicle schedules. In order to keep transportation systems as stable as possible, a real-time traffic regulation has to be performed by optimizing some regulation criteria that represent exploitation objectives. In this article, we deal with the regulation problem as a multi-criteria optimization one for which we propose a nonaggregative approach based on multi-agent systems. For a given disturbance, the approach firstly ensures an anytime generation of Pareto solutions set by using a distributed Tabu search. Then, the best compromise solution is determined through a multi-criteria evaluation process. Therefore, two multi-criteria evaluation procedures are also suggested: Plurality voting procedure and fuzzy-based procedure. In order to assess the distributed approach, an experimental study was performed on the base of real scenarios.     

SysTracker:一种采用系统调用监测安卓应用资源使用的方法

安卓恶意应用行为大多源于对系统资源的非法使用,资源使用信息将有助于快速地分析恶意行为。然而,由于安卓系统使用权限机制对资源进行管理的特性,现有的基于系统调用监测安卓应用资源使用的方法并不行之有效。针对该问题,设计并实现了SysTracker:一种采用系统调用辅以API-系统调用映射关系来监测安卓应用资源使用的技术。SysTracker通过截获安卓应用程序中的系统调用,并对系统调用的相关信息进行解析,借助API-系统调用映射关系将特殊的系统调用序列还原为相应的API调用,从而识别出应用程序中资源使用信息。大规模的应用程序测试显示SysTracker对API调用的识别率高达99.2%。同时,通过对多款应用程序的分析表明,SysTracker能直观反映应用对资源使用的情况以快速识别出应用的恶意行为。     

工程约束表示模型与求解算法研究

分析了工程设计中约束问题的特点和规律,阐明了工程约束与几何约束在工程ＣＡＤ领域中的表现形式,从一般工程意义上提出了符合工程特点的“多元约束图”的约束表示模型。基于“多元约束图”模型,文章提出了“最小约束度优先和最小值域范围优先”的约束求解算法,描述了针对该算法的约束传播层的设计思想,将约束变量有序地形成一单向依赖关系表,有效地表达了约束一致性的思想,较大规模地减少了搜索空间,该研究应用于工厂钢结构     

焊接产品质量分析及诊断的混合型专家系统的一种开发方法

在搜集专家经验和专业知识的基础上,结合专家系统原理,用Visual Basic开发了一 个焊接裂纹预测及诊断专家系统,并在实践中发展了人工智能理论．实际评价表明,本系统 功能强大,运行可靠,预测和诊断结果的准确性可基本满足工程的要求．     

一种改进的模糊神经网络学习算法

本文引入模糊控制机制,对文献「１」的具有正态模型网络参数的前馈式模糊神经网络学习算法进行改进,提出了一种效率更好的Ｆ－ＢＰ学习算法。在此算法中,采用近似模糊推理技术来确定网络的学习率、动量因子、加速系数三个学习参数,使得这些学习参数在网络的学习过程中,根据学习时间的长短、误差大小及误差变化情况,进行动态调整,从而提高学习效率。最后,通过实例考查了Ｆ－ＢＰ学习算法的性能,并讨论了学习参数的调整对学习     

工控可视化用户工具的设计与实现

本文详细介绍了用于工业过程控制监控级的组态软件中图形组态的功能分析、软件设计、具体实现和实际运用。实现后的图形组态具有可视化交互工的友好界面，简单易学，操作方便，功能齐全，适合我国中小型企业使用的二级集散式控制系统工业控制流程图的绘制与实现。     

一个面向公众的药品价格Web信息系统的设计与实现

本文以《苏州药品价格Web信息系统》为例,介绍了一个用于药品价格信息发布的Web信息系统,以及与之相对应的系统结构、数据库结构和部分实现的关键技术。     

基于GSM MODEM的高校选课辅助系统设计与开发

基于Web的选课系统受到上机条件和时间的限制,短信猫(GSM Modem)通过GSM网络进行数据的发送和接收.采用C#语言和Visual Studio 2008作为开发工具和平台,设计和开发一种基于短信猫的选课辅助系统,具有方便性、廉价性、移动性等特点.系统很好地弥补了Web选课系统的不足,实现两条信息渠道优势互补,增加选课系统的灵活性,在实践应用中取得很好的效果.     

TRUST AS A TRADABLE COMMODITY: A FOUNDATION FOR SAFE ELECTRONIC MARKETPLACES

In large electronic marketplaces populated by buying and selling agents, it is difficult to judge trustworthiness. A variety of systems have been proposed to help traders to find trustworthy partners by learning to discount or disregard disreputable parties. In this article, we present a novel model for providing safe electronic marketplaces: Commodity Trunits, a system that considers trust as a tradable commodity. In this system, sellers require units of trust (trunits) to participate in transactions, and risk losing trunits if they act dishonestly. Sellers can purchase trunits when needed, and sell excess quantities. We demonstrate that under Commodity Trunits, rational sellers will choose to be honest, since this is the profit maximizing strategy. We also show that Commodity Trunits provides protection from a number of vulnerabilities common in existing trust and reputation systems, e.g., the important exit problem, where sellers can cheat without fear of repercussions if they intend to leave the market. We then present a simulation that validates the system by demonstrating that a market operator can manage the trunit marketplace to ensure sustainability. We conclude with a discussion of the value of Commodity Trunits as a method for promoting trust in electronic marketplaces.