RWR/ESM系统的“虚警”和“漏警”

RWR/ESM系统中对于诸如“虚警”、“漏警”等概念,经常从理论上和应用上混淆。结合RWR/ESM系统实际信号处理流程和功能,从信号统计检测理论出发,对比雷达/通信相关概念,发现传统意义上的“虚警”、“漏警”已不足以描述RWR/ESM对威胁的检测识别错误,为此基于多元假设检验理论,结合信号威胁等级,重新梳理RWR/ESM系统中信号检测类型的概念,将RWR/ESM的“虚警”、“漏警”拓展为带威胁级差的“虚警”、“漏警”,增加“同级差错”概念,并初步探讨其概率、代价因子等相关特性。     

基于QFDE和TRIZ的绿色优化设计

为了协调和解决绿色设计过程中的环境技术措施冲突问题，本文提出了基于QFDE和TRIZ的绿色优化设计方法。利用QFDE分析确定绿色设计过程中的环境技术冲突，并关联到TRIZ的矛盾矩阵中，利用创新法则实现产品的绿色设计目标。最后以冰箱设计为例对该方法进行说明和验证。     

Moral Argument in the Public Sphere: The Case of Bosnia

This paper uses a formal content analysis to decide what moral argument looks like in political debate. Does it involve more the abstract arguments and general principles of the philosophers or the devices of the rhetoricians, like ideographs, casuistry, and moral vocabulary? To test this question, we examine the U.S. debate over intervention in Bosnia between 1991 and 1995 as it showed up in the opinion pages of The New York Times, Christian Science Monitor, and The Washington Post.

A major, unexpected finding of the research is support for Appiah's (2010) argument against the New Intuitionists in psychology that outside the laboratory, the major moral work to be done is framing.     

Resolving function-based conflicts in groupware systems

In groupware tools, the activation of a function may affect other users who might have conflicting interests. We developed technical mechanisms to support users in resolving them. Contrary to current implementations of groupware tools, these mechanisms strengthen the position of the users who are affected by the activation of said functions. Supporting the visibility of a function's activation, and providing a channel for communication or means to intervene against the function's activation are approaches which constitute a framework to implement these mechanisms. We conclude with showing implementation examples of the framework and their evaluation in the POLITeam project.     

提高自动缫生丝质量的重要途径

生丝的品质指标众多,其中纤度偏差和匀度是生丝主要的内在质量。目前我国自动缫生丝根据均匀二度变化定级的占相当比例,缫制高品位生丝仍要依靠立缫车。欲在自动缫上缫制高品位生丝,最主要的是要在纤度偏差和匀度方面取得较大进展。本文从理论分析着手,重点介绍一年多来通过缩短失添时间来提高纤度和匀度成绩的试验情况,并提出提高自动缫生丝质量的具体措施。     

Detection of spatio-temporal conflicts on a temporal 3D space system

It is critical to detect the spatio-temporal conflicts in a project schedule, since many construction conflicts occur due to constraints in construction space and unavailability of intermediate functions of the in-progress building. This paper introduces a temporal 3D space system modelling method using a COmponent State network CEntric Model (COSCEM) to integrate such project aspects as product, process, space, and intermediate functions. Based on COSCEM, a 3D CAD model can be transformed into a temporal 3D space system. The concept of ‘existence vector’ and the Boolean logic operations are defined for depicting and deriving the dynamic characteristics of project entities. The procedures for detecting spatio-temporal conflicts are also presented. A case study of moving a truck crane on an excavated access road is selected to illustrate the proposed spatio-temporal detection methodology.     

高速自动缫丝机SFD—507型的设计试验——机电一体化纤度控制装置在自动缫丝机上的成功应用

由于采用了已获得国家专利的机电结合纤度控制装置,使SFD—507型自动缫丝机成为机电一体化的高速自动缫丝机,其主要性能指标如探索周期、失添时间,添绪能力,寿命等均优于现有各种型号的机械式自动缫丝机.本文介绍SFD-507型的主要设计原理,技术关键的解决和生产性试验情况.根据实缫情况表明,本机已全面达到优质,高产,低消耗的目标,是机电一体化技术改造传统产业的成功例子.推广本机将使我国缫丝业产生很大的进步,并进入高速缫丝的新阶段.     

Logical Comparison of Inconsistent Perspectives using Scoring Functions

The language for describing inconsistency is underdeveloped. If a database (a set of formulae) is inconsistent, there is usually no qualification of that inconsistency. Yet, it would seem useful to be able to say how inconsistent a database is, or to say whether one database is more inconsistent than another database. In this paper, we provide a more general characterization of inconsistency in terms of a scoring function for each database . A scoring function S is from the power set of into the natural numbers defined so that S() gives the number of minimally inconsistent subsets of that would be eliminated if the subset was removed from . This characterization offers an expressive and succinct means for articulating, in general terms, the nature of inconsistency in a set of formulae. We then compare databases using their scoring functions. This gives an intuitive ordering relation over databases that we can describe as more inconsistent than. These techniques are potentially useful in a wide range of problems including monitoring progress in negotiations between a number of participants, and in comparing heterogeneous sources of information.     

Discontinuity, decision and conflict

Summary The motivation for this paper arises out of the authors experiences in modelling real decision makers where the decisions show not only a continuous response to a continuously changing environment but also sudden or discontinuous changes. The theoretical basis involves a parametric characterisation of the environment, a decision makers perception of it in terms of a twice differentiable Distribution Function and a bounded Loss Function. Under a specified, minimizing dynamic, the resultant Expected Loss Function satisfies the conditions for a potential function and Thoms Catastrophe Classification Theorem may be used to assess the singularity points and the thresholds at which jump decisions are taken. The paper describes the theory, summarises some results on unimodal distributions illustrated by jump decisions and population polarisation. Mixture distributions are then examined and the E^* models defined. These are then briefly illustrated by reference to models which have been constructed in relation to Prison Riots, Agricultural and Economic modelling.     

An ECA-based framework for decentralized coordination of ubiquitous web services

Emerging ubiquitous computing network is expected to consist of a variety of heterogeneous and distributed devices. While web services technology is increasingly being considered as a promising solution to support the inter-operability between such heterogeneous devices via well-defined protocol, currently there is no effective framework reported in the literature that can address the problem of coordinating the web services-enabled devices. This paper considers a ubiquitous computing environment that is comprised of active, autonomous devices interacting with each other through web services, and presents an ECA (Event-Condition-Action)-based framework for effective coordination of those devices. Specifically, we first present an XML-based language for describing ECA rules that are embedded in web service-enabled devices. An ECA rule, when triggered by an internal or external event to the device, can result in the invocation of appropriate web services in the system. Subsequently, we consider the situation in which the rules are introduced and managed by multiple, independent users, and propose effective mechanisms that can detect and resolve potential inconsistencies among the rules. The presented ECA-based coordination approach is expected to facilitate seamless inter-operation among the web service-enabled devices in the emerging ubiquitous computing environments.