基于高分辨率遥感影像的城市建筑目标提取研究

基于Geoeye-1高分辨率遥感影像,根据机场、大型公共建筑、污水处理厂3类建筑目标的光谱特征和形状特征,采用面向对象分类识别方法,并结合城市总体规划专题数据,对上述3类建筑目标进行提取实验。实验表明,本文提出的技术路线对上述3类城市建筑目标提取具有较好的应用效果。     

基于三参数Chirplet变换的ARM检测

根据反辐射导弹(ARM)回波信号的特征,选择Chirplet变换5个参数中的3个,得到三参数Chirplet变换,并结合自适应线性预测滤波算法,提出一种基于三参数Chirplet变换的ARM检测方法。该方法可有效缩小搜索范围和降低输入信噪比要求,且可借助FFT实现。仿真结果表明其可在大载机回波干扰和低信噪比环境下快速准确地检测出ARM回波,实现实时告警。     

基于双曲线映射签名的高效可分电子现金系统

基于双曲线映射的签名设计了一种新型可分电子现金方案,方案中有效地加入了压缩支付和批处理支付,计算时间复杂度较小,从而使得系统的整体效率较高。另外,方案中无需可信第三方(TTP)的参与,因而系统的整体开销较小。方案的安全性基于q-SDK假设、计算离散对数困难性假设以及单向散列函数存在性假设。     

设计密码协议的若干原则与方法

传统的密码协议设计主要考虑理想环境下运行的安全性。为了设计实用安全的密码协议,首先对理想环境下密码协议中存在的主要攻击进行研究和总结,提出四条协议设计原则,以避免常见的设计缺陷;然后通过对消息完整性的研究,提出一种协议转换算法,可将理想环境下安全的密码协议转换为现实环境下安全的密码协议,并证明算法的安全性。该转换算法的提出,有助于设计在现实环境下运行安全的密码协议。     

A discrete-time on–off source queueing system with negative customers

This paper studies a discrete-time single-server infinite-capacity queueing system with correlated arrivals, geometrically distributed service times and negative customers. Positive customers are generated by a Bernoulli bursty source, with geometrically distributed lengths of the on-periods and off-periods. Negative customers arrive to the system according to a geometrical arrival process which is independent of the positive arrival process. A negative customer removes a positive customer in service if any, but has no effect on the system if it finds the system empty. We analyze the Markov chain underlying the queueing system and evaluate the performance of the system based on generating functions technique. Closed-form expressions of some performance measures of the system are obtained, such as stationary probability generating functions of queue length, unfinished work, sojourn time distribution and so on. Finally, the effect of several parameters on the system is shown numerically.     

Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.     

Carbon felt-based bioelectrocatalytic flow-through detectors: Highly sensitive amperometric determination of H2O2 based on a direct electrochemistry of covalently modified horseradish peroxidase using cyanuric chloride as a linking agent

Horseradish peroxidase (HRP) was chemically modified using cyanuric chloride (CC) as a linking agent onto a carbon felt (CF), which is a microelectrode ensemble of micro carbon fiber (>7 μm, diameter) with a random three-dimensional structure. The resulting HRP-modified CF (HRP-ccCF) exhibited well-defined redox waves based on the HRP heme Fe^III/Fe^II redox couple at −0.23 V vs. Ag/AgCl (at pH 7.0), while the HRP-adsorbed CF (HRP-CF) showed no apparent redox couple in the same potential range, indicating that the chemical modification of HRP via CC facilitated the direct electron transfer (DET) between HRP and CF. The apparent heterogeneous electron transfer rate constant k_s was estimated to be 35 s⁻¹. Cyclic voltammetry and electrochemical impedance spectroscopy revealed that the interfacial properties (i.e., structure, morphology of enzyme-layer) of covalently modified HRP (HRP-ccCF) and physically adsorbed HRP (HRP-CF) are different, resulting in the difference in the electron transfer properties. The HRP-ccCF was successfully used as a working electrode unit in bioelectrocatalytic flow-through detector for highly sensitive amperometric determination of H₂O₂. Under the optimized conditions (i.e., applied potential, 0 V vs. Ag/AgCl; carrier flow rate, 3.25 ml/min; and carrier pH 7.0), the cathodic peak current of H₂O₂ linearly increased up to 3 μM (sensitivity, 1.94 μA/μM; the detection limit, 0.08 μM [S/N = 3]) with sample through-put of ca. 90 samples/h.     

深圳市房地产信息系统框架研究

从深圳市房地产管理信息化建设的现状出发,提出建立全市基本楼盘表数据库和房屋基础空间数据库,并以此为基础建立空间数据与业务数据统一管理的三层架构的数据库。利用GIS、MIS、OA、WFS(工作流)等技术,实现房产测绘管理、房地产市场交易、房产产权登记、物业管理、租赁管理以及政策性住房管理等跨部门业务集成统一的房地产信息化平台,构建协同办公体系,促进相关业务之间信息畅通,形成房产资源信息共建、共享体系。     

异步消息驱动安全通信模块的设计与实现

为了保障多参数监护数据汇总系统的数据传输安全,设计并实现了一个高性能的安全通信模块.通过WSAAsyncSelect I/O模型构建了异步套接字事件多路分解及调度框架,运用安全套接字层协议保证数据传输的安全可靠,并通过多态技术提高了模块的可扩展性.最后在Win32平台上实现了一个数据汇总通信系统作为示例,测试验证了安全...