期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
The application of APP (application programs) in college English listening teaching
1
作者 Liu Fei 《International Journal of Technology Management》 2015年第5期79-81,共3页
Chinese college students have some drawbacks in English learning and mastering. Through a dozen years of English learning, some of them have high ability of passing examinations, but the practical application ability ... Chinese college students have some drawbacks in English learning and mastering. Through a dozen years of English learning, some of them have high ability of passing examinations, but the practical application ability is barely satisfactory with relatively poor listening level and oral expression ability. The objective cause for this situation is the relatively single and stylization English teaching model used by traditional colleges and universities. This model only emphasizes learning on class which greatly harms students' English learning enthusiasm and initiatives. The result is that although the students passed CET4 and CET6 long time before their graduation, they still not dare to open their mouth to speaking concerning face to face English communications. Over the years, the researches on how to improve college students' English application ability never stop and they did obtain some achievements and show some opportunities, for example, if we can bring APP (application programs) into college English listening class, it will largely meet students requirements on English learning and this can also replenish and perfect traditional English teaching model. 展开更多
关键词 mobile terminal APP application programs) college English teaching
下载PDF
A SEQUENTIAL TESTING PROGRAM FOR PREDICTING AND IDENTIFICATING CARCINOGENS AND ITS APPLICATION
2
作者 周宗灿 方积乾 +2 位作者 王纪宪 傅娟龄 徐厚恩 《Chinese Journal of Cancer Research》 SCIE CAS CSCD 1992年第1期71-81,共11页
In this paper our studies about the sequential testing program for predicting and identificating carcinogens, sequential discriminant method and cost- effectiveness analysis are summarized. The analysis of our databas... In this paper our studies about the sequential testing program for predicting and identificating carcinogens, sequential discriminant method and cost- effectiveness analysis are summarized. The analysis of our database of carcinogeniclty and genotoxicity of chemicals demonstrates the uncertainty . of short- term tests ( STTs ) to predict carcinogens and the results of most routine STTs are statistically dependent. We recommend the sequential testing program combining STTs and carclnogenicity assay, the optimal STT batteries, the rules of the sequential discrimination and the preferal choices of STTs tor specific chemical class. For illustrative pmposes the carclnogenicity prediction of several sample chamicals is presented. The results of cost-effectiveness analysis suggest that this program has vast social-economic effectiveness. 展开更多
关键词 STT A SEQUENTIAL TESTING program FOR PREDICTING AND IDENTIFICATING CARCINOGENS AND ITS application MNT PRO test 加加
下载PDF
Call for papers Journal of Control Theory and Applications Special issue on Approximate dynamic programming and reinforcement learning
3
《控制理论与应用(英文版)》 EI 2010年第2期257-257,共1页
Approximate dynamic programming (ADP) is a general and effective approach for solving optimal control and estimation problems by adapting to uncertain and nonconvex environments over time.
关键词 Call for papers Journal of Control Theory and applications Special issue on Approximate dynamic programming and reinforcement learning
下载PDF
Online and Offline Android Based Mobile Application for Mapping Health Facilities Using Google Map API. Case Study: Tanzania and Kenya Borders 被引量:1
4
作者 Happyness Alexander Judith Leo Shubi Kaijage 《Journal of Software Engineering and Applications》 2021年第8期344-362,共19页
The evolution of technology in 1990s resulted in the enormous growth of smartphones and the propagation of mobile applications (App) that marked new opportunities for healthcare centers and medical education. Apps hav... The evolution of technology in 1990s resulted in the enormous growth of smartphones and the propagation of mobile applications (App) that marked new opportunities for healthcare centers and medical education. Apps have altered health services from patient’s health monitoring to specialist’s appointments and consultations from specialized health facilities. It can be argued that a healthy society can bring forth sustainable economic development to its full potential while an unhealthy society cannot. However, a free movement of people, labour and right to residence which was built across East Africa (EA) borders enabled Tanzania and Kenya borders to have enormous interactions. Subsequently, increase the risk of highly communicable diseases such as Tuberculosis and Sexually transmitted infections in such a way that medical attention is unavoidable along the borders. Statistically, Android Operating System (OS) owns 83% of Africa’s mobile OS market. In addition, 25,794,560 internet users reported by Tanzania Communications Regulatory Authority (TCRA) together with the 22.86 million internet users provided by Kenya Digital which is equivalent to 46% and 43% of internet penetration in year 2020, disclose the need for Android mobile application for mapping health facilities both online and offline using Google map API, which will solve residents’ need to healthcare services on the presence or shortage of internet connections;using either Swahili or English language via Smartphone devices. The App incorporates Monitoring and Evaluation (M & E) tool for tracking application usage which will ease Admin’s task to generate daily and monthly reports in Excel and Comma-Separated Values (CSV) formats. The developed system received positive feedback from EA citizens and residents in the Arusha region and Namanga border crossing where 90.2% of the system evaluation conducted between Dec 2020 and Apr 2021 agreed upon App usage. 展开更多
关键词 Health Facilities Android Operating System (AOS) Mobile application (App) Monitoring and Evaluation (M & E) application programming Interface (API)
下载PDF
Setup and application of a structural seismic hybrid simulation system on local area network
5
作者 王大鹏 《Journal of Chongqing University》 CAS 2012年第3期103-111,共9页
To implement structural hybrid simulation independent of the control system of any testing equipment in civil engineering, an external command control approach is put forward. Several setup technologies and the corres... To implement structural hybrid simulation independent of the control system of any testing equipment in civil engineering, an external command control approach is put forward. Several setup technologies and the corresponding API approaches are investigated to simultaneously combine numerical simulation with physical testing. Hybrid program technology is put forward and described in detail, using Visual C++ program to effectively and accurately control testing equipment and MATLAB program to implement numerical simulation with easy extension. The control program of testing equipment and numerical simulation program are integrated by calling MATLAB engine in Visual C++. A hybrid simulation about a full-scale six-story masonry structure is carried out. The testing results manifest that the external command control approach has the versatility because of simple hardware connection and control program independent on control software of testing equipment; powerful program function of Visual C++ and flexible program of MATLAB are integrated by hybrid program technology; hybrid simulation system provides a realistic and cost-effective testing platform that enables earthquake engineer researchers to accurately and efficiently capture the seismic performance of large or complex structures without having to carry out physical testing of the entire structure. 展开更多
关键词 hybrid simulation external command control application program interface hybrid program control structural seismic testing
下载PDF
A CONFERENCE CONTROL MODEL BETWEEN A WEB SERVER AND A TELECOM APPLICATION SERVER
6
作者 Wang Kaixi Yang Fangchun 《Journal of Electronics(China)》 2008年第2期232-238,共7页
The paper proposes a conference control model between a web server and a telecom application server,referred to as the Conference Directed Graph(CDG) ,and describes an asynchronous communication mechanism between them... The paper proposes a conference control model between a web server and a telecom application server,referred to as the Conference Directed Graph(CDG) ,and describes an asynchronous communication mechanism between them. The Corba Interface Definition Language(IDL) interfaces are defined,and a message sequence chart is illustrated. This web conference control model provides conference users with a new approach to manage and control a conference and the participants. The performance of the system prototype is analyzed and verified in the 863 project named "The Multi-media and Mobile Services Enabled Soft-switch System". 展开更多
关键词 Service creation Parlay application programming Interface (API) Web conference control model
下载PDF
Sentiment Analysis with Tweets Behaviour in Twitter Streaming API 被引量:2
7
作者 Kuldeep Chouhan Mukesh Yadav +4 位作者 Ranjeet Kumar Rout Kshira Sagar Sahoo NZ Jhanjhi Mehedi Masud Sultan Aljahdali 《Computer Systems Science & Engineering》 SCIE EI 2023年第5期1113-1128,共16页
Twitter is a radiant platform with a quick and effective technique to analyze users’perceptions of activities on social media.Many researchers and industry experts show their attention to Twitter sentiment analysis t... Twitter is a radiant platform with a quick and effective technique to analyze users’perceptions of activities on social media.Many researchers and industry experts show their attention to Twitter sentiment analysis to recognize the stakeholder group.The sentiment analysis needs an advanced level of approaches including adoption to encompass data sentiment analysis and various machine learning tools.An assessment of sentiment analysis in multiple fields that affect their elevations among the people in real-time by using Naive Bayes and Support Vector Machine(SVM).This paper focused on analysing the distinguished sentiment techniques in tweets behaviour datasets for various spheres such as healthcare,behaviour estimation,etc.In addition,the results in this work explore and validate the statistical machine learning classifiers that provide the accuracy percentages attained in terms of positive,negative and neutral tweets.In this work,we obligated Twitter Application Programming Interface(API)account and programmed in python for sentiment analysis approach for the computational measure of user’s perceptions that extract a massive number of tweets and provide market value to the Twitter account proprietor.To distinguish the results in terms of the performance evaluation,an error analysis investigates the features of various stakeholders comprising social media analytics researchers,Natural Language Processing(NLP)developers,engineering managers and experts involved to have a decision-making approach. 展开更多
关键词 Machine learning Naive Bayes natural language processing sentiment analysis social media analytics support vector machine Twitter application programming interface
下载PDF
Design of a Cryptographic Algorithm in the Form of an API in Order to Secure Monetary Transactions in a Supermarket
8
作者 Atsopmene Tango Vanette Eleonore Gamom Ngounou Ewo Roland Christian Kom Charles Hubert 《Journal of Information Security》 2023年第4期437-453,共17页
Supermarkets and large-scale retail stores are usually subject to huge monetary transactions for certain customers’ purchases. The computerization of these systems is common in supermarkets but the security of these ... Supermarkets and large-scale retail stores are usually subject to huge monetary transactions for certain customers’ purchases. The computerization of these systems is common in supermarkets but the security of these transactions remains a mystery. This article presents an algorithm as an API based on symmetric cryptography that can enable end-to-end encryption of a monetary transaction in a supermarket. This algorithm is the first part of the complete supermarket management system which will be presented in the following article. The Python language and the Flask framework allow us to develop the algorithm as an independent component. Tests have been performed and our algorithm uses 98.49% less memory and 10.18% time saving than the AES algorithm. 展开更多
关键词 application programming Interface (API) Symmetric Cryptography End-to-End Encryption
下载PDF
Recovery after ischemic stroke:Effects of FuekFone home-based program on upper limb and cognitive function
9
作者 Yaowalak Kumkwan Ketsarin Utriyaprasit +2 位作者 Thitipong Tankumpuan Zeng Lertmanorat Boonyanit Mathayomchan 《International Journal of Nursing Sciences》 2024年第4期414-420,I0001,共8页
Objectives:This study aimed to explore the effects of the“FuekFone(F.F.)home-based program”on the upper limb and cognitive function of ischemic stroke patients after discharge.Methods:A single group pre-and post-tes... Objectives:This study aimed to explore the effects of the“FuekFone(F.F.)home-based program”on the upper limb and cognitive function of ischemic stroke patients after discharge.Methods:A single group pre-and post-test design was conducted.A total of 40 patients with recovery after ischemic stroke were recruited from two university hospitals in Thailand.The study was conducted between June 2022 and January 2023.Participants underwent a six-week“F.F.home-based program,”which combined an upper limb and cognitive function rehabilitation device with Android games,including stationary barrel,adventure walk,adventure stroll,sliding barrel,sauce squeeze,and cut objects.Each game has different difficulty levels.Patients can perform corresponding exercises through the games according to their conditions under the guidance of medical staff.The patients played for 24 min per time,4 min each game,three days a week.The second week,let the patients play games for 30 min per time,5 min each game,3 days a week.Then,in the 3e6 weeks,let the patients play games for 1 h per time,10 min each game,5 days a week.At the pre-and post-intervention,the Thai version of the National Institutes of Health Stroke Scale(NIHSS),the Motor Assessment Scale,and the Montreal Cognitive Assessment(MoCA score)were administered to patients at discharge and at 2,4,and 6 weeksafter discharge,and the results were compared.Results:All participants completed this program.Participants had statistically improved upper limb function(upper arm function score,hand movements score,advanced hand activities score,total Motor Assessment Scale score)and MoCA score at 2,4,and 6 weeks after discharge(P<0.001).In the comparison of upper limb function and cognitive function at each of the study times,we found statistically improved upper limb function(upper arm function score,hand movements score,advanced hand activities score,total Motor Assessment Scale score)and MoCA score at 4,and 6 weeks after discharge when compared to after discharge and 2 weeks after discharge,respectively(P<0.05).Conclusions:Continuing care of patients post-stroke after discharge from hospital,such as F.F.homebased program should be applied at home to enhance upper limb and cognitive function. 展开更多
关键词 application program Cognitive Home-based program Ischemic stroke Patients Upper extremity
下载PDF
Focusing on individualized nutrition within the algorithmic diet: an in-depth look at recent advances in nutritional science, microbial diversity studies, and human health
10
作者 Reyed M Reyed 《Food and Health》 2023年第1期22-50,共29页
A healthy balanced diet and a healthy lifestyle are very closely linked.Whichever the biological link is,it is overwhelming to understand.Modifications in how food is served,divided up,and supervised,such as the intro... A healthy balanced diet and a healthy lifestyle are very closely linked.Whichever the biological link is,it is overwhelming to understand.Modifications in how food is served,divided up,and supervised,such as the introduction of nutritional hygiene standards,food handling practices,and the entry of macro and micronutrients,have had a big impact on human health in the last few decades.Growing evidence indicates that our gut microbiota may affect our health in ways that are at least in part influenced by our diet and the ingredients used in the preparation of our food and drinks,as well as other factors.As a new problem,this one is getting a lot of attention,but it would be hard to figure out how the gut microbiota and nutrition molecules work together and how they work in certain situations.Genetic analysis,metagenomic characterization,configuration analysis of foodstuffs,and the shift to digital health information have provided massive amounts of data that might be useful in tackling this problem.Machine learning and deep learning methods will be employed extensively as part of this research in order to blend complicated data frames and extract crucial information that will be capable of exposing and grasping the incredibly delicate links that prevail between diet,gut microbiome,and overall wellbeing.Nutrition,well-being,and gut microorganisms are a few subjects covered in this field.It takes into account not only databases and high-speed technology,but also virtual machine problem-solving skills,intangible assets,and laws.This is how it works:Computer vision,data mining,and analytics are all discussed extensively in this study piece.We also point out limitations in existing methodologies and new situations that discovered in the context of current scientific knowledge in the decades to come.We also provide background on"bioinformatics"algorithms;recent developments may seem to herald a revolution in clinical research,pushing traditional techniques to the sidelines.Furthermore,their true potential rests in their ability to work in conjunction with,rather than as a substitute for,traditional research hypotheses and procedures.When new metadata propositions are made by focusing on easily understandable frameworks,they will always need to be rigorously validated and brought into question.Because of the huge datasets available,assumption analysis may be used to complement rather than a substitute for more conventional concept-driven scientific investigation.It is only by employing all of us that we will all increase the quality of evidence-based practice. 展开更多
关键词 nutritional databank nutritional human gut microbiota MICROBIOME big data algorithms public health dietary programming application
下载PDF
Tag clustering algorithm LMMSK: improved K-means algorithm based on latent semantic analysis 被引量:7
11
作者 Jing Yang Jun Wang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2017年第2期374-384,共11页
With the wide application of Web-2.0 and social software, there are more and more tag-related studies and applications. Because of the randomness and the personalization in users' tagging, tag research continues t... With the wide application of Web-2.0 and social software, there are more and more tag-related studies and applications. Because of the randomness and the personalization in users' tagging, tag research continues to encounter data space and semantics obstacles. With the min-max similarity (MMS) to establish the initial centroids, the traditional K-means clustering algorithm is firstly improved to the MMSK-means clustering algorithm, the superiority of which has been tested; based on MMSK-means and combined with latent semantic analysis (LSA), here secondly emerges a new tag clustering algorithm, LMMSK. Finally, three algorithms for tag clustering, MMSK-means, tag clustering based on LSA (LSA-based algorithm) and LMMSK, have been run on Matlab, using a real tag-resource dataset obtained from the Delicious Social Bookmarking System from 2004 to 2009. LMMSK's clustering result turns out to be the most effective and the most accurate. Thus, a better tag-clustering algorithm is found for greater application of social tags in personalized search, topic identification or knowledge community discovery. In addition, for a better comparison of the clustering results, the clustering corresponding results matrix (CCR matrix) is proposed, which is promisingly expected to be an effective tool to capture the evolutions of the social tagging system. © 2017 Beijing Institute of Aerospace Information. 展开更多
关键词 application programs Data mining MATLAB SEMANTICS Social networking (online) WEBSITES
下载PDF
Variable-length sequential dynamic features-based malware detection
12
作者 杜冬高 Li Gaochao Ma Yan 《High Technology Letters》 EI CAS 2016年第4期362-367,共6页
In order to solve the problem that traditional signature-based malware detection systems are inefficacious in detecting new malware,a practical malware detection system is constructed to find out new malware. Applicat... In order to solve the problem that traditional signature-based malware detection systems are inefficacious in detecting new malware,a practical malware detection system is constructed to find out new malware. Application programming interface( API) call sequence is introduced to capture activities of a program in this system. After that,based on variable-length n-gram,API call order can be extracted from API call sequence as the malicious behavior feature of a software. Compared with traditional methods,which use fixed-length n-gram,the solution can find more new malware. The experimental results show that the presented approach improves the accuracy of malware detection. 展开更多
关键词 application programming interface(API) call order variable-length N-GRAM malware detection
下载PDF
Design and Development an Interactive On-the-Job Training Monitoring and Help Desk System with SMS for College of Information and Communication Technology
13
作者 Apple Grace G. Oliveros 《Journal of Computer and Communications》 2022年第7期72-89,共18页
This study aimed to develop An Interactive On-the-Job Training Monitoring and Help Desk System with SMS for the College of Information and Communication Technology Nueva Ecija University of Science and Technology. The... This study aimed to develop An Interactive On-the-Job Training Monitoring and Help Desk System with SMS for the College of Information and Communication Technology Nueva Ecija University of Science and Technology. The system made the OJT course procedure trouble-free by emerging a system accessible through the internet. Students have a user account, which gives them the aptitude to upload document files of their reports, thereby minimizing the time and energy spent traveling from the company’s location to the university and the other way around. Similarly, the OJT coordinators of the college are given their accounts to access and check the reports submitted by the students. The system is capable of generating reports and requirements in real-time, as long as all data is stored within the database and, therefore, the process is completed online. In addition, the system provides an interactive website that might help both students and coordinators to communicate instantaneously by having an online help desk where the students can ask related questions on their OJT course that the OJT coordinator and other students will answer. The coordinators can send a brief message service to the students enrolled within the OJT course through the utilization of the proposed system - this can be for the students who aren’t capable of opening their account more often, in order that they are still informed of the announcements they need to understand immediately. The interactive OJT help desk system with SMS can be used as a tool to help the students of the College of Information and Communication Technology (CICT) and the OJT coordinators in their tasks more conveniently. 展开更多
关键词 Short Message Service (SMS) application program Interface (API) On-the-Job Training PHP BOOTSTRAP MYSQL
下载PDF
Customized Development of CAXASolid
14
作者 YU Si-jia YAN Guang-rong LEI Yi 《Computer Aided Drafting,Design and Manufacturing》 2006年第2期30-37,共8页
CAXASolid, a 3D CAD innovation platform with open structure, provides users with kinds of customized development strategies at different levels. The whole theoretical framework of CAXASolid is introduced. Users can cu... CAXASolid, a 3D CAD innovation platform with open structure, provides users with kinds of customized development strategies at different levels. The whole theoretical framework of CAXASolid is introduced. Users can customize their system through application integration, data integration, integration by DLL or integration by COM. Focusing on the customization techniques with COM components, the development method and process are illustrated with some case studies. 展开更多
关键词 3D CAD CAXASolid customized development IronCAD application programming Interface (ICAPI)
下载PDF
Development of a Support Tool for Rapid Application Integration of CIMS
15
作者 范玉顺 吴澄 《Tsinghua Science and Technology》 SCIE EI CAS 1998年第2期45-50,共6页
Computer intergrated manufacturing system (CIMS) applications in manufacturing enterprises need new advanced support tools for application integration. This paper presents the system architecture and functions for CIM... Computer intergrated manufacturing system (CIMS) applications in manufacturing enterprises need new advanced support tools for application integration. This paper presents the system architecture and functions for CIMS application integration platform for manufacturing enterprises (MACIP). MACIP integrates a set of application software products and development tools as a complete system for CIMS implementation. MACIP includes a communication system, a global information system, three domain application sub integration platforms, an internet interface and an operation management and control system. The Client/Server structure, the object oriented method and the agent technique were used in developing MACIP. Good system openness, scalability, and maintenance are ensured by conforming to international standards and by using advanced system design software and management tools. MACIP can significantly reduce the implementation complexity, time, and cost of CIMS. 展开更多
关键词 integration platform CIMS system architecture object oriented application programming interface
原文传递
Feature Analysis of STEP Application Protocol and its Application
16
作者 李兵 孟明辰 +1 位作者 李振宏 童秉枢 《Tsinghua Science and Technology》 SCIE EI CAS 1999年第2期31-34,共4页
This paper uses semantic data modelling and CAD/CAPP/CAM integration to analyze the features defined in the STEP AP214, its characteristics of definition and distribution, and its influence on the complexity of CAD/CA... This paper uses semantic data modelling and CAD/CAPP/CAM integration to analyze the features defined in the STEP AP214, its characteristics of definition and distribution, and its influence on the complexity of CAD/CAPP/CAM application integration. A framework is developed for applications of CAD/CAPP/CAM integration based on the STEP to reduce the complexity of integration implementation. Two application program interfaces (API), namely, application protocol API and application API, are developed. The frameworks hierarchy structure and the application program interfaces between the layers make the integration of applications easier. 展开更多
关键词 standard for the exchange of product model data integration framework FEATURE application program interface CAD/CAPP/CAM integration
原文传递
IMPLEMENTATION OF 3-VALUED PARACONSISTENT LOGIC PROGRAMMING TOWARDS DECISION MAKING SYSTEM OF AGENTS
17
作者 Yuki Goto Megumi Fujita Naoyuki Nide 《Journal of Systems Science and Systems Engineering》 SCIE EI CSCD 2018年第3期322-339,共18页
Due to the rapid development of applications of artificial intelligence and robotics in recent years, the necessity of reasoning and decision making with uncertain and inaccurate information is increasing. Since robot... Due to the rapid development of applications of artificial intelligence and robotics in recent years, the necessity of reasoning and decision making with uncertain and inaccurate information is increasing. Since robots in the real world are always exposed to behavioral inaccuracies and uncertainty arising from recognition methods, they may occasionally encounter contradictory facts during reasoning on action decision. Paraconsistent logic programming is promising to make appropriate action decisions even when an agent is exposed to such uncertain information or contradictory facts, but there has been no implementation of this programming to the best of our knowledge. We propose a resolution algorithm for the 3-valued paraconsistent logic programming system QMPT0 and its implementation on SWI-Prolog. We also describe an application of the 3-valued paraconsistent logic programming regarding agent decision making. 展开更多
关键词 Agent-based modelling for complex systems paraconsistent logic programming solver implementation declarative programming application for agents
原文传递
Exploration of Artificial-intelligence Oriented Power System Dynamic Simulators 被引量:3
18
作者 Tannan Xiao Ying Chen +3 位作者 Jianquan Wang Shaowei Huang Weilin Tong Tirui He 《Journal of Modern Power Systems and Clean Energy》 SCIE EI CSCD 2023年第2期401-411,共11页
With the rapid development of artificial intelligence(AI),it is foreseeable that the accuracy and efficiency of dynamic analysis for future power system will be greatly improved by the integration of dynamic simulator... With the rapid development of artificial intelligence(AI),it is foreseeable that the accuracy and efficiency of dynamic analysis for future power system will be greatly improved by the integration of dynamic simulators and AI.To explore the interaction mechanism of power system dynamic simulations and AI,a general design for AI-oriented power system dynamic simulators is proposed,which consists of a high-performance simulator with neural network supportability and flexible external and internal application programming interfaces(APIs).With the support of APIs,simulation-assisted AI and AIassisted simulation form a comprehensive interaction mechanism between power system dynamic simulations and AI.A prototype of this design is implemented and made public based on a highly efficient electromechanical simulator.Tests of this prototype are carried out in four scenarios including sample generation,AI-based stability prediction,data-driven dynamic component modeling,and AI-aided stability control,which prove the validity,flexibility,and efficiency of the design and implementation for AI-oriented power system dynamic simulators. 展开更多
关键词 Power system dynamic simulator artificial intelligence application programming interface parallel computing
原文传递
A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint 被引量:2
19
作者 Li Zelin Wang Shihai +1 位作者 Zhao Tingdi Liu Bin 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2016年第4期1027-1041,共15页
Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avion... Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface (ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints (TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics (IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards. © 2016 Chinese Society of Aeronautics and Astronautics 展开更多
关键词 application programs AVIONICS Hazards Interactive computer systems Petri nets Resource allocation Safety engineering
原文传递
ProSy: API-Based Synthesis with Probabilistic Model 被引量:2
20
作者 Bin-Bin Liu Wei Dong +2 位作者 Jia-Xin Liu Ya-Ting Zhang Dai-Yan Wang 《Journal of Computer Science & Technology》 SCIE EI CSCD 2020年第6期1234-1257,共24页
Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major o... Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major obstacle of synthesis lies in the huge search space. A common practice in addressing this problem is using a domain-specific language, while many approaches still wish to synthesize programs in general programming languages. With the rapid growth of reusable libraries, component-based synthesis provides a promising way, such as synthesizing Java programs which are only composed of APIs (application programming interfaces). However, the efficiency of searching for proper solutions for complex tasks is still a challenge. Given an unfamiliar programming task, programmers would search for API usage knowledge from various coding resources to reduce the search space. Considering this, we propose a novel approach named ProSy to synthesize API-based programs in Java. The key novelty is to retrieve related knowledge from Javadoc and Stack Overflow and then construct a probabilistic reachability graph. It assigns higher probabilities to APIs that are more likely to be used in implementing the given task. In the synthesis process, the program sketch with a higher probability will be considered first;thus, the number of explored reachable paths would be decreased. Some extension and optimization strategies are further studied in the paper. We implement our approach and conduct several experiments on it. We compare ProSy with SyPet and other state-of-the-art API-based synthesis approaches. The experimental results show that ProSy reduces the synthesis time of SyPet by up to 80%. 展开更多
关键词 application programming interface(API)-based program Petri net probabilistic reachability graph program synthesis
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部