Researching the Link Between the Geometric and Rènyi Discord for Special Canonical Initial States Based on Neural Network Method

Quantum correlation which is different to the entanglement and classical correlation plays important role in quantum information field. In our setup, neural network method is adopted to simulate the link between the Rènyi discord (α = 2) and the geometric discord (Bures distance) for special canonical initial states in order to show the consistency of physical results for different quantification methods. Our results are useful for studying the differences and commonalities of different quantizing methods of quantum correlation.     

Round-optimal zero-knowledge proofs of knowledge for NP

It is well known that all the known black-box zero-knowledge proofs of knowledge for NP are nonconstant-round.Whether there exit constant-round black-box zero-knowledge proofs of knowledge for all NP languages under certain standard assumptions is an open problem.This paper focuses on the problem and gives a positive answer by presenting two constructions of constant-round(black-box) zero-knowledge proofs of knowledge for the HC(hamiltonian cycle) problem.By the recent result of Katz,our second construction which relies on the existence of claw-free functions has optimal round complexity(5-round) assuming the polynomial hierarchy does not collapse.     

通用管理软件权限管理系统的开发研究

探讨了各种管理软件中权限管理功能的各种应用情况,有针对性的设计权限管理系统,提出了对＂组＂进行操作的概念,将权限一致的人员编入同一组,然后对该组进行权限分配,满足了业务系统中的各种功能权限设定。技术方面：web端借助jquery easyUI作为展现端,服务器端采用spring＋hibernate的解决方案。关键词：权限、组管理、业务处理     

Jboss Seam和JBPM在软件项目管理系统中的应用研究

通过研究J2EE新应用框架——JbossSeam,发现Jboss Seam和JBPM工作流技术深度整合,初步实现了二者在实际软件项目中的应用。首先介绍了什么是JBPM,概述了什么是Jboss Seam。通过比较研究传统软件项目管理系统的不足．浅谈并分析了JbossSeam和JBPM在软件项目管理系统中的应用优势。目的在于将JBPM的优势应用到软件开发的办公自动化管理当中,结合项目管理的特点,研究发现利用JBPM工作流引擎开发出的项目管理系统,利于团队合作和分工;在系统的开发过程中利用JBPM技术,能够降低程序开发的复杂度、简化代码的编写,提高开发效率。     

研究性学习教学模式在数据结构课程中的应用

数据结构是计算机专业的核心课程之一,针对课程教学过程中存在的问题,讨论了一种研究性学习教学模式,分析了实施研究性学习教学模式的前提条件,并提出了研究性学习教学模式在数据结构课程中的具体实施方案。     

Moving routing protocols to the user space in MANET middleware

Mobile Ad Hoc Network (MANET) middleware must be aware of the underlying multi-hop topology to self-adapt and to improve its communication efficiency. For this reason, many approaches rely on specific cross-layer communications to interact with the network protocols in the kernel space. But these solutions break the strict layering of the network stack and hinder the portability of middleware and applications.The main argument of this paper is to move the routing protocols to the user space to simplify the development, testing, deployment and portability of middleware and applications. If routing is just another software component in the user space, cross-layering can be elegantly solved using advanced software engineering techniques like component frameworks and explicit APIs. As a consequence, a slight performance cost must be paid to achieve portability and easy deployment. But we will demonstrate that the performance obtained by a user-space routing protocol is satisfactory for a wide range of applications.We have implemented the unicast MANET OLSR protocol in Java (jOLSR) and, on top of it, we have created a novel overlay multicast protocol (OMOLSR). We have then integrated both routing protocols (jOLSR, OMOLSR) as software components in a well-known group communication toolkit (JGroups). Modifying the JGroups toolkit, we have devised a topology-aware group communication middleware for MANETs (MChannel). In our MChannel middleware, group membership is obtained directly from OMOLSR multicast trees and failure detection is obtained from jOLSR active probing. We have validated our approach in several real testbeds to demonstrate the feasibility and efficiency of our middleware.     

蒙古语语言-文字的自动化处理

本文首先叙述了蒙文电子化的意义以及蒙文电子化数据的现状。然后重点讨论了在不同地区和国家使用的蒙文书面语以及口语的不同和蒙文在计算机处理时所面临的问题。最后,介绍了我们在日本建设的针对蒙古语语言信息处理的两种语言资源:蒙古语多方言口语语料库和蒙文多文种-多语言并行语法标注电子词典,后者得到了2005年中日蒙韩国际合作课题“蒙文自然语言处理技术的研究”的资助。     

基于SA-CMM的邮政企业软件采购管理研究与应用

从采购方的角度出发,结合软件采购能力成熟度模型（Sotftware Acquisition Capability Maturity Model）,研究了邮政企业软件外包采购过程。在分析邮政企业软件外包采购过程特点和存在问题的基础上进行差距分析,并从过程体系规范、需求开发与管理、项目管理和配置管理等4个方面提出了改进办法。经初步验证后,取得较好效果。     

Applying genetic algorithm to optimise personal worklist management in workflow systems

Applying scheduling techniques to manage activity instances (tasks) in executors’ personal work lists is crucial in workflow management systems (WFMSs). To date, most practical scheduling techniques focus on process (control-flow) perspective of WFMSs but do not adequately address issues relating to work lists containing executors’ to-do activity instances. Existing simple-dispatching-rule based techniques cannot fully capture the complexity in personal work list management under dynamic workflow environments. Given this motivation, this paper proposes an approach that applies genetic algorithm (GA) to manage activity instances in personal work lists. This approach is applied according to activity instances’ probabilities of satisfying deadlines and costs of violating deadlines. The approach can schedule activity instances among multiple executors’ personal work lists and recommend to each executor a list of activity instances that can be successfully executed, while minimising the overall deadline violation cost. Using real-world data collected from three manufacturing enterprises, the paper fits the probability distributions of activity instances’ key time features such as starting time and execution durations, and then generates simulation experiment data. This paper also studies the setting of GA’s parameters to fit the practical manufacturing scenarios. Finally, by comparing with other seven typical workflow scheduling algorithms, the paper evaluates the effectiveness of our algorithm using a large scale simulation experiment.     

基于Radon和小波变换的纹理图像检索

提出一种新的基于Radon和小波变换的图像纹理特征检索算法．针对检索图像进行Radon变换,并对投影矩阵进行中心化使其具有平移不变性．利用图像的统计值对投影数据规范化,分别沿 和t方向对投影矩阵进行TSI小波分解,得到具有平移、旋转和尺度不变的小波分解．提取各子带能量作为图像的纹理特征,并对特征向量进行高斯归一化．以两幅图像归一化特征向量间的Canberra距离作为图像的相似度进行检索．基于纹理特征的图像检索试验结果表明,该方法对高斯噪声具有较强的鲁棒性,与其他方法相比具有较高的检索率．