A web-based software tool for participatory optimization of conservation practices in watersheds

WRESTORE (Watershed Restoration Using Spatio-Temporal Optimization of Resources) is a web-based, participatory planning tool that can be used to engage with watershed stakeholder communities, and involve them in using science-based, human-guided, interactive simulation–optimization methods for designing potential conservation practices on their landscape. The underlying optimization algorithms, process simulation models, and interfaces allow users to not only spatially optimize the locations and types of new conservation practices based on quantifiable goals estimated by the dynamic simulation models, but also to include their personal subjective and/or unquantifiable criteria in the location and design of these practices. In this paper, we describe the software, interfaces, and architecture of WRESTORE, provide scenarios for implementing the WRESTORE tool in a watershed community's planning process, and discuss considerations for future developments.     

Creating formative feedback spaces in large lectures

Large lectures are the predominant way of teaching first-year students at universities in Norway. However, this forum for education is seldom discussed as a context for a formative feedback practice. The purpose of this sequential mixed methods study was to address whether and how a student-response system can open for a formative feedback practice in lectures and thereby support students' ability to monitor their own learning, as well as supply insight into how students engage with the feedback in their course work. The context for the study was large lectures (150–200 students) in a qualitative method course for first-year psychology students. Findings from the survey (n = 149) showed a positive correlation between the extent to which students report that they use clickers to monitor their own learning, and the extent to which they report that they used the feedback in their own course work. However, findings indicate that students valued the process of monitoring their own learning during the lectures to a greater extent than they actually used the feedback in their course work. Findings from interviews (n = 6) illustrated various ways students applied feedback in their course work.     

The PAR(p) Interconfigurations model used by the Brazilian Electric Sector

This study discusses the characteristics of the Periodic Autoregressive model, PAR(p), which is used to generate synthetic series of inflow energies that serve as entries for computer platforms that implement the planning and expansion of the operations of the BES – the Brazilian Electric Sector (SEB – Sistema Elétrico Brasileiro). The methodology for the design of a generating plant is presented in addition to the fundamentals of the “PAR(p) Interconfigurations” Model, which is referred to as the Inflow Energy Generation Model (IEGM) in this study. The major contribution of this study is to provide the first scientific discussion of the representation of multiple configurations using the PAR(p) model. For this purpose, several topics related to the time series are discussed, such as the definition of the model order, the matter of stationarity and the need to address possible outliers. Finally, a case study is presented, wherein the results of the estimation and generation of the described model’s scenarios are demonstrated.     

光纤通信在市内接入网的应用

先说明市内接入网的单位用户和住家用户两大类使用通信和电视、交互型和分配型业务的要求不相同，相应地对光纤传输的应用须作不同的考虑，文中认为；光纤从市内交换局直连办公大楼是合乎现实需要的，而对于居民住家，宜选用光纤连至路边或光纤与同轴结合和适当利用无源光网络等方案，俟将来时机成熟才实行光纤连至每一家，文末有概括总结，说明接入网不同于长途网，接入网的光纤系统可以使用常规单模光纤，工作于波长1．3μm，而光放大器和波分多路系统不是普遍需要，但光电子集成在光端机中是必要的。     

Proving termination of GHC programs

A transformational approach for proving termination of parallel logic programs such as GHC programs is proposed. A transformation from GHC programs to term rewriting systems is developed; it exploits the fact that unifications in GHC-resolution correspond to matchings. The termination of a GHC program for a class of queries is implied by the termination of the resulting rewrite system. This approach facilitates the applicability of a wide range of termination techniques developed for rewrite systems in proving termination of GHC programs. The method consists of three steps: (a) deriving moding information from a given GHC program, (b) transforming the GHC program into a term rewriting system using the moding information, and finally (c) proving termination of the resulting rewrite system. Using this method, the termination of many benchmark GHC programs such as quick-sort, merge-sort, merge, split, fair-split and append, etc., can be proved. This is a revised and extended version of Ref. 12). The work was partially supported by the NSF Indo-US grant INT-9416687 Kapur was partially supported by NSF Grant nos. CCR-8906678 and INT-9014074. M. R. K. Krishna Rao, Ph.D.: He currently works as a senior research fellow at Griffith University, Brisbane, Australia. His current interests are in the areas of logic programming, modular aspects and noncopying implementations of term rewriting, learning logic programs from examples and conuterexamples and dynamics of mental states in rational agent architectures. He received his Ph.D in computer science from Tata Institute of Fundamental Research (TIFR), Bombay in 1993 and worked at TIFR and Max Planck Institut für Informatik, Saarbrücken until January 1997. Deepak Kapur, Ph.D.: He currently works as a professor at the State University of New York at Albany. His research interests are in the areas of automated reasoning, term rewriting, constraint solving, algebraic and geometric reasoning and its applications in computer vision, symbolic computation, formal methods, specification and verification. He obtained his Ph.D. in Computer Science from MIT in 1980. He worked at General Electric Corporate Research and Development until 1987. Prof. Kapur is the editor-in-chief of the Journal of Automated Reasoning. He also serves on the editorial boards of Journal of Logic Programming, Journal on Constraints, and Journal of Applicable Algebra in Engineering, Communication and Computer Science. R. K. Shyamasundar, Ph.D.: He currently works as a professor at Tata Institute of Fundamental Research (TIFR), Bombay. His current intersts are in the areas of logic programming, reactive and real time programming, constraint solving, formal methods, specification and verification. He received his Ph.D in computer science from Indian Institute of Science, Bangalore in 1975 and has been a faculty member at Tata Institute of Fundamental Research since then. He has been a visiting/regular faculty member at Technological University of Eindhoven, University of Utrecht, IBM TJ Watson Research Centre, Pennsylvania State University, University of Illinois at Urbana-Champaign, INRIA and ENSMP, France. He has served on (and chaired) Program Committees of many International Conferences and has been on the Editorial Committees.     

网络化制造中基于STEP-NC的编程方法

STEP-NC是由欧美提出的新的数控接口标准，目的是取代旧的数控标准ISO6983。本文首先分析了STEP-NC的两种应用标准：ISO14649（ARM）和STEPAP238（AIM），并且分析了Part21和Part28的应用领域及Part21文件格式和其中的信息产生方法。然後介绍了ST-Developer环境下ROSEC＋＋颠库编程接口及其应用程序的早、晚编联方式，并且以此为基础设计了整个程序的编程流程，重点介绍了工艺规划设计。最后给出了在C＋＋编程环境下利用ROSE库函数写入形成STEP AP238文件的方法。     

Interactive simulated patient—an advanced tool for student-activated learning in medicine and healthcare

An advanced learning system for interactive simulation of patient cases (ISP) is described. The system was designed to meet specific pedagogical needs where student activation and problem orientation were two of the key issues. The system includes features such as video based illness history-taking function using free text input, highly interactive physiological examination procedures, extensive laboratory tests and detailed user feedback. The system was constructed mainly in Authorware Professional, starting more than 10 years ago, and it is now available in refined versions in different languages. Twelve pedagogical and three technical features were initially defined for the project. All of these aims were fulfilled. The ISP system has been successfully used in education, and in international collaboration, including three applicability field tests. The system is also a powerful research tool for studying for instance medical decision-making.     

建筑工程投标报价优选模型

通过建立区间二次规划数学模型、灰色模型、多目标规划等模型，建立材料价格和用量的选择模型，提供投标单位一种便捷的调整工程造价和控制造价的手段。     

面向对象的程序设计语言CLUSTER86的设计与实现

本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.