A FRAMEWORK FOR REAL-VALUED CIPHER SYSTEMS

Most cipher systems designed thus far are binary-valued or integer-valued cipher systems. Their security relies on the assumption that one-way functions exist. Though the existence of one-way functions has not been proved yet, most cryptographic researchers believe that one-way functions exist. In addition, many candidates for one-way functions have been proposed. Therefore, the key step for developing real-valued cipher systems is to define real one-way functions and to propose candidates for them. In this paper, based on computational complexity theory over the real field, we give two definitions of real one-way functions; one is for digital one-way functions and the other is for general one-way functions. Candidates for these two classes of one-way functions are also proposed. Moreover, we present two examples to demonstrate that the candidates for both digital one-way functions and general one-way functions can be applied to construct secure real-valued cipher systems.     

Systematical Scrutiny into Special Relativity

This paper examines some basic propositions of the special relativity theory. A Gedanken experiment is proposed to disprove Einstein's light speed invariance; the 4-dimension invariant seems invalid because it is impossible for the time and spatial coordinate variables to be orthogonal, because of their presumed cross-correlations; and the Lorentz transformation is therefore bounded to have an intrinsic arbitrariness. In addition, the well-known topic of the "relativity of simultaneity" turns out to be a false proposition, because of at least one logical error made by Einstein that violates the two postulates of his own theory. Einstein's theory is flooded with vital errors and flaws, and must be reexamined thoroughly as soon as possible.     

The Fundamental Definitions in Radar Measurement Principle and Theory of Space and Time

Fundamental definitions of distance and velocity in radar measurement principle are examined and revised from strict theoretical point of view. Synchronization scheme - for clocks in uniform, translatory relative motion is introduced as theoretical foundation for GPS and GLONASS type navigation and positioning technology. Traditional definitions of two-way radar measurement, based on arithmetic mean vlaue concept, turn out to be special cases of revised definitions for one-way radar measurement, based on geometric mean concept, derived from synchronization of moving clocks in accordance with the principle of relativity. The essential physical meaning of Lorentz transformation is interpreted in terms of radar measured parameters. Invariance or absoluteness of four dimensional interval turns out to be invariance or absoluteness of geometric mean time interval. The Lorentz factor turns out to be ratio of geometric mean and arithmetic mean time intervals in terms of radar measured parameters. Theoretical re     

ON ACYCLIC AND CYCLIC HYPERGRAPHS

So far, the acyclic hypergraph has two different definitions. One is based on the cyclomatic number of the hypergraph, whereas the other arises from the acyclic schema of the relational database in the computer science. In this paper, it is first proved that these two definitions coincide with each other completely. Then we prove that a hypergraph H is not acyclic, or cyclic, if and only if it contains a special partial hypergraph named hypercircuit. In addition, we show that H has l(H) different hypercircuits, where l(H) is a parameter used to decide whether H is acyclic or cyclic.     

Petri网的分享合成操作

通过引入Fork算子，建立Petri网的一种新的合成操作一分享合成，分享合成探作与传统的共享合成操作相比更适合于描述信息系统的建模。在分享合成时，子网中任何与分享库所无关的变迁序列在合成后保持不变，分享合成对于子网内由分享库所引发的变迁序列也保持不变。分享合成实际上增加了分享库所引发变迁序列发生的机会，使得到达输出集的机会增加。最后介绍了Petri网分享合成操作在信息系统安全管理中的应用。     

二维最大散度差图像投影鉴别分析

提出了一种新的二维散度差图像投影鉴别分析方法。该方法利用类间离散度与类内离散度之差作为鉴别准则，从根本上避免了传统的Fisher线性鉴别分析所遇到的小样本问题时。所提出的方法是直接基于图像矩阵的，与以往的基于图像向量的鉴别方法相比，它的突出优点是大大提高了特征抽取的速度。在ORL人脸数据库和AR标准人脸库上的仿真试验结果表明，所提出的方法不仅在识别性能上优于传统的散度差鉴别分析，特征抽取的速度有了较大幅度的提高。     

基于曲波变换的自适应图像去噪算法

曲波变换是一种新的多尺度变换理论,具有各向异性的特征,可以很好地逼近含线奇异的高维函数。利用曲波变换和经验贝叶斯估计的方法,提出一种新的自适应图像去噪方法,在曲波分解的基础上,由贝叶斯决策理论方法来导出估计法则,从而获得贝叶斯估计值。实验结果表明,与其他几种常用的去噪方法相比,本方法去噪后,图像获得较好的视觉效果,同时客观评价指标明显改进,在较大噪声的情况下更能显示出其优势。     

Population bases and statistical provision: towards a more flexible future?

In an increasingly complex and mobile society, there is a need for population estimates to be produced on a more flexible basis. Different uses of population data may require information to be output on different population bases, such as where people usually live ('usual residence') or where they are on a particular day ('population present'). This article explores many of the issues associated with defining 'the population'. Following consultation with data users, it outlines recommended population definitions that could facilitate a more flexible approach. Comparisons are made between the output bases produced from the 2001 Census and the more adaptable outputs potentially available in future if the recommended definitions were used.     

双红外传感器模糊序贯航迹关联算法与仿真

航迹关联是多传感器多目标数据融合系统中的重要部分。本文针对双波段红外传感器的特点和目标航迹存在的连续性，根据影响航迹关联的主要因素和相互关系，提出了基于序贯检测思想的两种整体相似度关联定义和粗、精相关的模糊航迹关联策略，并提出针对未关联航迹的意见一致性决策方法确定航迹真实性。仿真结果表明，在目标密集、噪声较多、交叉分岔航迹较多的情况下，该算法性能良好，稳定，运算速度明显快于传统的统计检验方法。     

A New Discriminating Experiment on the Invariance Hypothesis of Light Speed

IMRODUCTIONThoughthetheoryofspecialrelativityhasalreadybecomethebasisofmodernphysics,experimentstoprovethistheoryhaveneverceased.Menhavenevercarriedoutsomanyexperimentstoverifyanyothertheoryinthehistoryofphysics.Thisonlygoestoprovethatscientistsstillhavedoubtsconerningthebasisofthistheory,andsuchdoubtsarecentredaroundthehyPOthesisoftheinvarianceofspeedoflight.Especiallyaftermenhavediscoveredtheabsoluteframegdefinedby3KCosmicBackgroundRadiationthroughexperiments,itappearstobemorenecessar…     

Piecewise linear recursive convolution FDTD method for magnetized plasmas

1 .INTRODUCTIONThe finite-different ti me-domain(FDTD) methodhas been widely used to si mulate the transient so-lutions of electromagnetic wave propagation in va-rious mediaincludingisotropic material ,anisotrop-ic material , dispersive media , and ti me-varyingmedia . Over the past decade years , there havebeen numerous investigations of FDTD dispersivemedia formulations . These include the recursiveconvolution (RC) methods[1 ~5],the auxiliary dif-ferential equation (ADE) methods[6 …     

磁浮系统多控制器动态解耦特性仿真研究

通过建立带有多个悬浮控制器的高速磁悬浮列车系统模型并对其进行动态响应分析，研究多个串级PID控制器协同工作条件下弹性悬浮架的动态解耦性能是否满足系统稳定要求。建立了复杂悬浮架有限元模型，利用模态综合动力凝聚超单元方法生成较低维数的悬浮架动力学模型。离线设计单个串级PID控制算法并给出了稳定参数选择方法，并由此建立多控制器磁悬浮耦合系统模型。使用四阶龙格一库塔算法对系统模型进行仿真计算，绘制了各个悬浮控制器先后悬浮以及悬浮间隙谐波干扰两种情况下各控制器的悬浮间隙动态响应曲线。结果证明悬浮架具有一定的动态解耦能力，但是只能保证鲁棒性较强的单控制器参数能够直接应用于多控制器协同工况。     

具有回取速度的"斗链"生产线研究

“斗链(bucket brigades)”是一种具有广泛实用背景的自平衡式生产线组织形式．已经证明，在理想情况下，通过合理组织可以最大地提高生产效率．然而，实际情况不能不考虑回取速度．论文研究了回取速度对“斗链”生产线组织形式的影响，分析了回取速度趋向无穷时的特征，证明了当回取速度足够大时，工人最终交接位置趋近于理想平衡点．数值仿真验证了上述结论，同时也表明当回取速度小到一定程度时，应该考虑它对工人最终任务交接位置的影响。     

Consensus of Flocks under M-Nearest-Neighbor Rules

This paper investigates a class of flocks with an M-nearest-neighbor rule,where each agent’s neighbors are determined according to M nearest agents with M being a given integer,rather than all the agents within a fixed metric distance as in the well-known Vicsek’s model.Such a neighbor rule has been validated by biologists through experiments and the authors will prove that,similar to the Vicsek’s model,such a new neighbor rule can also achieve consensus under some conditions imposed only on the system’s speed and the number M,n,without resorting to any priori connectivity assumptions on the trajectory of the system.In particular,the authors will prove that if the number M is proportional to the population size n,then for any speed v,the system will achieve consensus with large probability if the population size is large enough.     

Three Levels of Understanding of Special Relativity

1.IMRODUCTIONThefirstcompleteformulation(henceofunderstanding)ofspecialrelativity(SR)wasduetoEinsteinwhoPOstulatedtheinvarianceoflightspeedinvacuo.Thisassumptionappearedhighlynonintuitive.Actuallyitseemedabsurdthatafterhavingmeasuredthespeedofthelightemittedbyasource,oneshouldmeasurethesamevaluewhenapproaching(ordrivingawayfrom)thesamesourceoflight.ItwasthegreatmeritofMansouriandSexl[l]tohaveshownthatthelightspeedinagivendirectionisindependentofthereferencesystemSprovidedtheclocksofSbe…     

基于曲面纹理映射的图像对象阴影快速生成方法

在虚拟环境中，对象阴影的轮廓与在光源位置对对象的观察视图相同。通过对图像对象的视图载体进行网格化分割，对每个网格点基于光线跟踪算法计算投影点，基于光源位置计算对象阴影轮廓，从而提出了一种三维地形场景中基于曲面纹理映射的图像对象阴影快速生成方法，并对算法的性能进行了分析。实验表明，在动态光照条件下，该方法在增强对象真实感的同时，能够获得较为理想的场景渲染实时性。     

基于支持向量机的空中目标大类别分类

针对已有空中目标识别方法存在的经验风险大、识别率低等不足,依据空中目标的分类原则和纠错码设计原则,设计了针对该问题的纠错码,并训练了码位分类器,最后给出了基于支持向量机的空中目标大类别分类算法。该方法采用纠错编码支持向量机的多类分类技术,降低了经验风险,能对误差进行自动修正,有效地提高了识别率和识别速度。最后给出了一个算例,结果证实了该算法的有效性,并给出了与同类算法的比较结果。     

视频监视中的运动目标跟踪算法

提出了一种新的运动目标跟踪算法。通过预测运动目标下一时刻的位置以及缩小目标搜索范围来提高跟踪速度。该算法使用运动目标加速度运动位移方程预测下一时刻目标可能出现的位置,使用预测位置误差方程估计运动目标搜索范围,并使用IIR滤波器对目标运动速度、加速度等参数自适应地修正。实验证明,该算法即使当运动目标做加速运动时,也可准确地预测运动目标的位置,缩小目标搜索范围,进而提高目标跟踪速度。     

基于GA-AHMM的联机手绘图形识别技术

提出了一种遗传算法(geneticalgorithm,GA)和自适应隐马尔科夫模型(hiddenMarkwmodel,AHMM)混合的联机手绘图形识别方法。由于隐马尔科夫模型(HMM)的训练本质上是一种梯度下降的优化方法,算法易陷入局部最优,影响了其应用。为此,采用GA训练HMM模型参数,并给出了GA和HMM的两种混合训练方式:前端GA HMM模型和内嵌式GA HMM模型,GA算法能随机地调整HMM模型训练的初始值,使HMM跳出局部最优,较好地克服了HMM训练容易陷入局部最优的问题。另外,采用带有反馈环节的闭环AHMM代替传统的开环前向HMM模型对手绘图形识别,改善了HMM的自适应能力,显著提高了对图形的识别率和识别速度。试验结果证明了方法的有效性。