APA Visiting Psychologist Program: 1974-1975.

Notes that the Visiting Psychologist Program has completed its eighth year of operation under the sponsorship of the National Institute of Mental Health. The program is designed to facilitate the dissemination of up-to-date knowledge generated in recent research findings and to provide for the demonstration of innovations in psychological procedures to mental health professionals in service settings by psychologists who are significantly involved in research, training, and delivery of services. Agencies that received initial visits are listed, with their Visiting Psychologists as well. Agencies and Visiting Psychologists involved in return visits are also listed. The Advisory Committee would like to thank all of those who contributed to the success of the program. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

浅谈如何做好国家实验室认可评审工作

本文结合2007年主持实验室参加国家实验室认可工作过程,对如何准备国家实验室认可资料、现场评审具体程序、以及完成整改报告做详细介绍。     

Influence of gender,program of study and PC experience on unethical computer using behaviors of Turkish undergraduate students

This study administered the unethical computer using behavior scale (UECUBS) developed by [Namlu, A.G., & Odabasi, F. (2007). Unethical computer using behavior scale: A study of reliability and validity on Turkish university students. Computers and Education, 48, 205–215.] to investigate whether gender, program of study and PC experience have an impact on ethical judgments of undergraduate students regarding information and communication technologies (ICTs). The sample consisted of 559 undergraduates from the Education Faculty of the most populated state university in Turkey. The results of 5 (program of study) × 2 (gender) × 2 (PC experience) between-groups analysis of variance (ANOVA) indicated no significant differences among different programs of study and between high and low experienced PC users. The analysis showed significant differences between males and females. A significant interaction between the program of study and gender was found, which indicated that the difference between males and females did not follow a similar pattern across different programs of study. More specifically, females’ ethical judgments were consistent across different fields while males’ judgments varied according to the field of study.     

A practical evaluation of spectrum-based fault localization

Spectrum-based fault localization (SFL) shortens the test–diagnose–repair cycle by reducing the debugging effort. As a light-weight automated diagnosis technique it can easily be integrated with existing testing schemes. Since SFL is based on discovering statistical coincidences between system failures and the activity of the different parts of a system, its diagnostic accuracy is inherently limited. Using a common benchmark consisting of the Siemens set and the space program, we investigate this diagnostic accuracy as a function of several parameters (such as quality and quantity of the program spectra collected during the execution of the system), some of which directly relate to test design. Our results indicate that the superior performance of a particular similarity coefficient, used to analyze the program spectra, is largely independent of test design. Furthermore, near-optimal diagnostic accuracy (exonerating over 80% of the blocks of code on average) is already obtained for low-quality error observations and limited numbers of test cases. In addition to establishing these results in the controlled environment of our benchmark set, we show that SFL can effectively be applied in the context of embedded software development in an industrial environment.     

基于B/S结构的管理实验程序的设计与开发方法分析

随着实验经济学的逐渐兴起并得到广泛认可,同样具有社会科学背景的管理学领域研究也开始尝试运用实验研究方法.选择管理实验研究中的管理实验程序设计与开发作为研究主题,从基于B/S结构的管理实验程序的体系结构、设计开发过程和基本功能模块三个方面介绍了该类程序的通用设计开发方法,为同类及相关实验程序的开发提供了借鉴.     

关于“录井软件平台”的探讨

该文提出了录井平台的概念,比较了录井平台与以往国内录井软件的不同之处,阐述了录井平台的特点及优势,同时,提出了录井平台的结构及基本设计思想,说明了录井平台的发展前景。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

IMEC Industrial Affiliation Program (IIAP) as IPR model to set up nanotechnology research and patenting

The IP policy of IMEC is to avoid IP blocking among its research and business partners, to secure IPR for partners and to enable publications for researchers. This is achieved by setting up a specially designed Industrial Affiliation Program (referred to as IIAP) with licensing and/or co-ownership of IP between the partners. The business IP model applied within the IIAP model at IMEC is characterised by an open, multi-party approach with non-exclusive licensing as a base-line. The IIAP model is further characterized as an IP model in which dilution of IP is minimized in view of further transferability of technology. Using the cost-based and risk sharing approach of the IIAP program, an enhanced progress within new technology domains such as nanotechnology is obtained.     

基于图像智能识别的农作物防治系统设计与开发

农药播撒在农作生产环节中至关重要,针对我国存在农药漏用、乱用的现象,设计的农作物防治系统将信息技术与农业生产相结合,基于Spring MVC框架,构建移动端微信小程序与后端管理系统,集合了病虫害图像识别、疫区防治信息维护和代理防控等模块。系统覆盖"播种—查虫—识别—防治"的业务闭环,提高了农业生产效率,助力我国农业信息化发展。     

Categorical ML — Category-theoretic modular programming

We consider an extension of the functional programming language Standard ML with a modular structure based upon concepts in category theory such as categories, functors, natural transformations and adjunctions. In essence, we are following the categorical imperative of considering arrows as well as objects. This is intended to enforce a certain mathematical rigour on the programmer, so that the only programs that can be expressed are those with a categorical significance. The essentially algebraic nature of category theory means that we may generate equational correctness conditions for the modular structure of programs, thus separating the correctness of individual functions from that of modules. We describe this programming language, give examples of its use, and explain how it is implemented in a type system.