基于PWF_nets的服务组合方法

针对使能最终用户直接组合服务生成个人应用的问题,提出一种基于Petri网模型WF_logic,WF_semantics,WM_logic和WM_semantics(统称为PWF_nets)的服务组合方法.该方法可以指导最终用户在不同的抽象等级逐步为服务组合流程的逻辑、语义和管理建模,使最终用户在不同的阶段专注于服务组合的不同方面并且在每个阶段都有合适的网模型支持,不仅可以提高其构造合理有效应用的成功率,而且各个阶段建立的模型也可以被形式验证.     

安徽教育发展与人口文化素质浅析

本文着重分析安徽省教育的现状与存在的主要问题,以及对安徽人口文化素质的影响,认为教育的重点应放在提高人口文化素质,尤其是劳动者素质和培养初、中级人才上,大胆探索一条以素质教育为主,多元结构、相互沟通、协调发展的高效力的教育体系,以适应安徽省经济与社会发展对人口素质的迫切需求。     

走出高校学报商品化误区

依据政治经济学的基本原理,从学报的办刊宗旨、出版和发行、价值取向和价值体现等角度分析,认为学报只能是高校教师或行业研究人员用于进行学术交流的自给自足的物品,是非赢利的产品,因此,高校学报不能商品化。笔者认为向作者收取版面费、刊登广告或以其它产业养刊等措施不利于提高学报的学术质量。应该是谁受益、谁投资。     

变截面框剪结构二阶效应分析的精细积分法

采用分段连续化方法,建立了变截面框架-剪力墙结构二阶效应分析的连续化计算模型。引入状态变量的概念,导出了对每段结构考虑二阶效应时的状态空间方程,用状态空间理论的方法求出了状态向量表达式,并结合结构的边界条件用精细积分法求出了初始状态向量,最终得到变截面框剪结构考虑二阶效应时各部分的变形和内力。文末给出了数值算例,并与其他算法的结果进行了比较。     

土木工程专业工程测量课程教学改革的探索

结合土木工程专业工程测量这门课程的特点以及目前该课程的教学现状和存在的问题,从教学内容、考核方式和师资队伍建设等几个方面提出了土木专业工程测量课程教学改革的具体方法。     

不同碳源对LiFePO4／C复合正极材料电化学性能的影响

取不同碳源(蔗糖、葡萄糖、聚乙烯醇)原料,采用两步固相法制备LiFePO4/C复合锂离子电池正极材料,对其进行XRD和电化学性能测试.XRD分析表明,所制产物均为单一相的橄榄石型晶体结构;恒流充放电测试结果显示,覆碳后的LiFePO4/C放电比容量和循环性能均得到明显改善,添加聚乙烯醇的LiFePO4/C首次放电容量达142.9 mA·h·g -1,充放电循环20 周后,其放电容量仍为143.1 mA·h·g-1.     

电石灰粉煤灰稳定土抗裂性能试验及评价

为了评估高速公路底基层用电石灰粉煤灰稳定土在含水量和温度变化下的抗裂性能,开展了干缩试验和温缩试验研究。干缩试验结果表明:随着失水率的增加,二灰稳定土的干缩系数先增大后减小。当失水率达到3%~5%时,干缩系数达到最大值,而后急剧减小;当失水率达到6%后减幅趋于平缓。温缩试验结果表明,在40°C到30°C之间时,温缩系数快速增加,在30°C~5°C之间时,温缩系数有减小的趋势,在-5°C~10°C之间,温缩系数快速增加,并达到最值,而后又开始缓慢减小。引入干缩开裂系数和温缩开裂系数,分析了电石灰粉煤灰稳定土的抗裂性能,结果表明:建议使用的稳定土配方具有优良的抗裂性能,能作为底基层填料。     

景区投资者与社区居民利益冲突的经济学分析

随着旅游业持续快速的发展,旅游景区也成为投资的热点.然而随之而来的是景区投资者与社区居民间利益冲突的不断发生.运用利益相关者理论,对投资者和居民两者的关系、行为、冲突进行了分析,并依据博弈理论探讨了投资者与社区居民合作的优势策略.     

基于格的两方口令认证密钥交换协议

口令认证密钥交换协议能使共享低熵的通信方在开放的网络中建立安全的会话密钥,基于Gorce-Katz框架提出了基于格的两方口令认证密钥交换(password-based authenticated key exchange,2PAKE)协议,协议采用具有近似平滑投射哈希函数(approximate smooth projective Hash,ASPH)性质的选择明文攻击(chosen plaintext attack, CPA)安全的和带有标签的选择密文攻击(chosen ciphertext attack, CCA)安全的密码体制,利用平滑投射函数的纠错性生成随机参数,通过伪随机函数计算会话密钥;与同类协议相比,该方案降低客户端密钥长度,减少服务器端投射密钥的生成次数,具有较高的效率以及完美前向安全性,在抵抗量子攻击的同时可实现显式双向认证。     

十字花科植物授粉过程中花粉表达基因的研究

授粉是开花植物有性繁殖的重要过程，这个过程包括物种特异性的花粉与柱头细胞的黏附，干燥花粉的水合，花粉的萌发和花粉管在花柱中的正常生长等，其中涉及花粉众多基因的表达与调控，同时也与柱头细胞中相关基因的活动密切相关．近年来，人们在十字花科植物有性繁殖的分子机制研究中进展迅速，分离鉴定了多个影响授粉过程的突变体及其对应的基因，提出了控制授粉过程各关键步骤的多种可能的机理，在很多方面有了明显的突破．文中以十字花科植物尤其是模式植物拟南芥为例，从分析众多花粉表达基因在授粉过程中的作用入手，介绍了开花植物授粉分子机制研究的最新进展．