我国水权交易博弈定价决策机理

结合水权交易双方的效用函数，基于博弈原理及方法分别建立了水权交易准市场阶段和水市场阶段的水权交易博弈定价模型，并对水市场定价模型的纳什均衡解进行了探讨；基于定价相关要素间关系的探讨，解析了准市场阶段和水市场阶段水权交易定价决策机理，结果认为水权交易双方存在利益冲突，并且准市场阶段水权交易定价相对较低，水市场阶段水权交易定价相对较高。     

四川盆地及邻区上二叠统一下三叠统海槽的深水沉积特征

四川盆地及邻区广元-旺苍、城口-鄂西、开江-梁平海槽是上二叠统一下三叠统飞仙关组（P3-T1f）的深水碳酸盐沉积区。该区上二叠统上部大隆组是硅质岩、硅质泥岩、硅质灰岩组合，含放射虫、有孔虫等化石，厚125—29．0m，为海槽裂陷期凝缩沉积。三叠系飞仙关组下部为远洋沉积的暗色泥岩、微晶碎屑灰岩和重力流沉积的浊积岩、角砾灰岩组成的深水碳酸盐沉积，厚50．0～300．0m，是裂陷期后的海槽充填沉积。海槽相区沉积在晚二叠统世末达到最大海泛面沉积了大隆组。海平面缓慢下降期沉积了补偿充填性质的飞仙关组深水碳酸盐岩。海槽相区上二叠统一下三叠统飞仙关组构成了一个完整的三级层序。深水沉积物的有机碳平均值高达6．21％，是良好的烃源岩。但在海槽相区上二叠统不发育生物礁，飞仙关组缺乏鲕粒岩。     

一种零知识证明协议的安全分析与改进

论文指出了文献[1]中的零知识证明协议在公钥参数选取上的安全漏洞,并从求解离散对数的角度进行了分析证明。然后吸取了DSA数字签名算法中安全密钥选取高效简单的优点,提出了一种比Schnorr身份识别方案快1／3的简单、安全、高效的零知识证明身份识别方案。     

Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

Safety-critical software systems such as certain nuclear instrumentation and control (NI&C) systems should be developed with thorough verification. This study presents a method of software requirement verification with a case study for a nuclear power plant (NPP) protection system. The verification introduces colored petri net (CPN) for system modeling and prototype verification system (PVS) for mathematical verification. In order to aid flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this paper. In order to convert the extracted information to the PVS specification language, a translator has also been developed. This combined method has been applied to the functional requirements of the Wolsong NPP Shut Down System #2 (SDS2); logical properties of the requirements were verified. Through this research, guidelines and a tool support for the use of formal methods have been developed for application to NI&C software verification.     

正确区别教师的职业道德与违法行为

从师德和法律这两个不同的概念入手,剖析现实教学中存在的种种负面行为,这些行为中有违反 道德和违反法律之分.在加强师德教育的同时,应该加强法治教育,应该知道遵守法律是每个公民应尽的义 务,你首先是个好公民,你才可能是个好教师.从这个意义上说,加强师德教育,守法是基础.     

层序单元体系域划分及勘探意义

体系域是层序地层学理论体系中的重要概念，在隐蔽油气藏的勘探中，勘探家们极为重视低位体系域。但体系域的成因意义、是否有不同级别层序的体系域以及如何划分，在实际工作中认识不一致。结合勃海湾盆地的勘探实例，分析体系域的成因机制、组合特征和勘探规律，认为：体系域是基准面变化等因素作用的产物，不同级别的层序都发育着与其对应的体系域：一般情况下，三级层序对应的体系域单元与含油气层的规模相匹配，但四级层序对应的体系域才是隐蔽油气藏赋存的有利部位。图5参6。     

改性乳化沥青的发展和应用概况

综述了改性乳化沥青的发展及应用概况,重点讨论了改性乳化沥青的生产、制备工艺、稳定性影响因素,并对国内外改性乳化沥青的应用情况加以概述。     

Routing Correlated Data with Fusion Cost in Wireless Sensor Networks

In this paper, we propose a routing algorithm called minimum fusion Steiner tree (MFST) for energy efficient data gathering with aggregation (fusion) in wireless sensor networks. Different from existing schemes, MFST not only optimizes over the data transmission cost, but also incorporates the cost for data fusion, which can be significant for emerging sensor networks with vectorial data and/or security requirements. By employing a randomized algorithm that allows fusion points to be chosen according to the nodes' data amounts, MFST achieves an approximation ratio of 5/4log(k + 1), where k denotes the number of source nodes, to the optimal solution for extremely general system setups, provided that fusion cost and data aggregation are nondecreasing against the total input data. Consequently, in contrast to algorithms that only excel in full or nonaggregation scenarios without considering fusion cost, MFST can thrive in a wide range of applications     

Environmental factors and kinetics of microbial degradation of poly(3‐hydroxybutyrate‐co‐3‐hydroxyvalerate) in an aqueous medium

Environmental factors such as oxygen, temperature, and microbial species may have significant effects on decomposition of biodegradable polymers. A representative biodegradable, thermoplastic polymer, poly(3‐hydroxybutyrate‐co‐hydroxyvalerate) (PHBV), was decomposed in an aqueous medium under controlled laboratory conditions by soil microbes for the intrinsic degradation kinetics and the effects of the environmental factors on polymer biodegradation. The amount of proteins, including the PHBV depolymerases, that attached to the polymer surfaces was quite constant during the period of significant mass loss of the polymer specimens. The microbial polymer degradation followed a zero‐order rate model, so the residual mass fraction of PHBV films declined linearly with time. The mixed aerobic microbial organisms from fertile soil showed a higher activity of polymer degradation than an aerobic PHBV‐producing bacterium and the mixed anaerobes in the same soil. The mixed anaerobic microorganisms from barren soil decomposed the polymer at a slower rate than the anaerobes from fertile soil, and this was attributed to fewer microbial cells in the barren soil instead of the difference in the microbial species. The temperature effect on PHBV degradation can be described with an Arrhenius equation, and the activation energy is around 16 kcal/mol. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 87: 205–213, 2003     

磷酸酯类离子液体在燃油深度脱硫中的应用

研究了3种磷酸酯类离子液体,即1,3-二甲基咪唑磷酸二甲酯盐([MM im]DM P)、1-乙基-3-甲基咪唑磷酸二乙酯盐([EM im]DEP)和1-丁基-3-甲基咪唑磷酸二丁酯盐([BM im]DBP)的制备过程,考察了这3种磷酸酯类离子液体对模型油中3-甲基噻吩、苯并噻吩和二苯并噻吩的脱除效果及磷酸酯类离子液体的电化学再生方法。实验结果表明,这3种磷酸酯类离子液体的脱硫能力强弱顺序为:[EM im]DEP>[BM im]DBP[MM im]DM P;且对二苯并噻吩的脱除效果最好,对苯并噻吩的脱除效果次之,对3-甲基噻吩的脱除效果较差。以[EM im]DEP为萃取剂,油剂质量比为1∶1时,经5次萃取后,二苯并噻吩的脱除率可达到99.5%。利用电解法对[EM im]DEP进行了再生,在5~10V电压下电解10h,[EM im]DEP的脱硫率可以达到新鲜[EM im]DEP的90%以上。