面向模型检验的UML状态机语义

UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图.它丰富的表示符号提供了强大的描述机制,但也降低了其结构的模块性,提高了对其分析验证的难度.模型检验是自动检验有限状态并发系统的技术.通过模型检验SM描述的不同系统元素的行为是否满足某些性质,能尽早发现设计中的错误.为了将模型检验技术应用于SM的验证,本文用kripke结构定义SM的操作语义.与已有的SM语义定义不同,本文考虑到了SM中包含的不确定因素,用kripke结构描述系统所有可能的演化轨迹.通过检验从SM翻译得到的kripke结构达到模型检验SM的目的.     

奥宝科技推出新一代PCB—AOI系统

奥宝科技近日宣布推出其用于裸板印刷电路板生产的DiscoverylI自动化光学检测（AOI）系列产品。该DiscoveryII配备显著增强的功能，提高了AOI性能，在降低操作成本的同时提高了生产效率。它采用Orbotech以经业界验证的SIPTechnology，     

安培力定量分析实验仪的制作与使用

阐述了设计、制作安培力定量分析实验仪的过程,并通过对实验器材的实验操作与数据分析得出了理想的结论.     

面向健康问答社区的语义检索技术研究与分析

本文以Axiomatic检索模型为基础,利用Word2Vec在健康问答数据集上训练出的词向量来衡量词语语义相似度,来实现对问答数据的语义检索。此外,实验对比了不同的词义相似度计算方法在不同数据集下的检索效果,并分析了使用外部词典作为词义相似度计算方法时存在不足的原因,结果表明本文的检索方法能够有效地提升检索准确率。     

以IPC标准为导向成行业翘楚的纬创资通

6月6日IPC新任总裁兼CEO John Mitchell先生一行四人对纬创资通公司进行了访问,通过访问对纬创资通公司在应用IPC方面取得的成绩感到欣慰。问:纬创资通在生产中应用IPC标准在哪些方面受益?答:IPC-7711/21B标准对我们手工焊接操作起到了很好的指导作用,也让我们顺利通过很多客户的稽核。具体地说,对我们的电子元件的返工、修改和维修的流程提供了重要的指导作用;同时在清除     

—种基于WordNet语义相似度的改进算法

随着信息的快速发展，计算词语语义相似度在很多领域得到了广泛应用与研究，包括信息检索，信息抽取，词义排歧，基于实例的机器翻译，文本分类等等。本文在相关研究的基础上除了考虑路径外考虑了节点所在树中的深度和宽度，提出一种基于wordNet语义相似度的改进算法。     

基于语义技术的任务-设备映射机制设计

在分布式传感网络(DSN)上提供一个基于语义技术的任务-设备映射机制设计,有利于设备发现和任务匹配。其映射模式包括任务和设备匹配用的共享规范集合以及各个元素之间的关系。基于四元组,重用SSN,Onto Sensor,AWS等现有的面向领域的本体,扩展匹配机制中的元素,形成本体知识库。以森林火灾防测为目标领域,利用Jena API等工具进行了样机开发,实现了能力断言和设备匹配功能,并从逻辑功能、响应时间、主客观评测等方面对本体知识库和样机进行了参数评估,从参数结果验证了提出的匹配机制和框架结构的可行性。     

基于事件流的近似语义通信中间件技术研究

针对通信中间件在数据处理中出现的耦合问题,在原有时间、空间和控制流耦合的基础上,为了解决如今的异构网络数据和动态网络环境下所出现的事件流匹配延迟问题,引入近似语义因子,提出了一种基于事件流的近似语义匹配模型,该模型可有效解决语义耦合,加快匹配速度。仿真实验结果表明,该通信中间件处理模型可有效改善事件流匹配中的耦合问题,提高异构数据解析后事件流的匹配速度,减少事件流之间的中间状态的内存消耗,同时,具有良好的扩展性,可广泛应用于移动互联网和物联网中。     

Switchable Q-switched and laser operating mode-locked erbium-doped fiber in the L-band region

We demonstrate a switchable Q-switched and mode-locked erbium-doped fiber laser （EDFL） operating in the L-band region using the nonlinear polarization rotation effect. The switching operation is achieved by controlling intensity-dependent loss using a polarization controller. In Q-switching mode, the EDFL produces a pulse train with a repetition rate of 21.1 kHz, pulse width of 7.7 #s, and pulse energy of 13.6 nJ. The EDFL also generates a multi-wavelength comb with a very narrow and constant wavelength spacing of 0.045 nm and optical signal-to-noise ratio of at least l0 dB. During mode locking, the EDFL produces stretched pulses with 3-dB bandwidth of 26.2 nm, pulse width of 350 fs, repetition rate of 2.38 MHz, and pulse energy of 48.56 pJ.     

利用Pi演算实现对服务交互流程的设计

Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。