Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

传感器网络启动式自组织方法

无线传感器网络如何形成一个有序的自组织网络结构是一项重要研究内容,针对按地理区域交替性工作的动态监测网络,提出了相应的网络自组织方法,该方法以启动式方式运行网络,通过单播信令的方式分配MAC地址,标记相邻节点。在数据转发过程中以局部最小代价函数为准则转发数据。仿真实验表明,该自组织方法具有较短的MAC地址,适宜相应的网络环境。     

Scalable Realistic Rendering with Many‐Light Methods

Recent years have seen increasing attention and significant progress in many‐light rendering, a class of methods for efficient computation of global illumination. The many‐light formulation offers a unified mathematical framework for the problem reducing the full lighting transport simulation to the calculation of the direct illumination from many virtual light sources. These methods are unrivaled in their scalability: they are able to produce plausible images in a fraction of a second but also converge to the full solution over time. In this state‐of‐the‐art report, we give an easy‐to‐follow, introductory tutorial of the many‐light theory; provide a comprehensive, unified survey of the topic with a comparison of the main algorithms; discuss limitations regarding materials and light transport phenomena and present a vision to motivate and guide future research. We will cover both the fundamental concepts as well as improvements, extensions and applications of many‐light rendering.     

Monodisperse polymer/metal composite particles by electroless chemical deposition: Effect of surface functionality of polymer particles

Micron‐sized polymer particles were coated with layers of nickel compounds by plating electrolessly in the presence of aqueous solutions of nickel chloride, sodium hypophosphite, sodium citrate, and ammonium chloride at elevated temperature. The uniform functional polymer particle could be obtained by seeded polymerization. To investigate the effect of surface functionality on the conditions for nickel deposition, the polymer particle was functionalized with the thiol group. From morphological observation, it was found that the mode of nickel deposition was greatly dependent on the surface functionality of the polymer particle. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 87: 420–424, 2003     

Binary blends of nylons with ethylene vinyl alcohol copolymers: Morphological,thermal, rheological,and mechanical behavior

Binary blends of ethylene vinyl alcohol copolymers, containing 62 (EVOH-62) and 71 (EVOH-71) mole percent vinyl alcohols, with nylons (nylon-6, nylon-6/12, and nylon-12) have been prepared from melt mixing in a twin screw compounding machine. Morphological, thermal, rheological, and mechanical properties were determined. EVOH-62/nylon-6 and EVOH-71/nylon-6 blends showed homogeneous phase morphologies in the nylon-6-rich region, and fine phase separations (c.a. 2 × 10^?7 m) in the EVOH-rich region. Melting point depression, positive deviations in viscosity and flexural modulus, and negative deviation in impact strength from the simple additive rule were generally observed. And the results were possibly interpreted in terms of compatibility and increased nylon/EVOH interactions over the nylon/nylon interactions. On the contrary, clean phase separations in large domains were observed from EVOH-71/nylon-6/12 and EVOH-71 /nylon-12 blends. Fibrillation was also obtained from EVOH rich blends. Probably due to the incompatible nature of these blends, yield at low rate of shear and a mechanical property drop were also observed.     

The determination of molecular weights of polymers from critical concentrations of ternary systems polymer-polymer-solvent

The dependence of the critical concentration of the ternary system polymer-polymer-solvent on the molecular weight can be expressed by the relation where c_c is the critical concentration, M? the appropriate average of the molecular weight of both polymers; A and c_c∞ are constants for the given system. The possibility of determining the molecular weight of one of the polymers from the value c_c and the molecular weight of the known polymer with the aid of equation (1) is discussed.     

Electrochemical behavior of Sn8Hg (gamma-2) and dental amalgam in a phosphate buffer solution

The gamma-2 phase (Sn₈Hg) and a dental amalgam in phosphate buffer have been studied by means of potentiostatic and galvanostatic techniques, along with a rotating ring-disc electrode (RRDE). The analysis of results has shown that phosphate ions play an important role in the corrosion of amalgam. The anodic reaction leads to the formation of soluble species and a passivating film, which is probably composed of tin hydroxide and tin phosphate.     

改进教与学优化算法的LQR控制器优化设计

为了快速有效地确定线性二次最优控制(linear quadratic regulator,LQR)问题中的加权矩阵Q和R,针对主动悬架LQR控制器权系数设计问题,提出一种改进的教与学优化算法进行LQR优化设计。算法对基本教与学优化算法中的"教"与"学"阶段进行了进一步的改进,同时提出一种"自我学习"策略。通过仿真实验表明,和基本教与学算法、粒子群算法、遗传算法相比,本文算法在对主动悬架LQR控制器优化时,具有收敛速度快,求解精度高和稳定性强等优势。     

多视无人机影像环形拼接算法

由于多视无人机影像拼接时误差的传播和累计经常导致拼接图扭曲偏斜或者拼接的失败.针对这个问题提出了构建拼接环并以多级拼接作为辅助的拼接策略.首先将待拼接图像分为多组,每组中以环形方式进行拼接,然后利用SIFT进行匹配,RANSAC实现误匹配的去除,而后计算透视变换关系,最后通过平差方程将误差削弱.通过实拍无人机影像进行的拼接实验表明该方式可以有效减少累计误差的影响,提高拼接精度.该方法的提出可以作为影像拼接消除累计误差的有效方式之一.     

枝向量矩阵反馈环算法的MATLAB实现*

找到系统中的全部反馈环是系统动力学模型分析的基础。针对这一问题,比较了几种常见的反馈环计算方法,得出在时间复杂度上矩阵算法优于行列式算法。在计算机上用MATLAB实现了基于流率基本入树和强简化流率基本入树枝向量矩阵计算所有反馈环的矩阵算法,分析了算法的复杂性,并给出了相应的算例。