A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents

Several important questions still need to be answered regarding the maintainability of object-oriented design documents. This paper focuses on the following issues: are object-oriented design documents easier to understand and modify than structured design documents? Do they need to comply with quality guidelines such as the ones provided by Coad and Yourdon? What is the impact of such quality standards on the understandability and modifiability of design documents? Answers can be based on informed opinion or empirical evidence. Since software technology investments are substantial and contradictory opinions exist regarding design strategies, performing empirical studies on these topics is a relevant research activity. This paper presents a controlled experiment performed with computer science students as subjects. Results strongly suggest that quality guidelines based on Coad and Yourdon principles have a beneficial effect on the maintainability of object-oriented design documents. However, there is no strong evidence regarding the alleged higher maintainability of object-oriented design documents over structured design documents. Furthermore, results suggest that object-oriented design documents are more sensitive to poor design practices, in part because their cognitive complexity becomes increasingly unmanageable. However, because our ability to generalise these results is limited, they should be considered as preliminary, i.e., it is very likely that they can only be generalised to programmers with little object-oriented training and programming experience. Such programmers can, however, be commonly found on maintenance projects. As well as additional research, external replications of this study are required to confirm the results and achieve confidence in these findings.     

一种基于实测的高维动态负载平衡方法

针对大规模科学计算中的强非规则结构负载问题,作者开发出一种基于实测的动态负载平衡方法．首先,将由规则结构化网格组成的模拟区域剖分成多块;其次,把块的高维坐标转换成一维Hilbert空间填充曲线（HSFC）索引;然后,基于实测信息采用多层均权法剖分按一维HSFC索引排列的块;最后根据剖分信息重分配块以平衡负载．它把仅适用于一维的多层均权法扩展到二维和三维,并引入更多的实测信息和块数据结构．与ISP方法相比,该方法在64个CPU上提高负载平衡效率10％,在某MPP的500个CPU上模拟强非规则结构负载问题时,获得了88％的负载平衡效率和84％的并行效率．     

旋转扫描结构光的三维检测系统及其标定

针对传统平移扫描检测系统的缺陷,提出了一种基于旋转扫描线结构光的三维检测与重构系统及对应的系统参数标定方法,建立了点云数据获取模型。被测物体通过旋转实现与线结构光间的相对运动,得到被测物体的外表面二维图像。系统标定获得图像坐标与世界坐标间的转换关系,得到被测物体的三维坐标信息及数字模型。由实验可知,相机的标定精度为0.2 mm,原理样机进行物体测量的精度为0.1 mm。实验证明该系统检测精度高,具有可行性。     

可沉微藻转化油脂潜力及PHB合成试验研究

可沉微藻在去除二级出水中氮、磷的同时,可以合成并积累多种具有高附加值的聚合物,如油脂、蛋白质、多糖、聚β-羟基丁酸酯(PHB)等。前期试验在"冲淘"压力下筛选出了沉淀率高达97%的可沉微藻,并通过一系列环境变化(通入CO₂、实行光/暗循环等)刺激油脂聚积,最高可获得49. 2%(细胞干质量,下同)的油脂含量。进一步强化试验显示,以增加光照强度与CO₂通入量达到进一步提高可沉微藻油脂含量的做法事与愿违,反而出现油脂含量下降的现象。而可沉蓝藻具有相当的合成、积累PHB的能力,只要存在少许特异性碳源(乙酸盐)刺激,可沉蓝藻在不通入CO₂的情况下即可轻松合成并积累含量高达30%左右的PHB。这种主要以无机碳源合成PHB的方法比以有机碳源合成PHB的活性污泥法更具吸引力。     

结构光非接触式TCF标定方法研究

针对机器人工具坐标系(TCF)标定结果的准确性问题,采用基于结构光的非接触式TCF标定方法对自制串联机器人的TCF进行标定研究及实验。介绍了标定过程中涉及的相关坐标系、标定原理及结构光视觉成像系统,详细推导了TCF标定算法;阐述了TCF标定实验步骤,以Kinova Mico2机器人为研究对象,通过在工具上粘贴"十"字标记,并约束"十"字标记的中心与激光投影点重合后的点在图像中的像素坐标值相同,经过多次定位约束后求取平均值作为标定结果。研究结果表明,基于结构光的非接触式TCF标定方法对工具坐标系的标定结果较为稳定,数据的准确性满足生产的需要。     

Alteration of Fatty Acid Profile in Fragile X Syndrome

Fragile X Syndrome (FXS) is the most prevalent monogenic cause of Autism Spectrum Disorders (ASDs). Despite a common genetic etiology, the affected individuals display heterogenous metabolic abnormalities including hypocholesterolemia. Although changes in the metabolism of fatty acids (FAs) have been reported in various neuropsychiatric disorders, it has not been explored in humans with FXS. In this study, we investigated the FA profiles of two different groups: (1) an Argentinian group, including FXS individuals and age- and sex-matched controls, and (2) a French-Canadian group, including FXS individuals and their age- and sex-matched controls. Since phospholipid FAs are an indicator of medium-term diet and endogenous metabolism, we quantified the FA profile in plasma phospholipids using gas chromatography. Our results showed significantly lower levels in various plasma FAs including saturated, monosaturated, ω-6 polyunsaturated, and ω-3 polyunsaturated FAs in FXS individuals compared to the controls. A decrease in the EPA/ALA (eicosapentaenoic acid/alpha linoleic acid) ratio and an increase in the DPA/EPA (docosapentaenoic acid/eicosapentaenoic acid) ratio suggest an alteration associated with desaturase and elongase activity, respectively. We conclude that FXS individuals present an abnormal profile of FAs, specifically FAs belonging to the ω-3 family, that might open new avenues of treatment to improve core symptoms of the disorder.     

PLC梯形图向结构文本转换的算法及实现

通过分析IEC61131-3标准规定的PLC梯形图语言及结构文本语言,提出对梯形图不同图元分类处理实现梯形图向结构文本转换的算法.该算法引入了虚节点,通过对虚节点的合并建立AOV图,按AOV图拓扑排序的顺序对不同类型节点分类处理,实现梯形图向结构文本的转换,并给出转换实例.该算法具有通用性,能转换任何复杂逻辑梯形图,已成功应用到高档数控国家工程研究中心的蓝天系列数控系统.     

基于结构光的星箭对接环相对位姿测量方法

空间非合作目标位姿测量是空间在轨维护的前提。面向空间机械手对空间载体自动抓捕的应用需求，提出了基于结构光的空间非合作目标视觉测量方法。该方法以双套双线结构光测量装置作为测量传感器，以空间载体上普遍存在的星箭对接环作为抓捕目标。根据对接环的共同特点，选择直线特征和点特征相结合作为相对位姿的求解特征；基于直线特征求解圆环平面法向量，基于点特征求解圆环圆心坐标，进而得到机械手工具坐标系与对接环坐标系间的相对位姿关系；基于多重几何约束实现了不同光照条件下图像上目标直线的鲁棒识别。建立了演示验证实验系统，在大量演示实验的基础上，进行了实验结果分析。     

基于Kademlia的P2P多维范围查询系统

结构化P2P网络具有良好的可扩展性,但难以支持多关键词查询、范围查询等复杂查询。该文分析已有复杂查询方法,提出一种基于Kademlia的P2P多维范围查询系统K-net。K-net在进行多维范围查询时,完成高维范围数据降维和范围划分,减少查询所需带宽。模拟结果显示,该系统具有良好的查询准确度和可扩展性。