关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

基于EVC环境的串口通信程序设计

介绍了在PPC硬件平台下,Windows CE操作系统中实现串口通信程序设计的通用方法。分析了EVC环境中串口通信的实现,重点陈述了EVC环境中串口通信实现的过程和方法,同时给出了串口通信的相关实例。     

基于纳米粒子的光纤LSPR传感器用于检测超级电容器电极表面电荷状态

随着环境问题日益严重,具有环保清洁特质的超级电容器等新能量存储设备得到广泛关注.因此,对于实时灵活地评估能量存储器件的运行机理和充电状态(State of charge,SOC)仍然具有挑战性.电化学分析法是研究电极反应机理和电极过程动力学的重要方法,但有时不能实时在线监测内部电极的表面电荷状态.透射电子显微镜和X-射...     

水乡城镇旅游开发新模式的探索——以上海市青浦区金泽水乡为例

江南水乡旅游开发的热潮过后,许多水乡由于旅游商业服务与为原居民服务的商业都设置在老镇区内,游客及本地居民的需求超出了古镇生态承载能力,对古镇风貌造成了破坏.吸取以前水乡开发的众多经验,结合金泽水乡的空间文化特色,提出依托原有古镇,新辟商业服务中心及旅游服务设施的水乡开发新模式,建设生态化的城市环境,既保护古镇有利于旅游发展,同时也照顾原居民的日常生活所需,实现可持续发展的目标.     

湘中-湘东南拗陷泥页岩层系沉积模式及储层特征

中扬子地区湘中、湘东南拗陷泥盆系-二叠系主要发育4套泥页岩层系,其中泥盆系佘田桥组与棋梓桥组泥页岩主要发育于海相台盆内,二叠系龙潭组、石炭系测水组泥页岩则主要发育于海陆交互环境中的滨海-沼泽相内。利用X射线衍射技术、扫描电镜技术、等温吸附技术,并结合区域沉积背景,对湘中、湘东南拗陷页岩层系储层特征进行了全面的分析研究。结果表明,湘中、湘东南拗陷泥页岩层系的岩石矿物成分中石英、碳酸盐矿物、黏土矿物的平均质量分数分别为29.4%、21.2%和44.6%。孔隙类型中既包括连通性较好的格架孔、有机质孔、生物体腔孔等,也包括连通性较差的溶蚀孔。整体孔喉关系较好。湘中地区吸附气量Langmuir体积平均为1.72cm3/g;湘东南地区吸附气量Langmuir体积平均为1.775cm3/g。对比美国Barnett页岩储层特征,认为湘中、湘东南地区泥页岩层系具有良好的储层特征及含气性,具有较高的勘探开发潜力。     

平原区水资源可持续开发利用调节机制研究

根据资料分析及模拟试验结果 ,从系统的观点出发 ,提出了水资源截失的 3个方面 ,即变抽水井为抽灌两用井、浅层地下水系统减蒸增源以及平原绿色工程 ,并对其进行了可行性分析论证 ,进一步提出平原区水资源可持续开发利用调节模式 ,为缓解乃至解决日益加剧的水资源危机提供了一种新的思路与途径。     

3-羟基-2-噻吩甲酸甲酯的合成

本文对以巯基乙酸和丙烯酸甲酯为主要原料合成3_羟基_2_噻吩甲酸甲酯的方法进行了研究。该方法具有合成简单 ,易于操作 ,产品收率高的优点。     

饲料中锰对日本沼虾抗氧化酶活性的影响

研究了日本沼虾(Macrobrachium nipponense)饲料中不同含量的Mn对虾体抗氧化酶活性的影响,以及在低氧胁迫下Mn对抗氧化酶的激活效果.结果表明,在投喂Mn的质量分数为150 ?g/g的饲料后,日本沼虾的超氧阴离子(O2·-)值降低,超氧化物歧化酶(SOD)、过氧化氢酶(CAT)和谷胱甘肽过氧化物酶(GPX)活性升高.Mn对虾体内SOD,CAT和GPX的激活作用表现出明显的剂量效应,饲料中Mn的缺乏或过量都使它们的活性受到影响.在低氧胁迫下,饲料中适量的Mn在一定程度上可提高虾体对低氧环境的耐受力.     

基于连续隐Markov模型的理论线损率预测研究

提出一种基于连续隐马尔可夫模型的理论线损率预测方法,运用Baum-Welch参数重估修正公式实现CHMM参数优化,建立CHMM模型。依据CHMM模型概率输出判别各可选仿真模型相对于实际系统的有效性。结果表明,该模型运行速度快,在理论线损率预测中有更高的精度。     

一种基于AOcontPN的信息物理系统建模方法

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。