Mímir: An open-source semantic search framework for interactive information seeking and discovery

Semantic search is gradually establishing itself as the next generation search paradigm, which meets better a wider range of information needs, as compared to traditional full-text search. At the same time, however, expanding search towards document structure and external, formal knowledge sources (e.g. LOD resources) remains challenging, especially with respect to efficiency, usability, and scalability.This paper introduces Mímir—an open-source framework for integrated semantic search over text, document structure, linguistic annotations, and formal semantic knowledge. Mímir supports complex structural queries, as well as basic keyword search.Exploratory search and sense-making are supported through information visualisation interfaces, such as co-occurrence matrices and term clouds. There is also an interactive retrieval interface, where users can save, refine, and analyse the results of a semantic search over time. The more well-studied precision-oriented information seeking searches are also well supported.The generic and extensible nature of the Mímir platform is demonstrated through three different, real-world applications, one of which required indexing and search over tens of millions of documents and fifty to hundred times as many semantic annotations. Scaling up to over 150 million documents was also accomplished, via index federation and cloud-based deployment.     

指纹考勤管理软件的研究与实现

针对企、事业单位原有的考勤系统，如打卡钟、磁卡、IC卡等考勤方式存在代打卡、卡丢失等不足和缺陷的实际，结合指纹识别技术，建立一套考勤、薪资、人事管理于一体的软件系统。给出了系统的体系结构和功能实现，能使企业考勤管理更加简便快捷、客观公正。并提出了进一步的发展方向和展望。     

HART通信协议在汽油机速度测量和监控方面的应用

首先介绍了HART通信协议及他的优点，然后介绍了HART通信协议在汽油机测速方面的软件实现。该软件主要采用目前流行的VB编程语言。可设计出界面友好、功能强大的测量和监控软件。     

泌阳凹陷复杂断块群油气分布控制因素

泌阳凹陷北部斜坡复杂断块群油田以断鼻、断块及断层+岩性油气藏为主,垂向含油层系多,平面上叠合连片,油气主要富集在鼻状构造主体部位的断鼻断块内。通过对研究区油气控制因素的分析,指出继承性的鼻状构造控制了油气聚集方向和富集程度,油气藏含油范围和油气藏高度则主要受断层封闭性和封闭程度的控制,油气分布规律受伸展构造所伴生的各种断块群构造型式的控制。     

露天多段深孔微差爆破孔网参数优化设计

本文对露天多段深扎微差爆破孔网参数进行了优化，使每排炮扎成直线排列，两排之间成交替正三角形排列，优化设计后，爆破作用比较均匀，大块率下降了56％，同时，爆破根底产生的机会和程度也大大下降。     

绚丽多彩的楚汉丝织品（之二）──色彩与纹饰

湖南出土的楚汉丝织品，以马王堆一、三号汉墓所出为代表，其色彩反映了我国当时印染工艺技术所达到的高度水平，其纹饰则显示了鲜明的时代特征，表现了运动、气势和古拙的艺术风格，充满着神奇浪漫的色彩。     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

数字散斑干涉技术及应用

介绍了数字散斑干涉技术在位移、应变、振动和医学诊断等领域中的应用和国内外发展状况。提出了一种新的应用领域—数字散斑干涉技术在语音识别中的应用,并对该方法作了介绍,讨论了它的特点。     

一种高效的硬布线控制CPU的设计方法

文章提出了一种硬布线逻辑CPU的设计流程，即以CPU设计工具软件LDF为核心的设计方法，其主要目的的提高硬布线逻辑CPU的设计效率。定义了一种用于描述硬布线控制逻辑的语言-MCDL，对总线优化问题进行了研究，并且给出了解决总线优化问题的近似算法。     

电脑提花圆机图案的设计与开发

应用当前景流行的图形设计软件Coredraw9.0和Photoshop5.0，设计针织面料T恤花型，进一步利用SCC4F-548型电脑提花圆机相配套的图形设计软件Aupaint处理，生成提花花型图案，为夏季T恤花型图案设计提供了一条简便快捷的设计方法和新的设计思路。