一种基于C扩展的SIMD的并行程序设计语言

ＳＩＭＣ（ＳＩＭＤＣ）是通过对Ｃ语言进行语法扩展（未进行语义扩展）得到的支持ＳＩＭＤ（ｓｉｎｇｌｅｉｎｓｔｒｕｃｔｉｏｎｍｕｌｔｉｐｌｅｄａｔａ）并行程序设计的并行语言．ＳＩＭＣ可方便地描述ＳＩＭＤ并行算法，具有ＳＩＭＤ计算机系统结构定义能力，可支持多种系统结构上的并行算法研究．ＳＩＭＣ语言的模拟执行系统已在单机上实现，并作为作者研究开发的ＳＩＭＤ计算机程序设计及性能评价模拟环境的并行程序设计语言，用于ＳＩＭＤ计算机算法及结构的性能评价.     

CD－ROM译码器

ＣＤ－ＲＯＭ译码器ＳａｎｙｏＥｌｅｃｔｒｉｃ股份有限公司推出的ＬＣ８９５１２４和ＬＣ８９５１２５ＣＤ－ＲＯＭ译码器各装有一个ＦａｓｔＳＣＳＩ接口，并能响积应１２￥速度。ＣＤ－ＲＯＭ译码器是一种大规模集成电路（ＬＳＩ），它能读出写入在ＣＤ－ＲＯＭ上的数...     

LLC3通信平台之上的Socket仿真接口设计

本文介绍了如何采用软件移植的方法在ＬＬＣ３通信平台上的实现ＭＭＳ协议，具体做法是对ＬＬＣ３通信平台的功能进行提升和扩充，在其上建立一套Ｓｏｃｋｅｔ仿真接口，向上层应用软件提供标准的Ｓｏｃｋｅｔ功能调用，为原来基于ＴＣＰ／ＩＰ平台工作的ＭＭＳ软件提供一个友好的仿真工作环境，从而实现了ＭＭＳ协议软件向ＬＬＣ３通信平台的移植。     

解除微机口令的简单方法

解除微机口令的简单方法（４３００７０武汉华中师范大学计科系）左亚尧，舒忠梅１．解除３８６／８６微机ＣＭＯＳ口令在３８６系列微机上都增加了ＣＭＯＳ的“ＰＡＳＳＷＯＲＤ”选项，用于设置对ＣＭＯＳ的修改权。这可防止ＣＭＯＳ信息被非法修改．但时间长了，设置的...     

Windows TCP／IP平台上MMS通信系统研究与实现

Ｗｉｎｄｏｗｓ ＴＣＰ／ＩＰ是当今流行的应用和开发平台。ＭＭＳ（制造报文规范）是计算机网络应用层的重要标准之一，适合于ＣＩＭＳ和自动化系统通信。本文首先介绍ＭＭＳ协议规范和Ｗｉｄｎｏｗｓ ＴＣＰ／ＩＰ开放系统平台，接着探讨了在Ｗｉｎｄｏｗｓ ＴＣＰ／ＩＰ平台上开发ＭＭＳ通信系统的方法和步骤，最后给出ＭＭＳ通信系统实现流程。     

CIMS中单元控制器互连的研究和实现

单元控制器是ＣＩＭＳ的重要组成部分，ＣＩＭＳ的多变的需求环境要求单元控制器具有开放的体系结构，本文介绍了支持单元控制器互连的计算机网络技术和协议，以及在ＴＣＰ／ＩＰ网络上单元控制器互连和ＭＭＳ子集的实现。     

计算机集成制造系统（CIMS）国际发展动态

ＣＩＭＳ（计算机集成制造系统）是世界上高技术开发项目之一．ＣＩＭＳ是涉及广泛技术领域的复杂系统，当前的研究课题覆盖了ＣＩＭ中方法学、技术和应用领域的部分内容．本文简要讨论ＣＩＭＳ的国际发展动态．     

MIS系统建设的一个新的切入点

ＣＳＣＷ和ＷＦＭＳ是计算机领域一个新的研究方向,用ＣＳＣＷ和ＷＦＭＳ方法去扩充ＭＩＳ系统,是ＭＩＳ系统建设的新的切入点。本语文探讨了用ＣＳＣＷ和ＷＦＭＳ方法扩充ＭＩＳ系统的可能性和实施策略。     

一个扩展的CCS

诉微分算子ＣＣＳ（Ｃａｌｃｌｕｓ ｏｆ Ｃｏｍｍｕｎｉ－ｃａｔｉｎｇ Ｓｙｓｔｅｍｓ）是由英国爱丁堡大学计算机科学系的ＲｏｂｉｎＭｉｌｎｅｒ首先提出的。ＣＣＳ是一个在数学上完整的理论算子系统,可以作为计算机通讯系统的基本理论模型。我们先简要说明一个ＣＣＳ的内容。我们所作的工作是在理论上扩充地的ＣＣＳ,使得我们的ＣＣＳ更为一般化。在我们的观战看来,ＲｏｂｉｎＭｉｂｅｒ的ＣＣＳ只不过是我们的ＣＣＳ的一     

CIAC-综合结构信息系统

介绍了ＣＩＡＣ－综合结构信息系统上两个部分组成,即ＣＩＡＣ－＾１３ＣＮＭＲ图数据库和结构解析专家系统ＥＳＥＳＯＣＥＳＥＳＯＣ可从未知化合物的分子式。光谱数据（ＩＲ,ＭＳ,１ＨＮＭＲ,１３ＣＮＭＲ,２Ｄ－ＮＭＲ等,）及其它化学信息自动地推衍出与已知信息相一致的候选化合物结构。     

Multi-layer structure and stability of discrete large-scale systems

The structure of a discrete large-scale system is analyzed. It is shown that a discrete large-scale system can be considered with a multi-layer structure, each layer of which can be considered as a minimal strongly connected system (MSCS), except the highest layer which is a simply connected system. In studying the stability, a direct method is firstly presented for MSCS. Analysis and examples show that the stability criteria given here for MSCS are less conservative than those in other literature. When the isolated subsystems in each layer (which are also MSCS) are stable, the large-scale system is stable.     

对称压缩谱的改进求根快速DOA估计*

为提高波达方向(DOA)角估计算法的运算速度,针对对称压缩谱( MSCS)算法,提出了构建MSCS算法的多项式,求解MSCS算法的多项式根的方法。该算法不需要在半谱内搜索,保持了MSCS的镜像特性。理论分析和仿真实验表明,该算法进一步提高了MSCS运算速度;相对于求根类MUSIC算法,该算法提高了DOA估计精度,从而证明了该算法的有效性。     

Modeling and nonlinear computed torque control of ship-mounted mobile satellite communication system

A mobile satellite communication system (MSCS) is a device installed on a moving carrier for mobile satellite communication. It can eliminate disturbance and maintain continuous satellite communication when the carrier is moving. Because of many advantages of mobile satellite communication, the MSCSs are becoming more and more popular in modern mobile communication. In this paper, a typical ship-mounted MSCS is studied. The dynamic model of the system is derived using the generalized Lagrange method both in the joint space and in the workspace. Based on the dynamic model, a nonlinear computed torque controller with trajectory planning is designed to track an aimed satellite with a satisfied transient response. Simulation results in two different situations are presented to show the tracking performance of the controller.     

基于MSCS的应用服务器动态负载平衡的实现

本文讨论了如何在 MSCS的基础之上 ,利用 MSCS的某些特性来帮助实现应用服务器的动态负载平衡 ,并实现对会话的支持 .     

Efficient multi-scale community search method based on spectral graph wavelet

Community search is an important problem in network analysis, which has attracted much attention in recent years. As a query-oriented variant of community detection problem, community search starts with some given nodes, pays more attention to local network structures, and gets personalized resultant communities quickly. The existing community search method typically returns a single target community containing query nodes by default. This is a strict requirement and does not allow much flexibility. In many real-world applications, however, query nodes are expected to be located in multiple communities with different semantics. To address this limitation of existing methods, an efficient spectral-based Multi-Scale Community Search method (MSCS) is proposed, which can simultaneously identify the multi-scale target local communities to which query node belong. In MSCS, each node is equipped with a graph Fourier multiplier operator. The access of the graph Fourier multiplier operator helps nodes to obtain feature representations at various community scales. In addition, an efficient algorithm is proposed for avoiding the large number of matrix operations due to spectral methods. Comprehensive experimental evaluations on a variety of real-world datasets demonstrate the effectiveness and efficiency of the proposed method.     

基于集群技术的教务管理系统的设计与应用

针对高等学校教务管理系统客户访问的并发性、高可用性和可伸缩性的特点,以及高等学校办学规模、办学模式和办学层次等问题,提出了分别利用MSCS、NLB集群技术解决教务管理系统中的数据库、WEB服务的硬件系统问题,有效解决了教务管理系统的复杂多变、各种数据不能够唯一存在和实时变化等难点,建立了适合普通高等学校教务管理系统需求的软硬件环境。     

视频内容分析技术

概述了基于内容的视频检索的方法和工作过程,研究的重点是突变镜头探测(基于像素的方法、模板匹配法、基于直方图的方法、基于视频特征的方法),渐变镜头探测(双重比较法、基于模型的方法、基于压缩域的方法),关键帧提取的关键技术(基于颜色特征的方法,基于镜头边界的方法、基于镜头的方法、基于运动分析的方法等),在综合分析了各类方法的工作机理和优缺点的基础上,提出了一个优化的视频内容分析检索框架.     

SAR图像建筑物目标检测研究综述

面对日益剧增的城市建筑物,合成孔径雷达（synthetic aperture radar,SAR）图像的建筑物检测作为SAR图像解译的一个分支逐渐成为一项重要的研究课题。对现有的研究方法进行了分类,从基于传统方法的建筑物检测和基于深度学习的建筑物检测两方面入手,对现有SAR图像的建筑物目标检测算法进行了梳理。简述了SAR图像的特点和SAR图像建筑物检测任务的整体流程,介绍了基于建模、纹理特征和机器学习的方法以及深度学习的目标检测方法。重点论述了当前基于候选区域和回归的主流检测方法。对各类方法的优势和局限性进行对比分析,总结了当前SAR图像建筑物检测技术存在的主要问题和发展瓶颈,并给出相应建议。最后对该领域未来的研究方向进行了展望。     

基于知识的机器人视觉测量分类与进展

提出了基于知识的视觉测量的观点,将传统的立体视觉看作一种基于摄像机知识的视觉测量,并对当前其他的视觉测量方式按所采用知识的不同进行了分类.分别简要介绍了基于点、线、面、统计特性等目标知识的视觉测量,讨论了基于运动知识的视觉测量和基于环境知识的视觉测量.在对视觉测量所采用知识的表达和获取进行初步探讨的基础上,给出了视觉测量的几个值得深入研究的发展方向.     

Lattice-based group signature scheme without random oracle

ABSTRACT

Group signature is a cryptographic primitive where any member can anonymously sign a message on behalf of the population they belong to. Several group signatures were proposed based on number-theoretic assumptions. All these schemes are insecure in the presence of quantum computers. Group signatures based on lattice assumptions are believed to be quantum-resistant. In the past few years, group signatures based on lattice assumptions have been proposed and most of them are proved to be secure in random-oracle model. This paper presents a lattice-based group signature scheme without using random-oracle. Our scheme is based on correlation-intractable function ensembles for all evasive relations which are constructed recently based on well-defined assumptions. Security of our scheme is proved based on correlation-intractable function ensembles and hardness of Short Integer Solution and Learning With Errors problem.