人—机系统的功能与模式

人机系统的形成与发展经历了三个阶段：经验人－ 机系统、科学人－ 机系统和现代人－ 机系统．其间，人由适应机器到被机器适应进而变为与机器相互协调．鉴于人、机各自的特点及人－ 机系统的不同作用，目前，人－ 机系统模式正经由人工系统模式、半自动化模式向自动化模式方向发展     

增大全差分放大器共模范围的电路

全差分放大器已经很通用,这是因为它们具有低失真、良好的噪声抑制和与差分ADC的简单接口。本文所示的电路(见图1)用少量外部电阻器可增大全差分放大器的共模范围。本电路用分压器技术降低差分放大器输入电压。此方法是从应用于单片仪表放大器(INA148)的技术改进后用于全差分放大器。用给出的配量可实现大约±90V的放大器共模范围(差分增益大约1.0)。用较大的R1/R2比可实现更宽的共模增益范围。在实现这种拓朴结构时,3个重要的考虑是确定增益、最大共模范围和共模抑制。分析的基础是把差分放大器模型化为压控电压源(图2)。为了简化分析,…     

Automated proofs of Löb's theorem and Gödel's two incompletensess theorems

The modal logic calculus K4, which represents important properties of the provability relation of Peano's Arithmetic, is formalized within the automated reasoning system ITP. Very high level automated proofs are then obtained of Löb's theorem, and of Gödel's two incompleteness theorems.     

Intelligent agent modeling of an industrial warehousing problem

In this paper, we consider an actual industrial warehouse order picking problem where goods are stored at multiple locations and the pick location of goods can be selected dynamically in near real time. We solve the problem using an intelligent agent-based model. The modeling framework is between the two extremes of hierarchical and heterarchical frameworks. It recognizes that horizontal as well as vertical decisions are made between various levels of controllers and that these have to be captured explicitly in the model. Entities (goods or parts) and resources (storage areas and order pickers) are modeled as intelligent agents that function in a co-operative manner so as to accomplish individual as well as system-wide goals. Scheduling and other decisions are taken by these agents in a dynamic real-time fashion based on conditions that exist at the time these decisions are made. To overcome the structural rigidity and lack of flexibility, a negotiation mechanism for real time task allocation is used     

Introduction: Notes from the trenches.

This brief article serves as an introduction for this special section and highlights theoretical and personal factors affecting the application of psychoanalytic thinking to the understanding and treatment of the psychological dilemma of the nontraditional population of patients. It is our belief that, by including a serious discussion of the reality of these individuals and the cultural, ethnic, and linguistic factors which characterize their lives, it will result in a more comprehensive and richer view of the concept of normalcy, pathological formation, adaptability and other ego functions, and the like. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

不同制备工艺对抗菌羊毛纤维抗菌性能的影响

运用紫外光辐照的方法对羊毛纤维表面预处理,采用不同工艺使其与载银纳米SiO2抗菌剂复合,制备抗菌羊毛纤维.分别以大肠杆菌(ATCC 8099)和金黄色葡萄球菌(ATCC 6538)为实验菌种,对抗菌羊毛纤维进行抗菌性能的测试.实验结果表明:采用"UV处理后的羊毛在抗菌功能溶液中浸渍,再进行二次辐射,最后洗涤干燥"的工艺较好,该工艺制备的抗菌羊毛纤维,接枝吸附率较高,抗菌效果较明显,在洗涤30次后,仍具有良好的抗菌性.     

研究性教学模式在影视实验教学中的应用

研究性教学是一种以学生为本的教学理念,它将科学研究引入到教学和学习过程中,并以培养学生的自主探究能力和创新能力为目标.目前,研究性教学的合理性和优越性在我国高等教育中已得到广泛的认同,但是在实际教学中则存在推行乏力的状况.文章从研究性教学模式的概念和内涵出发,分析了在影视实验教学中进行研究性教学的必要性;同时结合实际教学,对影视实验的研究性教学过程进行了梳理和总结.