开发技术下载,其它下载列表第55817页

[其它] 一种Web服务特征交互自动检测方法

说明：模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问
<weixin_38668243> 上传 | 大小：2mb

[其它] 幼犬网-源码

说明：幼犬网
<weixin_42099116> 上传 | 大小：2mb

[其它] 径向预紧力对反射镜重力变形的补偿作用

说明：针对精密反射镜的重力变形，提出了一种基于径向预紧力的变形补偿方法。以高数值孔径(NA)投影光刻物镜中的反射镜为研究对象，建立了反射镜的受力模型，定性分析了径向预紧力对反射镜重力变形的影响规律。利用有限元分析方法得到了在不同径向预紧力作用下反射镜的面形变化，通过数据拟合分析了径向预紧力与面形误差及其泽尼克系数之间的关系。分析结果表明：径向预紧力主要影响反射镜面形的球差项和三叶像差项；随着径向预紧力的增大，补偿后的面形误差呈现先减小后增大的趋势，当径向预紧力约为25 N 时，由于重力导致的面形误差由
<weixin_38711529> 上传 | 大小：4mb

[其它] 中分辨率光谱成像仪在轨调制传递函数测量方法

说明：为了测算中分辨率光谱成像仪在轨调制传递函数(MTF)，提出了一种基于图像中非理想阶跃目标的处理方法。利用仅一侧具有较好均匀性的目标，在线扩散函数(LSF)的对称性假设下，实施基于阶跃响应思想的测算方法。与传统的阶跃边缘法相比，该方法得到的结果与中分辨率光谱成像仪获得的结果一致。将其应用在中分辨率光谱成像仪的指标考核中，得到的半峰全宽(FWHM)与传统处理方法仅相差0.03 pixel，奈奎斯特频率处的MTF值也仅相差0.02，验证了本文方法的有效性。该方法所利用的目标在中分辨率光谱成像仪遥感图像
<weixin_38559646> 上传 | 大小：2mb

[其它] ihsdpsatara.com：IHSDP萨塔拉-源码

说明：ihsdpsatara.com：IHSDP萨塔拉
<weixin_42178688> 上传 | 大小：3mb

[其它] 基于时间自动机的Web服务模型检测

说明：传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而用时间自动机验证工具UPPAAL对组合Web服务的运行过程进行模拟,并验证其活性、安全性和死锁等性质。采用该方法对雇员出差安排组合Web服务进行建模和验证,结果表明,该组合Web服务存在死锁问题。最后通过分析死锁产生的路径,完善该组合Web服务的通信协议,从而消除了死锁。
<weixin_38517105> 上传 | 大小：534kb

[其它] 利用太赫兹光非对称解复用器对归零伪随机码占空比压缩的全光速率倍增

说明：利用太赫兹非对称解复用器(TOAD)对伪随机比特序列(PRBS)归零(RZ)码占空比压缩后经多路延迟叠加来实现速率倍增.实验上将周期为2
<weixin_38528459> 上传 | 大小：5mb

[其它] miniKDB：仿gdb编写的迷你调试器-源码

说明：调试器正在做...
<weixin_42097208> 上传 | 大小：5kb

[其它] 聊天应用-源码

说明：テーブル设计用户テーブル柱子类型选项姓名细绳 null：假电子邮件细绳 null：假密码细绳 null：假协会 has_many：room_users has_many：房间，通过：room_users has_many：消息房间テーブル柱子类型选项姓名细绳 null：假协会 has_many：room_users has_many：users，通过：room_users has_many：消息 room_usersテーブル柱子类型选项用户参
<weixin_42157166> 上传 | 大小：189kb