社区信息化新模式探索——以北京市海淀区北下关街道为例

"惠民"、"强政"、"兴业",是信息化的意义所在,目标所在."强政"主要通过政务信息化来实现,政务信息化即电子政务,也就是说,推行电子政务有助于"强政".同理,推行电子政务有助于"兴业".那么采取什么信息化手段才能"惠民"呢?答案是推行电子社区,也可以说是社区信息化.     

细胞动作电位的线性重建

在强噪声干扰下恢复有阶跃点的奇异波形,并检测其参数在生物医学工程中具有重要的意义．利用矩形波重建方法,将带噪声动作电位信号通过低通滤波器建立相应的矩形波,然后再采用计算机辅助设计法设计一个波形形成数字滤波器,使矩形波通过此滤波器后重建出纯净的细胞动作电位．结果表明,这种方法能有效滤除光学采集动作电位上叠加的白噪声,从而实现无损检测．     

第二类边界条件先进格林函数节块法

目前广泛应用的节块格林函数法是基于第三类边界条件,这类格林函数比较复杂,并且不便直接使用不连续因子,必须经过转换后才能使用和功率重构。该文发展了第二类边界条件三维几何先进格林函数节块法。该方法的优点是格林函数计算较简单,便于在交界面处引入通量不连续因子,并通过功率重构得出堆芯内精细通量分布。基准计算表明,该程序精度高、速度快,成为水堆堆芯物理设计和燃料管理计算的核心程序。     

基于Fourier变换非一致间距阵列的一种合成法

基于阵列图及其分布间的Fourier关系，作者提出了非一致间距阵列的一种合成方法。在Fourier关系下，通过抽样一个给定的阵列图，就能使用FFT(快速Fourier变换)得到其近似连续的阵列分布。为提高改善阵列图的性能，提出一个算式用于决定非一致间距阵列的空间间隔，从而在合成的阵列中保持更多的能量。该方法简单且易于应用。     

基于专用芯片的高速实时FFT系统实现研究

研究了基于专用芯片的高速实时ＦＦＴ系统的点数和精度问题，分析了统一的ＦＦＴ算法与ＦＦＴ专用芯片的级联问题；定标算法与ＦＦＴ专用芯片的精度问题，提出了一种高速实时ＦＦＴ系统的实现方案和性能测试方法，并根据实测数据讨论了ＦＦＴ系统的精度。     

催化褪色光度法测定痕量铜的研究

研究了盐酸介质中铜(Ⅱ)催化过氧化氢氧化酸性铬蓝K褪色反应的适宜条件,建立了动力学光度法测定痕量铜Cu(Ⅱ)的新方法.Cu(Ⅱ)的质量浓度在0.4-0.8μg/ml范围内与△A值呈良好的线形关系,检出限为0.0519μg/ml,摩尔吸光系数ε=1.10 ×104L·mol-1·cm-1,相关系数r=0.9974.该法已用于饮用水的测定, 结果令人满意.     

一个基于活体指纹的用户身份认证协议及其形式化分析

基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性.并且具有良好的执行效率.     

对实现凉山改革新突破的思考

改革是发展的动力。要实现发展的目标,改革必须要有新突破。凉山改革的新突破应从五个方面着手:一是要准确把握改革大势;二是要清醒认识凉山改革面临的困难和问题,找准症结,提出对策;三是要在找准症结的基础上勇于攻坚破难,围绕改革中的难点、重点进行攻坚;四是要沿着市场化方向不断深化改革、清除障碍、完善措施,为凉山跨越式发展提供强大的动力;五是要加强领导,周密部署,精心组织实施各项改革措施。     

保积Hom-δ-李超三系的拟导子和型心

首先给出Hom-δ-李超三系T的概念, 证明T的广义导子之集、 拟导子之集、 导子之集Der(T)、 中心导子之集ZDer(T)、 拟型心QC(T)和型心C(T)均为李超代数. 其次, 证明中心导子代数和型心代数都是Der(T)的理想, 且ZDer(T)=C(T)∩Der(T). 若T的中心为零, 则［C(T),QC(T)]={0}.     

《蒙古语语法信息词典》管理平台的设计与实现

<蒙古语语法信息词典>是为实现蒙古语的自动分析和自动生成而研制的一部机器词典.从词典建设的实际需求出发,设计了<蒙古语语法信息词典>管理平台,介绍了管理平台设计和实现的基本方法.