A set expression based inheritance system

This paper describes a new formalism for inheritance systems, based on the formal semantics of set expressions. Using the formalism, it is possible to define new semantic classes by arbitrary set expressions operating on previously defined classes. Thus generalizing bothIS-A links andIS-NOT-A links and adding the set intersection operation. We present an efficient algorithm which follows these definitions to deduce the properties implied by the inheritance network, i.e., the properties of the classes containing a given element. The application which motivated the development of the formalism, namely semantic disambiguation of natural language, is also described.     

基于RD算法的星载SAR斜视成像

本文研究了用距离一多普勒（ＲＤ）算法来实现星载 ＳＡＲ的斜视成像处理。给出了星载 ＳＡＲ斜视时的空间几何模型和回波信号模型，详细分析了地球自转和斜视产生的多普勒质心所引起的距离走动差异，及时域和频域校正对成像的影响，并研究了一种改进的ＲＤ算法进行距离走动的校正，此算法能适应大的斜视距离走动和地球自转距离走动。针对不同的距离走动校正进行了计算机仿真，理论分析和仿真结果表明：这种改进的ＲＤ算法是有效的。     

Simultaneous over- and underconfidence: The role of error in judgment processes.

Two empirical judgment phenomena appear to contradict each other. In the revision-of-opinion literature, subjective probability (SP) judgments have been analyzed as a function of objective probability (OP) and generally have been found to be conservative, that is, to represent underconfidence. In the calibration literature, analyses of OP (operationalized as relative frequency correct) as a function of SP have led to the opposite conclusion, that judgment is generally overconfident. Reanalysis of 3 studies shows that both results can be obtained from the same set of data, depending on the method of analysis. The simultaneous effects are then generated and factors influencing them are explored by means of a model that instantiates a very general theory of how SP estimates arise from true judgments perturbed by random error. Theoretical and practical implications of the work are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

一种PN码自适应捕获门限的改进算法

文献[1]提出了一种用于直扩系统的PN码自适应门限算法。但该文献也指出,此算法对门限总数十分敏感。当门限总数设置不当时,系统的平均捕获时间将显著增加。这限制了该算法在实际中的应用。本文就此提出了改进,给出了算法及电路框图。仿真结果表明,与原方案相比,改进算法改善了对门限总数的敏感性,降低了PN码平均捕获时间。     

Optimal Control of Solar Sludge Dryers

Optimal control (OC) methodology is used to develop a control policy for a batch-operated solar sludge dryer with ventilation as the dominant control. Batch performance criteria and instantaneous optimization criteria are developed for two economic environments: quota limited and capital limited. The general formulation, as well as simplifications resulting from the multiplicative form of the evaporation (drying) rate model, are presented. The multiplicative form results in a single constant number, called here “control intensity,” which is used to guide the on-line control decisions. These decisions turn out to be independent of the dry solids content (DSC) of the sludge. Further simplification, by assuming a strictly constant weather, is used to demonstrate the general effects of the economic and physical (weather) environment on the solution.

The OC approach is used to address, via simulation under realistic weather conditions, several design, operation, and pricing problems. In particular, the following have been considered: sizing of the ventilation fans, determination of a fair fee for sludge disposal, finding the best final DSC, and evaluating the effect of the price of electricity. Regarding the particular location represented by the data, it has been shown that the installed capacity of the ventilation fans should be increased and that there seems to be sufficient economic incentive for solar drying.     

Immunohistochemical study of epithelioid hemangioendothelioma in the leg: a case report

Epithelioid hemangioendothelioma is a relatively rare lesion. Although its histogenesis has been well described, its immunohistochemical characteristics remain controversial. A case of epithelioid hemangioendothelioma of the soft tissue of the right leg in a 67-year-old Chinese woman is reported. Histologic findings of intracytoplasmic lumina in the tumor cells and positive immunostaining for vimentin, factor VIII-related antigen. CD34 and Ulex europaeus agglutinin 1 (UEA-1) were obtained, demonstrating differentiation of the tumor cells to endothelial cells, although staining for antibodies to cytokeratins AE1/AE3 and CAM5.2 was weak. CD34 as well as Factor VIII-related antigen is a useful marker of endothelial differentiation in this tumor. A review of the literature is also presented.     

安全防护不容一丝轻忽—黑客入侵胰岛素泵的启发

不久前,我刚好有机会参加了一个医疗论坛,会议开幕演讲吸引了我的注意,因为会议上现场示范了如何以黑客手法侵入胰岛素泵。这场会议十分具有启发性,它让我们看到了黑客如何通过无线连接,从远端入侵存在安全漏洞的医疗设备。     

A dynamic-programming-based exact algorithm for general single-machine scheduling with machine idle time

This paper proposes an efficient exact algorithm for the general single-machine scheduling problem where machine idle time is permitted. The algorithm is an extension of the authors’ previous algorithm for the problem without machine idle time, which is based on the SSDP (Successive Sublimation Dynamic Programming) method. We first extend our previous algorithm to the problem with machine idle time and next propose several improvements. Then, the proposed algorithm is applied to four types of single-machine scheduling problems: the total weighted earliness-tardiness problem with equal (zero) release dates, that with distinct release dates, the total weighted completion time problem with distinct release dates, and the total weighted tardiness problem with distinct release dates. Computational experiments demonstrate that our algorithm outperforms existing exact algorithms and can solve instances of the first three problems with up to 200 jobs and those of the last problem with up to 80 jobs.     

Strain-induced ordering of microdomain structures in polystyrene-block-polybutadiene-block-polystyrene triblock copolymers cross-linked in the disordered state

Strain-induced ordering of microdomain structures in cross-linked polystyrene-block-polybutadiene-block-polystyrene (SBS) triblock copolymers was examined by the small-angle X-ray scattering technique. To stretch the SBS samples at elevated temperature above the glass transition temperature of polystyrene, polybutadiene blocks were chemically cross-linked in the disordered state. The initial morphology was disorder-like or bicontinuous due to incompletion of microphase separation in the presence of the chemical cross-links. When the cross-linked SBS samples were mechanically stretched at 130 °C and were further annealed for 24 h under a stretched state, the random domain structures ordered gradually and lamellar-like regularity was finally attained. It was found that the ordering proceeded more for the case of the higher strain.