Class Based Contextual Logic for DOOD

Cntextual logic provides a mechanism to reason about modules.In this paper,this theory of modules if modules is extended to a context theory of classes where class is in the true spirit of object-oriented databases.The logic,referred to as CLOG,is class-based.CLOG supports class,object identity,multiple role of object, monotonic and non-monotonic inheritance of data and method,method factoring,views,derived and query classes.Views and derived classes are queries in themselves.Objects are pure data terms representing the ground instances of facts in the class.Object identity is a first class term in the logic.Inheritance is handled through delegation.     

Maximization of mutual information for supervised linear feature extraction.

In this paper, we present a novel scheme for linear feature extraction in classification. The method is based on the maximization of the mutual information (MI) between the features extracted and the classes. The sum of the MI corresponding to each of the features is taken as an heuristic that approximates the MI of the whole output vector. Then, a component-by-component gradient-ascent method is proposed for the maximization of the MI, similar to the gradient-based entropy optimization used in independent component analysis (ICA). The simulation results show that not only is the method competitive when compared to existing supervised feature extraction methods in all cases studied, but it also remarkably outperform them when the data are characterized by strongly nonlinear boundaries between classes.     

Testing of the multi-application small light water reactor (MASLWR) passive safety systems

Experimental thermal hydraulic research has been conducted at Oregon State University for the purpose of assessing the performance of a new reactor design concept, the multi-application small light water reactor (MASLWR). The MASLWR is a pressurized light water reactor design with a net output of 35 MWe that uses natural circulation in both normal and transient operation. Due to its small size, portability and modularity, the MASLWR design is well suited to help fill the potential need for grid appropriate reactor designs for smaller electricity grids as may be found in developing or remote regions. The purpose of the OSU MASLWR test facility is to assess the operation of the MASLWR under normal full operating pressure and full temperature conditions and to assess the passive safety systems under transient conditions. The data generated by the testing program will be used to assess computer code calculations and to provide a better understanding of the thermal-hydraulic phenomena in the design of the MASLWR NSSS. During this testing program, four tests were conducted at the OSU MASLWR test facility. These tests included one design basis accident and one beyond design basis accident. During the performance of these tests, plant operations to include start up, normal operation and shut down evolutions were demonstrated successfully.     

Microstructural Modelling of Nb Microalloyed Steels during Thin Slab Direct Rolling Processing

The microstructural evolution during the hot rolling of coarse grain sized austenite has been modeled considering all the microstructural mechanisms (dynamic, static and metadynamic recrystallization, strain induced precipitation) that can take place during an industrial TSDR production of three Nb microalloyed steels. Based on the results obtained from the model, processing maps have been drawn for 0.02%, 0.035% and 0.05% Nb microalloyed steels. Optimum processing conditions to exploit all the benefits of the Nb microalloying have been defined considering a final gauge thickness range between 1.5 and 12.65 mm. In addition, and facing the difficulties present in the production of thick hot strip, several alternative thermomechanical schedules are proposed, which would originate microstructures with a suitable combination of homogeneity and retained strain prior to transformation.     

SQL extension for spatio-temporal data

An SQL extension is formalized for the management of spatio-temporal data, i.e. of spatial data that evolves with respect to time. The extension is dedicated to applications such as topography, cartography, and cadastral systems, hence it considers discrete changes both in space and in time. It is based on the rigid formalization of data types and of SQL constructs. Data types are defined in terms of time and spatial quanta. The SQL constructs are defined in terms of a kernel of few relational algebra operations, composed of the well-known operations of the 1NF model and of two more, Unfold and Fold. In conjunction with previous work, it enables the uniform management of 1NF structures that may contain not only spatio-temporal but also either purely temporal or purely spatial or conventional data. The syntax and semantics of the extension is fully consistent with the {SQL:2003} standard.     

Information cut for clustering using a gradient descent approach

We introduce a new graph cut for clustering which we call the Information Cut. It is derived using Parzen windowing to estimate an information theoretic distance measure between probability density functions. We propose to optimize the Information Cut using a gradient descent-based approach. Our algorithm has several advantages compared to many other graph-based methods in terms of determining an appropriate affinity measure, computational complexity, memory requirements and coping with different data scales. We show that our method may produce clustering and image segmentation results comparable or better than the state-of-the art graph-based methods.     

Node cooperation in hybrid ad hoc networks

A hybrid ad hoc network is a structure-based network that is extended using multihop communications. Indeed, in this kind of network, the existence of a communication link between the mobile station and the base station is not required: A mobile station that has no direct connection with a base station can use other mobile stations as relays. Compared with conventional (single-hop) structure-based networks, this new generation can lead to a better use of the available spectrum and to a reduction of infrastructure costs. However, these benefits would vanish if the mobile nodes did not properly cooperate and forward packets for other nodes. In this paper, we propose a charging and rewarding scheme to encourage the most fundamental operation, namely packet forwarding. We use "MAC layering" to reduce the space overhead in the packets and a stream cipher encryption mechanism to provide "implicit. authentication" of the nodes involved in the communication. We analyze the robustness of our protocols against rational and malicious attacks. We show that-using our solution-collaboration is rational for selfish nodes. We also show that our protocols thwart rational attacks and detect malicious attacks.     

异丁醛氧化制丙酮热导气相色谱分析

本工作用２米４０１有机担体填充柱，在带四臂热导检测器的国产１０３型气相色谱仪上，仅８分钟将原料异丁醛、产物丙酮及水进行良好分离，并采用内标法定量，其最大平均偏差在±２％以内。方法简单、快速、准确     

Fracture mechanics global approach concepts applied to creep slow crack growth in a medium density polyethylene (MDPE)

Creep fracture by slow crack growth is studied in a medium density polyethylene at 60 °C and 80 °C. Whereas elastic-plastic fracture mechanics load parameters fail to provide a unique temperature-independent correlation, that of the fracture mechanics for creeping solids C^∗ is proved to be relevant since this parameter correlates very well with the time to failure. Correlation established on both full notched creep tensile and double edge notched tensile tests was validated on cracked gas-pipe samples tested under hydrostatic pressure, extending the use of time to failure versus C^∗ diagram to predict lifetime of engineering components.