摘要：本文对空间分布系统提出了一种新的模糊建模方法.首先,在3-D模糊集的基础上给出一种改进的空间模糊集,包含了传统的模糊集和添加的一维空间信息.在空间轴方向上,将传统模糊隶属度函数沿输入变量的随空间的物理变化曲线进行扩展,通过隶属度的连续变化描述输入变量在空间中的变化.其次,基于空间模糊集,采用Mamdani模糊模型形式,设计了对空间分布系统的空间模糊模型的建模方法.最后,通过仿真算例对方法进行了验证.

摘要：以Web应用为代表的网络软件安全性受到业界的广泛关注,对具有复杂交互行为的Web应用安全性建模和验证是一个挑战.该文提出一种威胁驱动的Web应用On-the-Fly导航模型验证方法,采用威胁驱动方法从规格说明中设计和抽取用于性质检验的安全性质,利用模型检测工具NuSMV对建立的模型进行验证.实验结果表明该方法可以减少搜索空间并在一定程度上避免状态空间爆炸.

摘要：针对企业内三维零件模型及其相关资源重用面临的问题,研究了面向工程重用的三维零件库服务系统框架及关键技术。提出了包含零件表示与存储、模型组织、用户接口、用户服务的系统结构。该系统利用元数据、特征向量、特征关系图、工程语义特征来表示模型内容。为提高零件模型匹配和检索的效率,利用特征向量,采用SOM和K-means组合算法进行模型聚类。在此基础上,提出了集成特征向量和特征关系图的两阶段相似度检索算法。最后,给出了一个冲压件库服务系统的应用实例。

摘要：在分析某工业厂房坍塌原因的基础上,认为由于侧移土体被动桩的成拱效应,地面超载引起的土压力被传递到桩身上,导致桩身发生了较大的侧向变形是这起事故发生的主要原因,事故的发生证明了侧移土体被动桩成拱效应的存在。在此基础上,建立了三维数值模型,对土拱效应的形成过程进行了模拟。对三维情况下被动桩的成拱效应与相同条件二维情况的形式和变化规律进行了比较,对不同桩间距、不同堆载大小情况下的被动桩成拱效应进行了分析,并对成拱效应随时间的变化规律进行了探讨。

摘要：采用自行设计的三光路传感器,获取了多方向上清晰的填丝脉冲铝合金熔池图像,并对斜后方图像进行了处理.针对斜后方图像特点,采用退化恢复、滤波、边缘检测、自动阈值分割、投影细化方法进行了预处理;对于预处理后的图像噪声,经过阈值滤波去除,获得间断熔池边缘图像;最后采用任意位置椭圆来拟合熔池边缘,拟合结果可以较好地反映熔池形状.

摘要：基于可执行规范的实现 测试同步开发模式可以将错误尽早消灭在各个开发阶段的初期 .其理论基础是抽象状态机ASM ,实现工具是支持 .NET的AsmL .本文首先介绍了基于可执行规范的实现 测试同步开发模式、ASM起源和定义 ,然后采用ASM描述了网格高层次系统语义 ,并举例说明了采用AsmL生成有限状态机分析模型语义的方法步骤 .

摘要：本文针对一类可由抛物型偏微分方程描述的分布参数系统,研究了一种基于输入输出数据的建模与控制方法.首先利用Karhunen-Loève(K-L)分解提取系统的一组主导空间基函数,并以此对系统输出进行时空分解,随后由时空分解得到的时间系数部分以及系统激励构成输入输出信息,利用最小二乘法辨识出时域ARX模型,最后针对该模型设计了广义预测控制器.仿真结果表明,上述控制方法能够对分布参数系统取得良好的控制效果.

摘要：利用子结构方法对某超大直径圆形地下连续墙场地进行了动力反应分析.介绍了子结构分析方法的基本原理,探讨了主自由度节点的一般选取原则.采用等效线性化方法考虑土体非线性性质,并运用ANSYS参数化设计语言编制了场地土层模型的子结构方法计算分析程序.建立圆形地下连续墙场地计算模型,分别采用3种主自由度节点选取方法对其进行了动力计算分析.通过对比子结构方法和整体方法计算结果,验证了子结构分析计算方法的合理性及有效性.数值分析结果表明,若合理地选择主自由度节点,采用子结构方法可以在保证计算精度的基础上极大地提高计算效率.

摘要：目的 建立一种包含甲基化标准品的新型高通量肺癌相关基因的甲基化检测系统.方法 2009年3-6月上海交通大学医学院附属胸科医院经病理学和影像学确认的非小细胞肺癌患者8例,其中男7例,女1例,平均年龄（57±11）岁,手术后留取肺癌组织及外周血.男性健康志愿者1名,年龄35岁,抽取外周血20 ml,用以分离单个核细胞提取DNA制备质粒.对7个肺癌相关基因的启动区进行克隆,用各基因的特异性引物对克隆到质粒中的各基因片段再次进行扩增,PCR产物用甲基化酶*** Ⅰ和亚硫酸盐处理.通过设计3＇末端CpGpCpG探针来识别甲基化模板,并经最佳连接酶、最佳退火温度及连接温度的选择,建立一套多重连接PCR体系,最后运用液相芯片平台对扩增的标准品和临床标本进行检测.利用甲基化特异性PCR检测新系统的可靠性.结果 成功的构建了7个基因的甲基化和非甲基化标准品,并建立了多重PCR偶联液相芯片的快速检测系统,p16INK4A、APC、DAPK、RARβ、RASSF1 A、MGMT和GSTP1甲基化标准品的荧光信号值分别为863、909、703、701、901、1 060和885,与非甲基化标准品区分明显.抽提8例患者的肺癌组织DNA,对其中检测出阳性频率较高的基因进行甲基化特异性PCR,产物电泳结果 与新建甲基化检测系统检测结果 完全一致.结论 本研究建立的新型检测系统能同时准确地检测7个基因甲基化状态,有望应用于临床标本的检测.

摘要：基于自行设计的CCD被动视觉传感系统,在仅依靠电弧光照明的情况下,实现了钨极氩弧焊过程中实时提取清晰的熔池正前方图像。通过分析退化恢复、平滑后的图像间隙处灰度值特点,采取了特定区域自动域值分割、空穴检出法统计各8-连通域面积、基于8-领域面积阈值去噪、面积统计转换等步骤可以求得间隙值,进一步进行间隙细化,最后采用Hough变换对细化后的间隙点进行拟合,检测出焊缝位置。