CRL与OCSP相结合的证书撤销方案

提出了一个基于CRL和OCSP策略的新的证书撤销方案。首先分析比较了CRL和OCSP协议的优缺点,然后结合两者的优点通过建立一个请求处理服务器提出了一个新的证书撤销方案,最后对改进方案的优劣做了分析总结。     

Application of online near infrared spectroscopy to study the kinetics of anionic polymerization of butadiene

Online Fourier-transform near infrared (FT-NIR) spectroscopy in combination with a fiber optic probe was utilized to study the kinetics of the anionic polymerization of butadiene. The conversion of the butadiene to methylene protons in the polymer was monitored in solution polymerization conditions by monitoring the absorbance at 1632 nm. The off-line gel permeation chromatography, GPC, technique was used to validate the online FT-NIR spectroscopy method. Butadiene polymerization kinetics in cyclohexane initiated with n-butyllithium at different initiator concentrations and temperatures was studied. A phenomenological kinetic expression for the anionic polymerization of butadiene in cyclohexane initiated with n-butyllithium was determined. The predictions of the kinetic expression were in agreement with kinetic data reported in the literature.     

Parameterized approximations for the two-sided assortment optimization

We consider the problem faced by an online service platform that matches suppliers with consumers. Unlike traditional matching models, which treat them as passive participants, we allow both sides of the market to exercise their choices. To model this setting, we introduce a two-sided assortment optimization model wherein each participant's choice is modeled using a multinomial logit choice function, and the platform's objective is to maximize its expected revenue. We first show that the problem is NP-hard even when the number of suppliers is limited to two and provide a mixed-integer linear programming formulation. Next, we discuss two simple greedy heuristics and argue that these can lead to arbitrarily bad solutions. We then develop relaxations that provide upper and lower bounds and investigate the tightness of these relaxations by obtaining parametric approximation guarantees. Finally, we present numerical results on synthetic data demonstrating the practical utility of these relaxations.     

“虚实结合”的EDA课程设计实验教学案例

为提高学生的工程实践能力,我校EDA课程设计结合自研在线教学平台,采用案例式教学方式,锻炼和培养学生对EDA开发工具综合运用的能力和动手实践能力。EDA课程案例包括Matlab设计仿真、Modelsim仿真及D/A电路设计调试等EDA完整工程设计流程,线上实验平台提供远程硬件调试功能,学生可以随时随地通过线上实验平台对设计进行验证并与教师进行在线交流。该案例的成功实施有助于虚实结合的实践教学方法探索。     

新工科环境下“EDA技术”课程改革的探索

高校新工科人才培养的要求是培养一大批多样化、创新型卓越工程科技人才。针对培养要求切实做出积极的改革,首先重构EDA技术课程的教学时间,由线上和线下两部分组成。线上课要求完成课程视频学习、单元测验、讨论和期末测试;线下课堂要求完成见面课项目设计、实验课和期末考试。通过线上线下课堂教学的结合,加强过程性考核手段,完善学生学习评价机制。     

孪生网络框架下融合显著性和干扰在线学习的航拍目标跟踪算法

针对一般跟踪算法不能很好地解决航拍视频下目标分辨率低、视场大、视角变化多等特殊难点,该文提出一种融合目标显著性和在线学习干扰因子的无人机(UAV)跟踪算法.通用模型预训练的深层特征无法有效地识别航拍目标,该文跟踪算法能根据反向传播梯度识别每个卷积滤波器的重要性来更好地选择目标显著性特征,以此凸显航拍目标特性.另外充分利用连续视频丰富的上下文信息,通过引导目标外观模型与当前帧尽可能相似地来在线学习动态目标的干扰因子,从而实现可靠的自适应匹配跟踪.实验证明:该算法在跟踪难点更多的UAV123数据集上跟踪成功率和准确率分别比孪生网络基准算法高5.3%和3.6%,同时速度达到平均28.7帧/s,基本满足航拍目标跟踪准确性和实时性需求.     

借鉴梅西大学经验开展农科有机化学在线教学

Massey University is a world-leading university in remote-instruction, online and mixed teaching based on the Stream teaching platform. This paper analyzed the advantages of the Stream teaching platform, resource utilization, course format, teaching team cooperation and course evaluation in Massey University. The paper also analyzed the enlightenment of teaching experience of Massey University to undergraduate teaching. During the outbreak of COVID-19 epidemic, drawing on Massey's experience, combined with the rapid development of information technology in China, the teaching team of organic chemistry adopted the multi-teaching strategy of "teacher-centered and student-centered", and the teaching mode of "teacher-led and self-taught by students". The online teaching practice of organic chemistry was carried out in agriculture university. It has been demonstrated that this model can effectively improve teaching effects.     

Explaining the Formation of Online News Startups in France and the United States: A Field Analysis

This article examines the differential formation of online news startups in Toulouse, France, and Seattle, United States. While Seattle is home to many startups, in Toulouse there have been just 4—and only 1 continues publishing. Drawing on Bourdieu's field theory, we argue that amount and types of capital held by journalists in the 2 cities varied as a result of differences in journalism's position in the field of power. These differences shaped the extent of startup formation in each city and structured journalists' capacities to convert their capital into the resources needed to form startups (e.g., funding, credentials, partnerships). These findings are positioned in relation to literatures on journalism innovation and comparative media.     

Stochastic testing of processing cores in a many-core architecture

A promising solution to reliability challenges in nano-scale fabrication technologies is self-test and reconfiguration. In this direction, we propose an autonomous test mechanism for online detection of permanent faults in many-core processors. Several hardware test components are incorporated in the many-core architecture. Some of these components distribute software-based self-test routines among the processing cores and make each test routine accessible for a limited amount of time. A processing core that has an idle slot executes the test routine, otherwise it skips it without loss of test continuity. Several components of the proposed test architecture monitor behavior of the processing cores during execution of test routines, detect faulty cores, and make their omission from the system possible. We propose the use of an extended form of Petri NET modeling method to model and analyze the proposed test mechanism and tune our test architecture to preserve quality of test, and at the same time, manage the overall test time. Our experimental results show that test time and hardware overhead of the proposed test mechanism are low and its performance overhead is zero. Furthermore, the proposed test architecture can efficiently scale to a many-core with a large number of processing cores.