数据治理标准化发展现状与启示

全面梳理了数据治理标准化工作的发展趋势、标准化组织和典型数据治理标准,阐述了数据治理标准化的概念内涵和现有挑战;分别论述了标准化基本方法在数据治理中的应用,以及数据治理对标准化工作的支撑作用,并提出了后续工作建议。     

An improved U-Net for cell confluence estimation

Cell confluence is an important metric to determine the growth and the best harvest time of adherent cells. At present, the evaluation of cell confluence mainly relies on experienced labor, and thus it is not conducive to the automated cell culture. In this paper, we proposed an improved U-Net algorithm (called DU-Net) for the segmentation of adherent cells. First, the general convolution was replaced by the dilated convolution to expand the receptive fields for feature extraction. Then, the convolutional layers were combined with the batch normalization layers to reduce the dependence of the network on initialization. As a result, the segmentation accuracy and F1-score of the proposed DU-Net for adherent cells with low confluence (<50%) reached 96.94% and 93.87%, respectively, and for those with high confluence (≥50%), they reached 98.63% and 98.98%, respectively. Further, the paired t-test results showed that the proposed DU-Net was statistically superior to the traditional U-Net algorithm.     

固态微波功率器件测量夹具及其校准技术研究

固态微波功率器件由于其封装形式的特殊性,测量过程中必须引入测量夹具作为桥梁,才能完成接口形式的转换,进而开展测试工作。针对固态微波功率器件微波电参数在测试中,测量夹具给测量结果带来影响的问题,对固态微波功率器件测量夹具及其校准技术进行了研究。文章介绍了采用TRL校准方法,并利用矢量网络分析仪的误差修正功能来去除测量夹具误差,从而得到被测器件的真实性能参数。通过具体试验数据表明,对测量夹具的校准和误差的去除是可行有效的,从而可以在测量结果中去除测量夹具的影响而得到被测器件的"净"参数。     

基于图像采集卡的成像系统数据采集处理

为获取和处理成像系统图像数据,使用Matrox公司的图像采集卡与成像系统进行连接,在VC++环境下设计了图像采集处理软件。依据对成像系统的评价要求,提取了用户特定选择行列图像数据以曲线形式显示给用户,满足了成像系统在调试和评价阶段的使用要求。     

医学信息类专业《计算机组成原理》课程教学探讨

结合高等医科院校的实际情况,针对医学信息类专业的特点,探讨了《计算机组成原理》课程教学过程q-的几点心得。分别从教学内容的选择、教学方法的改进和教学实践的改革等方面作了详细的阐述。     

Piecewise Pseudo-Maximum Likelihood Estimation for Risk Aversion Case in First-Price Sealed-Bid Auction

In the literature, more and more clues show that the bidders indeed tend to risk averse. But as a good structure estimation procedure in first-price sealed-bid auctions, the traditional PPMLE (Piecewise Pseudo-Maximum Likelihood Estimation) approach is only applicable to the risk neutrality case. This study generalizes this approach to the risk aversion case, and obtains a simple estimation procedure for the Pareto family of private costs. In the procedure, the estimation order of distribution parameters of private costs is not important, which is different from the traditional PPMLE method. Though there is no unique estimator for θ ₁ and γ, some guidance is given for real-world applications on the basis of our Monte Carlo simulation experiments. What’s more, this procedure can be reduced further, if one is only interested in estimating the private costs. Extensive simulation experimental results indicate that our approach outperforms or matches at least the traditional one in the case of risk neutrality, and is applicable to the risk aversion case.     

面向DO-333的襟缝翼控制单元安全性分析

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证。通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据。文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持。     

基于框架语义的高考语文阅读理解答案句抽取

高考语文阅读理解问答相对普通阅读理解问答难度更大,问句抽象表述的理解需要更深层的语言分析技术,答案候选句抽取更注重与问句的关联分析,答案候选句排序更注重答案句之间的语义相关性。为此,该文提出借助框架语义匹配和框架语义关系抽取答案候选句,在排序时引入流形排序模型,通过答案句之间的框架语义相关度将排序分数进行传播,最终选取分数较高的Top-4作为答案句。在北京近12年高考语文阅读理解问答题上的准确率与召回率分别达到了53.65%与79.06%。     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。