分级网络法在施工管理中的应用

在大中型工程施工管理中采用分级网络法 ,适应当前企业管理模式 ,便于项经部施工人员的编制和调整 ,有利于实施过程中分级控制管理。在推广过程中已收到较好的社会效益和经济效益     

Na+-K+-ATP酶的π-演算语义及验证

给出了Na⁺-K⁺-ATP酶跨越细胞膜同时主动向胞内运转钾离子和向胞外运转钠离子这一生化过程的π-演算模型及该模型的Spin验证. 证明了用过程代数的方法表示以“相互通讯”和“可移动”为主要特征的生物系统并模拟其行为的可行性.      

关于π-s映射的一个注记

借助cfp复盖和点星网,给出了度量空间的紧复盖π-s映射的特征。     

π-正则半群的全π-正则子半群格

研究了π-正则半群的全π-正则子半群格的相关性质及特征.进一步给出π-正则半群的全π-正则子半群格是分配格的充分必要条件.     

基于π演算的自治系统架构描述语言AS-ADL

自治系统(Autonomous Systems)具有复杂的动态结构和行为特性,其典型代表就是各类军事作战系统.针对当前各种自治系统架构描述方法存在的局限,建立了自治系统架构的概余模型框架,并提出了一种描述该模型框架的形式化架构描述语言AS-ADL.AS-ADL以高阶多型π演算作为系统行为语义基础,具有丰富的数据类型,可以形式化描述自治系统的动态行为,且具有描述自治元素内部的交互行为的能力,为建立可执行的系统架构模型奠定了基础,并为系统模型求精和模型有效性验证提供支持.     

A New Signal Processing Technique of π/4-DQPSK Modem Based on Software Radio

1 .INTRODUCTIONπ/4 DQPSKmodemhasbeenchosenasthemodemschemeinmanymobilecommunicationsystems[1 ] .Inπ/4 DQPSKmodem ,theinformationbitsaremappedintophasetransitionsratherthanabsolutephasevalues.Thisencodingofinformationinthetransitionsovercomesthephaseambiguityproblemsresultingfromtheestimationofcarrierphaseinnon differentialPSKsystems.Soπ/4 DQPSKallowsforsimplebasebanddifferentialdemodulation .Further,inπ/4 DQPSK ,themaximumphaseshiftisrestrict edto± 1 35°(ascomparedto± 1 80…     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

新颖深紫外二阶非线性光学材料的研究进展

深紫外非线性光学晶体在光刻、微加工及高分辨光电能谱仪等领域有重要的应用．本文将深紫外非线性光学材料按其结构基元的几何特点分为π共轭体系(硼酸盐、碳酸盐和硝酸盐)和非π共轭体系(磷酸盐、硫酸盐和硅酸盐)2大类，并总结和讨论了各类材料的晶体结构、线性和二阶非线性光学性能以及设计合成策略．希望能为探索新一代深紫外非线性光学材料提供有益的帮助．      

互斥-杂化-离域——对简单分子结构的讨论

本文以ABn型简单分子为例,采用“互斥-杂化-离域”的步骤,即首先用VSEPR法确定分子的形状,进而了解分子中σ成键情况,最后考虑形成离域π键的可能性,对分子结构及其性质进行较全面的讨论。     

Si(111)(2×1)清洁重构表面

研究了Si(111)(2×1)清洁重构表面,计算了此表面的弯曲模型和修正的π—键链模型的能带结构。结果表明,修正的π-键链模型与实验符合很好。