《石油沥青纸胎油毡》国家标准的修订

《石油沥青纸胎油毡》国家标准进行了第三次修订。本文介绍了修订的理由、修订的内容与依据，并与国内外同类产品标准进行了比较。     

基于模型修正技术的模拟集成电路几何规划优化方法

为了兼顾模拟集成电路设计优化的求解精度和计算效率,提出一种基于正项式模型修正技术的几何规划优化方法.首先将模拟集成电路的设计目标与约束简化为正项式模型,然后在采用几何规划方法迭代优化的过程中利用晶体管级SPICE仿真不断修正这一正项式模型.实例表明,与传统基于公式的优化方法和基于仿真的优化方法相比,该方法能够在尽量保证计算效率和全局最优解的前提下使优化精度满足晶体管级SPICE仿真的要求.     

Belief revision within fragments of propositional logic

Belief revision has been extensively studied in the framework of propositional logic, but just recently revision within fragments of propositional logic has gained attention. Hereby it is not only the belief set and the revision formula which are given within a certain language fragment, but also the result of the revision has to be located in the same fragment. So far, research in this direction has been mainly devoted to the Horn fragment of classical logic. Here we present a general approach to define new revision operators derived from known operators, such that the result of the revision remains in the fragment under consideration. Our approach is not limited to the Horn case but applicable to any fragment of propositional logic where the models of the formulas are closed under a Boolean function. Thus we are able to uniformly treat cases as dual Horn, Krom and affine formulas, as well.     

坝体度汛及导流泄水建筑物洪水标准研究与探讨

为了进一步研究大坝度汛及导流泄水建筑物设计洪水标准问题,在收集我国已建与在建大型梯级水利枢纽大坝度汛标准及导流泄水建筑物导流设计标准和实际运用情况的基础上,研究分析了影响大坝度汛标准及导流泄水建筑物导流标准选取的因素,提出了合理选取的依据与原则。同时,结合现行规范使用中存在的问题,对大坝度汛及导流泄水建筑物标准若干问题进行分析探讨,提出相应的规范编制建议。     

基于XCF32P的多FPGA配置方案

分析Xilinx Platform Flash PROM XCF32P的结构特点,提出基于XCF32P的多版本设计功能的多FPGA配置方案。采用从并配置模式,由XCF32P和1片CPLD XC9572来配置4片Virtex XCV200 FPGA。通过单一供应商解决方案,使系统的软、硬件设计得到简化,获得较高的配置速率。     

Diversity of Agents and Their Interaction

Diversity of agents occurs naturally in epistemic logic, and dynamic logics of information update and belief revision. In this paper we provide a systematic discussion of different sources of diversity, such as introspection ability, powers of observation, memory capacity, and revision policies, and we show how these can be encoded in dynamic epistemic logics allowing for individual variation among agents. Next, we explore the interaction of diverse agents by looking at some concrete scenarios of communication and learning, and we propose a logical methodology to deal with these as well. We conclude with some further questions on the logic of diversity and interaction. This work was supported by the Chinese National Social Science Foundation (Grant Number: 04CZX011) and the Dutch Science Organization NWO.     

一个多Agent系统模型

一个Ａｇｅｎｔ的知识和问题求解能力是有限的,为更好的服务于用户,必须与其它Ａｇｅｎｔ全作,Ａｇｅｔｎｔ寻找合作伙伴是问题求解的关键。本文结构Ｎ．Ｒ．Ｊｅｎｎｉｎｇｓ等人的工作给出了一种系统模型,任务减少了通开锁,自适应单元增强了Ａｅｇｎｔ对外界变化的自适应能力,Ａｇｅｎｔ个性倾向性使模型更合理,排除了冲突因素,提高了２求解的效率。     

Making Beliefs Coherentl. The Subtraction and Addition Strategies.

The notion of epistemic coherence is interpreted as involving not only consistency but also stability. The problem how to consolidate a belief system, i.e., revise it so that it becomes coherent, is studied axiomatically as well as in terms of set-theoretical constructions. Representation theorems are given for subtractive consolidation (where coherence is obtained by deleting beliefs) and additive consolidation (where coherence is obtained by adding beliefs).     

单光栅非干涉图像法测量大位移及其地址码的修正

提出非干涉图像法测量物体大位移的方法，即利用两个正交的图像记录系统，在试件作大位移后，记录被平行多光束照射形成的光点所覆盖的试件图像，借助于记录光路系统几何参数，可建立联立方程组．解此方程组，就可得到被测物体上诸光点所表示的测点的位移大小和坐标值．文中还论述了试件图像上测点位置的确定和修正方法，推导了被测物体图像负片上测点的实际坐标的计算公式．实验结果证明，本文提出的测量理论是正确的．     

Theory revision with queries: Horn, read-once, and parity formulas

A theory, in this context, is a Boolean formula; it is used to classify instances, or truth assignments. Theories can model real-world phenomena, and can do so more or less correctly. The theory revision, or concept revision, problem is to correct a given, roughly correct concept. This problem is considered here in the model of learning with equivalence and membership queries. A revision algorithm is considered efficient if the number of queries it makes is polynomial in the revision distance between the initial theory and the target theory, and polylogarithmic in the number of variables and the size of the initial theory. The revision distance is the minimal number of syntactic revision operations, such as the deletion or addition of literals, needed to obtain the target theory from the initial theory. Efficient revision algorithms are given for Horn formulas and read-once formulas, where revision operators are restricted to deletions of variables or clauses, and for parity formulas, where revision operators include both deletions and additions of variables. We also show that the query complexity of the read-once revision algorithm is near-optimal.