Java语言多线程技术

本文从线程的概念及特点、多线程和多进程的区别以及死锁等基本原理出发，论述Java语言中的多线程机制-线程调度模式，同步互斥机制以及内置多线程功能，并对线程的状态，创建和控制方法以及避免死锁的方法作了深入的探讨。     

Java并发机制研究

针对高质量Java多线程并发程序设计，结合实例分析研究了Java多线程同步机制、通信机制以及并发机制的扩展，给出了防止死锁现象的编程策略，有助于解决实际编程中的并发问题。     

Java中多线程并发机制的研究和实现

分析了Java中多线程并发机制的原理及实现技术,研究了程序并发过程中的同步机制和交互通信机制,总结了多线程编程中死锁预防的一些方法和策略。所构造的一个具有完全意义上的并发同步的实例具有一定的实用价值。     

基于Java多线程的并发机制的研究和实现

针对高可靠性、高质量的Java并行多任务程序设计,分析了Java多线程机制的原理及其实现技术,研究了程序并发过程中的同步机制和交互通信机制,比较了基于操作系统级和基于Java多线程级并发机制的实现结构,总结了并发程序中死锁预防的一些编程规则和策略。所构造的一个具有完全意义上的并发同步的框架实例有一定的实用价值。     

基于Java多线程的并发机制的研究和实现

针对高可靠性、高质量的Java并行多任务程序设计,分析了Java多线程机制的原理及其实现技术,研究了程序并发过程中的同步机制和交互通信机制,比较了基于操作系统级和基于Java多线程级并发机制的实现结构,总结了并发程序中死锁预防的一些编程规则和策略.所构造的一个具有完全意义上的并发同步的框架实例有一定的实用价值.     

基于Java多线程机制的并行多任务的研究和实现

针对高可靠性、高质量的Java并行多任务程序设计，本文从Java多线程出发，研究了并发过程中的同步和交互通信机制，并总结了死锁预防的一些编程策略，构造了一个具有完全意义的并发同步的框架实例，在软件开发中具有一定的实用价值。     

多线程机制解决哲学家进餐问题的解决策略

简要描述Java语言多线程机制,阐述了操作系统中哲学家进餐这个经典同步问题,探讨了该问题的多种解决策略,并通过Java语言的多线程编程技术,给出了实现此问题的相应解决策略的代码,有效地避免了饥饿和死锁现象的产生.     

Java多线程机制的研究

本文就如何实现Java的多线程、线程调度模式、同步互斥机制以及内置多线程功能进行了深入的探讨,并对线程的状态、创建和控制方法以及避免死锁的方法作了归纳总结,指出了线程实际应用领域以及在编程时应注意的事项。     

Java多线程访问控制管理分析

本文分析并描述了Java多线程访问控制的基本方法和多线程同步访问的控制方法,以及使用优先级解决死锁问题的方法,并且用简单语句作说明。     

浅析多线程Java程序中死锁问题的解决

本文就操作系统中死锁的概念进行了阐述。提出了多线程Java程序中死锁问题的解决，就关键的死锁的防止问题进行了分析。并通过实例说明问题的解决方法。     

Coulomb functions for attractive and repulsive potentials and for positive and negative energies

The paper gives a review of the mathematical properties of the Coulomb radial wave functions, for attractive and repulsive potentials and for positive and negative energies, together with recommendations on best methods for their computation. It includes discussions of analytic continuations (complex energies, radial co-ordinates and angular momenta) and of relativistic Coulomb functions.     

A Unified Approach for Physical and Geometric Modeling for Graphics and Animation

We present a unified approach for geometric and physical modeling using implicit functions, for application to graphics and animation. This method extends previously proposed techniques, and allows the standard finite element method to be directly combined with geometric modeling, resulting in quick calculation of an object's mass and stiffness matrices, and its vibration modes and frequencies. Because the approach is based on an implicitfunction representation, it allows very fast collision detection and characterization. Examples of complex physical and geometric modeling are presented.     

软件人才培养与需求不对称的原因及对策

本文针对目前软件专业人才的培养与行业需求存在着不对称的现状,分析社会、教育、企业、学生四方面的原因,探讨从培养目标、教学措施、师资建设、就业指导、职业培训五个层面来改善培养与需求不对称的对策。     

可追责和完全可验证外包解密CP-ABE方案

在密文策略属性加密方案（CP-ABE）中,解密密钥定义在多个用户共享的属性上,任何私钥无法追溯到原有密钥的所有者,恶意用户可能为了经济利益泄露他们的解密权限给第三方,并且不会被发现。另外,大多数现有CP-ABE方案的解密成本和密文大小随访问结构的复杂程度呈线性增长。上述问题严重限制了CP-ABE的应用。为此,通过定义追责列表来追溯故意泄露密钥的用户,通过外包运算降低解密运算成本,提出一个可追责和完全可验证外包解密的CP-ABE方案。该方案可以同时检查授权用户和非授权用户转换密文结果的正确性,而且支持任意单调访问结构,可追责性不会给其他安全性带来任何影响。最后在标准模型中证明了该方案是选择明文攻击（CPA）安全的。     

海量视频人脸提取与识别并行框架设计及优化

近年来,监控设备大量应用于城市智能化建设中,而其产生的海量视频数据,亟待一种快速高效的解决方案。随着大数据处理技术的发展,使得处理海量视频数据成为可能。本文将视频数据集解耦合实现任务的并行处理,通过Spark读取数据流的同时获取关键帧的方式解决了解耦视频数据引起数据倍增问题,并对图片特征数据进行优化,进而在Spark上实现了具有高可扩展性并行处理海量视频数据的框架。本文在天河二号云平台上进行部署实验,分析实验结果表明随着处理节点个数增加本框架可以获得近线性的加速比。     

Testing for and estimating latency effects for poisson and non-poisson spike trains

Determining the variations in response latency of one or several neurons to a stimulus is of interest in different contexts. Two common problems concern correlating latency with a particular behavior, for example, the reaction time to a stimulus, and adjusting tools for detecting synchronization between two neurons. We use two such problems to illustrate the latency testing and estimation methods developed in this article. Our test for latencies is a formal statistical test that produces a p-value. It is applicable for Poisson and non-Poisson spike trains via use of the bootstrap. Our estimation method is model free, it is fast and easy to implement, and its performance compares favorably to other methods currently available.     

Once and for all

It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding the nature of past in a branching-time model induce two different such extensions. In the first view, past is branching and each moment in time may have several possible futures and several possible pasts. In the second view, past is linear and each moment in time may have several possible futures and a unique past. Both views assume that past is finite. We discuss the practice of these extensions as specification languages, characterize their expressive power, and examine the complexity of their model-checking and satisfiability problems.     

Methods for Evaluation in Mathematics for Architecture and Design

In mathematical teaching, there exists a dichotomy between two entities. On the one hand, there are the methodologies for imparting mathematical knowledge; on the other hand there are different mechanisms for evaluating students. Hernán Nottoli analyses some aspects that we consider relevant with respect to how knowledge is verified and ranked in evaluation tests in the case of mathematics in architecture and design schools, provides statistical evidence of experiences in the Faculty of Architecture, Urbanism and Design at the University of Buenos Aires, and provides an example of the kind of exercise that has been used with success with his own students