A novel colorimetric sensor based on BMPA derivative was designed and synthesized.The sensor displayed high selective and sensitive recognition of Cu2+ in aqueous DMSO solution via an obvious color change from yellow to pink.The color change can be attribute to form a complex with Cu2+ with C=O and N-H bonds.Based on this principle,an analytical method was developed and successfully used in the determination of the copper content in actual sample.

关键词：传感器；比色；铜离子；水媒体

查看摘要 索取原文[5页]

The U.S Linear Collider Detector R&D program, supported by the DOE and NSF umbrella grants to the University of Oregon, made significant advances on many critical aspects of the ILC detector program. Progress advanced on vertex detector sensor development, silicon and TPC tracking, calorimetry on candidate technologies, and muon detection, as well as on beamline measurements of luminosity, energy, and polarization.

关键词：线性对撞机探测器；量热法；亮度；介子；极化；研究和开发

查看摘要 索取原文[26页]

We address the problem of verifying Probabilistic Computation Tree Logic (PCTL) properties of Markov Decision Processes (MDPs) whose state transition probabilities are only known to lie within uncertainty sets.We first introduce the model of Convex-MDPs (CMDPs), i.e., MDPs with convex uncertainty sets. CMDPs generalize Interval-MDPs (IMDPs) by allowing also more expressive (convex) descriptions of uncertainty.Using results on strong duality for convex programs, we then present a PCTL verification algorithm for CMDPs, and prove that it runs in time polynomial in the size of a CMDP. This result allows us to lower the previously known algorithmic complexity upper bound for IMDPs from co-NP to PTIME, and it is valid also for more expressive (convex) uncertainty models.

关键词：概率计算树逻辑;马尔可夫决策;凸规划;转移概率

查看摘要 索取原文[46页]

Based on different methodologies, we have developed a new methodology that synthesizes, accelerates and opfimizes the application of Adaptive Business Intelligence (ABI) in medicine, genomics, pharmaceuticals and other related sciences This methodology -in its final phase culminates in a stage called "Predictive Software Development", where the model obtained may be used to generate a prediction oriented appfieation that can be implemented in different programming languages. The work presents the methodology and also the steps followed in the development of a predictive application for self-adapting environments for a particular case study of hypothyroidism.

关键词：商业智能；预测；应用程序；自适应

查看摘要 索取原文[5页]

Recently, quantitative versions of the Gibbard-Satterthwaite theorem were proven for k = 3 alternatives by Friedgut, Kalai, Keller and Nisan and for neutral functions on k  4 alternatives by Isaksson, Kindler and Mossel.We prove a quantitative version of the Gibbard-Satterthwaite theorem for general social choice func-tions for any number k>=3 of alternatives. In particular we show that for a social choice function f on k>=3 alternatives and n voters, which is "-far from the family of nonmanipulable functions, a uniformly chosen voter pro le is manipulable with probability at least inverse polynomial in n, k.Removing the neutrality assumption of previous theorems is important for multiple reasons. For one, it is known that there is a con ict between anonymity and neutrality, and since most common voting rules are anonymous, they cannot always be neutral. Second, virtual elections are used in many applications in arti cial intelligence, where there are often restrictions on the outcome of the election, and so neutrality is not a natural assumption in these situations.Ours is a uni ed proof which in particular covers all previous cases established before. The proof crucially uses reverse hypercontractivity in addition to several ideas from the two previous proofs. Much of the work is devoted to understanding functions of a single voter, and in particular we also prove a quantitative Gibbard-Satterthwaite theorem for one voter.

关键词：萨特思韦特定理；

查看摘要 索取原文[48页]

The s-step Lanczos method is an attractive alternative to the classical Lanczos method as it enables an O(s) reduction in data movement over a xed number of iterations. This can signi cantly improve performance on modern computers. In order for s-step methods to be widely adopted, it is important to better understand their error properties. Although the s-step Lanczos method is equivalent to the classical Lanczos method in exact arithmetic, empirical observations demonstrate that it can behave quite di erently in nite precision. In the s-step Lanczos method, the computed Lanczos vectors can lose orthogonality at a much quicker rate than the classical method, a property which seems to worsen with increasing s.

关键词：误差分析；兰索斯法；有限精度

查看摘要 索取原文[28页]

RISC-V (pronounced \risk- ve") is a new instruction set architecture (ISA) that was originally designed to support computer architecture research and education, but which we now hope will become a standard open architecture for industry implementations.

关键词：指令集架构；指令集手册；计算机体系结构；开放式体系结构

查看摘要 索取原文[101页]

Computer-based learning environments offer the potential for innovative assessments of student knowledge and personalized instruction for learners. However, there are a number of challenges to realizing this potential. Many psychological models are not specific enough to directly deploy in instructional systems, and computational challenges can arise when considering the implications of a particular theory of learning. While learners’ interactions with virtual environments encode significant information about their understanding, existing statistical tools are insufficient for interpreting these interactions. This research develops computational models of teaching and learning and combines these models with machine learning algorithms to interpret learners’ actions and customize instruction based on these interpretations. This approach results in frameworks that can be adapted to a variety of educational domains, with the frameworks clearly separating components that can be shared across tasks and components that are customized based on the educational content. Using this approach, this dissertation addresses three major questions: (1) How can one diagnose learners’ knowledge from their behavior in games and virtual laboratories? (2) How can one predict whether a game will be diagnostic of learners’ knowledge? and (3) How can one customize instruction in a computer-based tutor based on a model of learning in a domain?

关键词：概率模型;游戏设计;虚拟环境

查看摘要 索取原文[144页]

Purpose: To develop a robust and rapid imaging technique for hyperpolarized 13C MR Spectroscopic Imaging (MRSI) and investigate its performance. Methods: A concentric rings readout trajectory with constant angular velocity is proposed for hyperpolarized 13C spectroscopic imaging and its properties are analyzed. Quantitative analysis of design tradeoffs are presented for several imaging scenarios in terms of resolution, spectral bandwidth, acquisition time and SNR efficiency. Analysis comparing parallel imaging accelerated Cartesian sampling and concentric rings in terms of reconstruction noise amplification are also presented. Finally, the first application on 13C phantoms and in vivo animal hyperpolarized 13C MRSI studies were performed to demonstrate the feasibility of the proposed method. results: The concentric rings MRSI trajectory has the advantages of acquisition timesaving compared to echo-planar spectroscopic imaging (EPSI), and robustness to system timing delay and eddy currents compared to spiral MRSI. It provides a sufficient spectral bandwidth with a relatively high SNR efficiency compared to EPSI and spiral techniques. It will also be beneficial for parallel imaging by reducing noise amplificiation. Conclusion: The concentric rings trajectory is a robust and rapid imaging technique that fits very well with the speed, bandwidth, and resolution requirements of hyperpolarized 13C MRSI.

关键词：光谱成像；同心圆K-space轨道

查看摘要 索取原文[30页]

Seacoast Science, Inc. and the University of California, San Diego (UCSD) are developing a portable real-time chemical detector system containing multiple sensor technologies. This Phase II STTR final report details our accomplishments during the 2-year program. Scientists at UCSD have modeled the behavior of the metal-phthalocyanine ChemFET, and optimizing both the sensor chemistry and methods to understand the sensor data. Seacoast Science has developed a packed-tube, trap-and-purge preconcentrator to collect vapor samples, with the goal of improving the sensitivity of the ultimate sensor system. Increased sensitivity allows for improved signal to noise for pattern recognition and for better protection for the warfighters who will use the system. In Phase II, Seacoast developed and tested an integrated prototype, integrating both the UCSD chemFET array and Seacoast s chemicapacitor array with the preconcentrator. UCSD has developed methods for solution deposition of sensor films using soluble phthalocyanines. Development of the preconcentrator and sensor materials demonstrate Seacoast's leading-edge sensor systems for chemical threats of critical importance to the US military. Improvements in the systems developed under this program are being integrated into Seacoast s Mini GC product prototypes for vapor detection for applications such as environmental contamination detection and aerosol analysis.

关键词：传感器；化学药剂；芯片(电子）；集成系统;

查看摘要 索取原文[33页]