检索结果-内蒙古大学图书馆

作者： Nikitchenko, Mykola Tymofieiev, Valentyn Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 64 Volodymyrska Street Kyiv01601 Ukraine

Composition-nominative logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style on the methodological basis, which is common with programming. They can be considered as generalizations of traditional logics on classes of partial predicates that do not have fixed arity. In this paper we present and investigate algorithms for solving the satisfiability problem in various classes of composition-nominative logics. We consider the satisfiability problem for logics of the propositional, renominative, and quantifier levels and prove the reduction of the problem to the satisfiability problem for classical logics. The method developed in the paper enables us to leverage existent state-of-the-art satisfiability checking procedures for solving the satisfiability problem in composition-nominative logics, which could be crucial for handling industrial instances coming from domains such as program analysis and verification. The reduction proposed in the paper requires extension of logic language and logic models with an infinite number of unessential variables and with a predicate of equality to a constant. © 2012 Versita Warsaw.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Semantics-based logics over hierarchical nominative data

Semantics-based logics over hierarchical nominative data

引用

8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, ICTERI 2012

作者： Nikitchenko, M.N.S. Shkilniak, S.S. Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv Volodymyrska st 60 01601 Kyiv Ukraine

In the paper new logics oriented on hierarchical data are developed. Algebras of partial predicates over such data with special compositions as operations form a semantic base for constructed logics. Characteristic property of such logics is the usage of composite names in their languages. Semantic properties of these logics are studied;corresponding sequent calculi are defined, their soundness and completeness are proved for logics of renominative level.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Satisfiability problem in composition-nominative logics of quantifier-equational level

Satisfiability problem in composition-nominative logics of q...

引用

8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, ICTERI 2012

作者： Nikitchenko, Mykola S. Tymofieiev, Valentyn G. Department of Theory and Technology of Programming Taras Shevchenko National University of Kyiv 64 Volodymyrska Street 01601 Kyiv Ukraine

We investigate algorithms for solving the satisfiability problem in composition-nominative logics of quantifier-equational level. These logics are algebra-based logics of partial predicates constructed in a semantic-syntactic style on the methodological basis, which is common with programming;they can be considered as generalizations of traditional logics on classes of partial predicates that do not have fixed arity. We show the reduction of the problem in hand to the satisfiability problem for classical first-order predicate logic with equality. The proposed reduction requires extension of logic language and logic models with an infinite number of unessential variables. The method developed in the paper enables us to use existent satisfiability checking procedures also for quantifier composition-nominative logic with equality.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Effects of quench discretization on superregenerative oscillators

Effects of quench discretization on superregenerative oscill...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Pere Palà-Schönwälder Jordi Bonet-Dalmau Francisco del Águila-López Ricard Sanahuja F. Xavier Moncunill-Geniz Department of Electronic System Design and Programming (DiPSE) School of Engineering of Manresa (EPSEM) Universitat Politecnica de Catalunya Spain Department of Signal Theory and Communications (TSC) Universitat Poliltècnica de Catalunya Spain

The performance of superregenerative receivers is strongly influenced by the quench signal and it is a well-known fact that specific quench shapes may optimize certain parameters. Using a frequency-domain approach, in this paper we investigate the effects that the discretization of the quench signal has on relevant parameters such as the envelope, the frequency response of the receiver or the instantaneous frequency of the supperregenerative oscillator. The effects of different amounts of quench filtering are also investigated. One of the main consequences of quench discretization is the presence of secondary lobes in the frequency response, located at multiples of the sampling frequency.

关键词： Frequency modulation

来源：评论

学校读者我要写书评

暂无评论

Analysis of the envelope and the instantaneous phase and frequency of superregenerative oscillators

Analysis of the envelope and the instantaneous phase and fre...

引用

2011 IEEE International Symposium of Circuits and Systems, ISCAS 2011

作者： Bonet-Dalmau, Jordi Pala-Schönwälder, Pere Del Aguila-Lopez, Francisco Giralt-Mas, Rosa Moncunill-Geniz, F. Xavier Department of Electronic System Design and Programming Universitat Politcnica de Catalunya 08242 Manresa Spain Department of Signal Theory and Communications Universitat Politcnica de Catalunya 08034 Barcelona Spain

ISBN: (纸本)9781424494736

Previously published results on the operation of superregenerative receivers rely on some approximations to obtain analytic results. In this paper we investigate the linear superregenerative receiver in the sinusoidal steady state without any approximations. A frequency-domain formulation allows us to efficiently compute the relevant waveforms in the time and the frequency domains. One of the main results is the ability to efficiently predict the exact envelope and the instantaneous phase and frequency of the generated waveforms. This approach is used to analyze the receiver under various operating conditions. A comparison of the results with those obtained with prior techniques is provided. © 2011 IEEE.

关键词： Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

A Bio-inspired Fuzzy Agent Clustering Algorithm for Search Engines

引用

Procedia Computer Science 2011年 7卷 305-307页

作者： Radu D. Găceanu Department of Computer Science Babeş-Bolyai University Cluj-Napoca Romania Department of Programming Theory and Software Engineering Eötvös Loránd University Budapest Hungary

In general, web search engines respond to queries by returning a list of links to web pages that are considered relevant. However, these queries are often ambiguous or too general and the users end up browsing through a long list of items in order to find what they are actually looking for. And hence the idea to cluster web search results so that the output would be a list of labelled clusters. An algorithm based on the ASM (Ants Sleeping Model) is proposed. In the ASM model each data is represented by an agent, its environment being a two dimensional grid. The agents will group themselves into clusters by making simple moves according to some local environment information. At any step an agent can pro-actively decide to directly communicate with one of its fellows and choose to move accordingly, the moves being expressed by fuzzy IF-THEN rules. Thus the chance of getting trapped in a local optimum is minimized and hybridization with a classical clustering algorithm becomes needless.

关键词： Ants Sleeping Model Fuzzy logic Clustering

来源：评论

学校读者我要写书评

暂无评论

Analysis of the envelope and the instantaneous phase and frequency of superregenerative oscillators

Analysis of the envelope and the instantaneous phase and fre...

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： Jordi Bonet-Dalmau Pere Palà-Schönwälder Francisco del Águila-López Rosa Giralt-Mas F. Xavier Moncunill-Geniz Department of Electronic System Design and Programming Universitat Poliltècnica de Catalunya Manresa Spain Department of Signal Theory and Communications Universitat Poliltècnica de Catalunya Barcelona Spain

关键词： Receivers Strontium Oscillators Frequency domain analysis Radio frequency Equations Steady-state

来源：评论

学校读者我要写书评

暂无评论

A problem on optimal transportation

引用

TEACHING MATHEMATICS AND ITS APPLICATIONS 2005年第4期24卷 182-191页

作者： Cechlarova, Katarina Katarína Cechlárová (www.science.upjs.sk/~cechlarova) graduated in mathematics from P. J. ?afárik University Ko?ice in 1984. She has taught in the Department of Geometry and Algebra (now Institute of Mathematics) at the University since graduation. Her teaching courses have included: Linear Programming Nonlinear Programming Integer Programming Game Theory Mathematical Economics Control Theory. Her research interests include topics in mathematical modelling combinatorial optimization and teaching mathematics.

Mathematical optimization problems are not typical in the classical curriculum of mathematics. In this paper we show how several generalizations of an easy problem on optimal transportation were solved by gifted secondary school pupils in a correspondence mathematical seminar, how they can be used in university courses of linear programming and what the remaining open questions are.

关键词： Mathematical Applications Mathematics Curriculum Generalization Secondary School Students Academically Gifted College Mathematics Secondary School Mathematics Foreign Countries Problem SolvingSlovakiaSlovakia

来源：评论

学校读者我要写书评

暂无评论

DOES CORRECTIONAL PROGRAM QUALITY REALLY MATTER? THE IMPACT OF ADHERING TO THE PRINCIPLES OF EFFECTIVE INTERVENTION*

引用

Criminology & Public Policy 2006年第3期5卷

作者： CHRISTOPHER T. LOWENKAMP EDWARD J. LATESSA PAULA SMITH Director of the Center for Criminal Justice Research and Assistant Research Professor in the Division of Criminal Justice at the University of Cincinnati. His research interests include the evaluation of correctional programming and macro-level criminological theory. Recent publications have appeared in the Journal of Criminal Justice Criminal Justice and Behavior Federal Probation and Journal of Research in Crime and Delinquency Professor and Head of the Division of Criminal Justice at the University of Cincinnati. He has published over 75 works in the area of criminal justice corrections and juvenile justice. He is co-author of seven books including the tenth edition of Corrections in America and the third edition of Corrections in the Community. Dr. Latessa served as President of the Academy of Criminal Justice Sciences (1989–1990). He has also received several awards including the Simon Dinitz Criminal Justice Research Award from the Ohio Department of Rehabilitation and Correction (2002) the Margaret Mead Award for dedicated service to the causes of social justice and humanitarian advancement by the International Community Corrections Association (2001) and the Peter P. Lejins Award for Research from the American Correctional Association (1999) Assistant Director of the Corrections Institute and Assistant Professor in the Division of Criminal Justice at the University of Cincinnati. Her research interests include offender classification and assessment correctional rehabilitation the psychological effects of incarceration program implementation and evaluation the transfer of knowledge to practitioners and policy makers and meta-analysis. She has authored several articles book chapters and conference presentations on the above topics. Recent publications have appeared in Criminal Justice and Behavior Corrections Management Quarterly and International Journal of Offender Therapy and Comparative Criminology.

Research Summary: This study analyzed data on 3,237 offenders placed in 1 of 38 community-based residential programs as part of their parole or other post-release control. Offenders terminated from these programs were matched to, and compared with, a group of offenders (N = 3,237) under parole or other post-release control who were not placed in residential programming. Data on program characteristics and treatment integrity were obtained through staff surveys and interviews with program directors. This information on program characteristics was then related to the treatment effects associated with each program. Policy Implications: Significant and substantial relationships between program characteristics and program effectiveness were noted. This research provides information that is relevant to the development of correctional programs, and it can be used by funding agencies when awarding contracts for services.

关键词： Correctional Program Integrity Correctional Program Assessment Inventory (CPAI) Treatment Effects Halfway Houses

来源：评论

学校读者我要写书评

暂无评论

INCREASING THE EFFECTIVENESS OF CORRECTIONAL programming THROUGH THE RISK PRINCIPLE: IDENTIFYING OFFENDERS FOR RESIDENTIAL PLACEMENT*

引用

Criminology & Public Policy 2005年第2期4卷

作者： CHRISTOPHER T. LOWENKAMP EDWARD J. LATESSA Assistant Director of The Corrections Institute and The Center for Criminal Justice Research at the University of Cincinnati Division of Criminal Justice. His research interests include the evaluation of correctional programming and macrolevel criminological theory. Recent publications have appeared in The Journal of Criminal Justice Criminal Justice and Behavior Federal Probation and The Journal of Research in Crime and Delinquency. Contact: Christopher T. Lowenkamp Division of Criminal Justice University of Cincinnati PO Box 210389 Cincinnati OH 45221-0389 E-mail: christopher.lowenkamp@uc.edu. </br> Professor and Head of the Division of Criminal Justice at the University of Cincinnati. Professor Latessa has published over 75 works in the area of criminal justice corrections and juvenile justice. He is co-author of seven books including the tenth edition of Corrections in America and Corrections in the Community which is now in its third edition. Dr. Latessa served as President of the Academy of Criminal Justice Sciences (1989–1990). He has also received several awards including the Simon Dinitz Criminal Justice Research Award from the Ohio Department of Rehabilitation and Correction (2002) the Margaret Mead Award for dedicated service to the causes of social justice and humanitarian advancement by the International Community Corrections Association (2001) and the Peter P. Lejins Award for Research from the American Correctional Association (1999). Contact: Edward J. Latessa Ph.D. Division of Criminal Justice University of Cincinnati PO Box 210389 Cincinnati OH 45221-0389 E-mail: edward.latessa@uc.edu.

Research Summary: This study analyzed data on 7,306 offenders placed in 1 of 53 community-based residential programs as part of their parole, post-release control, or probation. Offenders who successfully completed residential programming were compared with a group of offenders (n = 5801) under parole/post-release control who were not placed in residential programming. Analyses of program effectiveness were conducted, controlling for risk and a risk-by-group (treatment versus comparison) interaction term. Policy Implications: Significant and substantial differences in the effectiveness of programming were found on the basis of various risk levels. This research challenges the referral and acceptance policies and procedures of many states’ departments of corrections, local probation departments and courts, and social service agencies that provide offender services.

关键词： Risk Principle Community Corrections Halfway House Treatment Interaction

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：