用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。     

让Flash4为您服务 “闪”的艺术

没听说过？不可能吧！ ？只要是个网页制作爱好者,现在几乎没有不知道Ｆｌａｓｈ大名的。也许有点夸张,但我想,只要您见过用Ｆｌａｓｈ制作的网页,就不会没有印象吧。     

浙江省大气降水水质对地表水水质的影响

对浙江省92个降水水质监测点采集的118个降水水样进行实验室检测,结合江河地表水水质同步监测资料,研究大气降水的主要污染物以及降水水质对地表水水质的影响。结果表明：降水中的pH值为5.86,TN、NH3-N、TP平均质量浓度分别达到1.54 mg/L、0.83 mg/L和0.035 mg/L,降水水质与监测点附近地表水水质未见明显相关关系,但降水中的NH3-N、TN和TP与地表水相同指标质量浓度的比率分别达到了60%、55%和22%,可见大气降水对地表水水质的影响不容忽视。     

新疆奎屯河洪水特征和最大值研究

洪水极易造成各种灾害,对当地经济发展影响巨大,通过对奎屯河洪水特征分析研究,揭示奎屯河洪水和最大值规律,以便制定措施治害兴利,为防洪和工程管理及当地经济发展提供科学依据。     

法定化:人民法院调查令制度的透视与前瞻

近年来,我国民事审判方式以强化当事人举证责任、弱化法院职权为主线,改革的结果造成当事人举证义务大大增加的同时,当事人取证权利却缺少手段和程序的保障,最终使得当事人取证权流于形式,取证难问题凸显。为了解决当事人取证难的困局,很多地方法院推出了调查令制度。调查令制度经过多年的运行,已经具有了良好的实践基础,迫切需要法定化以突破发展的瓶颈,获得可持续发展的动力。当前《民诉法》修改已经提上议事日程,笔者认为调查令借此入法的时机已经成熟。     

超声强化苯甲醛接枝壳聚糖的缩合反应

壳聚糖希夫碱具有优良的金属离子螯合能力,但传统方法制备的反应时间长,缩合率不高。为了缩短制备的时间和提高缩合率．本文引入超声场来强化该缩合反应,并通过正交设计实验优化反应条件．超声辅助反应的缩合度为92．99％,比传统方法提高了19．03％;超声辅助制备的优化条件为：反应物配比（n苯甲醛：n壳聚糖）为6,超声功率为180kw,超声处理时间为4h,反应温度为70℃,反应溶液pH为5．     

一种基于剖分的空间数据存储调度服务模型

随着空间数据应用领域深度和广度的扩展,空间数据在组织、存储、更新、应用等方面存在速度、效率等难题。针对上述问题,基于地球剖分组织理论,结合面向客户端聚合服务的G/S模式架构,研究并提出一种空间剖分数据存储调度服务模型。给出了该模型体系架构、数据访问流程,设计了模型的地址编码结构及地址解析过程,形成了一种有效的"数据分散存储,客户端信息汇聚"的空间剖分数据组织管理、按需整合、快捷调度的机制,实现并验证了服务原型系统,其具有一定的理论意义和应用价值。     

检波器不同联结方式的频率特性

本文通过测试及理论推导,在对放大器的输入阴抗和检波器的输出阻抗这两个基本物理量作出正确认识的基础上,重点对检波器在不同联结方式下的振动特性进行了分析,并对“饱和”以及表征检波器——放大器电压传输特性的H(f)参数重新进行了探讨。文中给出的一系列检波器振动特性曲线,为野外检波器联结方案的选择提供了依据。     

KNO3/Al2O3催化环戊二烯甲基化反应

研究了固体碱KNO3/Al2O3(KNA)催化合成甲基环戊二烯的反应性能,考察了KNO3负载量、反应温度、反应时间以及酸碱性位中毒等因素对环戊二烯甲基化反应的影响。结果表明,KNO3负载量为质量分数26%时样品的催化活性最高,450℃时能催化转化33%的环戊二烯,甲基环戊二烯的选择性达到86%。催化剂通过原位氧气焙烧除去积炭即可恢复活性。     

基于WVD-Radon变换的宽带延展目标回波参数提取

分析了宽带延展目标的时延一时间伸缩效应及其导致的回波信号在时域和频率域的特性；针对LFM信号的时频分布特点，利用WVD和Radon联合变换技术，提取LFM信号在时一频域分布上的特性参数，提出了一种宽带延展目标回波参数提取方法，得到了目标的时延一时间伸缩分布．仿真结果表明，该方法是可行的．