基于Web Services的城市空间信息服务集成框架研究

设计了一个基于WebServices技术的、可实现城市空间信息服务集成与互操作的框架———π系统框架 .系统由 6个层次组成 :应用层、WWW服务层、Web空间应用集成层、空间应用集成服务层、元数据服务和空间信息服务层以及空间信息库层 .根据WAI的请求 ,AIS将不同的获取空间信息的服务和其他空间分析服务有机地集成起来 .系统给城市空间信息应用的开发者提供一个二次开发的平台和应用系统的基础框架 ,屏蔽了城市空间信息应用的分布性和GIS平台的异构性 .对于开发者来说 ,应用该框架进行二次开发 ,如同在网络中使用同一GIS平台开发一样 ,能够使用不同GIS厂商平台的空间分析服务 。

有机/聚合物π半导体的四元设计原理

从物质结构的角度来看,有机/聚合物半导体是以组合π-轨道为主要电荷载流子输运通道的分子凝聚态固体.其化学本质是π系统,可以通过π-轨道的分子工程技术来巧妙地合成.本文以自己课题组的工作为主线,从物理有机化学的角度,阐述了有机/聚合物半导体设计的基本四要素,即电子结构、空间位阻、构象与拓扑以及超分子弱作用.同时,总结了四个单元要素在有机/聚合物半导体设计方面的研究进展,并展望了四元设计正成为科学家的一种重要思维模式.

空间信息应用集成与互操作

基于WebServices技术和GML(geographymarkuplanguage)技术,给出了一个新的空间信息应用集成与互操作系统——π系统框架(PKUapplicationsintegrationsystemframework),将不同的空间信息获取服务和其他空间信息查询分析服务有机地集成起来,屏蔽了空间信息应用的分布性和GIS平台的异构性.对于π系统框架的使用者来说,如同在网络中使用同一GIS平台开发一样,能够使用不同GIS厂商平台的空间分析服务,也能使用不同空间信息库进行空间信息的存储和查询.

含咪唑基配体的Co(Ⅱ)超分子配合物的合成、晶体结构和光谱性质

采用改进的固相Wittig反应,合成了一种新型的具有电子给受体和π共轭结构的咪唑衍生物1-{反式4-[4-(N,N-二乙基氨基)苯乙烯基]苯}咪唑(C21H23N3,简作L).室温下,将L与Co(SCN)2在甲醇中反应,合成了配合物Co(SCN)2(C21H23N3)4.X射线单晶衍射分析结果表明,该晶体属于三斜晶系,P1空间群,晶胞参数a=0.9317(3)nm,b=1.2753(4)nm,c=1.6691(5)nm,α=89.521(5)°,β=84.591(5)°,γ=80.052(5)°,V=1.9446(11)nm3,Z=1,μ=0.329mm-1,Dc=1.234Mg/m3,F(000)=765,R1=0.0601,wR=0.1381,GOF=1.030,中心原子Co(Ⅱ)的配位数为6,分别与来自4个L的咪唑N及2个SCN-的N配位,形成八面体的空间构型.配合物分子通过非典型氢键和π-π堆积作用形成三维超分子结构.研究结果表明,配合物具有很好的光学性质.

基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述.描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模.对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.

双π系统电荷共轭本征态的分析判据

研究了双π系统的电荷共轭本征态[1 ] ,给出了Jpc为 1- - ,3- - ,… ;1- +,3- +,… ;0 ++,2 ++,… ;和 0 +- ,2 +- ,…等四个序列双π态的构造 ,为实验分析提供理论判据。为了比较S .U .Chung的结果 ,也给出了 ηπ系统的电荷共轭本征态。

基于π网的嵌入式系统软硬件划分方法

针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述和定义,应用π网建立软硬件划分模型——嵌入式系统软硬件划分模型(ESHPM);最后,对模型ESHPM进行一致性、死锁和兼容性分析,同时,对模型ESHPM进行了优化。所建立的模型ESHPM满足一致性,各进程间无死锁存在,且各个进程之间的交互是兼容的;同时模型ESHPM有效地提高了划分精度,并获得了更加合理的软硬件划分方法。

厂区热力管网典型π型弯支座反力对比研究

厂区热力管网的热膨胀常采用π型弯进行吸收,不同π型弯的型式其支座反力的表现不尽相同,文章将其归纳为6种典型型式,并分别建立了相应型式的管系有限元模型,通过对各有限元模型进行计算分析,对比研究厂区热力管网各种空间π型弯型式的支座反力表现(轴向、横向、竖向反力值及支座脱空情况)。

π-σ-π型单分子电子器件:分子内电子转移及其外电场效应

将由联苯阴离子和中性萘之间通过刚性环己烷所连接的经典的电子转移体系作一构象修正,得到一个π σ π型分子。UHF/6 31G 研究表明,此体系具有更高的能垒和小得多的电子转移耦合,而且其耦合几乎完全通过环己烷桥上的化学键实现。外电场效应的研究进一步发现,该体系在无外场条件下几乎没有电子转移反应发生,但当外电场增至0 001463au时,反应的能垒消失,其电子转移速率达到105s-1数量级。所有特征均显示,该体系具有作为单分子电子器件的分子原型的巨大潜力。

嵌入式系统软件体系结构动态建模及应用研究

应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。

静态电压稳定性的临界特性和最小稳定裕度的确定

恒功率因数负荷PR-VR曲线和临界恒功率负荷PR.cr-QR.cr曲线已广泛应用于电压静态稳定性分析中。文中针对π型电路求出了用A、B、C、D参数表示的恒功率负荷的临界点特性,如负荷临界电压(幅值和相角),负荷临界阻抗和临界功率;证明了PR.cr-QR.cr曲线是抛物线,指出maxPR.cr/maxQR.cr只与参数A、B有关,并分别讨论了PR.cr-VR.cr曲线与PR-VR曲线和PR.cr-QR.cr曲线的关系;在PR-VR和PR-QR平面上分别讨论了由奇异点族构成的奇异曲线间及对应的可运行稳定域间的一一对应关系;提出了求取在PR-QR平面上与工作点最近的奇异点的解法,并在简单系统和IEEE30系统上进行了验证。

为π演算建立具有安全级别的简单类型系统(英文)

为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.

变电站培训仿真一次系统的实时数字仿真

针对数字-实物混合型变电站培训仿真一次系统的数字仿真计算,采用异步替代法在仿真步长内将多节点的一次系统仿真计算分割为节点较少且相互独立的部分网络模型计算,使其适用于并行计算,从而保证一次系统仿真的实时性。在分析异步替代法稳定条件的基础上,提出了一种改善稳定条件和提高计算精度的π型重叠电路模型。通过对真实系统的仿真计算表明,π型重叠电路有效,在满足异步替代法稳定条件下仿真计算稳定,具有良好的收敛效果。

磷脂酰胆碱与硬脂酸二元混合系统在空气/水界面上的相行为和形态学特征研究

本文通过LB膜仪表面压力-面积(π-A)曲线测量和原子力显微镜(AFM)观测,研究了磷脂酰胆碱(PC)与硬脂酸(SA)二元混合系统在空气/水界面上的物理特性和形态学特征。-πA曲线分析表明,当温度保持在30℃,SA的摩尔分数(XSA)不变时,随着表面压力(π)的增加,二元混合系统的面积(A)不断减小;当表面压力(π)不变时,随着SA的摩尔分数(XSA)的增大,二元混合系统的面积(A)出现非线性周期性减小;表明二元系统从液态扩张相向液态有序相转变。通过吉布斯能量分析,从理论上给出了该系统凝聚程度随π和XSA变化的特征,原子力显微镜观测给出了凝聚程度变化的直观证据,对进一步了解生物膜液晶态的变化具有重要的生物学意义。

网络服务行为的进程代数验证方法研究及其应用

通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的方法描述协议行为,确认其合理性,从而验证文中所提出的方法.

嵌入式联锁控制器软件体系结构动态建模研究

首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。

构造MAS的动态体系结构的模型

从软件体系结构这一全新的角度研究了 MAS(Multi- Agent Systems) ,并采用了进程演算π演算作为MAS的形式化手段 .为了建立动态的 MAS体系结构 ,首先提出了一种 MAS模型 ,并用多价π演算进行了形式化的描述 .然后根据 Agent在 MAS中所扮演的角色及地位 ,建立了一种与 CORBA相似的 MAS体系结构 CARBA,并分析了该体系结构的动态性 .

π/4-DQPSK信号的多普勒频移快捕和跟踪

提出了一种适用于数字卫星移动突发通信系统的多普勒频移快捕和跟踪方法。该方法根据突发通信时帧结构的特点，利用独特码的调制输出进行多普勒频移的快捕，并根据π/4-DQPSK信号的特点，采用判决反馈PLL环跟踪多普勒频移的变化。仿真结果表明，采用该方法的解调器误比特率．Pb与成形滤波器的滚降系数n无关。多普勒频移在-Rs／2～Rs／2范围内变化时，对解调器的误比特率Pb没有影响。

双π系统电荷共轭本征态的分析判据

研究了双π系统的电荷共轭本征态，给出了Jpc为1--，3--，…；1-+，3-+，…；0++，2++，…和0+-，2+-，…等4个序列双π态的构造，为实验分析提供理论判据.为了比较文献［１］的结果，本文也给出了ηπ系统的电荷共轭本征态.

Π系统中公式的真值函数及真度分布

以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。