基于OSEK/VDX操作系统的任务管理机制设计

在汽车电子仿真控制平台开发领域，通常需要遵循OSEK／VDX规范集，而该规范集的核心之一便是OSEK／VDX操作系统规范。要设计一个符合该规范的微实时操作系统，任务管理机制是保证其实时性的重要方面。该史提出一种符合OSEK／VDX操作系统规范的任务管理机制，以满足OSEK／VDX操作系统的需要。     

多主体系统时态认知规范的"On the Fly"模型检测算法研究

时态认知逻辑已被广泛应用于分布式系统和协议的规范描述，模型检测时态认知规范已成为一个新的研究领域，因此着重研讨时态认知规范的“On the Fly”模型检测算法．在“On the Fly”模型检测时态逻辑描述规范的基础上，根据自动机理论、深度优先方法和知识的语义，提出了“On the Fly”模型检测时态认知规范的算法，该算法在模型检测带有知识算子的时态规范时，在找到一个反例之前，往往只需构造系统的部分甚至小部分状态空间，从而避免了时态认知规范的模型检测中内存不足和状态爆炸等问题，实现了“On the Fly”模型检测时态认知规范，并且算法的复杂性是多项式时间的．最后，通过该方法在验证TMN密码协议中的应用来作为一个例子说明该方法的有效性．     

一类群组注册协议的设计及其BAN逻辑演绎

MIKEY是一种可应用于实时的、多媒体通信的群组注册协议的规范。该文分析了MIKEY规范中的密钥生成、分发机制，设计了一个符合MIKEY规范、基于公钥的群组注册协议，最后应用BAN逻辑分析了该协议的安全性。     

OAGIS集成规范的研究与应用

为解决制造企业中的应用集成问题，对国外的OAGIS集成规范进行了深入研究。介绍了该集成规范的研究背景和应用进展，洋细阐述了其核心内容，并从技术角度分析了其显著特点；在此基础上，应用集成规范中的先进技术和思想，研究并实现了基于制造资源优化配置的制造过程集成管理系统。通过实践工作，总结了OAGIS集成规范在制造企业集成中的应用和发展方向。     

武器系统软件开发规范简介及实例分析

本文介绍了我国军标《开口系统软件开发》的发布过程，以及开发规范的概念所针对的范围，并对该规范的主要内容作了简介。最后用一个实例说明贯彻该的重要性。     

非线性代数规范的直接实现技术

代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代数规范的转换过程，从该过程可自然是导出针对不同程序设计语言的转换系统，我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统。     

基于Linux on ITRON混血操作系统结构的研究

“Linux on ITRON”是一个正在研究的混血操作系统结构，该结构把Linux与符合ITRON规范的操作系统相结合。目的是有效地复用已经存在的Linux环境的软件，同时又能将系统在符合ITRON规范的操作系统移植。该文对此结构进行了评价，并针对该结构下Linux中断丢失问题对系统结构进行了改进，给出了新结构下解决该问题的实现方法。     

高效数据传输：RoCEv2

近日，Emulex联合Irffini Band行业协会（InfiniBand Trade Association，IBTA），共同宣布推出了增强RoCE（RDMAover Converged Ethenet）规范，该规范将被称为“RoCEv2”。RoCEv2在现有RoCE规范中添加的主要提升功能叫做可布线性（Routability），     

3G服务规范6月1日起实施：20秒内需可接入网络

6月1日，工业和信息化部发布的《第三代移动通信业务服务规范（试行）》（以下简称《规范》）将正式实施，该《规范》对3G通信服务的通信质量和服务质量提出了诸多量化标准。     

基于J2EE的结构设计规范验算系统

设计规范是结构设计的重要依据，全面掌握规范的设计思想，合理运用规范的设计条文可以帮助工程师准确、高效地完成设计任务。将设计规范与计算机技术相结合，融入到CAD系统，实现“规范程序化”是工程师的愿望。该文基于协同设计的思想，采用面向对象技术设计了基于J2EE平台的结构设计规范验算系统模型，实践证明该系统在一定程度上降低了结构设计数据处理的工作量，提高了设计效率，改善了设计质量。     

可执行规范技术

本文简要介绍了可执行规范技术。可执行规范在软件工程过程的早期就能发现错误，随着形式化规范研究的发展，它越来越受到重视。ＸＹＺ系统是唐稚松教授提出并领导实现的。该系统的核心是序列化时序逻辑语言（ＴＴＬ ＸＹＺ／Ｅ语言），该语言能在同一框架之中表示动态涵义（可执行命令）与静态语义（前后断言规范），并可混合在一程序中出现。用这种混合出现的程序，就能表示出由完全抽象的规范到可有效执行的程序之间平滑过渡的过     

天气雷达探测环境保护范围和障碍物限度自动测算

基于《气象探测环境保护规范天气雷达站》（GB31223-2014）（以下简称规范），介绍了天气雷达探测环境保护范围和障碍物限高限宽（简称限度）的相关定义和测算方法，并详细描述了天气雷达保护范围及障碍物限度自动化测算功能设计及操作流程，包括相关实用参数转换、地理距离测算等。表明测试所设计制作的自动化测算功能严格遵循了规范的测算方法，可迅速完成天气雷达探测环境保护范围及障碍物限度的精准测算任务，提升测算精度和效率，有效降低了规范应用的技术壁垒，为推广应用该规范提供技术支撑。     

OMG通告服务中事件过滤的实现

本文描述了一个满足OMG通告服务规范1．0的通告服务事件过滤功能的实现，说明了其设计原则。提出了实现方案。在满足规范要求的基础上，该实现力求结构简单，易于升级。     

清华OSEK车用嵌入式实时操作系统设计

OSEK规范是一个汽车电子开放式系统及其接口的软件规范，MPC555是Motorola公司开发的高性能车用微控制器。结合这两者的技术特点，提出了在MPC555硬件平台上实现符合OSEK规范的车用嵌入式实时操作系统的设计思想，介绍了操作系统实现的集成交叉开发环境，详细分析了该操作系统的组成与实现，并对其实时性和存储要求进行了评估。     

每月浏览

“销售点终端通用规范”定稿会议在京召开 （本刊讯）经过最后一轮对于“销售点终端通用规范”内容的补充与完善，日前，POS标准起草组在京召开了有关该标准的定稿会议。     

NDIS驱动程序MSI安装包的研究与实现

通过对NDIS驱动程序和Windows安装服务的研究，提出了实现驱动程序MSI安装包的方法。介绍了Windows安装服务、网络驱动程序接口规范及该规范支持的驱动程序，重点阐述了NDIS驱动程序安装的关键技术及MSI安装包的实现。     

节能的双核电源多彩超霸DLP-410A

为了更好地迎合Conroe平台，Intel在ATX12V 2．0规范的基础上推出了更加节能的Arx12V2．2电源规范，该规范沿用了2．0规范中的双路12V输出设计，加强了3．3V与5V的输出能力、削弱了12V的持续供电能力。下面，我们来看看多彩科技最近推出了一款ATX12V2．2版本的电源新品——DLP-410A。     

Java ME的Web服务规范的深入分析

介绍了Java ME的Web服务规范，比较了该规范定义的可选包与kXML和kSQAJP之间的不同，指出了Java ME的JAX-RPC与Java SE／EE平台上的JAX-RPC1．1之间的差异，并给出了这些差异给Java砸程序设计者带来的影响，为开发者提供了一些有价值的参考。     

Mr.one page电脑接口的配对游戏

2001年，微软公司为欲申请WinXP，硬件兼容标识的PC硬件制造商提供了一整套的规范指导和建议。这套规范指导和建议被称为PC2002硬件平台规范，并被沿用至今，其中，它对板卡接口的颜色与数量都做了规定，因此我们可以通过接口的颜色来判断该接口的功能，这对于面对主机背后林林总总的接口而不知所措的初学者非常有用。     

基于SOAP的细粒度访问控制模型

本文提出了一种符合SOAP消息的XML框架结构的安全规范。该规范利用SOAP的Header部分和XML技术，实现了对SOAP消息的XML元素和属性层次上的细粒度访问控制，减少了由于SOAP没有定义标准的访问控制安全规范而可能给应用带来的安全漏洞，一定程度上保证了基于SOAP的分布式网络应用系统的安全性和可靠性。