46,052 research outputs found
Data for: Optimization of Dam Water Release to Assist Sockeye Salmon Upriver Migration
No full textThis data set contains field ADCP data, acoustic data of fish, and post files for the CFD model used in the paper - Pengcheng Li, Wenming Zhang, Nicholas J. Burnett, David Z. Zhu, Matthew Casselman, Scott G. Hinch (under revision). Optimization of Dam Water Release to Assist Sockeye Salmon Upriver Migration
Some Main Tasks for Chinese Humanity Scholars in the 21st Century
No full textPengcheng Li. Some Main Tasks for Chinese Humanity Scholars in the 21st Century . In: Bulletin de la Classe des lettres et des sciences morales et politiques, tome 12, n°7-12, 2001. pp. 371-380
Über die Möglichkeit einer kontinuierlichen und zügigen Fortsetzung des chinesischen Modernisierungsprozesses
No full textDer Autor dieses Vortrags, Prof. Dr. Li Pengcheng, ist Vizedirektor des Forschungszentrums für Sozialentwicklung der Chinesischen Akademie für Sozialwissenschaften. Im September und Oktober 1997 war er zum zweiten Mal, nach 1994, als Gastwissenschaftler der Abteilung Sozialstruktur und Sozialberichterstattung am Wissenschaftszentrum Berlin für Sozialforschung. Der Vortrag schließt an den Bericht „Der chinesische Modernisierungsprozeß in den achtziger Jahren an, der als WZB-Paper P 95-001 veröffentlicht worden ist. Wir veröffentlichen den Vortrag als Zeitdokument der derzeitigen innerchinesischen Diskussion. Die Anschrift des Verfassers lautet: Prof. Dr. Li Pengcheng Institute of Philosophy Chinese Academy of Social Sciences 5, Jianguomen Nei Dajie 100732 Beijing China Für die Übersetzung aus dem Chinesischen danken wir Frau Gisela Reinhold.The author of this lecture, Professor Li Pengcheng, is Vice-director of the Research Center for Social Development at the Chinese Academy of Social Sciences. In September and October 1997 he was for the second time after 1994 a Visiting Scholar at the WZB, Research Unit Social Structure and Social Reporting. The lecture is a follow-up of the author's report „The Chinese modernization in the 1980 which was published as WZB-paper P 95-001. Again we publish this lecture as an actual document of the present Chinese modernization debate. For the translation from Chinese we are grateful to Ms. Gisela Reinhold
A classification and comparison of model checking software architecture techniques
No full textSoftware architecture specifications are used for many different purposes, such as documenting architectural
decisions, predicting architectural qualities before the system is implemented, and guiding the
design and coding process. In these contexts, assessing the architectural model as early as possible
becomes a relevant challenge. Various analysis techniques have been proposed for testing, model checking,
and evaluating performance based on architectural models. Among them, model checking is an
exhaustive and automatic verification technique, used to verify whether an architectural specification
conforms to expected properties. While model checking is being extensively applied to software architectures,
little work has been done to comprehensively enumerate and classify these different techniques.
The goal of this paper is to investigate the state-of-the-art in model checking software architectures.
For this purpose, we first define the main activities in a model checking software architecture process.
Then, we define a classification and comparison framework and compare model checking software architecture
techniques according to it
Assessment of Self-Archiving in Institutional Repositories: Depositorship and Full-Text Availability
No full textThis research evaluates the success of open access self-archiving in several well-known institutional repositories. Two assessment factors have been applied to examine the current practice of self-archiving: depositorship and the availability of full text. This research discovers that the rate of author self-archiving is low and that the majority of documents have been deposited by a librarian or administrative staff. Similarly, the rate of full-text availability is relatively low, except for Australian repositories. By identifying different practices of self-archiving, repository managers can create new strategies for the operation of their repositories and the development of archiving policies
Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review
No full textBig data applications are currently used in many application domains, ranging from statistical applications to prediction systems and smart cities. However, the quality of these applications is far from perfect, such as functional error, failure and low performance. Consequently, assuring the overall quality for big data applications plays an increasingly important role. This paper aims at summarizing and assessing existing quality assurance (QA) technologies addressing quality issues in big data applications. We have conducted a systematic literature review (SLR) by searching major scientific databases, resulting in 83 primary and relevant studies on QA technologies for big data applications. The SLR results reveal the following main findings: (1) the quality attributes that are focused for the quality of big data applications, including correctness, performance, availability, scalability and reliability, and the factors influencing them; (2) the existing implementation-specific QA technologies, including specification, architectural choice and fault tolerance, and the process-specific QA technologies, including analysis, verification, testing, monitoring and fault and failure prediction; (3) existing strengths and limitations of each kind of QA technology; (4) the existing empirical evidence of each QA technology. This study provides a solid foundation for research on QA technologies of big data applications and can help developers of big data applications apply suitable QA technologies
Automatic generation of predictive monitors from scenario-based specifications
No full textContext: Unpredictability and uncertainty about future evolutions of both the system and its environment may easily compromise the behavior of the system. The subsequent software failures can have serious consequences. When dealing with open environments, run-time monitoring is one of the most promising techniques to detect software failures. Several monitoring approaches have been proposed in the last years; however, they suer from two main limitations. First, they provide limited information to be exploited at run-time for early detecting and managing situations that most probably will lead to failures. Second, they mainly rely on logic-based specifications, whose intrinsic complexity may hamper the use of these monitoring approaches in industrial contexts. Objective: In order to address these two limitations, this paper proposes a novel approach, called PREDIMO (PREDIctive MOnitoring). The approach starts from scenario-based specifications, automatically generates predictive monitors called MAs (Multi-valued Automata), which take into account the actual status and also the possible evolution of both system and environment in the near future, and enables the definition of precise strategies to prevent failures. More specifically, the generated monitors evaluate the specified properties and return one of the seven dierent values representing the degree of controllability of the system and the distance of the potential incoming failure. The translation from scenario-based specifications to MAs preserves the semantics of the starting specification. Method: We use the design and creation research methodology to design an innovative approach that fills highlighted gaps of state-of-the-art approaches. The validation of the approach is performed through a large experimentation with OSGi (Open Service Gateway Initiative) applications. Results: We present a novel language to specify the properties to be monitored. Then, we present a novel approach to automatically generate predictive monitors from the specified properties. Conclusions: The overall approach is tool supported and a large experimentation demonstrates its feasibility and usability
China Maritime Report No. 44: Dirty But Preparing to Fight: VADM Li Pengcheng\u27s Downfall Amid Increasing PLAN Readiness
No full textMain Findings Although corruption runs deep in the PLA Navy (PLAN) and across China’s armed forces, disciplinary-related removals appear not to have a major impact on naval capabilities or operations. The fight against corruption within the Chinese Communist Party (CCP) has General Secretary Xi Jinping’s attention and appears to be picking up steam for 2025. The Standing Committee of the 14th National People’s Congress (NPC) issued a report on 25 December 2024 identifying Vice Admiral Li Pengcheng (李鹏程) as one of eight NPC deputies removed for “serious violations of discipline and the law.” Li was an officer on the fast track and identified early in his career by PLA press as one to watch. He had the unprecedented distinction of having command of two separate Gulf of Aden anti-piracy escort task force deployments, extensive international maritime experience, and involvement in some of the PLAN’s most significant international navy accomplishments. Li’s career and his operations in the Mediterranean Sea had the personal attention of Central Military Commission (CMC) Chairman Xi. Vice Admiral Li Pengcheng replaced Vice Admiral Ju Xinchun (鞠新春) as the Commander of the Southern Theater Command (STC) Navy roughly a year ago. Admiral Ju suffered Admiral Li’s same fate. Comparing and contrasting two consecutive PLAN STC commanders serving in the same capacity, sacked one year apart, provides a revealing dataset to analyze the impact of sacking the commander, and of corruption more broadly, on PLAN operational capabilities and how they affect the force. The PLAN may be playing high-stakes musical chairs with its leadership, but it has a deep enough talent pool to do so without prohibitive problems. When one leader is purged, another is on deck. Politicized corruption investigations and their imposition of costs are fundamentally a speedbump rather than a showstopper. Regardless of corruption’s pervasive persistence, PLAN operational capabilities continue to improve, and cutting-edge, lethal weapons systems regularly enter service. Corruption may contribute to inefficiencies, but it does not curtail PLAN advances. Related removals are neither an indicator of prohibitive incompetence nor a self-defeating constraint on operational capabilities.https://digital-commons.usnwc.edu/cmsi-maritime-reports/1044/thumbnail.jp
MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS
No full text The Web Services Choreography Description Language (WS-CDL) is a specification developed by the W3C and can be viewed as a blueprint for the development of end-point services. Consequently, it is worth providing a systematic approach for its modeling, analysis and verification. The Unified Modeling Language (UML) is an industry standard for modeling. Applying UML to model WS-CDL is obviously a promising solution to bring together academics and practitioners through a unique standard language. In this paper, we propose to use different UML diagrams to model WS-CDL. UML Component Diagram is used to model the underlying structure of WS-CDL. UML Sequence Diagram is utilized to model the activities in WS-CDL. UML State Machine Diagram is utilized to model the behaviors of each role participating in a WS-CDL specification. We then enrich the UML State Machine Diagram with data by the use of UML Class Diagram. Given the UML specification of WS-CDL, we then provide a systematic way of formally analyzing and verifying WS-CDL against desired properties. Some experiments show that our approach can verify structural, behavioral and data properties in a middle-scale data-enriched WS-CDL specification. </jats:p
- …
