PAL:描述性图案装配语言

介绍了描述性图案装配语言PAL的设计和实现技术。PAL是针对装饰美术图案存在的构图规律而设计的，它语法简单，便于使用，可以描述复杂的构图规律。使图案创作的自动化水平得到了提高。

让人物在你笔下“栩栩如生”——以经典作品为例谈谈细节描写

写人是作文的基本命题，要把人物写生动必须抓住人物的特征。要抓准人物特征，细致观察是前提，细节描写是关键。绘肖像、抓动作、描语言、摹心理是细节描写的基本手段，可以使原来比较平板、模糊的形象变得栩栩如生，有血有肉。

New method for query answering in semantic web

To promote the efficiency of knowledge base retrieval based on description logic, the concept of assertional graph （AG）, which is directed labeled graph, is defined and a new AG-based retrieval method is put forward. This method converts the knowledge base and query clause into knowledge AG and query AG by making use of the given rules and then makes use of graph traversal to carry out knowledge base retrieval. The experiment indicates that the efficiency of this method exceeds, respectively, the popular RACER and KAON2 system by 0.4% and 3.3%. This method can obviously promote the efficiency of knowledge base retrieval.

Typed formal model for WS-CDL specification of web services composition

In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.

ASIC Design of DA-Based 2-D Inverse Discrete Cosine Transform

Aim To present an ASIC design of DA based 2 D IDCT. Methods\ In the design of 1 D IDCT is utilized a Chen based fast IDCT algorithm, and multiplier accumulators based on distributed algorithm contributes in reducing the hardware amount and in enhancing the speed performance. Results and Conclusion\ VHDL simulation, synthesis and layout design of system are implemented. This 2 D IDCT ASIC design owns best timing performance when compared with other better designs internationally. Results of design prove to be excellent.

可能世界是什么

本文在系统评析若干有关可能世界本体论问题的代表性文献的基础上,提出了从哲学上定义可能世界的新思路:(1)"世界"意义上理解的可能世界。(2)"可能性"意义上理解的可能世界。遵循这条思路化解模态实在论和温和实在论之间的分歧,既符合可能世界这一名称的基本含义,又有利于可能世界本质特征的澄清。

A front-end automation tool supporting design, verification and reuse of SOC

This paper describes an in-house developed language tool called VPerl used in developing a 250 MHz 32-bit high-performance low power embedded CPU core. The authors showed that use of this tool can compress the Verilog code by more than a factor of 5, increase the efficiency of the front-end design, reduce the bug rate significantly. This tool can be used to enhance the reusability of an intellectual property model, and facilitate porting design for different platforms.

Constraint-induced aphasia therapy for patients with aphasia: A systematic review

Objectives:This study aimed to systematically evaluate the effects of constraint-induced aphasia therapy(OAT)for aphasic patients reported by randomized controlled trials.Methods:Relevant randomized controlled trials were retrieved from 11 electronic databases.A methodological quality assessment was conducted in accordance with the Cochrane Handbook,and metaanalyses were performed by using RevMan 5.2.A descriptive analysis was conducted when the included trials were not suitable for a meta-analysis.Results:A total of 12 trials were included.A statistically significant group difference was shown from the meta-analysis in the results measured by the Western Aphasia Battery(random-effects model,MD=1.23,95%CI=0.31 to 2.14,P<0.01).However,there were no statistically significant differences shown in the results of the Boston Naming Test(fixed-effects model,MD=-1.79,95%CI=-11.19 to Z62,P>0.05)and Aachen Aphasia Test(fixed-effects model,MD=-1.11,95%CI=-4.49 to 2.27,P>0.05).The descriptive analysis showed positive results in language performances of naming,repetition,and comprehension.Conclusion:This systematic review indicated that CIAT was efficient for improving language performance with regard to naming,comprehension,repetition,written language,and oral language based on the current evidence.And this review provides some meaningful guides for clinical practice:expand the therapy duration to 2 or 3 h per day,focus on naming,and choose the best assessment tool.It also indicates a need for more rigorous,large-scale,and high-quality trials in the future.

Towards Wide-Open, Adaptable DCF Implementation for Dynamic Networks

Abstract： This work proposes a Field Programmable Gate Array （FPGA）-oriented architecture for the IEEE 802.11 Distributed Coordination Function （DCF） transceiver. We describe the functional blocks carrying out the Carrier Sense Multiple Accesses with Collision Avoidance （CSMA/CA）, develop the interfaces to the application layer and the physical layer, and implement it on FPGA devices by utilizing Very-high-speed-integrated-circuit Hardware Description Language （VHDL）.

Design and Application of PCE-Oriented Multi-agent Software Framework and Agent Communication Module

With the improvement of mobile equipment performance and development of Pervasive Computing,interactive computational applications such as Multi-Agent (MA) systems in Pervasive Computing Environments (PCE) become more and more prevalent. Many applications in PCE require Agent communication,manual control,and diversity of devices. Hence system in PCE must be designed flexible,and optimize the use of network,storage and computing resources. However,traditional MA software framework cannot completely adapt to these new features. A new MA software framework and its Agent Communication Modules to solve the problem brought by PCE was proposed. To describe more precisely,it presents Wright/ADL (Architecture Description Language) description of the new framework. Then,it displays an application called AI Eleven based on this new framework. AI Eleven achieves Agent-Agent communication and good collaboration for a task. Two experiments on AI Eleven will demonstrate the new framework's practicability and superiority.

Research on Mechanical Product Development based on CAD Software

This paper introduces analysis the development process of CAD technology, application of the AutoCAD software in engineering field and teaching as well as the significance of the development of two times the. This paper analyzes in detail the development of common language, and the use of Visual BASIC development and application of software based on AutoCAD. The author elaborates the software interlace design and method calls AutoCAD in VB. Finally, the design and implementation of a programming language re-development system based on AutoCAD is concerned. The test results show that the developed AutoCAD two development system has good practical value.

A Q-based integrating interaction framework system for multi-agent coordination

Interaction is one of the crucial features of multl-agent systems, in which there are two kinds of interaction： agent-to-agent and human-to-agent. In order to unify the two kinds of interaction while designing multi-agent systems, this paper introduces Q language-a scenario description language for designing interaction among agents and humans. Based on Q, we propose an integrating interaction framework system for multi-agent coordination, in which Q scenarios are used to uniformly describe both kinds of interactions. Being in accordance to the characteristics of Q language, the Q-based framework makes the interaction process open and easily understood by the users. Additionally, it makes specific applications of multi-agent systems easy to be established by application designers. By applying agent negotiation in agent-mediated e-commerce and agent cooperation in interoperable information query on the Semantic Web, we illustrate how the presented framework for multi-agent coordination is implemented in concrete applications. At the same time, these two different applications also demonstrate usability of the presented framework and verify validity of Q language.

Research of IDSS Architecture Based on Hybrid Systems

This paper discusses the necessity of building IDSS on hybrid systems, and adopts XML technology to manage isomeric knowledge in hybrid systems. The paper proposes a new architecture of hybrid systems based IDSS whose core system is isomeric knowledge system. The architecture is composed of knowledge component, problems processing system, data component and intelligent user interface. This new architecture aims to enhance the capability of integrating hybrid systems, to improve the supporting effectiveness of decision-making and the intelligent level of IDSS, and tries a new way to elevate the system’s ability of handling and learning knowledge.

Study on Apparel EDI Standardization Based on XML

The realization of paperless trading in apparel industry by application of EDI has become the requirement of the new century. In this paper the necessity for EDI standardization is proved, and the coding of domestic apparel EDI message standard is put forward.

The Application of Stylistics in British and American Literature Teaching

Stylistics applies modem linguistic theory to the description of and analysis into varieties of language and their stylistic features. As such it may serve to investigate the styles of British and American literary works, thus facilitating the teaching of British and American literature. This paper, after surveying the basic stylistic theory and its relevance to research on and teaching of literature, illustrates how to effectively adopt the method of stylistic analysis in the teaching of British and American literature

Implementing kinematics computation in FPGA co-processor for a 6-DOF space manipulator

Based on the coordinate rotation digital computer(CORDIC)algorithm,the high-speed kinematicscalculation for a six degree of freedom(DOF)space manipulator is implemented in a field programmablegate array(FPGA)co-processor.A pipeline architecture is adopted to reduce the complexity and time-consumption of the kinematics calculation .The CORDIC soft-core and the CORDIC-based pipelined kine-matics calculation co-processor are described with the very-high-speed integrated circuit hardware descrip-tion language(VHDL)language and realized in the FPGA .Finally,the feasibility of the design is vali-dated in the Spartan-3 FPGA of Xilinx Inc.,and the performance specifications of FPGA co-processor arediscussed.The results show that time-consumption of the kinematics calculation is greatly reduced.

SF^2HDL： A Computational Tool of State Transition Diagram Translation

The lack of standard to electronic circuits modeling made possible the development of many tools and modeling languages for electronic circuits. In this way, several tools to be used on different descriptions stage of the designs are necessary. This paper presents a tool called SF^2HDL （Stateflow to Hardware Description Language or State Transition Table） that translates a finite state machine on state transition diagram representation, described by Stateflow tool, into an input file standard for TABELA program or into a file behavioral VHDL （Very High Speed Integrated Circuits Hardware Description Language） directly. The TABELA program was used to optimization this finite state machine. After that, the TAB2VHDL program was used to generate the VHDL code on register transfer level, what permits comparisons with results obtained by synthesis. The finite state machine must be described by Mealy model and the user can describe the machine on high level abstraction using all Simulink supports. The tool was very efficient on computational cost and it made translation of several cases, for the two VHDL description models. Every state machine translated was simulated and implemented on device EP2C20F484C7 using Quartus II environment.

Design and Verification of FPGA-Based Applications in Nuclear Power Plants

Nuclear industries have faced the unfavorable circumstance such as components obsolescence and aging of instrumentation and control system, therefore, nuclear society is striving to resolve this issue fundamentally. Various studies have been conducted to address components obsolescence of instrumentation and control system. Intuitively FPGA （field programmable gate arrays） technology is replacing the high level of micro-processor type equipped with various software and hardware which causes acceleration of the aging and obsolescence in I ＆ C （instrumentation and control） system in nuclear power plants. FPGAs are highlighted as an alternative means for obsolete control systems. When engineers design the control system of NPPs （nuclear power plants） with FPGAs, it is important to meet the system development life cycles and conduct the verification and validation activities regarding to FPGA-based applications for use in NPPs. Because the verification and validation process is more important than the design process, engineer should consider the characteristics of FPGA, HDL （hardware description language） programming, faults mode, and optimization technique. And also these characteristics should be reflected in verification and validation activities. As a minimum requirement, system designers require that HDL-programmed applications should be developed in accordance with system development life cycle and HPD design process. In the verification and validation processes, a review, test, and analysis activities should be properly conducted.

Perylenediimide chromophore as an efficient photothermal agent for cancer therapy

Photothermal agents with improved bioavailabilities can generate heat from near-infrared light, which has been efficiently used for in vivo photothermal therapy （PTT） for cancer, with minimum tissue invasion. Strategies for developing organic near-infrared-absorbing molecules for phototfiermal cancer therapy have drawn intensive attention among academic investigators. However, conventional organic nearinfrared-absorbing molecules may not only have complex synthesis procedures, but also easily suffer from photobleaching under light irradiation. These drawbacks might lead to an increase in the synthesis cost, and elicit a risk of side effects in PTF. Thus, it is essential to devise an organic photothermal agent with stable phototbermal capacity, which involves a facile synthesis process. In this study, incorporating a secondary amine group （donor） in the bay regions of perylenediimides （PDls） could lead to a 150-nm bathochromic shift of the absorption maximum. Next, a modification of poly（ethylene glycol） （PEG） at the periphery of the chromophore renders the targeted macromolecule PDI-PEG highly water-soluble, and capable of intense absorption in the near-infrared region. The self-assembled PDl-based nanoparti- des （PDI-NPs） have a size of 55 nm in aqueous solutions. PDI-NPs with excellent photostability possess a high photothermal conversion efficiency of up to 43% ± 2%. Finally, PDI-NPs allow for efficient in vitro and in vivo photothermal cancer therapy. Meanwhile, PDI-NPs exhibit quite low cytotoxicity and no biotoxicity on major organs in vivo. Thus, these easily-manufactured PDI-NPs can serve as extremely stable photothermal agents for efficient photothermal cancer therapy.

培养创造性能力,提升学生的综合素养

音乐教育是一项审美教育,是学校德智体美劳教育中的重要组成部分。尤其在听觉、感受、想象、表现、创造等方面,具有其他学科无法比拟的优势。教育创新是时代的需要,不但要培养学生的创新精神、创新意识,而且更要培养学生的人格特征。音乐教育可以提高情趣,陶冶情操;在音乐教学中,渗透德育,开发智力、促进智育,都有"随风潜入夜,润物细无声"——潜移默化的作用。所以。