【摘 要】
：
Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However,regular expressions have a q
【机 构】
：
College of Computer Science and Technology,Huaqiao University,Xiamen 361021,China;State Key Laborato
论文部分内容阅读
Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility.However,regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand,hard to compose,and error-prone.Faulty regular expressions may cause failures of the applications that use them.Therefore,ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications.The importance and necessity of ensuring correct defini-tions of regular expressions have attracted extensive attention from researchers and practitioners,especially in recent years.In this study,we provide a review of the recent works for ensuring the correct usage of regular expressions.We classify those works into differ-ent categories,including the empirical study,test string generation,automatic synthesis and learning,static checking and verification,visual representation and explanation,and repairing.For each category,we review the main results,compare different approaches,and discuss their advantages and disadvantages.We also discuss some potential future research directions.
其他文献
以无稀土与含质量分数为0.03%的Y的6.5%(质量分数)Si高硅钢为研究对象,经过热轧、常化、温轧及退火工艺制备出0.5 mm高硅钢薄板,采用EBSD、SEM和EDS测试技术,研究了稀土Y对高硅钢热、温轧组织织构演变的影响。结果表明,热轧板中以{001}〈110〉和{110}〈001〉织构为主,常化板织构类型遗传了热轧板,添加稀土Y削弱了热轧、常化板中整体织构强度。含Y高硅钢较无稀土高硅钢温轧剪切带增多,位错密度增加,α织构减弱且γ织构增强。随着退火温度升高,温轧板以{001}〈140〉为主的λ织构和{
作为现代化防震减灾公共服务体系的重要组成,城市抗震防灾规划信息管理以先进的信息技术与数字技术为依托,能够为城市抗震救灾工作提供数据支撑,降低地震造成的经济损失。基于三维模拟技术的城市抗震防灾规划信息管理系统。在数字化信息社会背景下,科学技术的更新迭代与精进发展,促进了城市抗震防灾工作的转型升级,为城市抗震防灾智慧化与数字化发展提供了技术支撑。
由于上海振华重工(集团)股份有限公司长兴分公司现状危废物仓库陈旧且配套设施设置不规范,为实现厂区危废物集中规范暂存的目标,进行新建危废物仓库的方案设计。对长兴分公司港机制造车间产生的危废物的火灾危险性、环境污染性、消防安全性等进行重点分析,确定适合长兴分公司危废物仓库的较为经济的平面布局方案和经济合理的消防、环保配套设施。
为了研究孔结构对高炉焦炭降解过程的影响,通过溶损-转鼓实验分析了不同溶损焦炭的孔结构分形特征和微观组织结构变化.在此基础上,通过引入考虑分形特征的物料破碎方程,分析
为研究大跨弦支穹顶空间结构中上部钢结构屋盖-下部混凝土结构组合体系协同工作性能,以河北北方学院体育馆为研究对象,分别建立体育馆弦支穹顶屋盖单体模型和考虑下部混凝土结构整体模型,通过对两种模型自振特性及小震、中震、罕遇地震和极罕遇地震下的动力响应对比分析,研究下部混凝土结构对上部钢屋盖结构工作性能影响。结果表明:考虑下部混凝土结构后,结构自振周期延长,振型多为上部钢屋盖振动;上下部结构刚度差异使上部屋盖产生类似“鞭梢效应”导致其水平位移明显增加,屋盖结构在水平地震耦合方向产生以屋盖顶点为中心呈反对称模式
Learning discriminative representations with deep neural networks often relies on massive labeled data, which is expensive and difficult to obtain in many real scenarios. As an alternative, self-super
Reinforcement learning(RL) algorithms have been demonstrated to solve a variety of continuous control tasks. However,the training efficiency and performance of such methods limit further applications. In this paper, we propose an off-policy heterogeneous
随着航天技术的不断发展,世界各航天大国均加快了远距离航天任务的规划与部署,这些航天任务航行距离远、持续时间长,所处空间环境恶劣,需要使用空间核动力供电系统。空间核动力斯特林电源系统是一种采用动态斯特林热电能量转换技术的核动力电源系统,主要由核热源、活塞式斯特林发电器和控制器等部件组成,具有长寿命、高功率、高热电转换效率、组合方式灵活等优点,在深空探测、星表登陆等航天任务的供电需求中具有较高的发展潜力和竞争力。目前,仅美国开展过大量的空间核动力斯特林电源系统的设计与技术研究工作,其最早的研发工作可追溯到20
固液火箭发动机具有比冲较高、结构简单、安全性好、可多次启动和易实现推力调节等优点,在探空火箭、小型运载火箭、亚轨道载人飞船、靶标与导弹、深空探测飞行器中有广泛的应用前景。利用固液火箭发动机的优点,国外针对不同深空探测任务需求,发展了多种形式的固液动力系统方案。系统调研深空探测任务中固液混合推进技术的应用情况,对我国固液混合推进技术和深空探测发展具有重要参考价值。
通过扫描电子显微镜观察了MarBN钢M23C6的分布情况;分析了MarBN钢中MX、M23C6主要的形核位置;计算了MarBN钢中V、Nb和Cr的碳化物和氮化物在不同温度下的实际溶度积及平衡溶度积,由此得出MarBN钢在液相、固相前沿、固相中的析出规律,并与一些学者的实验结果对比验证。结果表明:在固相中,碳氮化物的析出顺序为NbN、NbC、VN、VC、Cr23C6,析出温度依