基于服务分组和调用轨迹的Web服务组合验证方案

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。     

74AUP1G／74LVC1G：单门逻辑器件

Diodes公司推出两款采用了较小封装形式DFN0808的单门逻辑器件系列74AUP1G及74LVClG。两款微型逻辑器件的占位面积为0．8mm×0．8mm，离板高度则是0．35mm，能够为手机和平板电脑等便携式消费性电子产品大幅节省空间及减少重量。     

迄今最精确时钟:50亿年误差不到一秒

正美国研制出一种精准异常的原子钟,它在比地球年龄还长的50亿年间既不会慢,也不会快,哪怕一秒钟。这个"锶晶格钟"的精准度比以前的世界纪录保持者——美国国家标准与技术研究所(NIST)的量子逻辑时钟高50%。它的稳定性也令人难以置信,每一次嘀嗒计时都与所有其他时间刻度相符。这个时钟是由来自美     

科技论文的结构

<正>一篇科技论文的结构形式应在层次、段落、开头、结尾、过渡和前后照应诸方面体现出结构的严密、思路的清晰;其内容应有引言、正文内容和结束语,体现出体系的完整性。科技论文应注意立论与谋篇:立论就是确立总论点(即主题)和分论点;谋篇就是安排好结构,组织好材料,并合理利用逻辑方法,通过论据来论证分论点和总论点,最后得出客观的结论。科技论文的结构可归纳为:提出命题;阐明研究方法;得出研究结果;给出明确结论。     

万网:用互联网的方式玩通信!

“互联网的商业逻辑和传统商业逻辑最大的区别在于,传统商业考虑的是羊毛出在羊身上,而互联网的商业逻辑是羊毛出在不同的、各有需求的地方.”     

回归传统：当代数字化建筑几何建构策略研究

当复杂形式的建筑设计日益普遍,几何学对于建筑师理解复杂建筑形体的操作实质变得前所未有的重要,并以此催发几何学与建筑学关联性的重新审视。本文从梳理两者关系的演变历程出发,分析了当代数字化建筑实践的4种几何建构策略——几何生形、几何转化、协同模拟和几何重构,并结合具体案例研究,指出面向建筑本体需求的数字化几何思维是建筑学传统的回归,可以为数字化建筑设计提供更为合理的认识和参考。     

基于FPGA的Intel-8080总线实现研究

高速信号处理系统基本围绕DSP与FPGA设计实现解决方案,FPGA具有并行速度高、处理能力强、扩展性强、可用于ASIC设计的优势,然而FPGA硬件解决方案在实现低速外设、用户界面、用户交互方面相较于嵌入式软件解决方案开发周期长、开发人员少、公共开发资源少。因此,基于FPGA与MCU的联合解决方案能有效集合上述优点,具有良好的应用前景,但是需要一种FPGA与MCU的稳定、通用的通信接口设计。文章提出的MCS-8051系列单片机是广泛使用的MCU平台,内部集成有Intel-8080总线控制器,故FPGA可以设计一种兼容Intel-8080总线协议的通信接口以实现MCU与FPGA的通信。