一个基于安全模型的测试用例生成工具

在基于安全评估标准的安全数据库管理系统（Security Database Management System, SDBMS）的安全功能测评中,存在的困难问题之一就是缺乏合适的测试用例.而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要.因为包括SDBMS在内的大多数信息安全产品的系统规约并不能真实的反映现实系统的行为,系统中的操作除了要完成其预定的功能外,同时还必须满足安全产品安全策略的约束.本文采用了基于安全产品安全策略模型的测试用例自动生成方法,设计并实现了一个测试用例自动化生成工具——CaseBuilder.该工具可针对SDBMS快速生成能够满足产品安全策略测试要求的测试用例集.     

基于TPS雷达电路板测试软件系统架构与实现

雷达含有多块不同种类的电路板,包括电源、发射、接收、信号、终端、监控等。由于雷达任务的紧迫性,这些电路板在发生故障时,对雷达系统影响非常大。随着电子设备的日益复杂化,越来越需要形成一个自动的对雷达电路板进行测试的系统,即自动测试系统(Automatic Test System)。本文分析了雷达板级测试软件的功能要求,提出了基于测试程序集(TPS)的自动测试系统软件架构及实现方法。该软件已成功应用于多个雷达板级自动测试台。     

A test strip for the estimation of urea in serum

We have developed a biostrip for determination of urea in serum. The test strip is based on enzymatic assay where urease has been immobilized on the chromatographic paper along with chromogen, phenol red. The chromogen is easily soluble in water and does not require other components for the color change. Serum urea reacts with urease and water to liberate ammonia and carbon dioxide. The liberated ammonia changes the pH of the reaction medium, which is monitored by the chromogen phenol red. A single step working reagent strip has been developed and the reaction is completed within 50 seconds at room temperature. With this test strip urea concentration is measured in serum as low as 0.15 g/L. The speed and convenience of determining urea in serum by this strip instantly makes it well suited for individuals, physicians and emergency centres.     

扑克检测的参数选择

扑克检测是一项基本的统计检测,用来判断一个二进制序列是否随机。除了二进制序列外,该检测需要额外的参数输入。研究了如何确定扑克检测参数值的合法范围,并通过大量实验,发现存在某些代表性参数值可以代替所有参数进行扑克检测。     

一种基于频率变化线的飞机振源分析方法

对于飞行试验中非平稳振动信号,进行时频分析后仅可定性的观察到频率值随时间发生变化的趋势,为了确定振源机理,需要进一步寻求频率变化与飞行参数变化之间的相关性.提出了一种把所关注频率值的变化曲线从时频分析图中提取出来的方法,以定量的研究引起频率值变化的原因.针对某型机平飞状态出现的垂尾尖部振动较大现象,运用此方法提取频率变化线,通过与发动机参数的对比与拟合,确认了该振动产生的振源来自发动机的高压转子.     

Evaluation of sevafilachek immunoassays and rapid ICT-filariasis test for detection of bancroftian filariasis

A comparative analysis was made on the utility of SEVAFILACHEK-stick based immunoassays and commercially available ICT-filariasis test to detect active infection in different groups of bancroftian filariasis. The SEVAFILACHEK immunoassays were found to be useful to detect filarial infection in microfilaraemia and in a significant number of clinical filarial cases with acute, chronic and occult clinical manifestations. In the clinical cases, microfilariae are not usually detected in peripheral circulation. Employing SEVAFILACHEK assays 6 and 5 of the 7 samples of patients with chronic filarial disease, and 6 and 5 of 6 microfilaraemic cases gave positivity for filarial IgG antibodies and antigen respectively. Four of the 6 occult filarial samples were positive for antibodies and antigen. Filarial antigen was detected by ICT-filariasis test in blood samples of all the 6 microfilariaemic cases, 1 chronic filarial and 2 occult filarial samples. The main advantage of ICT assay is its rapid format and convenience for field use.     

数字电路测试压缩方法研究（英文）

测试压缩可以在没有故障覆盖率损失的情况下，极大地降低测试时间和测试数据量，弥补了测试设备和芯片制造能力提升之间的差距，受到学术界和工业界的广泛关注。测试数据分为测试激励和测试响应两种，测试压缩也对应分为测试激励压缩和测试响应压缩两个方面。本文针对这两方面分别展开了研究。本文的主要贡献包含：1. 提出了一种Variable-Tail编码。Variable-Tail是一种变长－变长的编码，对于X位密度比较高的测试向量能够取得更高的测试压缩率。实验数据表明，如结合测试向量排序算法，则使用Variable-Tail编码可以取得很接近于编码压缩理论上界的压缩效果（平均差距在1.26%左右），同时还可以减少20％的测试功耗。2. 提出了一种并行芯核外壳设计方法。研究发现了测试向量中存在着扫描切片重叠和部分重叠现象。当多个扫描切片重叠时，它们仅需要装载一次，这样就可以大大减少测试时间和测试数据量。实验结果表明，使用并行外壳设计，测试时间可以减少到原来的2/3，测试功耗可以减少到原来的1/15。 3．提出了3X测试压缩结构。3X测试压缩结构包含了三个主要技术：X-Config 激励压缩、X-Balance测试产生和X-Tolerant响应压缩。 X-Config激励压缩提出了一个周期可重构的MUX网络。X-Balance 测试产生综合考虑了动态压缩、测试数据压缩和扫描设计等因素，产生测试向量。它使用了回溯消除算法和基于确定位概率密度的扫描链设计算法，减少测试向量体积。X-Tolerant 响应压缩提出了一种单输出的基于卷积编码的压缩电路。该压缩电路只需要一个数据，因此总能保证最大的压缩率。同时为了提高对X位的容忍能力，还提出了一个多权重的基本校验矩阵生成算法。     

水压试验用法兰盖的厚度计算

众所周知,压力容器竣工后必须按规定进行水压试验,用于全面考核容器的强度.因此必需对所有管口用临时法兰盖进行密封以满足水压试验要求.本文列举了几种临儋时法兰盖的厚度计算方法供大家参考.     

探索性与利用性国际化的创新效应:基于权变理论的匹配检验

已有研究对于不同国际化战略的创新机理缺乏关注。基于探索与利用视角,将国际化战略划分为探索性国际化与利用性国际化,实证研究了两种国际化战略对创新绩效的影响,同时检验了企业年龄、母国与东道国相似性、国际环境动荡性的调节效应。研究发现探索性国际化、利用性国际化对创新绩效具有正向影响,而探索性国际化对创新绩效具有更强的影响效应;企业国际化战略选择必须与组织（企业年龄）、战略（母国与东道国相似性）、环境（国际环境动荡性）因素相匹配。研究结论对于国际化战略理论与实践具有启示意义。     

探索性与利用性国际化的创新效应：基于权变理论的匹配检验

已有研究对于不同国际化战略的创新机理缺乏关注。基于探索与利用视角，将国际化战略划分为探索性国际化与利用性国际化，实证研究了两种国际化战略对创新绩效的影响，同时检验了企业年龄、母国与东道国相似性、国际环境动荡性的调节效应。研究发现探索性国际化、利用性国际化对创新绩效具有正向影响，而探索性国际化对创新绩效具有更强的影响效应；企业国际化战略选择必须与组织（企业年龄）、战略（母国与东道国相似性）、环境（国际环境动荡性）因素相匹配。研究结论对于国际化战略理论与实践具有启示意义。     

商业银行个人房地产贷款压力测试初探

通过我国房地产信贷市场风险因素分析及各种风险管理方法比较,得出将压力测试引入房贷风险管理的必要性、可行性。进一步结合国外理论及实践经验,对个人房地产贷款压力测试体系的整体构架及技术需求进行了深入探讨。     

高校考务管理信息系统的设计与实现

运用信息技术,开发综合考务管理信息系统,加速高校教务管理的改革进程。以开发全国大学英语4、6考务管理系统为例,讨论了高校考务管理信息系统开发设计原则及模块功能的分析。通过本系统的开发,实现教务的分级管理、规范化管理、信息共享。     

Leveraging social influence based on users activity centers for point-of-interest recommendation

Recommender Systems (RSs) aim to model and predict the user preference while interacting with items, such as Points of Interest (POIs). These systems face several challenges, such as data sparsity, limiting their effectiveness. In this paper, we address this problem by incorporating social, geographical, and temporal information into the Matrix Factorization (MF) technique. To this end, we model social influence based on two factors: similarities between users in terms of common check-ins and the friendships between them. We introduce two levels of friendship based on explicit friendship networks and high check-in overlap between users. We base our friendship algorithm on users’ geographical activity centers. The results show that our proposed model outperforms the state-of-the-art on two real-world datasets. More specifically, our ablation study shows that the social model improves the performance of our proposed POI recommendation system by 31% and 14% on the Gowalla and Yelp datasets in terms of Precision@10, respectively.     

通用等级考试管理系统设计与实现

针对各类等级考试管理软件繁多,不便于管理的问题,提出了通用等级考试管理系统方案,建立了通用等级考试管理系统模型,设计了相应的考试管理业务逻辑规则及其流程工作模式,并阐述了在VB平台下实现系统所采用的关键技术及主要算法。     

基于改进的双重差异驱动赋权法的科技成果评价

将纵横向拉开档次法运用到"时序立体数据"中,将动态综合评价问题转换为静态的群体评价问题;为解决传统差异驱动赋权关于评价指标的敏感性问题,采用聚类分析先对专家分组有效减少实际专家人数,再运用双重差异驱动法对专家组赋权,最后得到24项科技成果的综合排名。实证研究表明:从整体差异出发的指标赋权方法和基于聚类分析的双重差异专家赋权法在综合评价中具有稳定性和连续性。     

一种基于多通道分解的图像测试信号设计方法

HVS中多通道分解模型用于度量误差图像空间尺寸的视觉感受,为了降低主观评价实验方法的条件要求,建立了一种基于多通道分解的图像测试信号设计方法。该方法通过控制白噪声在频域存在的区间,即白噪声经正交变换、掩膜量化矩阵,产生信噪比相同且空间尺寸不同的测试图像信号。分析和实验表明,多通道分解测试图像信号产生一对与高频和低频对应的误差图像,其信噪比基本相等但其空间尺寸的视觉感受不同,有利于考察与视觉感知相吻合的图像评价方法。     

泄漏电流测量仪测量结果不确定度分析评定的探讨

本文主要关于泄漏电流测量仪的检测结果不确定度的分析评定方法进行研究。家电、电线电缆、电力、医疗器械等行业普遍使用泄漏电流测量仪进行泄电的安全测量,在计量管理中泄漏电流测量仪用于安全防护用的强检计量器具,使用单位要求提供其测量结果不确定评定。现提供在工作中总结的不确定度分评定方法析与大家共同探讨。     

Recent insights on biochemical and molecular basis for developing antihaemostatic agents: A review

The normal coagulation process is initiated by disruption and exposure of the subendothelial components of blood vessels. Platelets adhere to subendothelium-bound von Willebrand factor via glycoprotein (GP) Ib complex. This initial interaction per se and the release of platelet agonists transduce signals that leads to the rise in intracellular Ca2+ which induces shape change, prostaglandin synthesis, release of granular contents and conformational changes in platelet Gp IIb-IIIa. Gp IIb-IIIa in activated platelets binds fibrinogen and other adhesive proteins and mediates platelet cohesion the primary haemostatic plug. Furthermore, the activated platelets due to aggregation, result in the formation of fibrin (secondary hemostasis). Normally the haemostatic process plays a delicate balance between keeping the blood in the fluid state to maintain flow and rapidly forming an occluding plug following vessel injury. Thrombosis occurs because of alteration in this delicate balance. Arterial thrombosis occurs in the setting of previous vessel wall injury mostly because of atherosclerosis, while venous thrombosis occurs in areas of stasis. The recent advances in understanding of the haemostatic process have led to a better understanding of the mechanism of action of many antithrombotic drugs and identification of new targets for drug development. The molecular target of the ticlopidine has been identified. Large numbers of IIb-IIIa inhibitors have been developed. The mechanism of action of heparin has been defined at the molecular level. As a result, a synthetic pentasaccharide, based on antithrombin-binding domain of heparin, has been developed and tested successfully in clinical trials. New generation direct thrombin inhibitors are being developed. Factor Xa has a critical position at the convergence of intrinsic and extrinsic pathway. The clinical tolerability and the efficacy of low molecular weight heparins has established that inhibition of further thrombin generation, by blocking factor Xa alone can be an effective way of preventing thrombus growth without inactivating thrombin. A large number of specific factor Xa inhibitors are under development. Some of these are in preliminary clinical trials and appear to be promising. Future clinical trials will determine whether these new drugs will provide better risk-benefit ratio in treatment of thrombotic disorders. Similarly role of thrombolytics has been clearly established in many diseases including coronary artery disease.     

基于FFT-FS的土密实度瞬态振动测试信号分析

基于杭州地区广泛存在的粉质粘土,进行了大量的试验工作.通过对试验成果的综合分析,提出了基于傅立叶变换的土密实度瞬态振动测试信号分析方法.通过分析,提取信号的主峰频率作为反映土密实度大小的特征参量.分析结果表明:干密度与主峰频率呈正相关的关系;相反,含水量与主峰频率呈负相关的关系.最后利用最小二乘法原理,获得了土密实度与...