[其它] 基于MDA的语义Web服务的组合与验证

说明：针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
<weixin_38546817> 上传 | 大小：225kb

[其它] Web服务选择优化算法的设计与实现

说明：为了提供满足客户需求的组合Web服务,将Web服务的属性分为功能属性和非功能属性(即服务质量QoS属性).通过服务类对功能属性进行划分,并按照服务类以QoS属性的组合类型方式进行服务组合.提出了将基于QoS的服务选择转换成有限方案的多目标决策问题,同时给出选择组合服务的最优执行计划的规划算法.实验表明此方法既利用了现有工作流技术的成果,又具有动态绑定和QoS支持.
<weixin_38623080> 上传 | 大小：976kb

[其它] 基于STM32的TCP、UDP通信中断方式.rar

说明：基于STM32F103VE的UDP通信；TCP客户端以及服务器通信，调试通过
<liuxiuyan1987> 上传 | 大小：12mb

[其它] 基于情景演算的Web服务语义描述

说明：Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。
<weixin_38638799> 上传 | 大小：282kb

[其它] 基于QoS关联的Web服务组合算法

说明：为反映Web服务组合过程中服务类之间的关联性和客户对服务非功能属性的偏好,以及服务调用过程中不同服务质量(QoS)属性之间的内在关系,提出基于QoS关联的Web服务组合决策算法。在评价服务组合优劣程度的过程中,考虑服务类在QoS属性上的关联关系,对QoS数据进行统一规格化和综合评估。实验证明,该算法拥有较好的执行效率和稳定性,并且选择结果较优。
<weixin_38648800> 上传 | 大小：400kb

[其它] OpenSource：开源资料：Python等-源码

说明：开源 开源的东西： Python 卡夫卡 libWebSockets 卷曲 彭博BLPAPI Refinitiv UPA / ETA 太阳耀斑
<weixin_42117082> 上传 | 大小：50mb

[其它] DataVis-proj-data-源码

说明：DataVis-proj-data
<weixin_42157567> 上传 | 大小：39kb

[其它] 基于最优马尔可夫链的双级四脚矩阵变换器随机载波调制策略

说明：为了抑制不平衡负载中的零、负序扰动,提出一种基于载波调制的双级四脚矩阵变换器解决方案;为了提高功率变换系统的综合性能,提出一种基于最优马尔可夫链的随机载波四脚矩阵变换器调制策略。该调制策略是一种以随机过度矩阵为优化变量,以开关次数和输出电压波形质量为综合优化目标的优化调制策略,同时能一定程度地减轻电磁干扰问题。由于各性能指标的精确解析描述过于复杂,采用一种近似描述的方法,一方面能有效反映系统的真实性能,另一方面极大简化了优化任务。仿真与实验结果验证了该方法的正确性。
<weixin_38733333> 上传 | 大小：320kb

[其它] 双级矩阵变换器的非线性分析及其补偿策略

说明：分析双级矩阵变换器输出电压非线性根源与特征。鉴于它和双PWM变频器、传统矩阵变换器在结构和功能方面的相似性,对其非线性特征进行对比分析,发现双级矩阵变换器的非线性有其明显的独特性,如窄脉冲、器件电压降、滤波电容电压纹波等,这些问题与调制策略、工作机理、拓扑结构和运行状态等有关。为保证系统可靠运行,补偿非线性所带来的负面影响,提出一种修正调制算法,并给出基于变载波调制的非线性补偿策略,克服了已有算法在实现上的固有缺陷,提高了系统波形质量。在高调制系数区域内,性能改善尤为明显,运行可靠性也相应提高。
<weixin_38627769> 上传 | 大小：415kb

[其它] 基于RS重构技术的LS_SVM预测模型及工业应用

说明：为实现不完备多变量时间序列的有效重构,将经典重构技术和粗糙集约简理论相结合,提出了一种广义输入状态重构方法和LS_SVM预测模型.首先,结合Mean Completer补齐算法和经典相空间重构方法,对不完备多变量时间序列进行补齐和含有一定嵌入裕量的初始重构,以克服序列中可能存在的数据缺失和嵌入不足等问题;然后,通过构建时间序列决策表,采用一种IGA算法对冗余嵌入和冗余变量进行RS约简,获取精简重构样本空间;最后,将精简结果作为LS_SVM的输入,辨识关键变量预测模型.将提出的方法应用氧化铝配料过
<weixin_38695471> 上传 | 大小：373kb

[其它] 基于改进重复控制器的三相四线逆变器设计

说明：提出一种基于改进重复控制器(modified repetitive controller,MRC)的三相四线逆变器设计方法,能够有效抑制非线性负载对输出电压的扰动。为解决重复控制器稳定性和控制性能之间的矛盾,在其补偿环节增加自由度-零相位滤波器;以误差衰减速率和滤波器的复杂度为优化目标,以系统鲁棒稳定性为约束,给出基于微粒群优化方法的零相位滤波器优化设计,构建基于鲁棒优化零相位滤波器的MRC。该MRC的优化设计考虑了系统的未建模误差,具有鲁棒性,更便于工业应用。三相四线逆变器采用载波调制,最大化
<weixin_38692162> 上传 | 大小：1022kb

[其它] 飞机共形窗口像差的二级静态校正

说明：由于飞机共形窗口形状非对称且常常相对于其后成像系统倾斜，使得结构最为简单的旋转对称固定校正器无法应用于飞机共形窗口的像差校正。为了最大程度简化飞机共形校正系统结构，提出了飞机共形窗口像差的二级静态校正，使得固定校正器能够应用于飞机共形窗口的像差校正。第一级静态校正，即通过某种静态校正手段首先校正共形窗口在0°沿轴瞬时扫描视场引入的非对称像差，为固定校正器的使用提供条件；从理论上证明了通过对飞机共形窗口内表面进行消像差设计，可以作为一种校正手段实现第一级静态校正。第二级静态校正，即使用固定校正器校
<weixin_38577200> 上传 | 大小：4mb