论文研究-一种基于π演算的行为建模形式化方法.pdf

论文研究-一种基于π演算的行为建模形式化方法.pdf,  根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π

论文研究-信息物理融合系统可信软件形式化建模与分析.pdf

论文研究-信息物理融合系统可信软件形式化建模与分析.pdf,  从多Agent系统的角度，以Petri网和π演算为语义基础，建立了一种信息物理融合系统（cyber-physical systems，C

论文研究-基于π型补偿网络的多负载CPT系统稳定性仿真分析.pdf

CPT系统在多负载投切或负载变化等情况下会出现系统工作效率低、工作不稳定的情况。针对该问题，可以通过在初级回路加入附加电路，降低系统对负载参数变化的敏感性，从而提升系统的整体性能。从理论上分析了在CP

论文研究-基于π网的片上多核系统任务调度算法研究.pdf

为提高片上多核系统在任务调度方面的效率，基于先进的π网来研究其任务调度算法。在简单介绍π网之后，利用π网对片上多核系统的任务调度进行建模，并对模型进行动态演化、复杂度和子网划分等分析，然后对模型进行实

论文研究-基于π/4-DQPSK调制的UHF频段无线高速数据传输系统方案设计 .pdf

基于π/4-DQPSK调制的UHF频段无线高速数据传输系统方案设计，高慧玲，尹长川，随着高速率无线通信需求的增长，单载波频域均衡（SC-FDE）以复杂度较低并且均衡效果较好为优势，已经作为一项重要的技

论文研究-分布式制造调度体系结构的π演算形式化建模.pdf

分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agent（Holon）的制造调度控制体系结构模型为对象，在比较现有形式化方法优劣的基础上，提出基于一阶多元π-演算

论文研究-基于相位编码的量子蚁群算法.pdf

论文研究-基于相位编码的量子蚁群算法.pdf,  针对蚁群算法只适用于离散优化问题的局限性和收敛速度慢的问题, 提出一种适合连续优化的量子蚁群算法. 该方法直接采用量子位的相位对蚂蚁编码. 首先基于信

论文研究-基于高阶π演算的构件演化模型研究.pdf

为满足构件演化形式化分析的需要，确保演化正确性，提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上，将演化过程中的行为描述为原子行为、结构行为和操作行为，建立行为与高阶π演算间的转换规则、

论文研究-网上支付系统的风险计量模型及实证分析.pdf

论文研究-网上支付系统的风险计量模型及实证分析.pdf,  网上支付行为可看作电子货币资产（电子现金、电子支票和数字信用卡等）组合的交易过程，对网上支付风险进行计量，就是构建一个合适的资产配置模型，使

论文研究-基于ProVerif的TVP迁移协议安全性分析.pdf

针对可信虚拟平台（trusted virtual platform，TVP）迁移协议缺乏有效的安全性验证问题，引入应用π演算对协议流程及安全属性进行形式化建模，并基于其自动化工具ProVerif对协议

论文研究-基于角色划分的构件组合兼容性检查.pdf

基于构件的软件开发是软件工程化和工业化发展的必然趋势，构件间通过接口实现交互。目前主要的接口定义语言是为了满足封闭的C/S应用而设计的，仅描述了构件交互的静态语法层信息，这些信息已不能满足开放环境下对

论文研究 - 苯酚-水络合物中π-π堆积相互作用的理论研究

非共价相互作用在所有类型的π系统中都很常见，例如π-π相互作用，长程/短程范德华相互作用，离子-π相互作用等。从头算式已经很好地建立了，并很好地说明了这一点。小分子芳族分子的实验性长程相互作用能，大部

论文研究-基于混沌Duffing振子的BPSK信号K-means聚类解调方法.pdf

针对二进制相移键控（binary phase shift keying，BPSK）信号在低信噪比下解调误码率较高的问题，提出了一种基于混沌Duffing振子的K-means解调方法。该方法的思想是根据

论文研究-基于正交变换的负载调制信号解调方法.pdf

在装定器接收到的负载调制信号中，载波信号与反馈信号相位相差π/2，且前者幅度远远大于后者，因此，负载调制信号的调幅度接近于1，用包络检波方式难以解调出反馈信号。提出了一种正交变换方法，可以简便地实现载

论文研究-两端多状态网络可靠度的研究.pdf

对带流量的大型网络,利用状态空间截尾的思想,在ORDER-M算法的基础上构造了一种新的算法——ORDER-M-π 算法,利用该算法产生多状态网络前K个最可能出现的状态, 且所产生的前K个状态发生的概率

论文研究-基于行为描述的Web服务组合兼容性检查.pdf

定义了服务的基调视图和行为视图，设计了将Web服务行为转换为π演算进程表达的建模方法，并给出了实现服务视图向π演算进程自动转换的算法；最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的

论文研究-一种面向自适应软件系统的体系结构描述语言.pdf

从构件角度出发，结合软件agent技术，提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论，在现有的动态体系结构描述语言D-ADL基础上，提出一种能从运行时角度

论文研究-考虑位置失效的移动系统安全模型.pdf

以带位置扩展的移动进程π演算模型为形式化工具，在考虑位置失效的基础上，将移动系统的安全性质转换为系统进程在给定计算环境中的位置互模拟关系，提出了考虑位置失效的一种新安全模型。针对实际安全需求，该模型可

论文研究-面向服务的动态体系结构描述语言SO-DADL.pdf

面向服务的架构（SOA）是一种基于Internet的分布式软件体系结构。在SOA中，粗粒度的，可发现的，松散耦合的，自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言，提出了一种基于SO

在c.m中对过程e + e-→π+π-π+π-的研究。 CMD-3检测器的能量范围为920–1060 MeV

已使用来自数据样本的6798±93信号事件测量了过程e + e-→π+π-π+π-的横截面，该事件对应于使用CMD-3检测器收集的9.8 pb -1的综合光度。 质量中心能量范围920-1060 Me

论文研究 - 关于π介子和μ介子的性质

较早的研究表明，中微子是一种特殊的磁性γ量子，它与任何γ量子一样都会带走反应能。 这可以让我们重新审视pion±→μon±→e±的反应链，伴随着三个中微子的发射，但其中没有其他粒子产生。 由于中微子的

F.M.菲赫金哥尔茨 - 微积分学教程(第3卷)(第8版)

来自 https://download.csdn.net/download/yangjunbuaa/10157766 细化到三级书签，进行过OCR，保留高清图片 上传时间：2019/3/2 文件大小：

论文研究-分数间隔采样.pdf

通过分析同相与正交两路信号，建立了适用于分数间隔采样π/4-DQPSK差分解调的比特大数判决法、符号大数判决法及差分累加和判决法三种判决方式的数学模型，推导出了各种判决方式下符号误码率的数学表达式，并

论文研究 - 不同分子间旋转的酚类体系的π-π堆积相互作用和构象变化的量子力学研究

苯酚，二酚，氰基苯，氯苯，苯胺等芳香体系表现出有效的π-π堆积相互作用，范德华力长程； 离子-π相互作用等，这些相互作用力在堆叠π-二聚体系统的稳定性中起着至关重要的作用。 另一方面，芳族体系的堆叠二

e + e-→π+π-π0ηc的研究以及Zc（3900）±衰减为ρ±ηc的证据

我们使用质子中心为s = 4.226、4.258、4.358、4.416和4.600 GeV的BESIII检测器收集的数据样本，首次研究了反应e + e-→π+π-π0ηc。 找到了该过程的证据，并且

论文研究 - 基于新的甲亚胺化合物

间苯二胺与各种芳香醛（苯甲醛，间硝基苯甲醛，邻硝基苯甲醛，对二乙基氨基苯甲醛，邻羟基苯甲酸，对羟基苯甲醛和4-羟基-3,5-二叔丁基苯甲醛）的低温缩合介质合成了新的偶氮甲碱化合物。 借助于光谱方法和元

Λc+→K-pπ+和Λc+→KS0pπ0中的Hyperon产生

我们在有效的拉格朗日方法内研究了由Λc+→K-pπ+和Λc+→KS0pπ0衰变产生的S = -1个超子。 我们考虑Σ/Λ基态Λ（1520），Λ（1670）（Jp = 1/2 −），Λ（1890）（Jp

论文研究-柴油机共轨压力模糊自适应PID控制研究.pdf

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

论文研究 - 基于尼尔·玻尔定理的氦和氖原子模型

在作者先前的主要论文中，可以从玻尔的原始模型开始，但在三维方向上对其进行修改，从而证明H原子在激发态下电子轨迹的数学描述。 在随后的论文中，玻尔定律不变的角动量h /2π定理（确定了H原子的基态）被揭

研究论文-几种LDPC码在无线光通信系统中的性能比较.pdf

为了提高无线光通信系统的性能，文章研究了几种低密度校验码（LDPC）在无线光通信系统中的运用. MATLAB仿真结果表明，LDPC码能对弱湍流信道起到一定的抑制作用从而提高了通信系统的可靠性.构造这几