Inkjet Printed Large‐Area Flexible Few‐Layer Graphene Thermoelectrics

Graphene‐based organic nanocomposites have ascended as promising candidates for thermoelectric energy conversion. In order to adopt existing scalable printing methods for developing thermostable graphene‐based thermoelectric devices, optimization of both the material ink and the thermoelectric properties of the resulting films are required. Here, inkjet‐printed large‐area flexible graphene thin films with outstanding thermoelectric properties are reported. The thermal and electronic transport properties of the films reveal the so‐called phonon‐glass electron‐crystal character (i.e., electrical transport behavior akin to that of few‐layer graphene flakes with quenched thermal transport arising from the disordered nanoporous structure). As a result, the all‐graphene films show a room‐temperature thermoelectric power factor of 18.7 µW m^?1 K^?2, representing over a threefold improvement to previous solution‐processed all‐graphene structures. The demonstration of inkjet‐printed thermoelectric devices underscores the potential for future flexible, scalable, and low‐cost thermoelectric applications, such as harvesting energy from body heat in wearable applications.     

Modified bounded homotopies to enable a narrow bounding zone

The aim of this paper is to introduce modifications that enhance the usability of the bounded homotopy methods proposed by Paloschi [1995. Bounded homotopies to solve systems of algebraic nonlinear equations. Computers and Chemical Engineering 19, 1243-1254; 1997. Bounded homotopies to solve systems of sparse algebraic nonlinear equations. Computers and Chemical Engineering 21, 531-541], especially in the area of chemical engineering. In modified bounded homotopies, the homotopy path is tracked by exploiting mapped variables instead of unmapped ones. Path tracking based on mapped variables makes it significantly easier to track the bounded homotopy path even though the bounding zone has to be narrow. Mapping also improves the bounding effect of bounded homotopies and makes it possible to avoid unreasonable variable values in homotopy path tracking. The performance of the modifications is illustrated with test cases. These examples clearly show that the modifications enlarge the capability and accuracy of bounded homotopies when solving both small- and large-scale sets of nonlinear equations describing chemical engineering problems.     

Estimation of tree crown volume from airborne lidar data using computational geometry

Although simple geometrical shapes are commonly used to describe tree crowns, computational geometry enables calculation of the individual crown properties directly from airborne lidar point clouds. Our objective was to calculate crown volumes (CVs) using this technique and validate the results by comparing them with field-measured values and modelled ellipsoidal crowns. The CVs of standing trees were obtained by measuring the crown radii at different heights, integrating the obtained crown profiles as solids of revolution, and finally averaging the volumes obtained from the four separate profiles. With the lidar data, the CVs were extracted using 3D alpha shape and 3D convex hull techniques. Crown base heights (CBHs) were also estimated from the lidar data and used to exclude echoes from the understory, which was also done using field-based CBHs to exclude this error source. The results show that the field-measured CVs had a high correlation with lidar-based estimates (best R ² = 0.83), but the lidar-based estimates were generally smaller than the field values. The best correspondence (root mean square difference (RMSD) = 45.0%, average difference = –24.7%) was obtained using the convex hull of the point data and field-measured CBH. The CBHs were consistently overestimated (RMSD = 37.3%; average difference = –20.0%), especially in spruces with long crowns. Thus using lidar-based CBH also increased the inaccuracy of the CV estimates. While the underestimation of CV is mainly explained by the inadequate number of echoes from the lower regions of the crowns, the CVs obtained from the lidar were better than those obtained with ellipsoids fitted by using general models for crown dimensions. The utility of the estimated CVs in the prediction of stem diameter is also demonstrated.     

Highly compatible wood thermoplastic composites from lignocellulosic material modified in ionic liquids: Preparation and thermal properties

A study of converting chemically modified wood into thermoplastic materials was undertaken to develop a new technology platform for the effective utilization of wood‐based lignocellulosic materials. Highly substituted benzoylated spruce thermomechanical pulp (TMP) and lauroylated spruce TMP were used as components for thermoplastic composites of poly(styrene) and poly(propylene). Scanning electron microscopy (SEM), differential scanning calorimetry (DSC), thermogravimetric analysis (TGA) and dynamic mechanical thermal analysis (DMTA) were used to characterize the interfacial morphology and thermal properties of the resultant composite filaments. The coupling of the interfacial morphology effort and that of torque analysis applied during processing indicated that the thorough modification of wood fibers by benzoylation and/or lauroylation reactions can improve the compatibility between the wood‐based lignocellulosic materials and poly(styrene) and poly(propylene). Thermal analysis showed that, with the addition of wood derivatives into poly(styrene) and poly(propylene) matrices, a slight decrease in their T_gs was observed. Furthermore, all of the prepared composites showed improved thermal stability, as revealed by TGA. The resultant thermoplastic wood composites exhibited good melting properties and were readily extruded into filaments or sheets. © 2008 Wiley Periodicals, Inc. J Appl Polym Sci, 2009     

Solving parity games by a reduction to SAT

This paper presents a reduction from the problem of solving parity games to the satisfiability problem in propositional logic (SAT). The reduction is done in two stages, first into difference logic, i.e. SAT combined with the theory of integer differences, an instance of the SAT modulo theories (SMT) framework. In the second stage the integer variables and constraints of the difference logic encoding are replaced with a set of Boolean variables and constraints on them, giving rise to a pure SAT encoding of the problem. The reduction uses Jurdziński?s characterisation of winning strategies via progress measures. The reduction is motivated by the success of SAT solvers in symbolic verification, bounded model checking in particular. The paper reports on prototype implementations of the reductions and presents some experimental results.     

Painless improvements to the review process

Although the review process is defined in an extremely formal way, each company normally has its own way of tailoring it, because staff tend to see formal reviews as too heavy a method for practical software development. These tailored versions differ in type and in the grade of formality. This paper introduces some easy ways to improve the review process. The goal is to find steps which are simple enough for the management and staff to accept and efficient enough to improve the review process.     

Prevention of musculoskeletal disorders at work: Validation and reliability in a multicenter intervention study

During the years 1986–1989 The Finnish Work Environment Fund initiated a multicenter, intervention study (programme) to prevent musculoskeletal disorders at work. The programme consisted of four different projects comprising methodological, epidemiological, and interventive themes. The main results were as follows: (1) More than half of the occupational physiotherapists and physicians involved in the project felt that they did not have adequate training for testing the performance capacity of the musculoskeletal system. Several of the most commonly used musculoskeletal tests had either poor validity in predicting future musculoskeletal troubles or had poor reliability. (2) A controlled intervention study showed that active training of neck-shoulder muscles can prevent musculoskeletal troubles, even more than ergonomic actions. (3) It is possible to reduce sick-leave due to low-back disorders by intervention measures directed toward both the work (environment, tools) and the workers (working methods, positive attitude to work, preparedness to keep fit). (4) The identification of ergonomic hazards with the help of teamwork proved to be feasible. The practical improvements, however, were difficult to implement in the prevailing conditions. Some of the improvements increased the work load and the stress of the workers. This aspect needs further consideration.     

Social functions of location in mobile telephony

Location appears to be one of the most important aspects of context in mobile communication. It is a complex piece of information involving several levels of detail. Location intertwines with other relevant aspects of context: the parties’ present activity, relative time and identities. The analysis of mobile conversations provides insights into the functions of “location” for mobile users. Most mobile calls involve a sequence in which location is reported. Location is made relevant by the parties’ activities. Location telling takes place in five different activity contexts during mobile calls. Location may be an index of interactional availability, a precursor for mutual activity, part of an ongoing activity, or it may bear emergent relevance for the activity or be presented as a social fact. Typically, joint activities make relevant spatio-temporal location such as distance in minutes from the meeting point via the vehicle used. For users, location does not appear to be relevant in purely geographical terms.