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地址,适宜相应的网络环境。     

Secondary Metabolic Profile as a Tool for Distinction and Characterization of Cultivars of Black Pepper (Piper nigrum L.) Cultivated in Pará State,Brazil

This study evaluated the chemical compositions of the leaves and fruits of eight black pepper cultivars cultivated in Pará State (Amazon, Brazil). Hydrodistillation and gas chromatography–mass spectrometry were employed to extract and analyze the volatile compounds, respectively. Sesquiterpene hydrocarbons were predominant (58.5–90.9%) in the cultivars “Cingapura”, “Equador”, “Guajarina”, “Iaçará”, and “Kottanadan”, and “Bragantina”, “Clonada”, and “Uthirankota” displayed oxygenated sesquiterpenoids (50.6–75.0%). The multivariate statistical analysis applied using volatile composition grouped the samples into four groups: γ-Elemene, curzerene, and δ-elemene (“Equador”/“Guajarina”, I); δ-elemene (“Iaçará”/“Kottanadan”/“Cingapura”, II); elemol (“Clonada”/“Uthirankota”, III) and α-muurolol, bicyclogermacrene, and cubebol (“Bragantina”, IV). The major compounds in all fruit samples were monoterpene hydrocarbons such as α-pinene, β-pinene, and limonene. Among the cultivar leaves, phenolics content (44.75–140.53 mg GAE·g⁻¹ FW), the enzymatic activity of phenylalanine-ammonia lyase (20.19–57.22 µU·mL⁻¹), and carotenoids (0.21–2.31 µg·mL⁻¹) displayed significant variations. Due to black pepper’s susceptibility to Fusarium infection, a molecular docking analysis was carried out on Fusarium protein targets using each cultivar’s volatile components. F. oxysporum endoglucanase was identified as the preferential protein target of the compounds. These results can be used to identify chemical markers related to the susceptibility degree of black pepper cultivars to plant diseases prevalent in Pará State.     

Windows平台下外围存储设备信息监控*

针对目前使用内部网络的外围存储设备时存在的安全问题,研究了现行外围存储设备使用中的安全保护措施,分析了现有技术方法的欠缺,提出主机外围设备使用统一管理监控的思想,并采用文件系统过滤驱动技术,设计实现了主机外围存储设备信息监控系统.     

基于SIP的网络视频监控系统*

介绍了初始会话协议SIP.在SIP和一般视频监控系统模型的基础上,提出了一种基于SIP的网络视频监控系统,给出了分层网络模型,并对其各功能模块的作用进行了重点阐述.该分层网络模型的建立使得构建数字化、网络化、智能化、多媒体化视频监控系统成为可能.     

Synthesis and characterization of poly acrylic acid/graphite oxide nanocomposite

1　INTRODUCTIONOrganic intercalatedlayeredsolidshavebeenstudiedbyscientistsindifferentfieldsformanyyearsbecauseoftheirnew physicalandchemicalpropertiessuchaselectricalproperties[1] ,mechanicalproper ties ,thermalbehavior[2 ] ,surfaceandinterfacialproperties[3] .Graphiteoxide (GO)hasbeenstudiedformany years ,itsstructuralmodel[4 6 ] ,formationprocessandkinetics[7,8] havebeenstudiedindetail.IthasbeenreportedthatGOpossessesC OHande poxidefunctionalgroups[9] whichmakegraphiteox ideeasilyabs…     

碘仿电解合成的工艺研究

开发了一种以石墨为阳极、铅为阴极、采用旋转阳极和离子膜分隔电解槽的碘仿电解合成的先进工艺 ,经过 5因素 4水平的正交试验 ,发现影响电流效率的各工艺因素中 ,阳极电流密度的影响最大 ,其次分别为阳极液温度 ,阳极液 p H值 ,阳极液中碘化钾的浓度和阳极转速。优化得到碘仿电合成的最佳工艺条件为 :碘化钾浓度 2 0 0 g· L- 1 ,阳极电流密度 2 5 A· dm- 2 ,阳极液温度为 2 0℃ ,阳极液 p H值为 9.5,阳极转速为2 0 0 r· min- 1 ,在此最佳工艺条件下 ,电流效率可达 97.2 3%。     

Photocurrents and degradation rates on particulate TiO2 layers: Effect of layer thickness, concentration of oxidizable substance and illumination direction

Different routes for immobilization of TiO₂ on conducting substrates were compared to find active and stable photocatalysts, which could either be operated in open circuit (photocatalysis) or with applied electric potential (photoelectrocatalysis). The advantage of applying an electric potential was investigated. Polarization curves and photoelectrochemical degradation reactions served to characterize catalysts and to find a way of predicting the optimum synthesis conditions. The difference between front side (EE) and back side (SE) illumination is discussed as a function of layer thickness, as well as the influence of oxidizable substance concentration on photocurrents. Stability of catalysts was investigated in repetitive degradation experiments.     

叔碳酸乙烯酯的性能及其应用

介绍了叔碳酸乙烯酯的性能及其应用。叔碳酸乙烯酯是一种多支链一元饱和羧酸乙烯酯，其α碳原子上丰富的烷基形成的空间位阻和烷基的非极性，使其表现出优异的抗紫外线性能和极强的疏水性能，从而使其聚合物或共聚物具有耐候性、耐水性、耐碱性好和表面张力低等特点。其分子中的双键使其具有很好的反应性，能与乙烯、丙烯酸酯、苯乙烯等具有双键的单体进行共聚，提高其共聚物的性能，拓宽应用范围，是一种优良的改性单体。