A bidding decision index for construction contractors

Results from applying the model on a sample of contractors, the majority of whom were international and operating in Egypt, reinforces the credibility of the developed methodology, claim the authors.     

转炉炼钢静态模型的初步探讨

根据转炉炼钢的物理化学反应机理，从质量平衡和能量平衡的计算出发，通过小参数变动，导出了增量式静态模型中矿石方程和供氧方程的系数。所得结论与新日铁资料基本相符。同时，还进行了炉料和产物的计算，分析了改变废钢比对生产的影响。     

Prediction of liquid–liquid phase diagrams of aqueous salt+PEG systems using a thermodynamic model

In this study a thermodynamic model for the phase behavior of aqueous salt+polymer solutions is developed. The model is based on the solution theory of Hill, which included scaling laws for the polymer molecular mass dependence and Pitzer–Debye–Hückel theory. This model was tested for systems composed of two different molecular mass of polyethylene glycols (PEG) and five different inorganic salts. All the model parameters were determined from independent measurements. The agreement between the experimental and predicted phase diagrams by this model is good.     

Coalgebra morphisms subsume open maps

We relate two abstract notions of bisimulation, induced by open maps and by coalgebra morphisms, respectively. We show that open maps correspond to coalgebra morphisms for a suitable chosen endofunctor in a category of many sorted sets. This demonstrates that the notion of open-maps bisimilarity is of essentially coalgebraic nature. A central role in our development is played by a category of presheaves, which we show as corresponding to the subcategory of consistent coalgebras with lax cohomomorphisms.     

Perceived risk for influenza in veterans with spinal cord injuries and disorders.

Objective: Guided by the extended parallel process model (EPPM), the objective was to assess control processes dominant in influenza behavior decisions. Design: Cross-sectional survey. Results: Response rate was 31% (n=968). Regarding influenza risk, 59% were in danger control. Those in fear control were more likely to report influenza infection (p=.000). In the nonvaccinated, those in fear control were more likely to indicate not knowing where to get the vaccine (p=.016) and that it was unavailable (p=.027), and those in danger control believed they did not need it (p=.023). Zero critical values were more likely to indicate that no health provider recommended the shot (p=.002). Conclusions: Most perceived efficacy to be stronger than threat related to influenza; according to the EPPM, they are aware of their risk but recognize their ability to avert it. For those in danger control, messages should focus on increasing perceptions of severity and susceptibility to positively affect behavior change. For those in fear control, messages should focus on efficacy only. With a critical value of zero, no threat is induced, and a high-threat/high-efficacy approach should be taken. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.     

A dynamic linear programming approach to market allocation of renewable resources in the italian energy system: The case of solar thermal and biogas technologies

In Italy solar thermal energy and energy from biogas are two possible means of reducing dependence on energy imports. Using a multiperiod LP model (MARKAL) the authors assessed the likely potential of both technologies under various circumstances. The study covered the period 1980–2005, in five segments of five years. It focused only on the subsystem of the energy end-uses which can be substituted for by solar thermal and biogas technologies. The overall non-renewable sources which can be saved in 20 years by these technologies total 450 PJ (1 PJ = 10^{1 5} J) if the fuel prices rise at 0 per cent average annual, 1450 PJ if the fuel prices rise at 4.2 per cent average annual, 1860 PJ if the fuel prices rise at 7.2 per cent average annual and 3780 PJ if the fuel prices rise at 15 per cent average annual. However the most competitive technologies appear to be solar water heaters used mainly in the private and commercial sectors and biogas systems used mainly in the agricultural sector. The study was carried out by APRE under ENEA (formerly CNEN) contract and was intended to serve as an analytical basis for establishing an overall development and demonstration strategy for end-use renewable technologies in Italy.     

降低氧化铝生产中熟料折合比的探讨

在氧化铝生产过程中，熟料折合比是烧结法一项重要的综合性指标，本文通过对熟料折合比的定义、计算公式的剖析，分析了生产过程中影响熟料折合比的主要因素，对有效降低熟料折合比的措施进行了探讨。     

Development of an undergraduate course – Internet-based instrumentation and control

The objective, strategy, and implementation details of a new undergraduate course, Internet-based Instrumentation and Control, are presented. The course has a companion laboratory that is supported by the National Science Foundation and industry. The combination is offered to senior-level undergraduate engineering students interested in sensing, instrumentation, control, and web programming that want to learn more about the integration of these technologies for solving real-world engineering problems. The course will also be offered to gifted high school seniors with similar interests and can serve as a vehicle to attract them to engineering disciplines. Preliminary assessment of the first offering of the course is encouraging and has shown that the course has achieved success in helping students understand concepts and master basic technologies for developing Internet-based automatic systems.