机构

• 软件研究所 [6]
• 长春光学精密机械与物... [4]
• 自动化研究所 [3]
• 计算技术研究所 [2]
• 理论物理研究所 [1]
• 数学与系统科学研究院 [1]
• 更多

采集方式

• OAI收割 [18]

内容类型

• 期刊论文 [11]
• 会议论文 [7]

发表日期

• 2021 [2]
• 2016 [2]
• 2013 [1]
• 2011 [2]
• 2009 [2]
• 2008 [5]
• 更多

学科主题

• Biochemist... [1]
• Biophysics [1]
• Computer S... [1]

筛选

浏览/检索结果: 共18条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Ensuring the Correctness of Regular Expressions: A Review 期刊论文  OAI收割 International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535 作者:  Li-Xiao Zheng   |  收藏  |  浏览/下载：23/0  |  提交时间：2021/07/20 Regular expressions  correctness  string generation  learning  static checking  verification  visualization, repairing   A two-stage temporal proposal network for precise action localization in untrimmed video 期刊论文  OAI收割 International Journal of Machine Learning and Cybernetics, 2021, 卷号: 12, 期号: 8, 页码: 2199-2211 作者:  Wang F(王斐);  Wang, Guorui;  Du, Yuxuan;  He, Zhenquan;  Jiang Y(姜勇)   |  收藏  |  浏览/下载：28/0  |  提交时间：2021/04/24 Action detection  Correctness discriminator  Extended context pooling  Temporal context regression   SARP: Synopsis-Based Approximate Request Processing for Low Latency and Small Correctness Loss in Cloud Online Services 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2016, 卷号: 44, 期号: 5, 页码: 1054-1077 作者:  Han, Rui;  Zhan, Jianfeng;  Vazquez-Poletti Luis, Jose   |  收藏  |  浏览/下载：16/0  |  提交时间：2019/12/13 Cloud online service  Approximate request processing  Result correctness  Synopsis   MQAPsingle: A quasi single-model approach for estimation of the quality of individual protein structure models 期刊论文  OAI收割 PROTEINS-STRUCTURE FUNCTION AND BIOINFORMATICS, 2016, 卷号: 84, 期号: 8, 页码: 1021-1028 作者:  Pawlowski, M;  Kozlowski, L;  Kloczkowski, A;  Kloczkowski, A (reprint author), Nationwide Childrens Hosp, Res Inst, Battelle Ctr Math Med, 700 Childrens Dr, Columbus, OH 43205 USA.   |  收藏  |  浏览/下载：94/0  |  提交时间：2017/10/13 Model Quality Assessment  Protein Structure  Protein Prediction  Mqap  Single-model Mqap  Model Correctness  Casp10   A new proof for the correctness of the F5 algorithm 期刊论文  OAI收割 中国科学:数学(英文版), 2013, 卷号: 56, 期号: 4, 页码: 745-756 作者:  Sun Yao;  Wang DingKang   |  收藏  |  浏览/下载：9/0  |  提交时间：2021/01/14 GROBNER BASES  Grobner basis  F5  F5B  correctness of F5   Research on model reference sliding mode control in roll stabilization of aerocraft (EI CONFERENCE) 会议论文  OAI收割 2011 International Conference on Electric Information and Control Engineering, ICEICE 2011, April 15, 2011 - April 17, 2011, Wuhan, China Chu H.-R. 收藏  |  浏览/下载：40/0  |  提交时间：2013/03/25 Aimed at aerospace roll stabilization  control arithmetic based on model reference sliding mode variable structure theory and chattering reduction arithmetic are formulated. Correctness and validity of arithmetic are analyzed. With flight dynamics  the roll-loop mathematic model and reference model are established. Sliding hyperplane is deduced based on model reference sliding mode variable structure theory. Combing with reaching law  control law is derived  and stability of roll-loop is analyzed. Chattering of aileron instructions is alleviate by using boundary layer approach. Digital flying simulation result shows that variable structure control arithmetic realized roll stabilization control  the roll angle is less than 5.3 under powered flight  and that of unpowered flight is less than 0.5  respectively. The command fin angle is less than 1.5. High frequency chattering of fin command nearby the minimum velocity was trailed off by chattering reduction arithmetic. The sliding mode control arithmetic show good performance when aerodynamic coefficients varies 20%. The control arithmetic is easy to be implemented for its simplicity. 2011 IEEE.   The effectiveness of real-time embedded software testing (EI CONFERENCE) 会议论文  OAI收割 2011 9th International Conference on Reliability, Maintainability and Safety: Safety First, Reliability Primary, ICRMS'2011, June 12, 2011 - June 15, 2011, Guiyang, China Zhang B.; Shen X. 收藏  |  浏览/下载：33/0  |  提交时间：2013/03/25 Real-time embedded software is widely applied in the fields with high reliability and security like aviation and space flight etc. In those systems  software quality is of vital importance  and software testing  as a means of guaranteeing the quality of software  is gaining increasingly more attention. The effectiveness of software testing enables people to gain confidence in software correctness. The real-time and embedding features of embedded software lead to the particularity in real-time embedded software testing. On the basis of particularity analysis of embedded software testing  the author of this thesis further conducted research on the effective Software Testing  and proved that it is valid to adopt testing techniques and strategies through experiments. 2011 IEEE.   Application of master-slave multi-communication system in pilotless airborne mapping equipment (EI CONFERENCE) 会议论文  OAI收割 5th International Symposium on Instrumentation Science and Technology, September 15, 2009 - September 18, 2009, Shenyang, China 作者:  Chen J.;  Wang W.;  Wang W.;  Zhang Y. 收藏  |  浏览/下载：29/0  |  提交时间：2013/03/25 This paper presents a master-slave multi-communication system designed with several micro-controllers used as master and slave controllers to set signal the lamp to realize point-to-point communication through the RS422 interface. By describing a typical example of this system and the blue print of hardware and the flowchart of software  the reliable work of the system has been proved. The circuits of system are very simple and practical  and they can be used to realize all the functions of a pilotless airborne mapping equipment. It also has a strong anti-jamming capability due to its balanced transfer scheme with single transmitter and multiple receivers. It is very efficient in protecting the integrity and correctness of transmitted and received signals  avoiding the collision of signals through the bus  satisfying the communication among several micro-controllers in a single system and forming a special communication network. 2009 SPIE.   基于静态分析的强制访问控制框架的正确性验证 期刊论文  OAI收割 计算机学报, 2009, 卷号: 32, 期号: 4, 页码: 730-739 吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳   |  收藏  |  浏览/下载：23/0  |  提交时间：2010/08/23 正确性验证  静态分析  强制访问控制框架  钩子放置  mygcc mygcc  correctness verification  static analysis  mandatory access control framework  hooks placement  mygcc   A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99 作者:   收藏  |  浏览/下载：30/0  |  提交时间：2015/11/08 correctness  formal verification  Petri nets (PNs)  stock trading systems  temporal logic