浅析供水收费标准的合理性

多年以来,水利工程水费一直在低于成本内运行,制约了水管单位的可持续发展.引出"水费成本收费可实现度"这个概念,试图解决水利工程供水计费标准的合理性问题.     

Quantum feedback networks and control: A brief survey

The purpose of this paper is to provide a brief review of some recent developments in quantum feedback networks and control.A quantum feedback network (QFN) is an interconnected system consisting of open quantum systems linked by free fields and/or direct physical couplings.Basic network constructs,including series connections as well as feedback loops,are discussed.The quantum feedback network theory provides a natural framework for analysis and design.Basic properties such as dissipation,stability,passivity and gain of open quantum systems are discussed.Control system design is also discussed,primarily in the context of open linear quantum stochastic systems.The issue of physical realizability is discussed,and explicit criteria for stability,positive real lemma,and bounded real lemma are presented.Finally for linear quantum systems,coherent H∞ and LQG control are described.     

多重实现两难与特殊科学自主性

针对多重实现论题,夏皮罗构造了一个两难:在一个多重实现案例中,如果两个物理实现者是同一种类型,那么功能类型实际上被单一实现,功能类型应该被还原为物理类型;如果两个物理实现者是真正不同的类型,那么不存在任何经验定律能够将这两种物理类型归为同一种功能类型,功能类型应该被取消.无论是还原还是取消,研究功能类型的特殊科学的自主...     

Nagel on reduction

This paper attempts a critical reappraisal of Nagel's (1961, 1970) model of reduction taking into account both traditional criticisms and recent defenses. This model treats reduction as a type of explanation in which a reduced theory is explained by a reducing theory after their relevant representational items have been suitably connected. In accordance with the deductive-nomological model, the explanation is supposed to consist of a logical deduction. Nagel was a pluralist about both the logical form of the connections between the reduced and reducing theories (which could be conditionals or biconditionals) and their epistemological status (as analytic connections, conventions, or synthetic claims). This paper defends Nagel's pluralism on both counts and, in the process, argues that the multiple realizability objection to reductionism is misplaced. It also argues that the Nagel model correctly characterizes reduction as a type of explanation. However, it notes that logical deduction must be replaced by a broader class of inferential techniques that allow for different types of approximation. Whereas Nagel (1970), in contrast to his earlier position (1961), recognized the relevance of approximation, he did not realize its full import for the model. Throughout the paper two case studies are used to illustrate the arguments: the putative reduction of classical thermodynamics to the kinetic theory of matter and that of classical genetics to molecular biology.     

平行机问题中GKK算法性能比界的改进

将n个工件分配到m台平行机上加工，在工件的加工不中断及目标函数是极小化最大完工时间的条件下，对其GKK算法的最坏情形性能比界作了改进，并用实例表明了所得新上界的可达性。