嵌入式芯核测试标准IEEE Std 1500综述

介绍了IEEE 1500标准制定的历程和背景、SoC测试面临的重大挑战及该标准所要解决的问题、IEEE 1500标准的基本结构和使用方法,最后对该标准的未来提出展望.     

New software-quality metrics methodology standard fills measurementneed

The IEEE 1061, IEEE standard for a software-quality metrics methodology, which is the first IEEE-issued standard that deals with quality metrics, is discussed. The philosophy behind the standard, the scope of the standard, and the standard's intended audience are described. Several aspects of the standard, including the methodology of metrics and validity criteria, are reviewed     

基于BSP并行计算模型的并行微粒群算法

在对标准微粒群算法分析的基础上,将它与BSP并行计算模型相结合,设计并实现了一种基于BSP并行计算模型的并行微粒群算法.这种基于BSP并行计算模型的并行微粒群算法改变了标准微粒群算法的结构,提高了算法求解效率.实验结果表明,该并行算法的性能比标准微粒群算法有了很大的提高.     

仪用标准直流信号源设计与实现

针对我国工业自动化仪表行业普遍应用的各种信号输出制的仪表,设计出仪用标准直流信号源。它可以为各种信号制仪表的校对提供标准信号源。本仪用标准直流信号源具有输出精度高、操作简便、成本低等优点,有较高的应用价值。     

A strategy for improving safety related software engineeringstandards

There are many standards which are relevant for building safety- or mission-critical software systems. An effective standard is one that should help developers, assessors and users of such systems. For developers, the standard should help them build the system cost-effectively, and it should be clear what is required in order to conform to the standard. For assessors, it should be possible to objectively determine compliance to the standard. Users, and society at large, should have some assurance that a system developed to the standard has quantified risks and benefits. Unfortunately, the existing standards do not adequately fulfil any of these varied requirements. We explain why standards are the way they are, and then provide a strategy for improving them. Our approach is to evaluate standards on a number of key criteria that enable us to interpret the standard, identify its scope and check the ease with which it can be applied and checked. We also need to demonstrate that the use of a standard is likely either to deliver reliable and safe systems at an acceptable cost or to help predict reliability and safety accurately. Throughout the paper, we examine, by way of example, a specific standard for safety-critical systems (namely IEC 1508) and show how it can be improved by applying our strategy     

Support Vector Machines for Classification in Nonstandard Situations

The majority of classification algorithms are developed for the standard situation in which it is assumed that the examples in the training set come from the same distribution as that of the target population, and that the cost of misclassification into different classes are the same. However, these assumptions are often violated in real world settings. For some classification methods, this can often be taken care of simply with a change of threshold; for others, additional effort is required. In this paper, we explain why the standard support vector machine is not suitable for the nonstandard situation, and introduce a simple procedure for adapting the support vector machine methodology to the nonstandard situation. Theoretical justification for the procedure is provided. Simulation study illustrates that the modified support vector machine significantly improves upon the standard support vector machine in the nonstandard situation. The computational load of the proposed procedure is the same as that of the standard support vector machine. The procedure reduces to the standard support vector machine in the standard situation.     

The cooperative effect between technology standardization and industrial technology innovation based on Newtonian mechanics

Technology standard and technology innovation are the core factors affecting market competition. Technology standardization plays an important role in promoting competitive advantages and improving industrial innovation system. It is the key that helps to build standard systems and making industrial policy. Standards have played an important role in the evolution of information and communication technology. By analyzing the synergistic mechanism and exterior factors, this paper proposes a new conceptual model consisted of a relative motion model of technology standard and technology innovation, and a volatility model of technology standardization and industrial technology innovation. Based on the analysis, this paper argues that high quality technology innovation can promote technology standard and high-level technology standard that is widely implemented can boost technology innovation. The analysis also shows that there exist cooperative effects between technology standardization and industrial technology innovation.     

基于局部标准匹配结果的本体匹配技术

针对已有的基于进化算法的本体匹配技术要求事先提供完整的标准匹配结果的缺陷,提出一种基于局部标准匹配结果的本体匹配技术．首先提出通过本体概念聚类算法以构建局部标准匹配结果,并在此基础上建立基于局部标准匹配结果的本体匹配问题的多目标优化模型;然后设计一种基于局部标准匹配结果的MOEA/D算法;最后,采用2012年的本体匹配评价竞赛的测试数据集进行实验,实验结果表明所提出的方法是有效的．     

AVS标准综述

介绍AVS标准,包括针对高分辨率和高码率应用的AVS1-P2、针对低分辨率和低码率应用的AVS1-P7。描述该标准采用的视频编码工具集,将其与同时期的国际标准H.264/AVC进行比较。实验结果表明,AVS标准可以获得与H.264/AVC标准相当的编码性能,且实现复杂度更低。     

Comparison with a Standard via All-Pairwise Comparisons

We develop two sequential procedures to compare a finite number of designs with respect to a single standard. The goal is to identify a good design, and ensure that the standard is chosen when other alternatives are not better than the standard. We give preference to the standard since there are costs and time involved when replacing the standard. These procedures can be used when the expected performance of the standard is known or unknown, when variances across designs are unequal, and with the variance reduction technique of common random numbers. An experimental performance evaluation demonstrates the validity and efficiency of these sequential procedures.     

一种新的H.264/AVC双螺旋FMO模式

灵活宏块排序FMO（Flexible Macroblock Ordering）是H.264/AVC标准提出的一项非常有效的容错机制,其中包括六种标准的FMO方式,其针对不同的视频序列以及信道特点各有优劣。通过仿真分析了标准中六种FMO方式的特点,提出了一种新的双螺旋FMO方式。仿真结果表明该方式在一定的编码码率条件下能取得更好的信道传输适应性,且容错效果优于大多数标准的FMO方式。     

正规表达式与恰当终结的标准Petri网

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网，可以证明恰当终结的标准Petri网产生的语言是正规语言，反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算“ ”、选择(并)运算“∪”、kleene闭包运算“*”、并行运算“//”的性质，给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。     

Best business practices for standards group

In highly competitive industries such as computing and communications, standards serve many purposes: They ensure equal access to primary technology, increase competition, help grow markets, and spark innovation. To guarantee fairness and accessibility, the originators of new standards often form trade associations to manage the technology and oversee the work of developing future technologies. The standard of good practices for association management companies (ANSI/IAAMC A100.1-2002) is the basis of a new accreditation program sponsored by the International Association of Association Management Companies. A new standard raises the bar for association management companies. After examining various methods, it determined that creating an American National Standard was the best approach because 1) ANSI procedures ensure that the most impartial processes are used to create the standard and that no small group of interested parties dominates the standard; and 2) given ANSI's worldwide recognition, there is a higher likelihood that the standard is accepted as an independent measure of high quality.     

基于JPEG标准静止图像压缩算法的分析与研究

介绍了JPEG标准、JPEG2000标准及其相比JPEG标准的改进和优点。通过对JPEG标准压缩流程及算法的分析与研究,得到JPEG标准压缩的基本原理：利用人类的视觉特点对亮度分量的精度敏感,而对色度分量的精度迟钝,将RGB颜色模式转换为YCrCb颜色模式;基于视觉特点来抑制高频部分使用离散余弦变换和量化来实现;应用完全可逆的熵编码即霍夫曼编码使比特序列更小。     

Standard for terminology and test methods for analog-to-digital converters: a case study of utilization of IEEE-STD-1241

This paper is intended to provide an introduction to IEEE-STD-1241 [IEEE 1241, IEEE draft standard for terminology and test methods for analog-to-digital converters], a draft standard for analog-to-digital converters (ADCs). This standard has been generated by the IEEE TC-10 working group and is intended to establish common terms, definitions, and test methods for ADCs. The TC-10 ADC Subcommittee is coordinating with the IEC to insure that these two organizations can support one international standard for ADCs. In this paper, the basic contents of the standard are described followed by examples of applications of the test methods from the standard. Testing procedures and results are included for specific ADCs used in video and in telecommunications. These practical examples are intended to emphasize the value of having an accepted standard for terms and test methods associated with testing and specifying ADCs.     

可信网络连接的思想及技术

TNC为TCG所提出的关于可信网络的主规范。在可信平台的基础上,利用该规范,可极大的提高整个网络系统的安全性及可信性。本文分析了该规范的结构及思想,并指出了其具体实施时的一些安全考虑。     

标准模型下基于身份的多代理多签名方案

现有基于身份的多代理多签名方案要么缺乏形式化的安全证明,要么在随机预言模型下可证明安全。但是随机预言模型依赖现实世界无法实现的随机预言机,而标准模型不采用随机预言机,能实现完全透明的安全模拟。以Paterson的签名机制为基础,该文提出一种新的基于身份多代理多签名方案,并且结合（多）代理（多）签名敌手模型和Paterson定义的标准安全模型,定义了基于身份多代理多签名的标准模型。在此模型下,新方案的安全性被规约为多项式时间敌手求解计算Diffie-Hellman问题,实现了可证明安全性。     

The antitrust ghost in the standard-setting machine [IEEE standards and RAND licensing]

It is the policy of the IEEE and many other standard-setting organizations to request that any patented technology incorporated into a technical standard be made available to all users of the standard on reasonable and nondiscriminatory (RAND) terms. By the same token, such organizations typically require that participants engaged in formulating a standard disclose whether the proposed standard's use would infringe patents that their companies own. They must also disclose whether such patents will be subject to RAND licensing.     

面向创新开发的产品标准化信息挖掘及其网络化平台研究

针对面向创新开发的产品标准化服务网络化平台,提出了网络化集成模式及实施平台系统的基本功能模块及其建模技术,着重分析了标准化信息的挖掘技术以及软件建模方法和流程,提出了解决系统集成所需的信息集成、功能集成和技术集成,采用知识获取与知识挖掘技术进行产品信息的标准化和简约化管理,并运用项目管理和工作流流程来组织产品标准化服务和管理;开发了原型系统平台来管理产品标准化知识并进一步支持产品创新开发。     

一类标准矩形网络节点间最短路径的求解方法

针对常见的交通道路最短路径问题, 提出标准矩形网络的概念, 分析其节点间最短路径的性质, 并在此基础上给出一种新颖的最短路径求解算法. 该算法利用标准矩形网络的几何性质, 简化了搜索方向和步长的判断, 同时指出常见的交通道路网络一般均可以整体或部分化为标准矩形网络. 与常见的求取最短路径的Dijkstra、Floyd、ACO、A* 等算法进行仿真实验比较, 实验结果表明, 对于大规模标准矩形道路网络, 所提出算法具有更好的寻优精度、稳定性和寻优速度.