高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

2009年  第35卷  第1期

  上一期 | 下一期 
显示方式:
论文
基于对称反射件的混合模TRL校准算法
万 亮, 武建华, 苗俊刚, 何国瑜
2009, 35(1): 1-4.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (351KB) 1843
摘要:
针对耦合差分器件的散射参数测量,提出了一种使用对称反射标准件的混合模式TRL(Through-Reflect-Line)校准算法.根据过渡结构的多模散射矩阵元素之间的相位关系和散射矩阵的广义互易性,消除符号模糊性并得到过渡结构的混合模式转移矩阵.该算法要求的校准标准件类似于传统的单模式TRL算法,不需要非对称结构的反射标准件产生模式转换项.利用全波仿真方法得到了包含过渡结构的校准标准件和待测件的单模散射矩阵,并使用该算法对仿真数据进行处理,得到不包含过渡结构的待测件的混合模散射矩阵.将校准结果与不包含过渡结构的待测件的全波仿真结果进行比较,其一致性表明了该算法可有效地校准线性平衡器件.
时频重叠复用系统的低复杂度序列检测算法
莫 勇, 王 竞, 刘 栋, 李道本
2009, 35(1): 5-8.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (118KB) 956
摘要:
利用时频重叠信号(Overlapped Hybrid-Division Multiplexing, OVHDM)实现高频谱效率数据传输,性能优于多电平调制方案.介绍了OVHDM信号模型以及最佳检测算法.为了降低检测的复杂度,提出了联合软干扰消除的序列检测算法——SIC-SE:软干扰消除后的各子载波数据流,在序列检测前首先通过基于快速矩阵逆的有限冲激响应滤波器.该算法的检测复杂度远低于最大似然检测算法,性能优于传统的软干扰消除算法.仿真表明,基于该检测算法的编码OVHDM系统性能优于使用相同信道编码的QAM-OFDM系统.
基于产品可靠性的工艺系统可靠性模型
付桂翠, 上官云, 史兴宽, 梁培东
2009, 35(1): 9-12.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (123KB) 976
摘要:
以提高产品的可靠性为目的,分析了工艺系统﹑工艺过程产品输出参数﹑产品使用性能﹑产品可靠性四者的关系.在此基础上,提出了基于产品可靠性的工艺系统基本影响关系可靠性模型,介绍了其建模方法.模型考虑了各工序之间的影响,反映了工艺系统与产品可靠性的关系.最终研究了工艺系统可靠度和工序可靠度的定量计算方法,为找出工艺系统的薄弱环节,进行工艺优化进而提高产品的可靠性提供了理论依据.
深度web资源搜索关键技术
陈 鹏, 刘烈宏
2009, 35(1): 13-17.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (139KB) 1424
摘要:
深度web资源是指通过web搜索等形式能够访问的网络数据库资源,由于它与静态网页存在着一些差异,传统的搜索引擎技术不能够很好的实现深度web资源搜索.研究了深度web资源搜索中的若干关键技术,包括深度web资源的自动发现和基于本体的深度web数据抽取.通过实验验证了所提出技术的可用性与高效性.设计和实现了一种新的针对深度web资源的搜索引擎系统,能够获取深度web资源信息,并且利用这些信息抽取出结构化数据,从而为用户或者其他应用系统提供服务.已经应用在国家重大工程项目"国家科技基础条件平台门户应用系统"中,并取得了很好的应用效果.
带肋变截面回转通道内流动与换热的数值模拟
朱剑琴, 徐国强, 陶 智, 丁水汀
2009, 35(1): 18-22.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (397KB) 1191
摘要:
开发了三维流动换热的通用计算程序,数值研究了带肋变截面回转通道内流动与换热的特性.湍流模型采用低雷诺数k-ε模型.通道肋间距为25 mm,肋高分别为1 mm,1.5 mm,2 mm,冷气进口雷诺数Re分别为7 500,12 500,18 500,25 000.计算结果表明:①通道的平均努赛尔数均随进口雷诺数的增大而增大;②对于Re=7 500和12 500,肋高越高,换热越强;对于Re=18 500和25 000,肋高为1.5 mm的通道换热最强;③局部雷诺数的不同和离心力的影响导致通道内各区域的局部换热随肋高的变化趋势并不一致;在进口段,肋高越高,换热越强;在出口段,当Re=7 500和12 500时,肋高越高,换热越强,而当Re=18 500和25 000时,存在最佳肋高1.5 mm.
一种用于高动态GPS频率估计的滤波算法
朱云龙, 杨东凯, 柳重堪
2009, 35(1): 23-27.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (253KB) 1228
摘要:
针对常用高动态GPS(Global Positioning System)频率估计算法扩展卡尔曼滤波(EKF,Extended Kalman Filter)的缺陷,提出了一种新的称为简化无迹高斯粒子滤波(SUGPF,Simplified Unscented Gaussian Particle Filter)的算法.SUGPF将卡尔曼滤波(KF,Kalman Filter)、无迹卡尔曼滤波(UKF,Unscented Kalman Filter)与高斯粒子滤波(GPF, Gaussian Particle Filter)三者相结合.在时间更新阶段,用KF的方法更新预测分布;在测量更新阶段,用UKF的方法得到重要采样函数,并用GPF的方法更新后验分布.仿真结果表明:与EKF和UKF相比,SUGPF性能更优越,功能更全面,在高斯与非高斯观测噪声环境下均能取得与GPF类似的良好性能,并且其计算复杂度低于GPF.
光纤陀螺温度与标度因数非线性建模与补偿
王新龙, 马 闪
2009, 35(1): 28-31.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (313KB) 1102
摘要:
研究了光纤陀螺FOG(Fiber Optic Gyroscope)温度效应和标度因数非线性误差的复合建模及补偿方法.分析了热作用于光纤环引起光路非互易性的机理,针对由温度和标度因数非线性引起的严重非线性漂移误差,提出了一种改进的实用精确补偿FOG温度和标度因数漂移的分段复合建模方法.通过对VG951型FOG全温度和全角速率范围内实际测试数据进行建模及处理表明,经分段复合模型补偿后,陀螺漂移从4.4 (°) /h减小到0.1 (°)/h,较传统补偿方法的精度得到大幅度提高,实验验证了建模方法的精确性及补偿方法的有效性.
Java卡的可信代码装载机制设计
胥怡心, 张其善, 刘建伟
2009, 35(1): 32-35.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (158KB) 1362
摘要:
对满足可信计算平台(TCP,Trusted Computing Platform)需求的代码管理问题,提出了以Java卡为核心,以代码签名技术为主要手段,以卡内的安全域(security domain)作为各个软件权威(Java卡设备发行方和应用提供方)安全策略执行者的可信代码管理框架.新机制支持设备发行方软件的装载和更新,完善了应用提供方安全域的装载和更新流程,并对下载命令数据结构进行了扩充.解决了在复杂应用环境中,多个软件权威相互独立的限制条件下,代码的免人工广播式发布问题,扩展了传统Java卡软件装载模式,提高了系统的安全性,为使用Java卡平台进行可信计算提供保障.
玻璃纤维束增强聚氨酯泡沫的拉压力学性能
卢子兴, 邹 波, 李忠明, 芦 艾
2009, 35(1): 36-39.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (385KB) 1190
摘要:
通过对普通聚氨酯泡沫塑料和纤维束增强聚氨酯泡沫塑料的准静态拉伸和压缩实验,研究了不同密度和纤维束质量填充比对材料力学性能的影响.实验观察表明,拉伸试件沿垂直载荷方向断裂,呈脆性破坏特征;而压缩破坏试件表面存在着斜向裂开的小块体.实验结果表明,纤维束增强泡沫塑料的应力-应变曲线具有与普通泡沫塑料相同的特征;纤维束能够有效提高材料的模量和强度;材料密度越大,纤维束和树脂基体的体积含量越高,增强效果越好.
隐身飞行器突防仿真的特征信号新建模方法
李 莹, 黄沛霖, 武 哲
2009, 35(1): 40-43.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (417KB) 945
摘要:
针对突防目标不同角域内RCS(Radar Cross Section)差异较大的情况,提出5种不同的突防目标特征信号雷达重点探测区域建模方案.在计算机仿真平台上,根据目标的周向散射特性,按照这5种不同的模型取RCS均值计算雷达对目标的探测概率值.不同建模方案所得探测概率值与精确探测概率值的平均误差分别为: 13.66%,12.35%,6.6%,5.07%和2.4%.平均误差的差异表明:采用5个或8个特征信号重点探测区域的建模方案,所得探测概率值的误差小,能反映出雷达对目标探测概率的动态变化过程.仿真平台中,这两种建模方案无需存储大量目标的RCS值,只需记录5个或8个目标的RCS均值,可节省计算机的存储量,提高计算速度.
基于遗传算法的高速飞行器模糊飞控一体化
李惠峰, 王 健
2009, 35(1): 44-47.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (351KB) 1142
摘要:
以高超声速飞行器通用模型的俯仰通道为控制对象,针对其6自由度非线性模型设计了一体化飞控系统.飞控系统由1个模糊控制器和2个PD控制器组成.基于遗传算法实现了模糊控制规则和PD反馈参数的自动优化,无需先验知识和训练数据.仿真表明,该方法可以同时满足飞行控制系统鲁棒性和优化过程收敛性的要求,特别是鲁棒性优于同样采用模糊控制的经典双回路飞控系统.
Stewart台体并联机器人位置正解
庄育锋, 黄昔光, 廖启征
2009, 35(1): 48-51.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (159KB) 1141
摘要:
为获得Stewart台体并联机器人位置正解的解析解,使用分次字典序Groebner基和Sylvester结式相结合的代数方法对该问题进行研究.利用计算代数中的分次字典序Groebner基算法,计算该机器人位置正解封闭数学模型的分次字典序Groebner基;从得出的51个基中选取20个基,构造20阶Sylvester结式,分析符号形式方程组的变量次数,可以直接得出该机器人位置正解一元高次方程的次数为40且最多有40组解的结论,其结果与前人的完全一致,但结式的尺寸却小得多.为了对结果进行验证,使用同伦连续法对同一个数字算例进行计算,两种方法得到结果一致.为并联机构位置正解的研究提供了一种新的有效算法.
N中连续取k好可修系统的模糊可靠性
武月琴, 周 泓
2009, 35(1): 52-55.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (289KB) 807
摘要:
在假定关键部件具有较高的修理优先权的条件下,讨论了具有1个修理工的可修n中连续取k好系统.利用马尔可夫过程对系统的各状态进行分析,得出了系统各状态的概率.然后利用基于模糊状态的可靠性理论,通过定义系统各状态对模糊成功的隶属函数,得到了可修n中连续取k好系统的模糊可靠性指标的计算公式,并比较其结果与传统可靠性理论的不同之处.模糊可靠度可以反映系统中工作部件的数目对系统性能的影响,它全面刻画了系统的可靠性行为.最后给出了计算示例说明算法.
仿真网格下的节点选择
宋长峰, 李伯虎, 柴旭东
2009, 35(1): 56-60.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (117KB) 1021
摘要:
仿真网格是一个将网格技术和建模与仿真技术相结合的网络化仿真平台,节点选择是提高仿真网格下仿真执行性能的重要手段.根据仿真网格下资源异构性的特点,提出一套形式化的节点性能评价标准,以此标准为依据建立节点选择的数学模型,并给出选择最优节点集合的节点选择算法.算法实验表明,该算法以节点的计算能力为优先考虑,同时顾及节点之间的通信性能,并能够回避通信性能参差不齐时好的通信性能掩盖住差的通信性能的情况,能够起到提高仿真执行效率目的.
超音频脉冲TIG焊电源拓扑及电弧焊适用性
齐铂金, 许海鹰, 黄松涛, 张 伟
2009, 35(1): 61-64.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (290KB) 1128
摘要:
研制出一台超音频直流脉冲TIG(Tungsten Inert Gas)焊电源,对该电源的拓扑结构及工作原理进行了介绍.与常规直流TIG焊电源相比,该电源可输出不同频率、均具有陡峭的上升、下降沿的脉冲电流,电流变化率大于50A/μs.该电源的基值电流、峰值电流、脉冲电流频率、占空比等焊接工艺参数调节方便,使该电源不仅能够焊接薄板,而且能够适用于中厚板的焊接.通过对比常规直流TIG焊和超音频直流脉冲TIG焊焊接的1Cr18Ni9Ti奥氏体不锈钢焊缝的微观组织,发现采用超音频直流脉冲TIG焊工艺的焊缝粗晶区变窄,晶粒细化现象显著.试验结果表明:所研制的超音频脉冲TIG焊电源具有良好的弧焊适用性.
基于激光跟踪定位的部件对接柔性装配技术
梅中义, 范玉青
2009, 35(1): 65-69.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (428KB) 2705
摘要:
数字化柔性装配技术是飞机制造领域近期的主要研究方向之一.以飞机部件对接装配定位为研究对象,研究了基于激光跟踪定位的飞机部件对接的数字化柔性装配技术和原理;在激光跟踪仪的二次开发软件包的基础上,开发了激光跟踪测量原型系统;论述了机械随动定位装置和随动伺服控制系统的组成和原理,实现了以位置控制为目的的机械随动伺服控制系统;以图形软件包为基础,建立了部件对接数字化柔性装配系统集成平台,并能够在此集成平台上进行基于激光跟踪测量的部件对接装配的实时仿真.本研究可对近期开展的数字化柔性装配技术研究提供一定借鉴.
热沉结构管接头的应力计算与实验验证
庞贺伟, 孟宪红, 张 行
2009, 35(1): 70-73.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (417KB) 1137
摘要:
由于大型空间环境铝热沉设备KM6承受周期性的应力,使空间实验室结构存在安全问题,因此选择T型、L型两类典型热沉构件,运用大型计算软件PATRAN,NASTRAN对构件在压力谱与温度谱共同作用情况下进行应力分析,得到关键部位的应力.采用实验方法确定了热沉各连接部位的应力,并把有限元计算结果和实验结果进行比较.结果表明:有限元计算的结果与实验测量结果基本一致,从而可以采用计算方法确定空间实验室的工作应力,进行其结构的安全性预报.
纵列式直升机配平计算及稳定性、操纵性分析
李国知, 曹义华, 杨 倩
2009, 35(1): 74-77.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (388KB) 1555
摘要:
为了进行纵列式直升机定直平飞状态的配平计算,建立了两种非线性飞行动力学模型(涡流理论模型和动量理论模型).提出了基于线性小扰动理论和五点中心差分算法的稳定性、操纵性导数计算方法;采用状态空间表达式形式的动力学方程,计算了纵列式直升机非耦合运动状态下的稳定根;以动量理论模型为基础,以MATLAB软件为计算平台,进行了纵列式直升机稳定性与操纵性的分析.最终计算结果与参考数据吻合较好,为纵列式直升机飞行品质研究奠定了基础.
Java智能卡解析优化方法
张大伟, 丁文锐
2009, 35(1): 78-81.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (118KB) 1512
摘要:
针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.
现代战斗机空战能力评估及敏感性分析
金 镭, 张曙光, 孙金标
2009, 35(1): 82-86.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (222KB) 1167
摘要:
考虑四代机的特征并结合现代空战特点,建立适用于评估四代机空战能力的层次体系结构模型,结合层次分析法与模糊隶属度函数法进行空战效能的静态评估, 并提出了空战能力对结构模型中最底层各单项指标及同层各指标的敏感性概念和算法.以典型四代机和三代机为例,对构建的模型体系和评估方法进行了验证和细致分析,表明效能的静态评估具有合理性,并且通过效能值对指标的敏感性分析,能为战斗机升级和作战使用提供理论指导.
基于鲁棒控制的光纤电流互感器的噪声抑制
李 慧, 张春熹, 张 晞, 张朝阳
2009, 35(1): 87-90.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (405KB) 892
摘要:
光纤电流互感器是一类存在模型参数不确定性的系统,为提高系统测量精度,利用鲁棒控制理论提出了系统的鲁棒H∞控制器设计方案.分析系统的检测原理并建立数学模型.针对光纤电流互感器系统给出控制器设计指标,使得闭环系统渐近稳定且提高系统噪声抑制能力.理论证明控制器设计方案满足设计指标的要求,并利用线性矩阵不等式的可行解给出了控制器的构造方法.最后通过计算机仿真和实验结果证明了此控制器设计方案的可行性和有效性.
SINS在摇摆基座上的快速精确对准方法
王新龙, 马 闪, 王海涌
2009, 35(1): 91-95.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (373KB) 1653
摘要:
基座摇摆运动及产生的杆臂效应误差是影响舰载武器对准精度和快速性的关键因素.基于摇摆基座上舰载武器捷联惯导系统SINS(Strapdown Inertial Naviagtion System)初始对准的特点,分析了杆臂效应的产生机理及杆臂效应干扰加速度的补偿方法.在研究利用参数辨识法代替卡尔曼滤波进行摇摆基座SINS初始对准方法基础上,考虑工程应用实际情况,进而提出了利用一种参数辨识法进行摇摆基座初始对准的改进方案;最后,通过仿真验证表明采用改进参数辨识方法进行舰载武器SINS对准,不仅能提高对准的精度,而且可提高对准的快速性.研究结果可为舰载武器初始对准方案的选择与设计提供理论参考.
半球形伞流固耦合工程算法
宋乾福, 曹义华, 蒋崇文
2009, 35(1): 96-99.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (263KB) 929
摘要:
降落伞流固耦合模拟非常难以实现,而一些工程设计任务要求迅速高效地完成.为了适应该要求,针对稳定下降阶段的半球形伞,提出了一种流固耦合工程算法.以轴对称伞形为伞衣初始形状,通过流场模拟得到结构模拟所需的伞衣压力系数分布,通过结构模拟得到新的伞衣外形,如此循环,直到伞衣中幅线和伞绳外形趋于稳定为止.结果表明,伞衣外形能迅速收敛,该方法能满足工程设计要求.
基于HMDP的无人机三维路径规划
洪 晔, 房建成
2009, 35(1): 100-103.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (450KB) 1824
摘要:
路径规划是UAV(Unmanned Aerial Vehicle)自主飞行的重要保障.初步建立了基于MDP(Markov Decision Processes)的全局路径规划模型,把UAV的路径规划看作是给定环境模型和奖惩原则的情况下,寻求最优策略的问题;为解决算法时空开销大、UAV航向改变频繁的缺点,提出一种基于状态聚类方法的HMDP(Hierarchical Markov Decision Processes)模型,并将其拓展到三维规划中.仿真实验证明:这种简单的规划模型可以有效解决UAV的三维全局路径规划问题,为其在实际飞行中的局部规划奠定了基础.
一种AMR磁罗盘的误差建模与校准方法
孙宏伟, 房建成
2009, 35(1): 104-107.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (367KB) 2080
摘要:
针对传统磁罗盘硬磁校准时容易受到外界干扰,标定校准为相对值的问题,详细分析了AMR(Anisotropic Magneto Resistance,各向异性磁阻效应)磁罗盘的系统误差并建立其误差模型,提出了标量校准方法用于磁罗盘的硬磁标定校准.与传统方法相比,该方法不需要确切的航向参考值,利用任意多位置下的大量测试数据通过迭代求取校准参数的最优解,通过施加约束避免校准过程中磁干扰的影响,并且校准值为绝对矢量.经过硬磁校准,磁罗盘航向精度提高7倍.实验结果验证了该方法的有效性和实用性.
一种新的基于PCNN的自适应强去噪方法
刘远民, 秦世引
2009, 35(1): 108-112.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (405KB) 1218
摘要:
为了实现椒盐噪声的有效去除和图像细节及纹理的有效保留,提出了一种新的基于PCNN(Pulse Coupled Neural Network)的自适应滤波方法ADEN(Adapative Denosing method for Extreme Noise)-PCNN.该方法引入了像素受污染状态的甄别机制,只对被污染的像素进行降噪处理,保证了去噪的同时不损坏图像信息,实现了图像的细节和纹理的有效保留;为了确保图像质量,在面向图像降噪的PCNN神经网络阵列结构中引入了自组织机制,可以自动地估计噪声的强度信息并进行PCNN网络中神经元连接方式的自组织转换,此外引入了自适应机制,根据噪声强度的估计信息,自动进行滤波次数的优选,增强自适应能力.实验结果表明所提方法较常规方法和其他同类方法在去噪效果、保留图像细节方面展现出明显的优势.
一种光栅式双目立体视觉传感器光条匹配方法
谢光辉, 魏振忠, 刘 震, 张广军
2009, 35(1): 113-116.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (126KB) 1109
摘要:
光栅式双目立体视觉传感器的难点之一在于光条的准确匹配.基于编码方式的光条匹配方法往往需投射多幅图像,或限制最少可见光条数,更严重的是在被测对象深度变化较大时,常出现误匹配.为此,将光栅式双目立体视觉传感器看作两个已经过标定统一的光栅结构光视觉传感器,由这两个光栅结构光视觉传感器测得各光条中心点的三维坐标,并搜索光条中心点集之间距离最小且模型编号相同的光条即为匹配光条.实验表明该方法有效实现了光栅光条的准确匹配.
组合服务控制流测试
余 莹, 金茂忠, 黄 宁
2009, 35(1): 117-121.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (131KB) 1201
摘要:
结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.
新型的数控译码模块结构的研究与实现
王琦魁, 李 伟, 陈友东, 王田苗
2009, 35(1): 122-125.
摘要 参考文献 相关文章 资源附件 访问统计 icon浏览量 icon下载 (143KB) 1268
摘要:
为了能为用户快速开发出使用不同指令格式的数控系统译码模块,提出了一种新型的译码模块结构.将译码模块划分为输入数据子模块、内部数据接口子模块和功能函数子模块三个独立的子模块.在内部数据接口子模块中,把数控指令进行了形式化表达,实现了输入数据子模块与功能函数子模块的隔离,减弱了译码数据计算对于数控指令格式的依赖.分析了数控加工指令与特征的对应关系,利用基于特征的思想对数控加工指令进行了分类.利用这一分类将功能函数子模块的计算结果以数据集合的方式输出,促进了功能函数子模块的独立.结果表明这种结构中的各子模块具有良好的可重用性,提高了译码模块的开发效率.
常见问答

版权所有 © 《北京航空航天大学学报》编辑部

通讯地址：北京市海淀区学院路37号 《北京航空航天大学学报》编辑部　 邮编：100191 邮箱：jbuaa@buaa.edu.cn

本系统由 北京仁和汇智信息技术有限公司 开发    百度统计