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.     

Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

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

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

浅谈如何有效学习计算机软件知识

计算机软件知识的学习并不是完全线性的，而是不断循环往复、迭代的过程。本对如何深入、广泛、有效地学习计算机软件知识做出了一些探讨。     

西部地区深井井身结构设计技术探讨

科学合理地确定井身结构及钻井液密度是深井超深井钻井的关键环节之一，其基础是准确建立地层孔隙压力、地应力、破裂压力、坍塌压力的钻前预测剖面。分析了西部地区目前深井井身结构的缺点和进行井身结构应考虑的问题，介绍了深探井井身结构的设计方法，并针对西部复杂地区的地层特点，建议采用3种增加技术套管的井身结构方案。塔河油田钻井实践表明，采用这3种井身结构方案后，深井机械钻速得到提高，钻井周期缩短，而且降低了钻井成本。     

A three-dimensional FE analysis of large deformations for impact loadings using tetrahedral elements

 A three-dimensional dynamic program for the anaysis of large deformations in contact-penetration problems is developed using the finite element Lagrangian method with explicit time integration. By incorporating a tetrahedral element, which allows a single-point integration without a special hourglass control scheme, this program can be more effective to the present problem. The position code algorithm is used to search contact surface. Eroding surfaces are also considered. The defense node algorithm was slightly modified for the calculation of contact forces. A study of obliquity effects on metallic plate perforation and ricochet processes in thin plates impacted by a sphere was conducted. It is well simulated that on separation of two parts of the sphere, the portion still within the crater tends to perforate, while the portion in contact with the plate surface ricochets. This deformation pattern is observed in experiments, especially at high obliquities. A long rod that impacts an oblique steel plate at high impact velocity was also simulated in order to study the dynamics of the rod caused by the three dimensional asymmetric contact. The agreement between simulated and experimental results is quite good. Fracture phenomena occuring at high obliquity deserves further investigations. Received: 20 February 2002 / Accepted: 20 September 2002     

车古201潜山油藏完井方式研究

研究了国内外潜山油藏完井方式应用及其使用条件、井身结构的应用 ,针对车古 2 0 1油藏特点 ,论证了其对裸眼完井、筛管完井、尾管射孔完井、管外封隔器完井的适应性 ,通过对比研究 ,从更好地满足油藏工程、采油工艺、增产措施出发 ,选择出车古 2 0 1潜山油藏最合理的完井方式为尾管注水泥射孔完井 ,并给出了应采用的井身结构     

带类型λ—演算

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

程序可视化系统ProVS的设计和实现

本文研究程序代码可视化技术，即从现存的程序生成某种可视化表示，增强程序的易读性、易理解性和易维护性。首先介绍ＰｒｏＶＳ的设计思想和实现技术，然后给出输出例子。