A method of constructing an inspiration library driven by user-perceived preference evaluation data for biologically inspired design

Biologically inspired design (BID) is one of the common methods for product design. To solve the problem of inaccurate acquisition of inspirational creatures due to the lack of user perception preference analysis, a data-driven intelligent service model for BID considering user perception needs is proposed based on Kansei engineering. Firstly, by extracting the perceptual features of creatures from the semantic source elements of products through mapping and encodes them, we proposed a data acquisition method based on intuitionistic fuzzy sets considering different customer preference distributions, bridging the gap caused by the asymmetry between designers and users. Secondly, the functional relationship between biometric features and user-perceived attributes is identified and predicted, and a predictive model of biodata considering user preferences is obtained by multiple linear regression analysis. Finally, based on the data clustering and reorganization theory to understand the organization and dynamics of the database, the construction of a BID library was completed, and the design resources in the library were used as analyzed knowledge for designers to plan design activities. Taking the bionic design of a UAV product as an example, a prototype of a computer-aided design service system was developed based on the theory proposed in the article, and the analyzed knowledge was used to improve the efficiency and science of the design, effectively verifying the usefulness of this study for design. To a certain extent, this study addresses the problem of cognitive limitations of designers and cognitive differences between designers and users, promotes the application of bioinspiration in product design, and improves the marketability of design solutions.     

Synthesis and Characterization of Co Nanocomposite Based on Poly(benzimidazole-amide) Matrix and Their Behavior as Catalyst in Oxidation Reaction

2,6-Bis(5-amino-1H-benzimidazol-2-yl)pyridine was prepared and characterized by Fourier transform infrared spectroscopy, elemental analysis, ¹H-NMR, and ¹³C-NMR spectroscopic methods. Then a new poly(benzimidazole-amide) was synthesized by polymerization of the corresponding diamine and isophthalic acid. The obtained poly(benzimidazole-amide) exhibited good yield and high thermal stability. Due to the existence of benzimidazole moieties in polymer’s structure, it has the tendency to form complexes with metal ions. So, a new poly(benzimidazole-amide)/Co nanocomposite was prepared. Morphological studies revealed that metal nanoparticles were dispersed in the polymer matrix without any aggregation. poly(benzimidazole-amide)/Co nanocomposite was used as a catalyst in the oxidation of ethyl benzene to acetophenone with tert-butyl hydroperoxide.     

基于桥连接的词典学习方法的语义解析

现阶段的语义解析方法大部分都基于组合语义,这类方法的核心就是词典。词典是词汇的集合,词汇定义了自然语言句子中词语到知识库本体中谓词的映射。语义解析一直面临着词典中词汇覆盖度不够的问题。针对此问题,该文在现有工作的基础上,提出了基于桥连接的词典学习方法,该方法能够在训练中自动引入新的词汇并加以学习,为了进一步提高新学习到的词汇的准确度,该文设计了新的词语—二元谓词的特征模板,并使用基于投票机制的核心词典获取方法。该文在两个公开数据集(WebQuestions和Free917)上进行了对比实验,实验结果表明,该文方法能够学习到新的词汇,提高词汇的覆盖度,进而提升语义解析系统的性能,特别是召回率。     

一类连续模糊动态系统控制方法在Furuta摆中的应用

为了研究Furuta摆在倒立点附近的稳定控制问题，采用基于T-S模糊模型的一类连续模糊动态系统控制方法，首次进行Furuta摆的模糊状态空间建模，并采用模糊切换的思想，设计了Furuta摆在倒立点附近的稳定控制器，进而分析了系统稳定性。与已有的方法相比，该方法的优点是稳定区域大、调节时间短。数字仿真结果验证了方法的有效性。     

带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

Geochemical characteristics of the Yufuin outflow plume, Beppu hydrothermal system, Japan

Thermal water at Yufuin (Kyushu Island, Japan) is tapped through about 820 shallow wells and used mainly for hot-spring bathing purposes. Chemical and isotopic data for fluids from wells and fumaroles in Yufuin and Beppu indicate that the thermal activity at Yufuin represents a dilute, westward-flowing hydrothermal outflow plume from the Beppu hydrothermal system. Two other (eastward-flowing) outflow plumes have long been recognized at Beppu, but the Yufuin outflow plume is first recognized here. The Yufuin outflow plume is apparently a mixture of two end-member fluids: (1) deep high-temperature (250–300°C) fluid from the Beppu system having high chloride concentration (1400–1600 mg/L) and a δ¹⁸O value near −6.0%, and (2) meteoric water having low chloride concentration (≤7 mg/L) and a δ¹⁸O value near −9.2%.A permeable conduit for the vertical and lateral transport of deep fluid from the Beppu system is provided by the Yufuin Fault zone, which extends westward from the southern flank of Mt. Tsurumi volcano to the town of Yufuin. Stable isotope ratios and chloride concentrations for shallow groundwaters near the eastern end of the fault, at an elevation near 700 m, are consistent with those required for the low-chloride meteoric end-member of the Yufuin thermal waters. Recharge of this meteoric water, as well as mixing with the Beppu deep fluid, may occur along the Yufuin Fault. Enthalpy-chloride relations indicate additional conductive heating of the Yufuin waters, in the amount of 350–500 kJ/kg beyond that which can be accounted for by mixing between Beppu deep fluid and meteoric water. This could be a result of conductive heating with convection to a depth of 1–2 km. Estimates of the magnitude of the heat source for the Beppu hydrothermal system should take into account the heat being discharged at Yufuin.     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

A process oriented semantics of the PRAM-language FORK

The parallel language FORK [1], based on a scalable shared memory model, is a PASCAL-like language with some additional parallel constructs. A PRAM (Parallel Random Access Machine) algorithm can be expressed on a high level of abstraction as a FORK program which is translated into efficient PRAM code guaranteeing theoretically predicted runtimes.

In this paper, we concentrate on those features of the language FORK related to parallelism, such as the group concept, a shared memory access and synchronous or asynchronous execution. We present a trace-based denotational interleaving semantics where processes describe synchronous computations. Processes are created or deleted dynamically and run asynchronously. Interleaving rules reflect the underlying CRCW (concurrent-read-concurrent-write) PRAM model.     

Generation and context memory.

Generation enhances memory for occurrence but may not enhance other aspects of memory. The present study further delineates the negative generation effect in context memory reported in N. W. Mulligan (2004). First, the negative generation effect occurred for perceptual attributes of the target item (its color and font) but not for extratarget aspects of context (location and background color). Second, nonvisual generation tasks with either semantic or nonsemantic generation rules (antonym and rhyme generation, respectively) produced the same pattern of results. In contrast, a visual (or data-driven) generation task (letter transposition) did not disrupt context memory for color. Third, generating nonwords produced no effect on item memory but persisted in producing a negative effect on context memory for target attributes, implying that (a) the negative generation effect in context memory is not mediated by semantic encoding, and (b) the negative effect on context memory can be dissociated from the positive effect on item memory. The results are interpreted in terms of the processing account of generation. The original, perceptual-conceptual version of this account is too narrow, but a modified processing account, based on a more generic visual versus nonvisual processing distinction, accommodates the results. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

关于做好企业稳定工作的思考

结合工作实践分析了引发企业不稳定的诸多原因,提出做好企业稳定工作的对策,以及应对突发事件的具体工作方法。