一个面向对象的需求规格说明语言——SEURSL

提出了一种从建模到实现的完整的面向对象开放方法，它以Ｃｏａｄ／Ｙｏｕｒｄｏｎ方法为基础并对它进行了改进，改进后的方法能够有效地描述系统的功能和行为；同时给出了支持这种方法的需求规格说明语言———ＳＥＵＲＳＬ的规范化定义。     

高校考试质量控制与试卷档案规范管理

随着经济社会的快速发展,人力资源市场对高素质人才的需求标准也越来越高。高等教育如何实现高素质人才目标的培养,使得高校毕业生在走向职场时能尽快展现职业岗位的胜任力、缩短人职匹配的磨合期,同样有了新的要求。高校提高人才培养质量的重要途径之一,就是加强考试质量的控制、规范试卷档案的管理。对于考试质量的控制主要体现在考试试题的质量、考试过程的监控以及考试试卷的评分和反馈信息的分析等方面;对于考试试卷档案的规范管理,已引起人们的高度关注,做到试卷档案的规范管理、更好地为教育教学改革服务,是人们针对试卷档案管理工作进行研究的新方向。     

高职教育人才结构中的规格需求分析

人才结构是一个动态发展的结构,新的人才结构必然要求新的人才规格与之相适应。通过对人才结构新格局的形成及其对高职教育人才规格的要求、高职教育人才规格的现状及原因的分析,提出应对人才结构新格局要求的高职教育人才规格举措。     

基坑监测相关规范比较

与基坑监测相关的国家规范及行业规程主要有三种,它们既有相同或相似的条文,也有差异显著的技术指标。通过对比研究,认为冶金部颁布的规范较为全面、详细;国家规范反映了更新的技术进展。     

Parametric Statistical Uncertainty Relations and Parametric Statistical Fundamental Equations

Multivariate parametric statistical uncertainty relations are proved to specify multivariate basic parametric statistical models. The relations are expressed by inequalities. They generally show that we cannot exactly determine simultaneously both a function of observation objects and a parametric statistical model in a compound parametric statistical system composed of observations and a model. As special cases of the relations, statistical fundamental equations are presented which are obtained as the conditions of attainment of the equality sign in the relations. Making use of the result, a generalized multivariate exponential family is derived as a family of minimum uncertainty distributions. In the final section, several multivariate distributions are derived as basic multivariate parametric statistical models.     

Multivariate Discrete Distributions with a Product-Type Dependence

A discrete multivariate probability distribution for dependent random variables, which contains the Poisson and Geometric conditionals distributions as particular cases, is characterized by means of conditional expectations of arbitrary one-to-one functions. Independence of the random variables is also characterized in terms of these conditional expectations. For certain exchangeable and partially exchangeable random variables with a joint distribution of this form it is shown that maximum likelihood estimates coincide with the simple method of moments estimates, suggesting that these models offer a pragmatic way to analyze certain dependent data.     

A complexity measure for families of binary sequences

In earlier papers finite pseudorandom binary sequences were studied, quantitative measures of pseudorandomness of them were introduced and studied, and large families of “good” pseudorandom sequences were constructed. In certain applications (cryptography) it is not enough to know that a family of “good” pseudorandom binary sequences is large, it is a more important property if it has a “rich”, “complex” structure. Correspondingly, the notion of “f-complexity” of a family of binary sequences is introduced. It is shown that the family of “good” pseudorandom binary sequences constructed earlier is also of high f-complexity. Finally, the cardinality of the smallest family achieving a prescibed f-complexity and multiplicity is estimated. This revised version was published online in August 2006 with corrections to the Cover Date.     

When is a hidden variable theory compatible with quantum mechanics?

This paper is devoted to a study of some of the basic conditions which have to be satisfied by a hidden variable theory in order that it can reproduce the quantum mechanical probabilities. Of course one such condition, which emerges from the important theorem of Bell, is that a hidden variable theory has to be non-local. It is shown that a hidden variable theory is also incompatible with the conventional interpretation of mixed states and the mixing operation in quantum theory. It is therefore concluded that, apart from being non-local, a hidden variable theory would also necessarily violate the usual assumption of quantum theory that the density operator provides an adequate characterization of any ensemble of systems, pure or mixed.     

On the Shadowing Property and Shadowable Point of Set-valued Dynamical Systems

In this article, the authors introduce the concept of shadowable points for set-valued dynamical systems, the pointwise version of the shadowing property, and prove that a set-valued dynamical system has the shadowing property iff every point in the phase space is shadowable; every chain transitive set-valued dynamical system has either the shadowing property or no shadowable points; and for a set-valued dynamical system there exists a shadowable point iff there exists a minimal shadowable point. In the end, it is proved that a set-valued dynamical system with the shadowing property is totally transitive iff it is mixing and iff it has the specification property.     

电子书包终端技术规范设计研究

随着信息技术的发展,电子书包已然成为数字化教育的一个热门应用研究领域.本文通过概念演变、关注度转变及教育应用发展三个层面重识电子书包,并聚焦于电子书包标准化工作之一——电子书包终端技术规范的设计.在调研国内外建设现状基础之上,关注用户使用习惯、教育应用安全、终端可靠性、普适设计等问题,从终端硬件、操作系统和标配教学功能三方面构建电子书包终端技术规范.最后,分别从生产厂商、电子书包相关产业和教育变革三个角度展望电子书包终端技术规范的建设意义.