A searching-machining system of RL & SM (Rapid Location and State Memory) universal fixture is here introduced, and the concept of rapid searching technology and manufacturing information transformation is then de...A searching-machining system of RL & SM (Rapid Location and State Memory) universal fixture is here introduced, and the concept of rapid searching technology and manufacturing information transformation is then described, with the appropriate control methods and key techniques for its realization being proposed and also practically realized. Theoretical analysis and experimental results show that the proposed idea and methods are feasible to serve as in the practical application of the RL & SM system.展开更多
In the past three decades,therehas been a renewed interest in lin-guistic universals,as a result ofChomsky’s revolution.Terms like“language universals”,“formal uni-versals”,“substantive universals”arefrequently...In the past three decades,therehas been a renewed interest in lin-guistic universals,as a result ofChomsky’s revolution.Terms like“language universals”,“formal uni-versals”,“substantive universals”arefrequently found in linguistic litera-ture.What exactly is meant by“universals”?How valid are the claims made so far?These are the questions we will try to answer in this paper.展开更多
The study object is the angular output velocity of the drive shaft which is made up of two series-wound cross universal joints. We have deduced the function relation between the angular output velocity and initiative ...The study object is the angular output velocity of the drive shaft which is made up of two series-wound cross universal joints. We have deduced the function relation between the angular output velocity and initiative input angle of the drive shaft with double cross universal joints that is based on the calculation formula of the angular output velocity of a single cross universal joint, and by analyzing the relation between the two input angles. By using this function relation, the constant velocity condition of the drive shaft with double cross universal joints＂ is verified. The step-by-step searching algorithm is adopted to obtain the optimal phase angle that leads to the minimum fluctuate index of the angular output velocity in the vary velocity condition. At the same time, we worked out the maximal and minimum value of the angular output velocity, and their initiative input angle. The correctness of the function of the angular output velocity and the step-by-step search algorithm are verified by an ADAMS simulation example.展开更多
Google Book Search与HathiTrust是本世纪备受瞩目的两大电子文献数据库。通过对比分析这两大典型案例在资源建设方面注重纸质资源数字化、服务方式强调高效与深入、服务效果显著且影响深远等特点,得出对我国高校图书馆数字化建设与服...Google Book Search与HathiTrust是本世纪备受瞩目的两大电子文献数据库。通过对比分析这两大典型案例在资源建设方面注重纸质资源数字化、服务方式强调高效与深入、服务效果显著且影响深远等特点,得出对我国高校图书馆数字化建设与服务的启示:建立兼具现实意义与前瞻性的战略规划、优化数字资源建设、提升数据库服务功能、加强多元化联盟建设、注重版权管理、创新项目管理方式。展开更多
We present our approach for constructing a federated searching system for Japanese humanities digital libraries using automatic metadata mapping.We discuss some achievements in the ongoing research to construct a fede...We present our approach for constructing a federated searching system for Japanese humanities digital libraries using automatic metadata mapping.We discuss some achievements in the ongoing research to construct a federated searching system. The goals of this system are(1) to perform metadata mapping automatically for Japanese heterogeneous humanities digital libraries and(2) to let users access multiple humanities digital libraries by using only one query input.The proposed automatic metadata mapping method produced the average mapping precision of 94.9%.We also address the metadata-related challenges facing Japanese humanities databases.展开更多
By extending the Levy wavefunction constrained search to Fock Space,one can define a wavefunction constrained search for electron densities in systems having noninteger number of electrons.For pure-state v-representab...By extending the Levy wavefunction constrained search to Fock Space,one can define a wavefunction constrained search for electron densities in systems having noninteger number of electrons.For pure-state v-representable densities,the results are equivalent to what one would obtain with the zero-temperature grand canonical ensemble.In other cases,the wavefunction constrained search in Fock space presents an upper bound to the grand canonical ensemble functional.One advantage of the Fock-space wavefunction constrained search functional over the zero-temperature grand-canonical ensemble constrained search functional is that certain specific excited states(i.e.,those that are not ground-statev-representable) are the stationary points of the Fock-space functional.However,a potential disadvantage of the Fock-space constrained search functional is that it is not convex.展开更多
Attribute-based encryption with keyword search(ABEKS)is a novel cryptographic paradigm that can be used to implementfine-grained access control and retrieve ciphertexts without disclosing the sensitive information.It i...Attribute-based encryption with keyword search(ABEKS)is a novel cryptographic paradigm that can be used to implementfine-grained access control and retrieve ciphertexts without disclosing the sensitive information.It is a perfect combination of attribute-based encryption(ABE)and public key encryption with keyword search(PEKS).Nevertheless,most of the existing ABEKS schemes have limited search capabilities and only support single or simple conjunctive keyword search.Due to the weak search capability and inaccurate search results,it is difficult to apply these schemes to practical applications.In this paper,an effi-cient expressive ABEKS(EABEKS)scheme supporting unbounded keyword uni-verse over prime-order groups is designed,which supplies the expressive keyword search function supporting the logical connectives of“AND”and“OR”.The proposed scheme not only leads to low computation and communica-tion costs,but also supports unbounded keyword universe.In the standard model,the scheme is proven to be secure under the chosen keyword attack and the cho-sen plaintext attack.The comparison analysis and experimental results show that it has better performance than the existing EABEKS schemes in the storage,com-putation and communication costs.展开更多
Social distancing during COVID-19 has become one of the most important measures in reducing the risks of the spread of the virus. Implementing thesemeasures at universities is crucial and directly related to the phys...Social distancing during COVID-19 has become one of the most important measures in reducing the risks of the spread of the virus. Implementing thesemeasures at universities is crucial and directly related to the physical attendance ofthe populations of students, professors, employees, and other members on campus. This research proposes an automated scheduling approach that can help universities and schools comply with the social distancing regulations by providingassistance in avoiding huge assemblages of people. Furthermore, this paper proposes a novel course timetable-scheduling scheme based on four main constraints.First, a distance of two meters must be maintained between each student inside theclassroom. Second, no classrooms should contain more than 20% of their regularcapacity. Third, there would be no back-to-back classes. Lastly, no lectures shouldbe held simultaneously in adjacent classrooms. The proposed approach wasimplemented using a variable neighborhood search (VNS) approach with an adaptive neighborhood structure (AD-NS) to resolve the problem of scheduling coursetimetables at Al-Ahlyyia Amman University. However, the experimental resultsshow that the proposed techniques outperformed the standard VNS tested on university course timetabling benchmark dataset ITC2007-Track3. Meanwhile, theapproach was tested using datasets collected from the faculty of information technology at Al-Ahlyyia Amman University (Jordan). Where the results showed that,the proposed technique could help educational institutes to resume their regularoperations while complying with the social distancing guidelines.展开更多
文摘A searching-machining system of RL & SM (Rapid Location and State Memory) universal fixture is here introduced, and the concept of rapid searching technology and manufacturing information transformation is then described, with the appropriate control methods and key techniques for its realization being proposed and also practically realized. Theoretical analysis and experimental results show that the proposed idea and methods are feasible to serve as in the practical application of the RL & SM system.
文摘In the past three decades,therehas been a renewed interest in lin-guistic universals,as a result ofChomsky’s revolution.Terms like“language universals”,“formal uni-versals”,“substantive universals”arefrequently found in linguistic litera-ture.What exactly is meant by“universals”?How valid are the claims made so far?These are the questions we will try to answer in this paper.
文摘The study object is the angular output velocity of the drive shaft which is made up of two series-wound cross universal joints. We have deduced the function relation between the angular output velocity and initiative input angle of the drive shaft with double cross universal joints that is based on the calculation formula of the angular output velocity of a single cross universal joint, and by analyzing the relation between the two input angles. By using this function relation, the constant velocity condition of the drive shaft with double cross universal joints＂ is verified. The step-by-step searching algorithm is adopted to obtain the optimal phase angle that leads to the minimum fluctuate index of the angular output velocity in the vary velocity condition. At the same time, we worked out the maximal and minimum value of the angular output velocity, and their initiative input angle. The correctness of the function of the angular output velocity and the step-by-step search algorithm are verified by an ADAMS simulation example.
文摘Google Book Search与HathiTrust是本世纪备受瞩目的两大电子文献数据库。通过对比分析这两大典型案例在资源建设方面注重纸质资源数字化、服务方式强调高效与深入、服务效果显著且影响深远等特点,得出对我国高校图书馆数字化建设与服务的启示:建立兼具现实意义与前瞻性的战略规划、优化数字资源建设、提升数据库服务功能、加强多元化联盟建设、注重版权管理、创新项目管理方式。
基金Project supported by the Grant-in-Aid for the Global COE Program from the Ministry of Education,Culture,Sports,Science and Technology (MEXT) of Japan,and MEXT Grant-in-Aid for Strategic Formation of Research Infrastructure for Private University,Japan
文摘We present our approach for constructing a federated searching system for Japanese humanities digital libraries using automatic metadata mapping.We discuss some achievements in the ongoing research to construct a federated searching system. The goals of this system are(1) to perform metadata mapping automatically for Japanese heterogeneous humanities digital libraries and(2) to let users access multiple humanities digital libraries by using only one query input.The proposed automatic metadata mapping method produced the average mapping precision of 94.9%.We also address the metadata-related challenges facing Japanese humanities databases.
文摘By extending the Levy wavefunction constrained search to Fock Space,one can define a wavefunction constrained search for electron densities in systems having noninteger number of electrons.For pure-state v-representable densities,the results are equivalent to what one would obtain with the zero-temperature grand canonical ensemble.In other cases,the wavefunction constrained search in Fock space presents an upper bound to the grand canonical ensemble functional.One advantage of the Fock-space wavefunction constrained search functional over the zero-temperature grand-canonical ensemble constrained search functional is that certain specific excited states(i.e.,those that are not ground-statev-representable) are the stationary points of the Fock-space functional.However,a potential disadvantage of the Fock-space constrained search functional is that it is not convex.
基金supported in part by the National Natural Science Foundation of China under Grant No.61772009the Natural Science Foundation of Jiangsu Province under Grant No.BK20181304.
文摘Attribute-based encryption with keyword search(ABEKS)is a novel cryptographic paradigm that can be used to implementfine-grained access control and retrieve ciphertexts without disclosing the sensitive information.It is a perfect combination of attribute-based encryption(ABE)and public key encryption with keyword search(PEKS).Nevertheless,most of the existing ABEKS schemes have limited search capabilities and only support single or simple conjunctive keyword search.Due to the weak search capability and inaccurate search results,it is difficult to apply these schemes to practical applications.In this paper,an effi-cient expressive ABEKS(EABEKS)scheme supporting unbounded keyword uni-verse over prime-order groups is designed,which supplies the expressive keyword search function supporting the logical connectives of“AND”and“OR”.The proposed scheme not only leads to low computation and communica-tion costs,but also supports unbounded keyword universe.In the standard model,the scheme is proven to be secure under the chosen keyword attack and the cho-sen plaintext attack.The comparison analysis and experimental results show that it has better performance than the existing EABEKS schemes in the storage,com-putation and communication costs.
文摘Social distancing during COVID-19 has become one of the most important measures in reducing the risks of the spread of the virus. Implementing thesemeasures at universities is crucial and directly related to the physical attendance ofthe populations of students, professors, employees, and other members on campus. This research proposes an automated scheduling approach that can help universities and schools comply with the social distancing regulations by providingassistance in avoiding huge assemblages of people. Furthermore, this paper proposes a novel course timetable-scheduling scheme based on four main constraints.First, a distance of two meters must be maintained between each student inside theclassroom. Second, no classrooms should contain more than 20% of their regularcapacity. Third, there would be no back-to-back classes. Lastly, no lectures shouldbe held simultaneously in adjacent classrooms. The proposed approach wasimplemented using a variable neighborhood search (VNS) approach with an adaptive neighborhood structure (AD-NS) to resolve the problem of scheduling coursetimetables at Al-Ahlyyia Amman University. However, the experimental resultsshow that the proposed techniques outperformed the standard VNS tested on university course timetabling benchmark dataset ITC2007-Track3. Meanwhile, theapproach was tested using datasets collected from the faculty of information technology at Al-Ahlyyia Amman University (Jordan). Where the results showed that,the proposed technique could help educational institutes to resume their regularoperations while complying with the social distancing guidelines.
