Contemporary approaches to certification of measurement provision software

Contemporary approaches to the certification of measurement provision software are considered in domestic and overseas publications. Normative documentation is analyzed and a scheme is proposed for certification that takes account of the features of programs used for metrological purposes. __________ Translated from Izmeritel’naya Tekhnika, No. 5, pp. 65–68, May, 2007.     

一种新型微处理器功能验证

文中介绍一种新型微处理器的验证方法，并对相关的一些验证策略进行深入的讨论。     

浅谈机械化施工的组织管理与设备调配

结合公路机械化施工的意义和作用，介绍了施工机械调配的基本要求，阐述了机械设备的运行规律及其调配原则，提出了主导机械的调配方法及相关注意事项。     

Teaching-Material Design Center: An ontology-based system for customizing reusable e-materials

Use of electronic teaching materials (e-material) to support teaching is a trend. e-Material design is therefore an important issue. Currently, most e-material providers offer a package of solutions for different purposes. However, not all teachers and learners need everything from a single package. A preferable alternative is to find useful material from different packages and combine them for a particular course. Currently, most educators collect the material manually, which is time-consuming and may result in missed material. In this paper, we describe a system – the Teaching-Material Design Center, which follows the standard of Sharable Content Object Reference Model – to separate e-material for use as teaching templates and learning objects and to label the material with use of semantic metadata for searching. This system can find existing teaching templates and learning objects for e-material designers and provide a convenient environment for constructing customized e-material for different requirements. We describe the implementation and evaluation of the proposed system for a course. Our system is efficient in finding teaching templates and learning objects and shortening the e-material development process.     

Achievement of specificational information usage with true and false feedback in learning a visual relative-mass discrimination task.

Participants' usage of informational variables in learning visual relative-mass discrimination in collisions was tracked by means of PROBIT correlations. Four groups received feedback that was true or accorded with either of three nonspecificational cue variables. A majority in each group adopted the feedback, but several participants defied the false feedback. Unlike in previous research, the fit to data of the relative-mass invariant could not be bettered by post hoc linear combinations of the cues. Discriminability was lower in the use of the invariant. Analytic complexity was rejected as an explanation for discriminability differences. A "smart mechanism" for pickup of the relative-mass invariant was developed as an extension of G. Johansson's (1950/1994) vector model. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

3G中的QoS结构及无线资源分配策略

在3G（第3代移动通信系统）中，为了给不同类型的业务提供不同级别的端到端QoS，网络资源必须进行合理分配。QoS和资源分配是密不可分的，而无线资源分配显得尤为重要。文中提出了UMTS的QoS结构，分3部分对空中接口部分的QoS（即无线资源分配策略问题）进行了讨论：首先提出了一种RRA算法，接着讨论了W－CDMA和TD－CDMA系统的无线资源分配问题，最后讨论了下行链路及上行链路的呼叫允许控制（CAC）。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

一些有趣数列及其组合恒等式

研究了一些有趣数列的性质，同时给出了一些组合恒等式。     

Two-tier architecture for unconstrained handwritten character recognition

In this paper, we propose an approach that combines the unsupervised and supervised learning techniques for unconstrained handwritten numeral recognition. This approach uses the Kohonen self-organizing neural network for data classification in the first stage and the learning vector quantization (LVQ) model in the second stage to improve classification accuracy. The combined architecture performs better than the Kohonen self-organizing map alone. In the proposed approach, the collection of centroids at different phases of training plays a vital role in the performance of the recognition system. Four experiments have been conducted and experimental results show that the collection of centroids in the middle of the training gives high performance in terms of speed and accuracy. The systems developed also resolve the confusion between handwritten numerals.