俄语构式库:参项、原则及应用

本文以俄语构式库为例,从构式参项设置、参项表征原则及构式库应用3方面对其做出描写和说明。本文首先对俄语构式库中表征网络节点的构式做出类型切分和描写,并结合构式实例说明构式库中相关参项设置的规则及原则;然后基于构式库中构式家族及构式集群域内和域际间的系联规则阐明构式网络关联的内部机制;最后以构式库在二语教学方面的应用为例,从知识观、用法观和互动观3个层面揭示构式库具有的教学应用潜质。

构式语法的理论路径和应用空间

本文主要讨论构式语法的理论研究路径和应用及应用研究空间。文章首先简要概括了国内外构式语法研究的基本态势,接着讨论了基于使用的语言观和构式语法互动观的基本理念。在此基础上,文章从基本观念和分析方法、构式系统及其运作机制、构式特征和用法三个方面概括了构式语法理论研究的基本路径,并从二语习得、二语教学及其他应用领域三个方面探讨了构式语法应用研究的主要空间,借此提出构建应用构式学的设想。

Constructivism-based Course Books＇ Compiling and a New Mode of Teaching

The paper explores the positive impact of constructivism-based course books compiling and the new mode of teaching, analyzes their effects on helping students improve their integrated English language competence, and pointing out that the development of teaching non-English major graduate students has raised new demands for teaching devices, teaching methodology and new roles of teachers and learners. Therefore, New Century Graduate English Series, as constructivism-based course books, has made some beneficial attempts for the implementation of the new graduate English teaching reauirements.

Application of structural curvature of coalbed floor on CBM development in the Zaoyuan block of the southern Qinshui Basin

Based on controls of structural style and the position in coalbed methane (CBM) development, we used a method of curvatures to study its relations with CBM development parameters. We calculated structural curvatures of contours of the No.3 coal seam floor of the Shanxi Formation in the Zaoyuan block of the Qinshui Basin and analyzed its relations with development parameters of coalbed methane wells. The results show that structural curvature is negatively related to coal reservoir pressure, while positively related to permeability. With an increase in structural curvature, the average production of coalbed methane wells increases at first and then decreases, reaching the highest production at 0.02 m–1 of structural curvature. Therefore, structural cur-vature can be an important index for potential evaluation of coalbed methane development and provide a basis for siting coalbed methane wells.

Collaborative Reversing of Input Formats and Program Data Structures for Security Applications

Reversing the syntactic format of program inputs and data structures in binaries plays a vital role for understanding program behaviors in many security applications.In this paper,we propose a collaborative reversing technique by capturing the mapping relationship between input fields and program data structures.The key insight behind our paper is that program uses corresponding data structures as references to parse and access different input fields,and every field could be identified by reversing its corresponding data structure.In details,we use a finegrained dynamic taint analysis to monitor the propagation of inputs.By identifying base pointers for each input byte,we could reverse data structures and conversely identify fields based on their referencing data structures.We construct several experiments to evaluate the effectiveness.Experiment results show that our approach could effectively reverse precise input formats,and provide unique benefits to two representative security applications,exploit diagnosis and malware analysis.

Scalable Load-Adaptive Web-Based Network Management System： An Architectural Prototype

With the advances in enterprise communication and web technologies, web has evolved into a platform for delivering interactive applications. Web-based applications are revolutionizing both the features that can be delivered and the technologies for developing and deploying applications. In this paper, we present a web-based load-adaptive network management system framework. Our system is scalable, extendable, modular and based on open architecture. It is also load-adaptive as it can adapt to the increase in the number of incoming Web Service requests so that the systems performance will not degrade under heavy request loads. To evaluate the proposed architecture, we built a multi-tiered web application testbed with open-source components widely used in industry. Experimental studies conducted on the testbed demonstrated the effectiveness of the proposed approach. By developing the platform and making it available to the research community, we hope to catalyze the development of an open source stack for Web-based network management and monitoring.

Design Concept for an Anchored Diaphragm Wall in the Central Part of Budva, Montenegro

This paper presents a design concept and acceptance test application procedure for a deep pit protection structure. The structure is intended for use in the construction of three underground levels of a residential building： A, B, C and D, located in Block 10C, Budva, Montenegro. The anchored wall will consist of non-gravity cantilevered walls with three levels of ground anchors. Non-gravity cantilevered walls employ continuous walls constructed in slurry trenches （i.e., slurry （diaphragm） walls）, e.g., vertical elements that are drilled to depths below the finished excavation grade. For those non-gravity cantilevered walls, support is provided through the shear and bending stiffness of the vertical wall elements and passive resistance from the soil below the finished excavation grade. Anchored wall support relies on these components as well as lateral resistance provided by the ground anchors to resist horizontal pressures （e.g., earth, water and external loads） acting on the wall. The anchored wall analyzed in this paper will be recommended for use as a temporary supporting structure necessary for the excavation and erection of the underground structure. The design life of the temporary ground anchors is two years. Dynamic loads are not considered in this analysis.

In-place structural strength and fatigue analysis for floating platform topsides

This paper presents some insights on the state-of-the-art practice that has been utilized recently in the inplace structural strength and fatigue analysis for topsides on deepwater floating platforms such as tension leg plat-form (TLP) and semi-submersibles. Emphases are put on analysis software,geometric and mass modeling,hydro-dynamic loading and its mapping,and analysis procedures. In addition,for the in-place analysis using structure analysis computer system (SACS),the procedure of Visual Basic for Application (VBA) is developed to map AQWA-LINE hydrodynamic loading to the SACS integrated hull/topsides model;for the in-place analysis using structure engineering system analysis model (SESAM),many computer aided applications are made to aid the post-processing. These applications have been used in structural analyses for a few TLP and semi-submersible plat-form topsides,and are briefly introduced in this paper.

Networks, Topology and Interaction Principle Implemented in the Kron＇s Method

This paper present electrical networks, with topological modelisations, generalized cross talked functions implemented in a Kron＇s formalism; Coupling functions are called chords and give a powerful extension to the method. Applied in electromagnetic compatibility, it has proven its efficiency in time computation and accuracy. The paper review the Kron＇s formalism, a mathematical modelisation of currents by tensorial analysis and topologie, the string principles, and an application, at the end, we propose power-chopper modeling.