白蚁提取液急性毒性及致突变性研究

本文采用大,小鼠急性经口毒性试验、Ａｍｅｓ试验、小鼠骨髓细胞微核试验及小鼠精子畸变试验对白蚁提取液的毒理学安全性进行了研究,结果表明,白蚁提取液大,小鼠急性经口ＬＤ５０均大于１０ｇ／ｋｇ体重,属“实际无毒”：体内（包括体细胞和生殖细胞）、体外致突变性试验系统均未检出其致突性。     

基于平衡桥等效模型的直流系统接地分析

建立了直流系统两点接地等效模型,分析了不同工况下发生两点接地时直流系统绝缘对地电阻的分布情况,为判断直流系统是否发生绝缘接地提供了有效的理论判据。     

基于Opencv的絮体颗粒跟踪与沉速测量系统研究

针对饮用水处理过程混凝剂投加量对处理结果的直接影响,提出了一个以絮体的沉降速度(作为主控,等效粒径、数量等参数作为辅控的多源数据融合的混凝剂投药模型。本文基于Open CV机器视觉库,以VS2010为平台,采用C++语言,编写絮体检测和沉降速度测量在线系统的软件,实现了絮体各个参数和沉降速度的实时监测。     

Bochner-Lebesgue空间内的最佳同时逼近

在本文中,我们研究了Bochner-Lebesgue空间内的相对于欧氏空间的Minkowski范数的最佳同时逼近.首先,给出了由距离函数表示的最佳同时逼近的刻画.然后,利用可测选择定理证明其函数取值于一个闭的可分子空间的Bochner-Lebesgue空间,其同时可逼近性等价于此闭的可分子空间的同时可逼近性.最后,指出子空间的可分性是同时可逼近性等价的必要条件.     

网络交友需谨慎 发现被骗应及时报案

微信等网络聊天工具已成为人们日常交友的重要平台,一些孤寡老人也将其当成了求偶的主阵地。一些不法分子瞅准网络世界的虚拟性和难以溯源性的特点,想方设法“围猎”急于“脱单”的老年单身人群,如果防范意识不足就会中招。     

2011年第二十届测试与故障诊断技术研讨会征文通知

为进一步推进自动化测试、先进总线技术及故障诊断技术在航天、航空、兵器、船舶、核工业、电子及国防军事装备和工业领域的发展和应用,中国计算机自动测量与控制技术协会、国防科技工业自动化测试技术研究应用中心     

FASTAMP在冲压模具产品与工艺设计中的应用

一、引言汽车嵌板是构成车身的主要零件,一个车身零件体50%～70%的重量来自嵌板。传统的汽车嵌板模具设计主要依靠经验和一些复杂的方法,以致于生产周期长,而且耗费高。随着汽车工业的发展,传统的设计方法不能满足现代工业的需求。近几年来数字模拟技术得到非常迅速的发展和广泛的应用。FASTAMP是一种基于改进的逆算法和动态显示法的快速     

多媒体课件制作要体现“色音味意形”

多媒体课件是一种承载和传递多种媒体信息,具有一定教育教学功能的计算朝．程序。多媒体课件—般应具备教育性、科学陛、交互J陛、艺术陛以及技术性等五个基本耗点。它区别于传统教学材料或者工具的重要特征是,传递的信息具有多通道感知性,以及强大的人机交互l生     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.