一种恢复状态模式的状态转换图的方法

现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。     

Gdel语言编译时类型处理技术研究

Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。     

基于语义模式的英语动词汉译

英语动词正确汉译是机器翻译的难点.为此,提出一种基于动词语义模式库、固定句式库和变量库的英语动词汉译算法.介绍语义模式的提取方法,构建常用动词的语义模式库、固定句式库和变量库,归纳动词语义模式的3种结构形式:V语义模式,VO相邻语义模式和VO非相邻语义模式.动词语义模式库由上述3种结构形式对应的模式库构成.实验结果表明...     

新型云计算服务器的设计与实现

采用传统服务器组成云计算数据中心存在体积大、功耗高、效能低等问题。为此,设计并实现一种新型云计算服务器。对该服务器的关键技术进行阐述,包括云处理器、3D-torus网络拓扑结构、负载均衡策略、硬件虚拟化等技术。与传统服务器相比,该新型云计算服务器具有体积较小、功耗低等特点。     

On properties not inherited by monoids from their Schützenberger groups

We give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.     

M-estimator with asymmetric influence function for estimating the Burr type III parameters with outliers

The Burr type III distribution allows for a wider region for the skewness and kurtosis plane, which covers several distributions including the log-logistic, and the Weibull and Burr type XII distributions. However, outliers may occur in the data set. The robust regression method such as an M-estimator with symmetric influence function has been successfully used to diminish the effect of outliers on statistical inference. However, when the data distribution is asymmetric, these methods yield biased estimators. We present an M-estimator with asymmetric influence function (AM-estimator) based on the quantile function of the Burr type III distribution to estimate the parameters for complete data with outliers. The simulation results show that the M-estimator with asymmetric influence function generally outperforms the maximum likelihood and traditional M-estimator methods in terms of the bias and root mean square errors. One real example is used to demonstrate the performance of our proposed method.     

Further results of recursive evaluation for compound distribution with the severity distribution of mixed type

Yang et al. [J.P. Yang, S.H. Cheng, Q. Wu, Recursive equations for compound distribution with the severity distribution of the mixed type, Science in China Series A 48 (2005) 594-609] investigated a recursive procedure for a kind of compound distributions with the number of claims belonging to (a,b)-family and the severity distribution of the mixed type. In this paper, we extend their results by assuming that the claim number belongs to a larger class. As applications, the excess-of-loss reinsurance treaty is discussed and concrete examples are considered in some detail.     

Halpern-type iterations for strongly relatively nonexpansive mappings in Banach spaces

In this paper, we note that the main convergence theorem in Zhang et al. (2011) [21] is incorrect and we prove a correction. We also modify Halpern’s iteration for finding a fixed point of a strongly relatively nonexpansive mapping in a Banach space. Consequently, two strong convergence theorems for a relatively nonexpansive mapping and for a mapping of firmly nonexpansive type are deduced. Using the concept of duality theorems, we obtain analogue results for strongly generalized nonexpansive mappings and for mappings of firmly generalized nonexpansive type. In addition, we study two strong convergence theorems concerning two types of resolvents of a maximal monotone operator in a Banach space.     

Evanescent wave sensor based on permanently bent single mode optical fiber

A novel refractive index sensing scheme based on evanescent wave interaction through locally and permanently bent single mode optical fibers is proposed. Local and permanent bends in single mode optical fibers enable significant power coupling between core and cladding modes. Order and number of excited cladding modes depend on bend features and determine the field profile at the output of the bent region. This in turn constitutes a simple mechanism to tailor the field distribution in single mode optical fibers useful for spatial light modulation. Moreover, since guided cladding modes are strongly influenced by the surrounding refractive index (SRI), the power transmitted at the output of the bent region as well as its dependence on the optical wavelength are strongly sensitive to the SRI opening new scenarios in sensing applications.     

基于序列分析的僵尸网络检测模型

现有的IRC botnet检测技术不适合控制命令交互不频繁的botnet检测。为了实现小规模隐秘僵尸网络的检测,提出了一种基于序列分析的僵尸网络检测模型,对现有的被动检测技术进行补充。讨论了几种探测技术和检测算法,根据客户端响应类型选择检测算法,分析了平均检测轮数,只须观察少量的命令控制交互,能够对单个或多个IRC僵尸主机进行检测。实验结果表明,在保证误报率和漏报率的前提下该方法能在预定检测轮数内完成判定。